DOCSLIB.ORG

5Th International Workshop on Equation-Based Object-Oriented Modeling Languages and Tools

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read full-text
5Th International Workshop on Equation-Based Object-Oriented Modeling Languages and Tools Proceedings of the 5th International Workshop on Equation-Based Object-Oriented Modeling Languages and Tools University of Nottingham, UK, 19 April, 2013 Editor Henrik Nilsson EOOLT Supported by The Functional Programming Laboratory, School of Computer Science, University of Nottingham 2013 ISSN: 1650-3686 5th International Workshop on Equation-Based Object-Oriented Modeling Languages and Tools 19 April 2013, Nottingham, UK Proceedings Edited by Henrik Nilsson Copyright The publishers will keep this document online on the Internet — or its possible replacement — starting from the date of publication barring exceptional circumstances. The online availability of the document implies permanent permission for anyone to read, to down- load, or to print out single copies for his/her own use and to use it unchanged for noncommercial re- search and educational purposes. Subsequent transfers of copyright cannot revoke this permission. All other uses of the document are conditional upon the consent of the copyright owner. The publisher has taken technical and administrative measures to assure authenticity, security and accessibility. According to intellectual property law, the author has the right to be mentioned when his/her work is accessed as described above and to be protected against infringement. For additional information about Linkping University Electronic Press and its procedures for publication and for assurance of document integrity, please refer to its www home page: http://www.ep.liu.se/. Series: Link¨oping Electronic Conference Proceedings, No. 84 ISSN (print): 1650-3686 ISSN (online): 1650-3740 ISBN (print): 978-91-7519-621-3 ISBN (online): 978-91-7519-617-6 http://www.ep.liu.se/ecp_home/index.en.aspx?issue=084 Printed by AlphaGraphics, Nottingham, UK, 2013 Copyright c the authors, 2013 Chair’s Welcome It is my great pleasure to welcome you to EOOLT 2013, the 5th International Workshop on Equation- Based Object-Oriented Languages and Tools! Equation-based modeling and simulation languages with hybrid capabilities (that is, supporting both continuous-time and discrete-time aspects) enable high- level reuse and integrated modeling capabilities for physical systems, embedded systems software, as well as their combination. They thus offer considerable advantages for many application areas, in- cluding complex cyber-physical systems. Consequently, this class of languages has gained significant and increasing attention over the last decade. Examples include Modelica, SysML, VHDL-AMS, and Simulink/Simscape. EOOLT is a forum for researchers with interests in all aspects of equation-based modeling languages and their supporting tools, including design, implementation, open issues limiting their expressiveness or usefulness, novel applications, and their relation to other approaches broadly addressing similar needs, such as synchronous and actor-oriented languages. EOOLT 2013 takes place in Nottingham, UK, 19 April, hosted by the School of Computer Science at the University of Nottingham. It follows on from a successful series of earlier EOOLT workshops that took place in Berlin, Germany in 2007; Paphos, Cyprus in 2008; Oslo, Norway in 2010; and Z¨urich, Switzerland in 2011. For further general information about EOOLT, see http://www.eoolt.org. In all, 13 papers were submitted and ultimately accepted for presentation after thorough peer review- ing. Each paper received at least 3 independent reviews. The full, final versions of these papers can all be found in this volume, along with abstracts for the invited talk and two tool demonstrations. I believe the result is a very exciting and strong program for EOOLT 2013! As always, making an event like EOOLT 2013 happen is very much a team effort. First of all, I would like to thank the authors for their contributions: without you, there would not be any EOOLT 2013 in the first place! Then I would like to thank the Program Committee and the additional reviewers who through thorough reviewing and engaged discussions set very high standards for the accepted contributions. The Steering Committee provided timely and helpful advice and other support throughout the organisational effort. I am particularly indebted to David Broman for providing various templates for the proceedings and the website. I would further like to thank Peter Berkesand and Link¨oping University Electronic Press for their invaluable help in putting together and publishing the proceedings. As to the local organisation, I owe a big thank you to John Capper and Nadine Holmes for help with countless practical arrangements. Additionally I gratefully acknowledge the support for EOOLT 2013 offered by Prof. Graham Hutton and the Functional Programming Laboratory, as well as the School of Computer Science for hosting the event and providing administrative support. Henrik Nilsson (Chair) Nottingham, March 2013 iii Table of Contents EOOLT 2013 Organisation ...................................................................vi Session I: Verification and Validation Chair: Henrik Nilsson (University of Nottingham) • Invited Talk:EnclosingHybridBehavior ................................................. .3 Walid Taha (Halmstad University and Rice University) • Static Validation of Modelica Models for Language Compliance and Structural Integrity . .5 Roland Samlaus and Mareike Strach (Fraunhofer Institute for Wind Energy and Energy System Technology) • Modeling System Requirements in Modelica: Definition and Comparison of Candidate Approaches ............................................................... .15 Andrea Tundis (University of Calabria), Lena Rogovchenko-Buffoni (Linkoping¨ University), Peter Fritzson (Linkoping¨ University), and Alfredo Garro (University of Calabria) Session II: Parallel Simulation Chair: Dirk Zimmer (DLR Oberpfaffenhofen) • Parallelization Approaches for the Time-Efficient Simulation of Hybrid Dynamical Systems: ApplicationtoCombustionModeling ....................................................27 Abir Ben Khaled (IFP Energies nouvelles), Mongi Ben Gaid (IFP Energies nouvelles), Daniel Simon (INRIA and LIRMM) • Automating Dynamic Decoupling in Object-Oriented Modelling and Simulation Tools . .37 Alessandro Vittorio Papadopoulos and Alberto Leva (Politecnico di Milano) • A Strategy for Parallel Simulation of Declarative Object-Oriented Models of Generalized PhysicalNetworks .....................................................................45 Francesco Casella (Politecnico di Milano) Session III: Diagnosis and Debugging Chair: Peter Fritzson (Linkoping¨ University) • Functional Debugging of Equation-BasedLanguages ..................................... 55 Arquimedes Canedo and Ling Shen (Siemens Corporation) • Toward an Equation-Oriented Framework for Diagnosis of Complex Systems . 65 Alexander Feldman and Gregory Provan (University College Cork) Session IV: Simulation Methods Chair: Francesco Casella (Politecnico di Milano) • Using Artificial States in Modeling Dynamic Systems: Turning Malpractice into GoodPractice .........................................................................77 Dirk Zimmer (German Aerospace Center (DLR)) • Simplification of Differential Algebraic Equations by the Projection Method . 87 Elena Shmoylova, J¨urgen Gerhard, Erik Postma, and Austin Roche (Maplesoft) • Initialization of Equation-Based Hybrid Models within OpenModelica . 97 Lennart A. Ochel and Bernhard Bachmann (University of Applied Sciences, Bielefeld) iv Session V: Other Topics Chair: Walid Taha (Halmstad University and Rice University) • Tool Demonstration Abstract: OpenModelica and CasADi for Model-Based Dynamic Optimization .........................................................................107 Alachew Shitahun (Linkoping¨ University), Vitalij Ruge (Univ. of Applied Sciences, Bielefeld), Mahder Gebremedhin (Linkoping¨ University), Bernhard Bachmann (Univ. of Applied Sciences, Bielefeld), Lars Eriksson (Linkoping¨ University), Joel Andersson (K.U. Leuven), Moritz Diehl (K.U. Leuven), and Peter Fritzson (Linkoping¨ University) • Tool Demonstration Abstract: OpenModelica Graphical Editor and Debugger . .109 Adeel Asghar and Peter Fritzson (Linkoping¨ University) • ModelicaontheJavaVirtualMachine ..................................................111 Christoph H¨oger (Technische Universitat¨ Berlin) • An Approach to Cellular Automata Modelling in Modelica . .121 Victorino Sanz and Alfonso Urquia (ETSI Informtica, UNED) • Models for Distributed Real-Time Simulation with Vehicle Co-Simulator Setup ............131 Anders Anderson (Swedish National Road and Transportation Institute) and Peter Fritzson (Linkoping¨ University) v EOOLT 2013 Organisation Chair: Henrik Nilsson University of Nottingham Steering Committee: David Broman UC Berkeley and Link¨oping University Franc¸ois Cellier ETH Z¨urich Peter Fritzon Link¨oping University Edward A. Lee UC Berkeley Local Arrangements: John Capper University of Nottingham Nadine Holmes University of Nottingham Henrik Nilsson University of Nottingham Program Committee: Bernhard Bachmann University of Applied Sciences, Bielefeld Bert van Beek Eindhoven University of Technology David Broman UC Berkeley and Link¨oping University Francesco Casella Politecnico di Milano Franc¸ois Cellier ETH Z¨urich Olaf Enge-Rosenblatt Fraunhofer Institute, Dresden Peter Fritzson Link¨oping University Michaela Huhn Clausthal University of Technology Edward A. Lee UC Berkeley Pieter Mosterman MathWorks Ramine Nikoukhah INRIA Rocquencourt and Altair Henrik Nilsson (Chair) University of Nottingham
Load more

Recommended publications
  • Exploitable Results by Third Parties 11004 MODRIO
    Exploitable Results by Third Parties 11004 MODRIO Project details Project leader: Daniel Bouskela Email: [email protected] Website: https://www.modelica.org/external-projects/modrio 4 Exploitable Results by Third Parties 11004 MODRIO Name: O3PRM editor Input(s): Main feature(s) Output(s): . PRM (Probabilistic . Syntactic editor for O3PRM . Probability Relational Model) language distributions of written in the . Bayesian inference engine the requested O3PRM modeling variables language . Observations and requests on some variables of the PRM Unique Selling . Supports object oriented PRM Proposition(s): . Will soon be connected to Modelica models . Performance of inference algorithms . Free, open source . Web site including documentation, ready to use executable, source code: http://o3prm.lip6.fr Integration . Uses the Agrum open source library for inference constraint(s): Intended user(s): . In a first step: researchers interested in creating diagnosis applications. Then the users of such applications in the industry. Provider: . Lip6 (Laboratoire d’informatique de Paris 6) and EDF Contact point: . Marc Bouissou (EDF R&D) Condition(s) for . This software is currently under a GPL license reuse: Latest update: 19/04/2016 5 Exploitable Results by Third Parties 11004 MODRIO Name: SKELBO Figaro library Input(s): Main feature(s) Output(s): . Thermohydraulic . This library can be exploited . Fault tree(s) system architecture by the Figaro processor in order to generate a fault tree describing the causes of a thermohydraulic system failure . Describes failure modes (on demand and in function) of the most common thermohydraulic components, with the way they can propagate in a system . Includes 29 classes of objects that can be used to describe a system .
    [Show full text]
  • A Modelica Power System Library for Phasor Time-Domain Simulation
    2013 4th IEEE PES Innovative Smart Grid Technologies Europe (ISGT Europe), October 6-9, Copenhagen 1 A Modelica Power System Library for Phasor Time-Domain Simulation T. Bogodorova, Student Member, IEEE, M. Sabate, G. Leon,´ L. Vanfretti, Member, IEEE, M. Halat, J. B. Heyberger, and P. Panciatici, Member, IEEE Abstract— Power system phasor time-domain simulation is the FMI Toolbox; while for Mathematica, SystemModeler often carried out through domain specific tools such as Eurostag, links Modelica models directly with the computation kernel. PSS/E, and others. While these tools are efficient, their individual The aims of this article is to demonstrate the value of sub-component models and solvers cannot be accessed by the users for modification. One of the main goals of the FP7 iTesla Modelica as a convenient language for modeling of complex project [1] is to perform model validation, for which, a modelling physical systems containing electric power subcomponents, and simulation environment that provides model transparency to show results of software-to-software validations in order and extensibility is necessary. 1 To this end, a power system to demonstrate the capability of Modelica for supporting library has been built using the Modelica language. This article phasor time-domain power system models, and to illustrate describes the Power Systems library, and the software-to-software validation carried out for the implemented component as well as how power system Modelica models can be shared across the validation of small-scale power system models constructed different simulation platforms. In addition, several aspects of using different library components. Simulations from the Mo- using Modelica for simulation of complex power systems are delica models are compared with their Eurostag equivalents.
    [Show full text]
  • Component-Oriented Acausal Modeling of the Dynamical Systems in Python Language on the Example of the Model of the Sucker Rod String
    Component-oriented acausal modeling of the dynamical systems in Python language on the example of the model of the sucker rod string Volodymyr B. Kopei, Oleh R. Onysko and Vitalii G. Panchuk Department of Computerized Mechanical Engineering, Ivano-Frankivsk National Technical University of Oil and Gas, Ivano-Frankivsk, Ukraine ABSTRACT Typically, component-oriented acausal hybrid modeling of complex dynamic systems is implemented by specialized modeling languages. A well-known example is the Modelica language. The specialized nature, complexity of implementation and learning of such languages somewhat limits their development and wide use by developers who know only general-purpose languages. The paper suggests the principle of developing simple to understand and modify Modelica-like system based on the general-purpose programming language Python. The principle consists in: (1) Python classes are used to describe components and their systems, (2) declarative symbolic tools SymPy are used to describe components behavior by difference or differential equations, (3) the solution procedure uses a function initially created using the SymPy lambdify function and computes unknown values in the current step using known values from the previous step, (4) Python imperative constructs are used for simple events handling, (5) external solvers of differential-algebraic equations can optionally be applied via the Assimulo interface, (6) SymPy package allows to arbitrarily manipulate model equations, generate code and solve some equations symbolically. The basic set of mechanical components (1D translational “mass”, “spring-damper” and “force”) is developed. The models of a sucker rods string are developed and simulated using these components. The comparison of results of the sucker rod string simulations with practical dynamometer cards and Submitted 22 March 2019 Accepted 24 September 2019 Modelica results verify the adequacy of the models.
    [Show full text]
  • Modelica and Fmi As Enablers for Virtual Product Innovation
    OPEN STANDARDS IN SIMULATION MODELICA AND FMI AS ENABLERS FOR VIRTUAL PRODUCT INNOVATION Hubertus Tummescheit Board member, Modelica Association & co-founder of Modelon 1 OVERVIEW • Background and Motivation • Introduction – why open standards matter • Innovation in Model Based Design • Modelica – the equation based modeling language • The Functional-Mockup-Interface (FMI) • Examples • What’s next: upcoming innovations • Conclusions 2 The Modelica Association • An independent non-profit organization registered in Sweden. https://www.modelica.org • Members: ▪ Tool vendors ▪ Government research organizations ▪ Service providers ▪ Power users • Two standards and four core projects: ▪ The Modelica Language ▪ The Modelica Standard Library ▪ The FMI Standard for model exchange and co-simulation ▪ The SSP project for an upcoming standard on system structure and parameterization • FMI web site: http://www.fmi-standard.org • Next Modelica Conference: May 15-17 in Prague MOTIVATION: THE COMPLEXITY ISSUE ▪ System complexity increases ▪ Required time to market decreases (most industries) ▪ Without disruptive changes, an impossible equation to solve. Source: DARPA Large part of AVM project complexity is in software! 4 WHY OPEN STANDARDS ARE NEEDED • Computer Aided Engineering is a very fragmented industry • Tools evolved domain by domain • Interoperability has been an afterthought, at best • Today’s complex systems require interoperability! • An everyday challenge for engineering design • Open standards drastically reduce the cost of creating interoperability between tools • There is an interplay with open source: open source can also increase the speed of software innovation 5 TIE YOURSELF TO STANDARDS, NOT TOOLS! 1. It will be cheaper 2. It will keep software vendors on their toes to compete on tool capability, not quality of lock-in 3.
    [Show full text]
  • Wolfram Mathematica
    Wolfram bietet mit seinen Produkten die besten Technologien für Schulen an - in verschiedenen Themenbereichen und für jedes Bildungsniveau. Sie können dabei dieselbe Technologie einsetzen, wie sie an Universitäten, in der Industrie und an Forschungsinstituten von Wirtschaftswissenschaftlern, Ingenieuren und Lehrkräften weltweit verwendet wird. Wolfram-Produkte bieten Ihnen vollkommen neue Möglichkeiten für Ihren Unterricht. Berechnungen ohne Limit Unterrichtskonzepte zum Leben erwecken Gehen Sie Probleme jeglicher Größe und Komplexität an - ob Von Naturwissenschaften bis zu Sozialkunde oder Musik in der Schule oder außerhalb - und geben Sie Ihren Schülern - Wolframs interaktive Werkzeuge sind fesselnder als ein ein Werkzeug an die Hand, mit dem anspruchsvolle Aufgaben unbewegtes Lehrbuch und machen es einfacher, schwer verlässlich gelöst werden können. verständliche Konzepte zu erforschen. Analyse von experimentellen Ergebnissen Analysieren Sie Daten mithilfe von Funktionen für Wahrschein- lichkeit und Statistik und erwecken Sie Ihre Daten zum Leben. Die beste Wahl für die Schul- und Studienzeit Wolfram-Technologien können von Schülern und Studenten aller Fächer verwendet werden, von der Grundschulklasse bis zur Promotion. Steigen Sie ein: www.additive-mathematica.de Ihre Arbeit in Lehre und Forschung neu definieren Mathematica bietet eine vollständige Umgebung für Ihre Unterrichtsvorbereitung und Forschungsarbeit, indem es ein mächtiges Rechenwerkzeug mit einem dynamischen Visualisierungstool verbindet. Eine intuitive Benutzeroberfläche
    [Show full text]
  • Unambiguous Power System Dynamic Modeling and Simulation Using Modelica Tools L
    Unambiguous Power System Dynamic Modeling and Simulation using Modelica Tools L. Vanfretti, Member, IEEE, W. Li, Student Member, IEEE, T. Bogodorova, Student Member, IEEE, and P. Panciatici, Member, IEEE Abstract—Dynamic modeling and time-domain simulation for modeling of each component and to validate a power system power systems is inconsistent across different simulation plat- model as a whole. Explicitly exchanging the equations of forms, which makes it difficult for engineers to consistently the model may aid in achieving consistency across different exchange models and assess model quality. Therefore, there is a clear need for unambiguous dynamic model exchange. simulation platforms. In this article, a possible solution is proposed by using open A possible solution can be found by using an open model- modeling equation-based Modelica tools. The nature of the ing equation-based approach. Modelica is an object oriented Modelica modeling language supports model exchange at the language developed for equation-based modeling of physical “equation-level”, this allows for unambiguous model exchange systems and its components [3], [4]. There are several ad- between different Modelica-based simulation tools without loss of information about the model. An example of power system vantages for using equation-based modeling and simulation dynamic model exchange between two Modelica-based software approaches. First of all, the models of each component in Scilab/Xcos and Dymola is presented. In addition, common issues such software type are open for modification. They allow for related to simulation, including the extended modeling of complex straightforward implementation of new elements and libraries controls, the capabilities of the DAE solvers and initialization in order to simulate the behavior of each component and problems are discussed.
    [Show full text]
  • Bakalarska Prace
    ZÁPADOČESKÁ UNIVERZITA V PLZNI FAKULTA PEDAGOGICKÁ KATEDRA MATEMATIKY, FYZIKY A TECHNICKÉ VÝCHOVY ÚVOD DO VYUŽITÍ SOFTWARU MATHEMATICA V GEOGRAFII BAKALÁŘSKÁ PRÁCE Pavel Trenčan Přírodovědná studia, obor Matematická studia Vedoucí práce: RNDr. Václav Kohout, Ph. D. Plzeň 2019 Prohlašuji, že jsem bakalářskou práci vypracoval samostatně s použitím uvedené literatury a zdrojů informací. V Plzni, 4. dubna 2019 .................................................................. vlastnoruční podpis PODĚKOVÁNÍ Rád bych poděkoval vedoucímu své bakalářské práce panu RNDr. Václavu Kohoutovi Ph.D. za předané zkušenosti nejen ohledně používání programu Mathematica, ale i za cenné rady, doporučení a připomínky během psaní bakalářské práce. Dále bych chtěl poděkovat celé své rodině, přátelům a známým za podporu během celé doby mého studia. ZDE SE NACHÁZÍ ORIGINÁL ZADÁNÍ KVALIFIKAČNÍ PRÁCE. OBSAH OBSAH SEZNAM ZKRATEK ................................................................................................................................... 2 ÚVOD ................................................................................................................................................... 3 1 DEFINICE GEOGRAFIE .......................................................................................................................... 5 1.1 ČLENĚNÍ GEOGRAFIE ................................................................................................................... 5 1.2 STAVBA ZEMĚ A KRAJINNÁ SFÉRA .................................................................................................
    [Show full text]
  • Introduction to Object-Oriented Modeling
    Introduction to Object-Oriented Modeling, Modelica/OpenModelica Tutorial Plan for the Simulation, Debugging and Dynamic Optimization MOSES 2016 Workshop with Modelica using OpenModelica • Wednesday slot 24. The Modelica language part 1. MOSES 2016 Workshop Introductory hands-on Modelica modeling. Tutorial, Version May 18, 2016 Peter Fritzson Slides 8 – 49 Linköping University, [email protected] Director of the Open Source Modelica Consortium • Thursday slot 28. The OpenModelica tool. (slides Vice Chairman of Modelica Association Bernhard Thiele, Ph.D., [email protected] 50 – 78) The Modelica language part 2. (slides 95- Researcher at PELAB, Linköping University 115) Slides • Thursday slot 29. Hands-on with Modelica textual Based on book and lecture notes by Peter Fritzson Contributions 2004-2005 by Emma Larsdotter Nilsson, Peter Bunus equation-based modeling (slides 95-115) Contributions 2006-2008 by Adrian Pop and Peter Fritzson Contributions 2009 by David Broman, Peter Fritzson, Jan Brugård, and Mohsen Torabzadeh-Tari Contributions 2010 by Peter Fritzson Contributions 2011 by Peter F., Mohsen T,. Adeel Asghar, Contributions 2012, 2013, 2014, 2015, 2016 by Peter Fritzson, Lena Buffoni, Mahder Gebremedhin, Bernhard Thiele 2016-05-16 2 Copyright © Open Source Modelica Consortium Tutorial Based on Book, Decembr 2014 Introductory Download OpenModelica Software Modelica Book Peter Fritzson September 2011 232 pages Principles of Object Oriented Modeling and Simulation with 2015 –Translations Modelica 3.3 available in A Cyber-Physical
    [Show full text]
  • Comparative Study of Tools for Computer Modeling and Simulation
    Comparative study of tools for computer Modeling and Simulation (complex dynamical systems) Yuri Senichenkov Yuri Shornikov Vladimir Ryzhov Adi Maimun Abdul Malik Classification for educational purposes • free commercial • Windows Linux • cloud technologies campus network • student computer class-room Ideally • FREE • {WINDOS,LINUX} • licensed copy • for {cloud technology, campus network} • of PRACTICALLY IMPORTANT software • for using • in Campus Really PRACTICALLY IMPORTANT Acceptable «approximation» PRACTICALLY Acceptable «approximation» IMPORTANT Matlab Scilab Modelica OpenModelica Rand Model Designer Trial Rand Model Designer Simulink ( oriented , «causal» blocks) Trial Rand Model Designer Modelica (non-oriented, «physical» blocks) Trial Rand Model Designer Basis of Mathematical Modeling for engineers (complex dynamical systems) Variants for Single-component models a) A Tool for visual modeling b) A Mathematical package c) Mathematical package + Tool for visual modeling Technologies of Computer modeling for engineers (complex dynamical systems) Variants for multi-component models a) OpenModelica b) Trial Rand Model Designer c) Simulink + StateFlow + SimPowerSystems(?) d) SystemModeler Examples: Mathematical packages Mathematica SystemModeler Maple MapleSim MapleSim modeling and simulation software • Software – Control design: MapleSim is a physical modeling and simulation tool from Maplesoft built on a foundation of symbolic computation technology. This is a Control Engineering 2012 Engineers’ Choice honorable mention. • It efficiently handles all of the complex mathematics involved in the development of engineering models, including multidomain systems, plant modeling, and control design. MapleSim reduces model development time from months to days while producing high- fidelity, high-performance models. • www.maplesoft.com Wolfram SystemModeler • Build high-fidelity models using predefined components in an easy drag-and-drop environment. Perform numerical experiments on your models to explore and tune system behavior.
    [Show full text]
  • Bachelor Thesis Integration of Modelica-Based Models with The
    LehrstuhlAUT für Automatisierungstechnik Bachelor Thesis Integration of Modelica-based Models with the JModelica Platform Daniel Kraus Cabo ( 2 5 5 2 4 3 1 ) S UPERVISORS Prof. Dr.-Ing. Georg Frey Lehrstuhl für Automatisierungstechnik M.Sc. Fethi Belkhir Lehrstuhl für Automatisierungstechnik Saarbrücken 2014 B004-2014 Abstract In this thesis, an introduction to Nonlinear Model Predictive Control (NMPC) combin- ing both theory and application is presented. The basis of the NMPC is described to give a general idea how this process control strategy works. For this purpose, two test case- studies are implemented. The first one is a simple two tanks in series to get acquainted with open-source platform the JModelica.org and the Optimica extension.Finally, a more complex example, which consists of solving a start-up problem of a steam boiler using the JModelica framework, is provided. The results demonstrate the effort saved in solving an optimal control problem when using the JModelica framework in comparison to individual, case-specifically arranged solutions. I Contents 1 Introduction 1 1.1 Aim and structure of thesis . .1 1.2 Thesis Outline . .1 2 Nonlinear Model Predictive Control (NMPC) 2 2.1 Mathematical formulation of NMPC . .3 2.2 Properties of NMPC . .3 2.3 Nonlinear Constrained Optimization Algorithms . .4 2.4 Methods for dynamic optimization . .4 2.5 Direct methods . .4 2.5.1 Direct Single Shooting . .5 2.5.2 Direct collocation . .6 2.5.3 Direct Multiple Shooting . .7 2.5.4 Sequential quadratic programming (SQP) . .7 3 Open Source Tools 9 3.1 Modelica . .9 3.2 OpenModelica .
    [Show full text]
  • Openmodelica User's Guide
    OpenModelica User’s Guide Release v1.19.0-dev-270-g618c742bb2 Open Source Modelica Consortium 2021 CONTENTS 1 Introduction 3 1.1 System Overview...........................................4 1.2 Interactive Session with Examples..................................5 1.3 Summary of Commands for the Interactive Session Handler.................... 24 1.4 Running the compiler from command line.............................. 25 2 OMEdit – OpenModelica Connection Editor 27 2.1 Starting OMEdit........................................... 27 2.2 MainWindow & Browsers...................................... 28 2.3 Perspectives............................................. 32 2.4 File Menu............................................... 37 2.5 Edit Menu.............................................. 38 2.6 View Menu.............................................. 38 2.7 Simulation Menu........................................... 38 2.8 Debug Menu............................................. 39 2.9 SSP Menu.............................................. 39 2.10 Sensitivity Optimization Menu.................................... 39 2.11 Tools Menu.............................................. 39 2.12 Help Menu.............................................. 39 2.13 Modeling a Model.......................................... 40 2.14 Simulating a Model......................................... 42 2.15 2D Plotting.............................................. 45 2.16 Re-simulating a Model........................................ 47 2.17 3D Visualization..........................................
    [Show full text]
  • Daes, Modelica
    Equation-Based Object-Oriented Languages for Acausal Modeling and Simulation Lecture 12a in EECS 144/244 University of California, Berkeley April 17, 2013 David Broman [email protected] EECS Department University of California, Berkeley, USA and Linköping University, Sweden Some of the slides are based OSMC tutorials and contributed by Peter Fritzson (Based on book and lecture nodes), David Broman, Emma Larsdotter Nilsson, Peter Bunus, Adrian Pop, Jan Brugård, Mohsen Torabzadeh-Tari, and Adeel Asghar. Copyright © Open Source Modelica Consortium. 2 Agenda [email protected] Part I Part II EOO Languages for CPS Modelica Overview Platform 1 Physical Actuator Interface Physical Plant 2 Network Physical Platform 2 Interface Sensor Computation 1 Delay 1 Computation 4 Computation 2 Sensor Platform 3 Physical Delay 2 Interface Computation 3 Physical PPhhyyssicicaall Pllannt t1 2 Interface Actuator Part III Part IV OpenModelica Demo Modelyze – a research language Part I ! Part II ! Part III Part IV EOO Languages! Modelica OpenModelica! Modelyze – a! for CPS! Overview! Demo! Research language! 3 [email protected] Part I EOO Languages for CPS Platform 1 Physical Actuator Interface Physical Plant 2 Network Physical Platform 2 Interface Sensor Computation 1 Delay 1 Computation 4 Computation 2 Sensor Platform 3 Physical Delay 2 Interface Computation 3 Physical PPhhyyssicicaall Pllannt t1 2 Interface Actuator Part I ! Part II ! Part III Part IV EOO Languages! Modelica OpenModelica! Modelyze – a! for CPS! Overview! Demo! Research
    [Show full text]