Languages and Tools for Optimization of Large-Scale Systems

Modeling and simulation are established techniques for solving design problems in a wide range of engineering disciplines today. Dedicated computer languages, such as Modelica, and efficient software tools are available. In this thesis, an extension of Modelica, Optimica, targeted at dynamic optimization of Modelica models is proposed. In order to demonstrate the Optimica extension, supporting software has been developed. This includes a modularly extensible Modelica compiler, the JModelica compiler, and an extension that supports also Optimica. A Modelica library for paper machine dryer section modeling, DryLib, has been developed. The classes in the library enable structured and hierarchical modeling of dryer sections at the application user level, while offering extensibility for the expert user. Based on DryLib, a parameter optimization problem, a model reduction problem, and an optimization-based control problem have been formulated and solved. A start-up optimization problem for a plate reactor has been formulated in Optimica, and solved by means of the Optimica compiler. In addition, the robustness properties of the start-up trajectories have been evaluated by means of Monte-Carlo simulation. In many control systems, it is necessary to consider interaction with a user. In this thesis, a manual control scheme for an unstable inverted pendulum system, where the inputs are bounded, is presented. The proposed controller is based on the notion of reachability sets and guarantees semi global stability for all references. An inverted pendulum on a two wheels robot has been developed. A distributed control system, including sensor processing algorithms and a stabilizing control scheme has been implemented on three on-board embedded processors.

[1]  Johan Åkesson,et al.  Dynamic start-up optimization of a plate reactor with uncertainties , 2009 .

[2]  Qing Li,et al.  Unified Modeling Language , 2009 .

[3]  Martin Gogolla,et al.  Unified Modeling Language , 2020, Definitions.

[4]  Victor M. Zavala,et al.  Interior-point decomposition approaches for parallel solution of large-scale nonlinear parameter estimation problems , 2008 .

[5]  Torbjörn Ekman,et al.  Development of a Modelica Compiler Using JastAdd , 2008, Electron. Notes Theor. Comput. Sci..

[6]  Torbjörn Ekman,et al.  The jastadd extensible java compiler , 2007, OOPSLA.

[7]  David Broman,et al.  Abstract Syntax Can Make the Definition of Modelica Less Abstract , 2007, EOOLT.

[8]  P. Hagander,et al.  Modeling and control of a novel heat exchange reactor, the Open Plate Reactor , 2007 .

[9]  Lennart Ljung,et al.  On parameter and state estimation for linear differential-algebraic equations , 2007, Autom..

[10]  Henrik Danielsson.  Vehicle Path Optimisation , 2007 .

[11]  Karl-Erik Årzén,et al.  Tools and Languages for Modeling and Optimization of Large-Scale Dynamical Systems , 2007 .

[12]  Anders Blomdell,et al.  Design and Control of YAIP — an Inverted Pendulum on Two Wheels Robot , 2006, 2006 IEEE Conference on Computer Aided Control System Design, 2006 IEEE International Conference on Control Applications, 2006 IEEE International Symposium on Intelligent Control.

[13]  Adrian Pop,et al.  MetaModelica: A Unified Equation-Based Semantical and Mathematical Modeling Language , 2006, JMLC.

[14]  木山 健,et al.  16th IFAC World Congress , 2006 .

[15]  Moritz Diehl,et al.  An approximation technique for robust nonlinear optimization , 2006, Math. Program..

[16]  L. Biegler,et al.  Convergence rates for direct transcription of optimal control problems with final-time equality constraints using collocation at Radau points , 2006, 2006 American Control Conference.

[17]  Lorenz T. Biegler,et al.  On the implementation of an interior-point filter line-search algorithm for large-scale nonlinear programming , 2006, Math. Program..

[18]  Johan Windahl.  Modelling and Parameter Estimation of a Paper Machine Drying Section Using Modelica , 2006 .

[19]  Johan Åkesson,et al.  Modeling, Calibration and Control of a Paper Machine Dryer Section , 2006 .

[20]  Per Hagander,et al.  Challenges in Start-up control of a heat Exchange reactor with exothermic Reactions; a Hybrid Approach , 2006, ADHS.

[21]  Ola Slätteke,et al.  Modeling and Control of the Paper Machine Drying Section , 2006 .

[22]  Torbjörn Ekman,et al.  Extensible Compiler Construction , 2006 .

[23]  Peter Fritzson,et al.  Types in the Modelica Language , 2006 .

[24]  Johan Åkesson,et al.  Parameter Optimization of a Paper Machine Model , 2006 .

[25]  Michel Cabassud,et al.  Performance Evaluation of a Novel Concept “Open Plate Reactor” Applied to Highly Exothermic Reactions , 2005 .

[26]  Tore Hägglund,et al.  Advanced PID Control , 2005 .

[27]  Torbjörn Ekman,et al.  Modular Name Analysis for Java Using JastAdd , 2005, GTTSE.

[28]  M. A. Akanbi,et al.  Numerical solution of initial value problems in differential - algebraic equations , 2005 .

[29]  K.J. Astrom,et al.  Modeling of a steam heated rotating cylinder - a grey-box approach , 2005, Proceedings of the 2005, American Control Conference, 2005..

[30]  Ian M. Mitchell,et al.  A Toolbox of Hamilton-Jacobi Solvers for Analysis of Nondeterministic Continuous and Hybrid Systems , 2005, HSCC.

[31]  Donald E. Knuth,et al.  Semantics of context-free languages , 1968, Mathematical systems theory.

[32]  Karl Johan Åström,et al.  MANUAL CONTROL AND STABILIZATION OF AN INVERTED PENDULUM , 2005 .

[33]  Magnus Karlsson.  Static and Dynamic Modelling of the Drying Section of a Paper Machine , 2005 .

[34]  Xiaojing Zhang,et al.  ON-LINE PULP MILL PRODUCTION OPTIMIZATION , 2005 .

[35]  Ian M. Mitchell,et al.  A Toolbox of Level Set Methods , 2005 .

[36]  Torbjörn Ekman,et al.  Rewritable Reference Attributed Grammars , 2004, ECOOP.

[37]  Hans Olsson,et al.  Realtime Simulation of Detailed Vehicle and Powertrain Dynamics , 2004 .

[38]  Peter A. Fritzson,et al.  Principles of object-oriented modeling and simulation with Modelica 2.1 , 2004 .

[39]  Johan Åkesson,et al.  Flexible Implementation of Model Predictive Control Using Sub-Optimal Solutions , 2004 .

[40]  Jenny Ekvall.  Dryer section control in paper machines during web , 2004 .

[41]  Karl-Erik Årzén,et al.  A Framework for Grade Changes: An Optimization and Sequential Control Approach , 2004 .

[42]  Görel Hedin,et al.  Circular reference attributed grammars - their evaluation and applications , 2003, Sci. Comput. Program..

[43]  Torsten Bohlin.  Grey-Box Model Calibrator and Validator , 2003 .

[44]  Per Hagander,et al.  Integral action — A disturbance observer approach , 2003, 2003 European Control Conference (ECC).

[45]  G. Stein,et al.  Respect the unstable , 2003 .

[46]  Yaakov Oshman,et al.  Improving the accuracy of analog encoders via Kalman filtering , 2003 .

[47]  S. Joe Qin,et al.  A survey of industrial model predictive control technology , 2003 .

[48]  Görel Hedin,et al.  JastAdd--an aspect-oriented compiler construction system , 2003, Sci. Comput. Program..

[49]  David Q. Mayne,et al.  Constrained state estimation for nonlinear discrete-time systems: stability and moving horizon approximations , 2003, IEEE Trans. Autom. Control..

[50]  Shengtai Li,et al.  Adjoint Sensitivity Analysis for Differential-Algebraic Equations: The Adjoint DAE System and Its Numerical Solution , 2002, SIAM J. Sci. Comput..

[51]  Johan Åkesson,et al.  Operator Interaction and Optimization in Control Systems , 2003 .

[52]  Karl-Erik Årzén,et al.  TrueTime: Real-time Control System Simulation with MATLAB/Simulink , 2003 .

[53]  Bo Lincoln,et al.  Dynamic Programming and Time-Varying Delay Systems , 2003 .

[54]  Manfred Rode,et al.  On-line Optimization of Drum Boiler Startup , 2003 .

[55]  Giuseppe Maschio,et al.  A general criterion to define runaway limits in chemical reactors , 2003 .

[56]  K.-E. Arzen,et al.  On dynamic real-time scheduling of model predictive controllers , 2002, Proceedings of the 41st IEEE Conference on Decision and Control, 2002..

[57]  Paul I. Barton,et al.  Modeling, simulation, sensitivity analysis, and optimization of hybrid systems , 2002, TOMC.

[58]  Karl-Erik Årzén,et al.  Feedback scheduling of model predictive controllers , 2002, Proceedings. Eighth IEEE Real-Time and Embedded Technology and Applications Symposium.

[59]  Jan M. Maciejowski,et al.  Predictive control : with constraints , 2002 .

[60]  Alfred C. Rufer,et al.  JOE: a mobile, inverted pendulum , 2002, IEEE Trans. Ind. Electron..

[61]  Claudio De Persis,et al.  Proceedings of the 41st IEEE Conference on Decision and Control , 2002 .

[62]  Qin Hai-yan,et al.  The Context , 2012 .

[63]  M. E. Achhab,et al.  Equilibrium Profiles of Tubular Reactor Nonlinear Models , 2002 .

[64]  K.J. Astrom,et al.  Safe manual control of the Furuta pendulum , 2001, Proceedings of the 2001 IEEE International Conference on Control Applications (CCA'01) (Cat. No.01CH37204).

[65]  William G. Griswold,et al.  An Overview of AspectJ , 2001, ECOOP.

[66]  Tingshu Hu,et al.  Stabilization of exponentially unstable linear systems with saturating actuators , 2001, IEEE Trans. Autom. Control..

[67]  Linda R. Petzold,et al.  Description of DASPKADJOINT: An Adjoint Sensitivity Solver for Difierential-Algebraic Equations , 2001 .

[68]  David Q. Mayne,et al.  Constrained model predictive control: Stability and optimality , 2000, Autom..

[69]  Katsuhisa Furuta,et al.  Swinging up a pendulum by energy control , 1996, Autom..

[70]  Stig Stenström,et al.  Experimental evaluation of electric infrared dryers , 2000 .

[71]  Johan Åkesson,et al.  Safe Manual Control of Unstable Systems , 2000 .

[72]  M. Otter,et al.  Modelica - A Unified Object-Oriented Language for Physical Systems Modeling - Language Specification , 2000 .

[73]  Görel Hedin,et al.  Reference Attributed Grammars , 2000, Informatica.

[74]  Franco Blanchini,et al.  Set invariance in control , 1999, Autom..

[75]  A. Teel.  Anti-windup for exponentially unstable linear systems , 1999 .

[76]  Philip J Thomas BSc CEng Fiee FInstMC,et al.  Simulation of Industrial Processes for Control Engineers , 1999 .

[77]  D. Q. Mayne,et al.  Suboptimal model predictive control (feasibility implies stability) , 1999, IEEE Trans. Autom. Control..

[78]  Johan Åkesson.  Safe Reference Following on the Inverted Pendelum , 1999 .

[79]  Uri M. Ascher,et al.  Computer methods for ordinary differential equations and differential-algebraic equations , 1998 .

[80]  Karl Johan Åström,et al.  Evolution of Continuous-Time Modeling and Simulation , 1998, ESM.

[81]  M. Pachter,et al.  Manual flight control with saturating actuators , 1998 .

[82]  Susan Alexis Collins,et al.  In conversation , 1998, SIGGRAPH '98.

[83]  Hilding Elmqvist,et al.  Modelica—An International Effort to Design an Object-Oriented Modeling Language , 1998 .

[84]  Peter Fritzson,et al.  GENERATING A MODELICA COMPILER FROM NATURAL SEMANTICS SPECIFICATIONS , 1998 .

[85]  Carlos Canudas de Wit,et al.  Friction Models and Friction Compensation , 1998, Eur. J. Control.

[86]  A.-J. Baerveldt,et al.  A low-cost and low-weight attitude estimation system for an autonomous helicopter , 1997, Proceedings of IEEE International Conference on Intelligent Engineering Systems.

[87]  Lars Rundqwist,et al.  Rate limiters with phase compensation in JAS 39 Gripen , 1997, 1997 European Control Conference (ECC).

[88]  A. Teel,et al.  The L2 anti-winup problem: Its definition and solution , 1997, 1997 European Control Conference (ECC).

[89]  Sabina Brufani.  Manual Control of Unstable Systems , 1997 .

[90]  Thomas B. Sheridan,et al.  Perspectives on the human controller : essays in honor of Henk G. Stassen , 1997 .

[91]  Karl Henrik Johansson,et al.  Relay Feedback and Multivariable Control , 1997 .

[92]  Michael T. Heath,et al.  Scientific Computing , 2018 .

[93]  A. Teel.  A nonlinear small gain theorem for the analysis of control systems with saturation , 1996, IEEE Trans. Autom. Control..

[94]  Christian Bischof,et al.  Adifor 2.0: automatic differentiation of Fortran 77 programs , 1996 .

[95]  Andreas Griewank,et al.  Algorithm 755: ADOL-C: a package for the automatic differentiation of algorithms written in C/C++ , 1996, TOMS.

[96]  Klaas R. Westerterp,et al.  Startup strategy design and safeguarding of industrial adiabatic tubular reactor systems , 1996 .

[97]  PeMi Heikkila.  A Study on the Drying Process of Pigment Coated Paper Webs , 1996 .

[98]  Martín Abadi,et al.  A Theory of Objects , 1996, Monographs in Computer Science.

[99]  Robert F. Stengel,et al.  Optimal Control and Estimation , 1994 .

[100]  Ming Rao,et al.  Modeling and Advanced Control for Process Industries: Applications to Paper Making Processes , 1994 .

[101]  Mats Andersson,et al.  Object-Oriented Modeling and Simulation of Hybrid Systems , 1994 .

[102]  Ralph Johnson,et al.  design patterns elements of reusable object oriented software , 2019 .

[103]  Eduardo D. Sontag,et al.  A general result on the stabilization of linear systems using bounded controls , 1993, Proceedings of 32nd IEEE Conference on Decision and Control.

[104]  Stefan Rönnbäck.  Linear control of systems with actuator constraints , 1993 .

[105]  Vassilios Vassiliadis,et al.  Computational solution of dynamic optimization problems with general differential-algebraic constraints , 1993 .

[106]  Tore Hägglund.  Process Control in Practice , 1993 .

[107]  Bernt Nilsson.  Object-Oriented Modeling of Chemical Processes , 1993 .

[108]  Brian W. Kernighan,et al.  AMPL: A Modeling Language for Mathematical Programming , 1993 .

[109]  D. Wolpert,et al.  Is the cerebellum a smith predictor? , 1993, Journal of motor behavior.

[110]  Véronique De Keyser.  Book Review: "Robotics, Control and Society, " edited by N. Moray, W. R. Ferrell and W. B. Rouse , 1992, Int. J. Man Mach. Stud..

[111]  A. Teel.  Global stabilization and restricted tracking for multiple integrators with bounded controls , 1992 .

[112]  W. Schiesser.  The Numerical Method of Lines: Integration of Partial Differential Equations , 1991 .

[113]  François E. Cellier,et al.  Continuous system modeling , 1991 .

[114]  Rein Luus,et al.  Evaluation of gradients for piecewise constant optimal control , 1991 .

[115]  G. Perdikaris.  Computer Controlled Systems , 1991 .

[116]  M. S. Grewal,et al.  Application of Kalman filtering to the calibration and alignment of inertial navigation systems , 1990, 29th IEEE Conference on Decision and Control.

[117]  Massimo Morbidelli,et al.  Parametric sensitivity in tubular reactors with co-current external cooling , 1990 .

[118]  S. Doaitse Swierstra,et al.  Higher order attribute grammars , 1989, PLDI '89.

[119]  G. L. Wedel,et al.  The effect of spoiler bars on dryer heat transfer , 1988 .

[120]  U. Ascher,et al.  A New Basis Implementation for a Mixed Order Boundary Value ODE Solver , 1987 .

[121]  Anil V. Rao,et al.  Practical Methods for Optimal Control Using Nonlinear Programming , 1987 .

[122]  Daniel H. H. Ingalls.  A Simple Technique for Handling Multiple Polymorphism , 1986, OOPSLA.

[123]  L. Petzold.  Order results for implicit Runge-Kutta methods applied to differential/algebraic systems , 1986 .

[124]  Rodney Farrow.  Automatic generation of fixed-point-finding evaluators for circular, but well-defined, attribute grammars , 1986, SIGPLAN '86.

[125]  L. Petzold,et al.  Numerical methods and software for sensitivity analysis of differential-algebraic systems , 1986 .

[126]  C. Walls.  High-level languages , 1986 .

[127]  Jens Rasmussen,et al.  Skills, rules, and knowledge; signals, signs, and symbols, and other distinctions in human performance models , 1983, IEEE Transactions on Systems, Man, and Cybernetics.

[128]  Rodney Farrow,et al.  LINGUIST-86: Yet another translator writing system based on attribute grammars , 1982, SIGPLAN '82.

[129]  B. Anderson,et al.  Optimal Filtering , 1979, IEEE Transactions on Systems, Man, and Cybernetics.

[130]  B. Moore.  Principal component analysis in linear systems: Controllability, observability, and model reduction , 1981 .

[131]  C. K. Yuen,et al.  Digital Filters , 2018, IEEE Transactions on Systems, Man, and Cybernetics.

[132]  G. Froment,et al.  Chemical Reactor Analysis and Design , 1979 .

[133]  Hilding Elmqvist,et al.  DYMOLA - A Structured Model Language for Large Continuous Systems , 1978 .

[134]  E. E. Mitchell,et al.  Advanced Continuous Simulation Language (ACSL) , 1976 .

[135]  William M. Waite.  Code Generation , 1976, Compiler Construction.

[136]  Robert E. Tarjan,et al.  Depth-First Search and Linear Graph Algorithms , 1972, SIAM J. Comput..

[137]  M. Nadler,et al.  Enthalpy of Formation of NH , 1972 .

[138]  J. Meditch,et al.  Applied optimal control , 1972, IEEE Transactions on Automatic Control.

[139]  L. T. Fan,et al.  Optimal startup control of a jacketed tubular reactor , 1971 .

[140]  D. Kleinman,et al.  An optimal control model of human response part II: Prediction of human performance in a complex task , 1970 .

[141]  David L. Kleinman,et al.  An optimal control model of human response part I: Theory and validation , 1970 .

[142]  V. Weekman,et al.  Chemical Reaction Engineering , 1974 .

[143]  Brian R. Gaines,et al.  Linear and Nonlinear Models of the Human Controller , 1969 .

[144]  Ernst Schmidt.  Properties of water and steam in SI-units , 1969 .

[145]  Dean Karnopp,et al.  Analysis and simulation of multiport systems : the bond graph approach to physical system dynamics , 1968 .

[146]  F. J. Sansom,et al.  The SCi Continuous System Simulation Language (CSSL) , 1967 .

[147]  R. Bellman.  Dynamic Programming , 1957, Science.

[148]  Duane T. McRuer.  HUMAN PILOT DYNAMICS IN COMPENSATORY SYSTEMS , 1965 .

[149]  J. M. Cohen,et al.  Mexico City : México , 1965 .

[150]  I. A. M. Hall,et al.  Study of the Human Pilot as a Servo-Element , 1963, The Journal of the Royal Aeronautical Society.

[151]  John Hugh Westcott,et al.  The characteristics of the human operator engaged in a tracking task , 1963, Autom..

[152]  L. S. Pontryagin,et al.  Mathematical Theory of Optimal Processes , 1962 .

[153]  A. Tustin,et al.  The nature of the operator's response in manual control, and its implications for controller design , 1947 .

[154]  Vannevar Bush,et al.  The differential analyzer. A new machine for solving differential equations , 1931 .