{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,25]],"date-time":"2025-10-25T12:11:59Z","timestamp":1761394319959},"reference-count":63,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[2013,4,30]],"date-time":"2013-04-30T00:00:00Z","timestamp":1367280000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Math. Prog. Comp."],"published-print":{"date-parts":[[2013,9]]},"DOI":"10.1007\/s12532-013-0054-7","type":"journal-article","created":{"date-parts":[[2013,4,30]],"date-time":"2013-04-30T21:08:12Z","timestamp":1367356092000},"page":"227-265","source":"Crossref","is-referenced-by-count":10,"title":["TACO: a toolkit for AMPL control optimization"],"prefix":"10.1007","volume":"5","author":[{"given":"Christian","family":"Kirches","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sven","family":"Leyffer","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2013,4,30]]},"reference":[{"key":"54_CR1","unstructured":"Abhishek, K., Leyffer, S., Linderoth, T.: FilMINT: an outer approximation-based solver for mixed-integer nonlinear programs. INFORMS J. Comput. 22(4), 555\u2013567 (2010). http:\/\/joc.journal.informs.org\/content\/22\/4\/555.abstract"},{"key":"54_CR2","unstructured":"Achtziger, W., Kanzow, C.: Mathematical programs with vanishing constraints: optimality conditions and constraint qualifications. Math. Program. Ser. A 114, 69\u201399 (2008). http:\/\/www.mathematik.uni-wuerzburg.de\/~kanzow\/paper\/VanishCP.pdf"},{"key":"54_CR3","unstructured":"\u00c5kesson, J., \u00c5rz\u00e9n, K., Gr\u00e4fvert, M., Bergdahl, T., Tummescheit. H.: Modeling and optimization with Optimica and JModelica.org\u2013languages and tools for solving large-scale dynamic optimization problems. Comput. Chem. Eng. 34(11), 1737\u20131749 (2008). http:\/\/www.sciencedirect.com\/science\/article\/pii\/S009813540900283X"},{"key":"54_CR4","unstructured":"Albersmeyer, J.: Adjoint based algorithms and numerical methods for sensitivity generation and optimization of large scale dynamic systems. PhD thesis, Ruprecht-Karls-Universit\u00e4t Heidelberg (2010). http:\/\/www.ub.uni-heidelberg.de\/archiv\/11651"},{"key":"54_CR5","unstructured":"Andreani, R., Birgin, E., Martinez, J., Schuverdt, M.: On augmented Lagrangian methods with general lower-level constraints. SIAM J. Optim. 18, 1286\u20131309 (2007). http:\/\/www.optimization-online.org\/DB_FILE\/2005\/03\/1085.pdf"},{"key":"54_CR6","doi-asserted-by":"crossref","unstructured":"Andreani, R., Birgin, E., Martinez, J., Schuverdt, M.: Augmented Lagrangian methods under the constant positive linear dependence constraint qualification. Math Program 111, 5\u201332 (2008). http:\/\/www.ime.usp.br\/~egbirgin\/publications\/abms.pdf","DOI":"10.1007\/s10107-006-0077-1"},{"key":"54_CR7","first-page":"25","volume":"25","author":"P Barton","year":"1993","unstructured":"Barton, P., Pantelides, C.: gPROMS\u2014a combined discrete\/continuous modelling environment for chemical processing systems. Simul. Ser. 25, 25\u201334 (1993)","journal-title":"Simul. Ser."},{"key":"54_CR8","unstructured":"Bauer, I., Bock, H., K\u00f6rkel, S., Schl\u00f6der, J.: Numerical methods for initial value problems and derivative generation for DAE models with application to optimum experimental design of chemical processes. In: Scientific Computing in Chemical Engineering II, pp 282\u2013289. Springer, Berlin (1999). http:\/\/hgs.iwr.uni-heidelberg.de\/expdesign\/people\/skoerkel\/publications\/?name=scce99-bauer.ps.gz&type=application\/postscript"},{"key":"54_CR9","unstructured":"Belotti, P.: Couenne: a user\u2019s manual. Tech. rep., Lehigh University (2009). http:\/\/www.coin-or.org\/Couenne\/couenne-user-manual.pdf"},{"key":"54_CR10","unstructured":"Betts, J., Eldersveld, S., Huffman, W.: Sparse nonlinear programming test problems (Release 1.0). Tech. rep. BCSTECH-93-074, Boeing Computer Services (1993)"},{"key":"54_CR11","unstructured":"Bock, H., Plitt, K.: A multiple shooting algorithm for direct solution of optimal control problems. In: Proceedings of the 9th IFAC World Congress, pp 242\u2013247. Pergamon Press, Budapest (1984). http:\/\/www.iwr.uni-heidelberg.de\/groups\/agbock\/FILES\/Bock1984.pdf"},{"key":"54_CR12","doi-asserted-by":"crossref","unstructured":"Bonami, P., Biegler, L., Conn, A., Cornu\u00e9jols, G., Grossmann, I., Laird, C., Lee, J., Lodi, A., Margot, F., Sawaya, N., W\u00e4chter, A.: An algorithmic framework for convex mixed integer nonlinear programs. Discrete Optim 5(2), 186\u2013204 (2008). http:\/\/www.sciencedirect.com\/science\/article\/pii\/S1572528607000448","DOI":"10.1016\/j.disopt.2006.10.011"},{"key":"54_CR13","doi-asserted-by":"crossref","unstructured":"Box, G., Hunter, W., MacGregor, J., Erjavec, J.: Some problems associated with the analysis of multiresponse data. Technometrics 15, 33\u201351 (1973). http:\/\/www.jstor.org\/stable\/1266823","DOI":"10.1080\/00401706.1973.10489009"},{"key":"54_CR14","volume-title":"Applied optimal control: optimization, estimation, and control","author":"A Bryson","year":"1975","unstructured":"Bryson, A., Ho, Y.: Applied optimal control: optimization, estimation, and control. Wiley, Hoboken (1975)"},{"issue":"4","key":"54_CR15","doi-asserted-by":"crossref","first-page":"877","DOI":"10.1137\/S1052623497325107","volume":"9","author":"RH Byrd","year":"1999","unstructured":"Byrd, R.H., Hribar, M.E., Nocedal, J.: An interior point algorithm for large scale nonlinear programming. SIAM J. Optim. 9(4), 877\u2013900 (1999)","journal-title":"SIAM J. Optim."},{"key":"54_CR16","doi-asserted-by":"crossref","unstructured":"Byrd, R.H., Gilbert, J.C., Nocedal, J.: A trust region method based on interior point techniques for nonlinear programming. Math. Program. 89, 149\u2013185 (2000). http:\/\/www.ece.northwestern.edu\/~nocedal\/PSfiles\/nitro.ps.gz","DOI":"10.1007\/PL00011391"},{"key":"54_CR17","unstructured":"Byrd, R.H., Nocedal, J., Waltz, R.A.: Knitro: an integrated package for nonlinear optimization. In: di Pillo, G., Roma, M. (eds.) Large-scale nonlinear optimization, pp 35\u201359. Springer, Berlin (2006). http:\/\/www.ziena.com\/papers\/integratedpackage.pdf"},{"key":"54_CR18","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4613-8165-5","volume-title":"Optimization\u2014theory and applications","author":"L Cesari","year":"1983","unstructured":"Cesari, L.: Optimization\u2014theory and applications. Springer, Berlin (1983)"},{"key":"54_CR19","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-662-12211-2","volume-title":"LANCELOT: A Fortran Package for Large-Scale Nonlinear Optimization (Release A)","author":"AR Conn","year":"1992","unstructured":"Conn, A.R., Gould, N.I.M., Toint, P.L.: LANCELOT: A Fortran Package for Large-Scale Nonlinear Optimization (Release A). Springer, Heidelberg (1992)"},{"key":"54_CR20","doi-asserted-by":"crossref","unstructured":"Cuthrell, J., Biegler, L.: On the optimization of differential-algebraic process systems. AIChE 33, 1257\u20131270 (1987). http:\/\/onlinelibrary.wiley.com\/doi\/10.1002\/aic.690330804\/abstract","DOI":"10.1002\/aic.690330804"},{"key":"54_CR21","unstructured":"Diehl, M.: Real-time optimization for large scale nonlinear processes. PhD thesis, Ruprecht-Karls-Universit\u00e4t Heidelberg (2001). http:\/\/archiv.ub.uni-heidelberg.de\/volltextserver\/volltexte\/2001\/1659\/"},{"key":"54_CR22","unstructured":"Diehl, M., Leineweber, D., Sch\u00e4fer, A.: MUSCOD-II Users\u2019 Manual. IWR Preprint 2001\u201325, Interdisciplinary Center for Scientific Computing (IWR), Ruprecht-Karls-Universit\u00e4t Heidelberg, Im Neuenheimer Feld 368, 69120 Heidelberg, Germany (2001). http:\/\/www.iwr.uni-heidelberg.de\/groups\/agbock\/FILES\/muscod_manual.pdf"},{"key":"54_CR23","doi-asserted-by":"crossref","unstructured":"Diehl, M., Bock, H., Kostina, E.: An approximation technique for robust nonlinear optimization. Math. Program. 107, 213\u2013230 (2006). https:\/\/lirias.kuleuven.be\/bitstream\/123456789\/70656\/1\/06-226.pdf","DOI":"10.1007\/s10107-005-0685-1"},{"key":"54_CR24","unstructured":"Dolan, E., Mor\u00e9, J., Munson, T.: Benchmarking Optimization Software with COPS 3.0. Tech. rep. ANL\/MCS-TM-273, Mathematics and Computer Science Division, Argonne National Laboratory, 9700 South Cass Avenue, Argonne, IL 60439, USA (2004). http:\/\/www.mcs.anl.gov\/~more\/cops\/cops3.pdf"},{"key":"54_CR25","unstructured":"Elmqvist, H., Br\u00fcck, D.: Dymola\u2013dynamic modeling language. User\u2019s manual, Dynasim AB (2001)"},{"key":"54_CR26","unstructured":"Fletcher, R., Leyffer, S.: User manual for filterSQP. Tech. rep., University of Dundee (1999). http:\/\/www.mcs.anl.gov\/~leyffer\/papers\/SQP_manual.pdf"},{"key":"54_CR27","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4757-3040-1","volume-title":"Handbook of Test Problems for Local and Global Optimization","author":"C Floudas","year":"1999","unstructured":"Floudas, C., Pardalos, P., Adjiman, C., Esposito, W., Gumus, Z., Harding, S., Klepeis, J., Meyer, C., Schweiger, C.: Handbook of Test Problems for Local and Global Optimization. Kluwer, Dordrecht (1999)"},{"key":"54_CR28","unstructured":"Fourer, B., Ferris, M.C., Gay, D.M.: Expressing complementarity problems and communicating them to solvers. SIAM J. Optim. 9, 991\u20131009 (1999). http:\/\/ftp2.cs.wisc.edu\/math-prog\/tech-reports\/98-02.pdf"},{"key":"54_CR29","unstructured":"Fourer, R., Gay, D., Kernighan, B.: A modeling language for mathematical programming. Manage. Sci. 36, 519\u2013554 (1990). http:\/\/www.jstor.org\/pss\/2632268"},{"key":"54_CR30","unstructured":"Fourer, R., Gay, D.M., Kernighan, B.W.: AMPL: A Modelling Language for Mathematical Programming, 2nd edn. Books\/Cole-Thomson Learning (2003)"},{"key":"54_CR31","unstructured":"Gay, D.M.: Hooking your solver to AMPL. Tech. rep., Bell Laboratories, Murray Hill, NJ (1993; revised 1994, 1997). http:\/\/www.ampl.com\/REFS\/download.html#pdf"},{"key":"54_CR32","unstructured":"Gill, P., Murray, W., Saunders, M., Wright, M.: User\u2019s guide for NPSOL Version 5.0: a Fortran package for nonlinear programming. Report SOL 86\u20131, Dept. of Mathematics, University of California, San Diego (1998) http:\/\/cam.ucsd.edu\/~peg\/papers\/npdoc.pdf"},{"key":"54_CR33","unstructured":"Gill, P., Murray, W., Saunders, M.: SNOPT: An SQP algorithm for large-scale constrained optimization. SIAM J. Optim. 12, 979\u20131006 (2002). http:\/\/www.stanford.edu\/group\/SOL\/papers\/SNOPT-SIGEST.pdf"},{"key":"54_CR34","unstructured":"Gropp, W., Mor\u00e9, J.: Optimization environments and the NEOS Server. In: Buhmann M, Iserles A (eds.) Approximation theory and optimization, pp 167\u2013182. Cambridge University Press, Cambridge (1997). ftp:\/\/ftp.mcs.anl.gov\/pub\/tech_reports\/reports\/P654.ps.Z"},{"key":"54_CR35","unstructured":"Hatz, K.: Estimating parameters in optimal control problems. Ruprecht-Karls-Universit\u00e4t Heidelberg, Diploma thesis (2008)"},{"key":"54_CR36","unstructured":"Kameswaran, S., Biegler, L.: Advantages of nonlinear-programming-based methodologies for inequality path-constrained optimal control problems - a numerical study. SIAM J. Sci. Comput. 30, 957\u2013981 (2008). http:\/\/numero.cheme.cmu.edu\/uploads\/paper12.pdf"},{"key":"54_CR37","unstructured":"Kirches, C.: Fast numerical methods for mixed-integer nonlinear model-predictive control. PhD thesis, Ruprecht-Karls-Universit\u00e4t Heidelberg (2010). http:\/\/www.ub.uni-heidelberg.de\/archiv\/11636\/"},{"key":"54_CR38","doi-asserted-by":"crossref","unstructured":"Ko\u010dvara, M., Stingl, M.: PENNON\u2013a code for convex nonlinear and semidefinite programming. Optim. Methods Softw. 18(3), 317\u2013333 (2003). http:\/\/web.mat.bham.ac.uk\/kocvara\/pennon\/paper_OMS.pdf","DOI":"10.1080\/1055678031000098773"},{"key":"54_CR39","unstructured":"Ko\u010dvara, M., Stingl, M.: PENNON User\u2019s Guide (Version 0.9). PENOPT (2008). http:\/\/www.penopt.com\/doc\/pennon0_9.pdf ."},{"key":"54_CR40","unstructured":"K\u00fchl, P., Milewska. A., Diehl, M., Molga, E., Bock, H.: NMPC for runaway-safe fed-batch reactors. In: Proc. Int. Workshop on Assessment and Future Directions of NMPC, pp. 467\u2013474 (2005). http:\/\/www.kuleuven.be\/optec\/OLD\/research\/subgroups\/fastMPC\/publications\/Kuehl2005.pdf"},{"key":"54_CR41","unstructured":"Leineweber, D.: Analyse und Restrukturierung eines Verfahrens zur direkten L\u00f6sung von Optimal-Steuerungsproblemen. Ruprecht-Karls-Universit\u00e4t Heidelberg, Diploma thesis (1995)"},{"key":"54_CR42","volume-title":"Efficient reduced SQP methods for the optimization of chemical processes described by large sparse DAE models, Fortschritt-Berichte VDI Reihe 3, Verfahrenstechnik","author":"D Leineweber","year":"1999","unstructured":"Leineweber, D.: Efficient reduced SQP methods for the optimization of chemical processes described by large sparse DAE models, Fortschritt-Berichte VDI Reihe 3, Verfahrenstechnik, vol. 613. VDI Verlag, D\u00fcsseldorf (1999)"},{"key":"54_CR43","unstructured":"Leineweber, D., Bauer, I., Sch\u00e4fer, A., Bock, H., Schl\u00f6der, J.: An efficient multiple shooting based reduced SQP strategy for large-scale dynamic process optimization (Parts I and II). Comput. Chem. Eng. 27, 157\u2013174 (2003). http:\/\/www.iwr.uni-heidelberg.de\/groups\/agbock\/USER_PAGES\/LEINEWEBER_DANIEL\/WWW\/mc2_part1.pdf , http:\/\/www.iwr.uni-heidelberg.de\/groups\/agbock\/USER_PAGES\/LEINEWEBER_DANIEL\/WWW\/mc2_part2.pdf"},{"key":"54_CR44","unstructured":"Leyffer, S.: User manual for MINLP. University of Dundee (1998)"},{"key":"54_CR45","unstructured":"Logsdon, J., Biegler, L.: Decomposition strategies for large-scale dynamic optimization problems. Chem. Eng. Sci. 47(4), 851\u2013864 (1992). http:\/\/www.sciencedirect.com\/science\/article\/pii\/000925099280272E"},{"key":"54_CR46","unstructured":"Maria, G.: An adaptive strategy for solving kinetic model concomitant estimation-reduction problems. Can. J. Chem. Eng. 67, 825 (1989). http:\/\/onlinelibrary.wiley.com\/doi\/10.1002\/cjce.5450670514\/abstract"},{"key":"54_CR47","unstructured":"Mattsson, S., Elmqvist, H., Broenink, J.: Modelica: an international effort to design the next generation modelling language. J. A Benelux Q. J. Autom. Control 38(3), 16\u201319 (1997), special issue on Computer Aided Control System Design, CACSD (1998). https:\/\/www.modelica.org\/publications\/papers\/CACSD97Modelica.pdf"},{"key":"54_CR48","unstructured":"Milewska, A.: Modelling of batch and semibatch chemical reactors\u2014safety aspects. PhD thesis, Warsaw University of Technology (2006)"},{"key":"54_CR49","unstructured":"Moessner-Beigel, M.: Optimale Steuerung f\u00fcr Industrieroboter unter Ber\u00fccksichtigung der getriebebedingten Elastizit\u00e4t. Diploma thesis Ruprecht-Karls-Universit\u00e4t Heidelberg (1995)"},{"key":"54_CR50","unstructured":"Murtagh, B., Saunders, M.: MINOS 5.4 user\u2019s guide. Report SOL 83\u201320R, Department of Operations Research, Stanford University (1993)"},{"key":"54_CR51","volume-title":"Numerical Optimization","author":"J Nocedal","year":"2006","unstructured":"Nocedal, J., Wright, S.: Numerical Optimization, 2nd edn. Springer, Berlin (2006)","edition":"2"},{"key":"54_CR52","unstructured":"Petzold, L., Li, S., Cao, Y., Serban, R.: Sensitivity analysis of differential-algebraic equations and partial differential equations. Comput. Chem. Eng. 30, 1553\u20131559 (2006). http:\/\/www.sciencedirect.com\/science\/article\/pii\/S0098135406001487"},{"key":"54_CR53","unstructured":"Plitt, K.: Ein superlinear konvergentes Mehrzielverfahren zur direkten Berechnung beschr\u00e4nkter optimaler Steuerungen. Diploma thesis Rheinische Friedrich-Wilhelms-Universit\u00e4t Bonn (1981)"},{"key":"54_CR54","doi-asserted-by":"crossref","unstructured":"Potschka, A., Bock, H., Schl\u00f6der, J.: A minima tracking variant of semi-infinite programming for the treatment of path constraints within direct solution of optimal control problems. Optim. Methods Softw. 24(2), 237\u2013252 (2009). http:\/\/www.tandfonline.com\/doi\/abs\/10.1080\/10556780902753098","DOI":"10.1080\/10556780902753098"},{"key":"54_CR55","doi-asserted-by":"crossref","unstructured":"Rothschild, B., Sharov, A., Kearsley, A., Bondarenko, A.: Estimating growth and mortality in stage-structured populations. J. Plankton Res. 19, 1913\u20131928 (1997). http:\/\/plankt.oxfordjournals.org\/content\/19\/12\/1913.full.pdf","DOI":"10.1093\/plankt\/19.12.1913"},{"key":"54_CR56","unstructured":"Rutquist, P., Edvall, M.: PROPT\u2013Matlab Optimal Control Software. User\u2019s manual, TOMLAB Optimization (2010). http:\/\/tomopt.com\/docs\/TOMLAB_PROPT.pdf"},{"key":"54_CR57","unstructured":"Sager, S.: Numerical methods for mixed-integer optimal control problems. Der andere Verlag, T\u00f6nning, L\u00fcbeck, Marburg (2005). http:\/\/mathopt.uni-hd.de\/PUBLICATIONS\/Sager2005.pdf"},{"key":"54_CR58","unstructured":"Sager, S.: A benchmark library of mixed-integer optimal control problems. In: Proceedings MINLP09 (2011). http:\/\/mathopt.uni-hd.de\/PUBLICATIONS\/Sager2011b.pdf"},{"key":"54_CR59","doi-asserted-by":"crossref","unstructured":"Sager, S., Bock, H., Diehl, M.: The integer approximation error in mixed-integer optimal control. Math. Program. A (2011). doi: 10.1007\/s10107-010-0405-3 . http:\/\/mathopt.uni-hd.de\/PUBLICATIONS\/Sager2011.pdf","DOI":"10.1007\/s10107-010-0405-3"},{"key":"54_CR60","unstructured":"von Stryk, O.: User\u2019s guide for DIRCOL (Version 2.1): a direct collocation method for the numerical solution of optimal control problems. Tech. rep., Technische Universit\u00e4t M\u00fcnchen, Germany (1999)"},{"key":"54_CR61","unstructured":"Tjoa, I.B., Biegler, L.: Simultaneous solution and optimization strategies for parameter estimation of differential-algebraic equations systems. Ind. Eng. Chem. Res. 30, 376\u2013385 (1991). http:\/\/pubs.acs.org\/doi\/abs\/10.1021\/ie00050a015"},{"key":"54_CR62","unstructured":"Vanderbei, R., Shanno, D.: An interior point algorithm for nonconvex nonlinear programming. COAP 13, 231\u2013252 (1999). http:\/\/citeseerx.ist.psu.edu\/viewdoc\/download?doi=10.1.1.25.4065&rep=rep1&type=pdf"},{"key":"54_CR63","doi-asserted-by":"crossref","unstructured":"W\u00e4chter, A., Biegler, L.: On the implementation of an interior-point filter line-search algorithm for Large-Scale Nonlinear Programming. Math. Program. 106(1), 25\u201357 (2006). http:\/\/www.springerlink.com\/content\/r31116mp70171220\/","DOI":"10.1007\/s10107-004-0559-y"}],"container-title":["Mathematical Programming Computation"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s12532-013-0054-7.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s12532-013-0054-7\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s12532-013-0054-7","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,7,13]],"date-time":"2019-07-13T02:52:33Z","timestamp":1562986353000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s12532-013-0054-7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,4,30]]},"references-count":63,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2013,9]]}},"alternative-id":["54"],"URL":"https:\/\/doi.org\/10.1007\/s12532-013-0054-7","relation":{},"ISSN":["1867-2949","1867-2957"],"issn-type":[{"value":"1867-2949","type":"print"},{"value":"1867-2957","type":"electronic"}],"subject":[],"published":{"date-parts":[[2013,4,30]]}}}