DOML -- a Compiler Environment for Dynamic Optimization Supporting Multiple Solvers

Abstract

The Modelica language may serve well as a base for defining optimal control problems, given a few relatively minor syntax extensions. One exam-ple proving that point is Optimica and another one is DOML (Dynamic Optimization Modeling Language) – installed on IDOS (Interactive Dy-namic Optimization Language) and described in this paper. The DOML implementation is, actu-ally, heavily based on the (open source) compiler of Optimica but it provides a number of important features absent in its precursor. One main exten-sion of the compiler lies in its built-in mechanism supporting the use of many different optimization solvers (selected on the fly, depending on the con-tent of the problem definition) and to seamlessly add new, external, solvers. In result, the range of problems that may be specified with DOML and solved in the IDOS environment is quite wide and keeps growing. The scope of problems ranges from some static optimization problems through regu-lar ODE, parametric optimization, minimum time problems, up to DAE with higher index. DOML language extensions also provide preliminary sup-port for multi-objective optimization and PDE problems.