This paper presents a newly deployed server; IDOS; an online-accessible environment providing the service of solving solving optimal control problems. Development and deployment of the Interactive Dynamic Optimization Server is a result of a project funded by NCBiR (National Center for Research and Development) under grant R02-0009-06. One of the outcomes of the project was a modeling language (Dynamic Optimization Modeling Language; DOML) providing a uniform format for defining dynamic optimization problems. DOML is an extension of Modelica language and hance; not only a user can specify his problem in the way he does in Modelica but also (more importantly; for the purpose of thids paper) models created in Modelica for simulation purposes can be easily transferred to DOML for solving their related optimization problems. In particular; Modelica models can be calibrated with the help of our server. The paper tries to illustrate the point in depth. It presents the workings of the server and reviews the scope of solvers implemented; focusing especially on those that can be used for calibrating Modelica models. Special attention is devoted to an algorithm using adjoint equations for evaluating sensitivities of model equations with respect to parameters and to calibrating models described by higher index DAEs.
[1] Åkesson J. Tools and Languages for Optimization of Large-Scale Systems. Lund, Sweden: PhD thesis, Department of Automatic Control, Lund University, 2007.
[2] Åkesson J. Optimica–an extension of Modelica supporting dynamic optimization. In: Proceedings of the 6th Modelica Conference 2008, Bielefeld, Germany, Modelica Association, 3-4 March 2008.
[3] Blaszczyk J, Karbowski A, K. Malinowski K. Object Object library of algorithms for dynamic optimization problems: benchmarking SQP and nonlinear interior point methods. In: Journal of Applied Mathematics and Computer Science, Vol. 17, 515–537, 2007.
[4] Bonami P, Lee J BONMIN Users’ Manual, 2009.
[5] Bonami P, Lodi A, Cornujols G, Margot F. A feasibility pump for mixed integer nonlinear programs. In: Mathematical Programming, Vol. 119, 331–352, 2009.
[6] Franke R. Anwendung von Interior-Point-Methoden zur Lösung zeitdiskreter Optimalsteuerungsprobleme. Master’s thesis, Techniche Universität Ilmenau, Institut für Automatisierungs- und Systemtechnik Fachgebiet Dynamik und Simulation ökologischer Systeme, Ilmenau, Germany, October 1994 (in German).
[7] Franke R. OMUSES — a Tool for the Optimization of MUltistage Systems and HQP — a Solver for Sparse Nonlinear Optimization. Dept. of Automation and Systems Engineering, Technical University of Ilmenau, Germany, September 1998.
[8] Gondzio J. Multiple centrality corrections in a primal-dual method for linear programming. Technical Report 1994.20, Department of Management Studies, University of Geneva, Geneva, Switzerland, 1994.
[9] Hairer E, Lubich Ch, Roche M. The numerical solution of differential–algebraic equations by Runge–Kutta methods. Lecture Notes in Mathematics 1409, Springer–Verlag, Berlin, Heidelberg, 1989.
[10] Hairer E, Norsett S.P, Wanner G. Solving Ordinary Differential Equations I., Springer–Verlag, Berlin Heidelberg New York, 2008.
[11] Hairer E,Wanner G. Solving Ordinary Differential Equations II, Springer–Verlag, Berlin Heidelberg New York, 1996.
[12] Hindmarsh, A.C., Brown, P.N., Grant, K.E., Lee, S.L., Serban, R., Shumaker, D.E., Woodward, C.S. SUNDIALS: Suite of Nonlinear and Differential/Algebraic Equation Solvers, preprint, UCRL-JRNL-200037, 2004.
[13] Mehrotra S. On the implementation of a primal–dual interior point method. In: SIAM Journal on Optimization, Vol. 2, 575–601, 1992.
[14] Oberle H.J, Grimm W. BNDSCO – A Program for the Numerical Solution of Optimal Control Problems, Report No. 515 der DFVLR (German Test and Research Institute for Aviation and Space Flight), 1989.
[15] Pantelides C. Consistent initialization of differential–algebraic system. In: SIAM J. Scientific and Statistical Computation Vol. 9, 213-231, 1988.
[16] Pryce, J.D. A simple structural analysis method for DAEs, BIT 41 (2001), pp. 364–394.
[17] Pytlak R. Numerical procedures for optimal control problems with state constraints. Lecture Notes in Mathematics 1707, Springer–Verlag, Heidelberg, 1999.
[18] Pytlak R. Numerical procedure for optimal control of higher index DAEs. In: J. Discrete and Continuous Dynamical Systems, Vol. 29,
1–24, 2011.
[19] Pytlak R, Tarnawski T, Fajdek B, Stachura M. Interactive dynamic optimization server–connecting one modeling language with many solvers. In: Optimization Methods and Software, 2013. http://dx.doi.org/10.1080/10556788.2013.799159.
[20] Pytlak R (ed.). Interactive computer environment for solving optimal control problems–IDOS. BelStudio, Warsaw, Poland, 2012.
[21] Pytlak R, Blaszczyk J, Krawczyk K, Tarnawski T. Solvers chaining in the IDOS server for dynamic optimization. In: Proceedings of 52nd Conference on Decision and Control, Florence, Italy, 10-13 December 2013.
[22] Serban R, Hindmarsh A.C. CVODES, the sensitivity-enabled ODE solver in SUNDIALS. In: Proceedings of the 5th International Conference on Multibody Systems, Nonlinear Dynamics and Control, ASME, Long Beach, CA, 2005.
[23] de Souza, N., Fateman, R.J., Moses, J., Yapp, C. The Maxima Book, http://maxima.sourceforge.net/docs/maximabook/maximabook-19-Sept-2004.pdf, 2004.
[24] Tarnawski, T, Pytlak R. DOML - a compiler environment for dynamic optimization supporting multiple solvers. Accepted for: 10th Modelica Conference 2014, Lund, Sweden, Modelica Association, 10-12 March 2014.
[25] Wachter A, Biegler L.T. On the implementation of an interior point Line search filter algorithm for large scale nonlinear programming. In: Math. Programming, Vol. 106, 25–57, 2006.
[26] Interactive Dynamic Optimization Server. http://idos.mchtr.pw.edu.pl/. November 2013.
