Languages and Tools for Optimization of Large-Scale Systems
(2007) In PhD Thesis TFRT-1081- 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) - 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)
Please use this url to cite or link to this publication:
https://lup.lub.lu.se/record/599261
- author
- Åkesson, Johan LU
- supervisor
-
- Karl-Erik Årzén LU
- Per Hagander LU
- Görel Hedin LU
- opponent
-
- Professor Biegler, Lorenz T., Carnegie Mellon University, Pittsburgh, USA
- organization
- publishing date
- 2007
- 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 Thesis 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:00
- ISSN
- 0280-5316
- 0280-5316
- language
- English
- LU publication?
- yes
- id
- 8269963c-b12c-4931-8019-c67c84494199 (old id 599261)
- date added to LUP
- 2016-04-01 15:58:53
- date last changed
- 2019-05-23 15:59:22
@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}},
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}},
language = {{eng}},
publisher = {{Department of Automatic Control, Lund Institute of Technology, Lund University}},
school = {{Lund University}},
series = {{PhD Thesis TFRT-1081}},
title = {{Languages and Tools for Optimization of Large-Scale Systems}},
url = {{https://lup.lub.lu.se/search/files/4533240/599262.pdf}},
year = {{2007}},
}