Advanced

Languages and Tools for Optimization of Large-Scale Systems

Åkesson, Johan LU (2007) In PhD Theses TFRT-1081.
Abstract (Swedish)
Popular Abstract in Swedish

Modellering och simulering är etablerade tekniker för att lösa designproblem inom många olika ingenjörsdiscipliner idag. Dedicerade språk, såsom Modelica, och effektiva mjukvaror finns också tillgängliga. I denna avhandling presenteras en språklig utvidgning av Modelica, Optimica, som är avsedd för formulering av dynamiska optimeringsproblem. För att demonstrera användningen av Optimica har mjukvara utvecklats för ändamålet. Denna mjukvara inkluderar en modulärt utbyggbar kompilator, JModelica-kompilatorn, samt en utvidgning som stöder Optimica.



Ett Modelica-bibliotek för modellering av torkpartier i pappersmaskiner, DryLib, har utvecklats. Klasserna i biblioteket möjliggör... (More)
Popular Abstract in Swedish

Modellering och simulering är etablerade tekniker för att lösa designproblem inom många olika ingenjörsdiscipliner idag. Dedicerade språk, såsom Modelica, och effektiva mjukvaror finns också tillgängliga. I denna avhandling presenteras en språklig utvidgning av Modelica, Optimica, som är avsedd för formulering av dynamiska optimeringsproblem. För att demonstrera användningen av Optimica har mjukvara utvecklats för ändamålet. Denna mjukvara inkluderar en modulärt utbyggbar kompilator, JModelica-kompilatorn, samt en utvidgning som stöder Optimica.



Ett Modelica-bibliotek för modellering av torkpartier i pappersmaskiner, DryLib, har utvecklats. Klasserna i biblioteket möjliggör strukturerad och hierarkisk modellering av torkpartier för applikationsanvändare, samtidigt som de erbjuder flexibilitet och utbyggbarhet för expertanvändare. Ett parameteroptimeringsproblem, ett modellreduktionsproblem samt ett optimeringsbaserat reglerproblem som baseras på DryLib redovisas i avhandlingen.



Ett uppstarts-problem för en plattreaktor har formulerats i Optimica, och en lösning har beräknats med hjälp av Optimica-kompilatorn. Vidare har den resulterande lösningens robusthet kvantifierats med Monte Carlo-Simuleringar.



I många styrsystem är det nödvändigt att beakta interaktion med en användare, eller operatör. I denna avhandling presenteras en regulator för manuell reglering av inverterade pendlar, där insignalen är begränsad. Regulatorn är baserad på nåbara mängder och garanterar semi-global stbilitet för alla referens-trajektorier.



En robot bestående av en pendelkropp på två hjul har utvecklats. Ett distribuerat styrsystem, inkluderande signalbehandlingsalgoritmer och en stabiliserande styrlag har implementerats. (Less)
Abstract
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... (More)
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. (Less)
Please use this url to cite or link to this publication:
author
supervisor
opponent
  • Professor Biegler, Lorenz T., Carnegie Mellon University, Pittsburgh, USA
organization
publishing date
type
Thesis
publication status
published
subject
keywords
Paper Machine Modeling, Plate Reactor, Languages for Physical Modeling, Compiler Construction, Dynamic Optimization, Modelica, Optimica, Manual Control, Automation, robotics, control engineering, Automatiska system, robotteknik, reglerteknik
in
PhD Theses
volume
TFRT-1081
publisher
Department of Automatic Control, Lund Institute of Technology, Lund University
defense location
Room M:B, M-building, Ole Römers väg 1, Lund University Faculty of Engineering
defense date
2007-11-30 10:15
ISSN
0280-5316
language
English
LU publication?
yes
id
8269963c-b12c-4931-8019-c67c84494199 (old id 599261)
date added to LUP
2007-11-12 19:15:37
date last changed
2016-09-19 08:44:54
@phdthesis{8269963c-b12c-4931-8019-c67c84494199,
  abstract     = {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.<br/><br>
<br/><br>
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.<br/><br>
<br/><br>
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.<br/><br>
<br/><br>
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.<br/><br>
<br/><br>
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.},
  author       = {Åkesson, Johan},
  issn         = {0280-5316},
  keyword      = {Paper Machine Modeling,Plate Reactor,Languages for Physical Modeling,Compiler Construction,Dynamic Optimization,Modelica,Optimica,Manual Control,Automation,robotics,control engineering,Automatiska system,robotteknik,reglerteknik},
  language     = {eng},
  publisher    = {Department of Automatic Control, Lund Institute of Technology, Lund University},
  school       = {Lund University},
  series       = {PhD Theses},
  title        = {Languages and Tools for Optimization of Large-Scale Systems},
  volume       = {TFRT-1081},
  year         = {2007},
}