Workshop Program
Thursday 18 April
| 18:30–20:00: Informal Meet and Greet: Rose & Crown | ||
| Pub quite close to Jubilee Campus. They also serve good pub food. |
Friday 19 April
| 08:30 | Registration | |
| 09:00–10:30: Session I: Verification and Validation | ||
| Chair: Henrik Nilsson (University of Nottingham) | ||
| 09:00 | Welcome Henrik Nilsson | |
| 09:05 |
Invited Talk: Enclosing Hybrid Behavior
Slides (.pdf)
Walid Taha (Halmstad University and Rice University) | |
| 09:40 |
Static Validation of Modelica Models for Language Compliance
and Structural Integrity
Slides (.pdf) Roland Samlaus and Mareike Strach (Fraunhofer Institute for Wind Energy and Energy System Technology) | |
| 10:00 |
Modeling System Requirements in Modelica:
Definition and Comparison of Candidate Approaches
Slides (.pdf) Andrea Tundis (University of Calabria), Lena Rogovchenko-Buffoni (Linköping University), Peter Fritzson (Linköping University), and Alfredo Garro (University of Calabria) | |
| 10:20 | Discussion | |
| 10:30 | Coffee/Tea | |
| 11:00–12:15: Session II: Parallel Simulation | ||
| Chair: Dirk Zimmer (DLR Oberpfaffenhofen) | ||
| 11:00 |
Parallelization Approaches for the Time-Efficient Simulation
of Hybrid Dynamical Systems: Application to Combustion
Modeling
Slides (.pdf) Abir Ben Khaled (IFP Energies nouvelles), Mongi Ben Gaid (IFP Energies nouvelles), Daniel Simon (INRIA and LIRMM) | |
| 11:20 |
Automating Dynamic Decoupling in Object-Oriented Modelling
and Simulation Tools
Slides (.pdf) Alessandro Vittorio Papadopoulos and Alberto Leva (Politecnico di Milano) | |
| 11:40 |
A Strategy for Parallel Simulation of Declarative
Object-Oriented Models of Generalized Physical Networks
Slides (.pdf) Francesco Casella (Politecnico di Milano) | |
| 12:00 | Discussion | |
| 12:15 | Lunch | |
| 13:30–14:20: Session III: Diagnosis and Debugging | ||
| Chair: Peter Fritzson (Linköping University) | ||
| 13:30 |
Functional Debugging of Equation-Based Languages
Slides (.pdf) Arquimedes Canedo and Ling Shen (Siemens Corporation) | |
| 13:50 |
Toward an Equation-Oriented Framework for Diagnosis of Complex
Systems
Slides (.pdf) Alexander Feldman and Gregory Provan (University College Cork) | |
| 14:10 | Discussion | |
| 14:20 | Short Break | |
| 14:30–15:45: Session IV: Simulation Methods | ||
| Chair: Francesco Casella (Politecnico di Milano) | ||
| 14:30 |
Using Artificial States in Modeling Dynamic Systems:
Turning Malpractice into Good Practice
Slides (.pdf) Dirk Zimmer (German Aerospace Center (DLR)) | |
| 14:50 |
Simplification of Differential Algebraic Equations by the
Projection Method
Slides (.pdf) Elena Shmoylova, Jürgen Gerhard, Erik Postma, and Austin Roche (Maplesoft) | |
| 15:10 |
Initialization of Equation-Based Hybrid Models within
OpenModelica
Slides (.pdf) Lennart A. Ochel and Bernhard Bachmann (University of Applied Sciences, Bielefeld) | |
| 15:30 | Discussion | |
| 15:45 | Coffee/Tea | |
| 16:15–18.00: Session V: Other Topics | ||
| Chair: Walid Taha (Halmstad University and Rice University) | ||
| 16:15 |
Tool Demonstration: OpenModelica and CasADi for Model-Based
Dynamic Optimization
Slides (.pdf)
Demo (.avi)
Alachew Shitahun (Linköping University), Vitalij Ruge (University of Applied Sciences, Bielefeld), Mahder Gebremedhin (Linköping University), Bernhard Bachmann (University of Applied Sciences, Bielefeld), Lars Eriksson (Linköping University), Joel Andersson (K.U. Leuven), Moritz Diehl (K.U. Leuven), and Peter Fritzson (Linköping University) | |
| 16:30 |
Tool Demonstration: OpenModelica Graphical Editor and
Debugger
Slides (.pdf)
Demo 1 (.mp4)
Demo 2 (.avi)
Demo 3 (.avi)
Adeel Asghar and Peter Fritzson (Linköping University) | |
| 16:45 |
Modelica on the Java Virtual Machine
Slides (.html)
Christoph Höger (Technische Universität Berlin) | |
| 17:05 |
An Approach to Cellular Automata Modelling in Modelica
Slides (.pdf)
Victorino Sanz and Alfonso Urquia (ETSI Informática, UNED) | |
| 17:25 |
Models for Distributed Real-Time Simulation in a Vehicle
Co-Simulator Setup
Slides (.pdf)
Anders Anderson (Swedish National Road and Transportation Institute) and Peter Fritzson (Linköping University) | |
| 17:45 | Discussion | |
| 18:00–18:30: Concluding Discussion and Future Directions | ||
| Chair: François Cellier (ETH Zürich) | ||
| 19:30 | EOOLT 2013 Dinner: The Living Room | |