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:30Coffee/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:15Lunch

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:20Short 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:45Coffee/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:30EOOLT 2013 Dinner: The Living Room