TACO swMATH ID: 10169 Software Authors: Kirches, Christian; Leyffer, Sven Description: TACO: a toolkit for AMPL control optimization. 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 AMPLurl{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. Homepage: http://link.springer.com/article/10.1007%2Fs12532-013-0054-7 Keywords: mixed-integer optimal control; differential-algebraic equations; domain specific languages; mathematical modeling Related Software: Optimica; JModelica; Ipopt; AMPL; pyomo.dae; ACADO; Pyomo; Python; qpHPSC; MuShROOM; Mintoc; gPROMS; PROPT; Drake; CAZSL; MuJoCo; Crocoddyl; NumPy; TensorFlow; CasADi Cited in: 3 Publications Standard Articles 1 Publication describing the Software, including 1 Publication in zbMATH Year TACO: a toolkit for AMPL control optimization. Zbl 1302.49043Kirches, Christian; Leyffer, Sven 2013 all top 5 Cited by 10 Authors 2 Kirches, Christian 1 Biegler, Lorenz T. 1 Jung, Michael Norman Helmut Gerhard 1 Leyffer, Sven 1 Nicholson, Bethany L. 1 Sager, Sebastian 1 Sass, Susanne 1 Siirola, John D. 1 Watson, Jean-Paul 1 Zavala, Victor M. Cited in 2 Serials 2 Mathematical Programming Computation 1 Vietnam Journal of Mathematics Cited in 5 Fields 3 Calculus of variations and optimal control; optimization (49-XX) 3 Operations research, mathematical programming (90-XX) 3 Systems theory; control (93-XX) 2 Numerical analysis (65-XX) 2 Computer science (68-XX) Citations by Year