naa a22 4500 510809049 CHVBK 20180411083433.0 cr unu---uuuuu 180411e20130901xx s 000 0 eng 10.1007/s12532-013-0054-7 doi (NATIONALLICENCE)springer-10.1007/s12532-013-0054-7 TACO: a toolkit for AMPL control optimization [Elektronische Daten] [Christian Kirches, Sven Leyffer] We describe a set of extensions to the AMPL modeling language to conveniently model mixed-integer optimal control problems for ODE or DAE dynamic processes. These extensions are realized as AMPL user functions and suffixes and do not require intrusive changes to the AMPL language standard or implementation itself. We describe and provide TACO, a Toolkit for AMPL Control Optimization that reads AMPL stub.nl files and detects the structure of the optimal control problem. This toolkit is designed to facilitate the coupling of existing optimal control software packages to AMPL. We discuss requirements, capabilities, and the current implementation. Using the example of the multiple shooting code for optimal control MUSCOD-II, a direct and simultaneous method for DAE-constrained optimal control, we demonstrate how the problem information provided by the TACO toolkit is interfaced to the solver. In addition, we show how the MS-MINTOC algorithm for mixed-integer optimal control can be used to efficiently solve mixed-integer optimal control problems modeled in AMPL. We use the AMPL extensions to model three control problem examples and we discuss how those extensions affect the representation of optimal control problems. Solutions to these problems are obtained by using MUSCOD-II and MS-MINTOC inside the AMPL environment. A collection of further AMPL control models is provided on the web site http://mintoc.de . MUSCOD-II and MS-MINTOC have been made available on the NEOS Server for Optimization, using the TACO toolkit to enable input of AMPL models. Springer-Verlag Berlin Heidelberg and Mathematical Optimization Society, 2013 Mixed-integer optimal control nationallicence Differential-algebraic equations nationallicence Domain specific languages nationallicence Mathematical modeling nationallicence Kirches Christian Interdisciplinary Center for Scientific Computing (IWR), Heidelberg University, Im Neuenheimer Feld 368, 69120, Heidelberg, Germany aut Leyffer Sven Mathematics and Computer Science Division, Argonne National Laboratory, 9700 South Cass Avenue, 60439, Argonne, IL, USA aut Mathematical Programming Computation Springer Berlin Heidelberg 5/3(2013-09-01), 227-265 1867-2949 5:3<227 2013 5 12532 https://doi.org/10.1007/s12532-013-0054-7 text/html Onlinezugriff via DOI 1 research-article jats NATIONALLICENCE 856 40 https://doi.org/10.1007/s12532-013-0054-7 text/html Onlinezugriff via DOI NATIONALLICENCE 700 1- Kirches Christian Interdisciplinary Center for Scientific Computing (IWR), Heidelberg University, Im Neuenheimer Feld 368, 69120, Heidelberg, Germany aut NATIONALLICENCE 700 1- Leyffer Sven Mathematics and Computer Science Division, Argonne National Laboratory, 9700 South Cass Avenue, 60439, Argonne, IL, USA aut NATIONALLICENCE 773 0- Mathematical Programming Computation Springer Berlin Heidelberg 5/3(2013-09-01), 227-265 1867-2949 5:3<227 2013 5 12532 Metadata rights reserved Springer special CC-BY-NC licence nationallicence BK010053 XK010053 XK010000 NATIONALLICENCE NATIONALLICENCE NL-springer