Göm menyn

Title:
Proceedings of the 5th International Workshop on Equation-Based Object-Oriented Modeling Languages and Tools; April 19; University of Nottingham; Nottingham; UK
Download:
Full text (pdf)
Editor(s):
Henrik Nilsson:
Year:
2013
No. of pages:
139
Language:
English
ISBN:
978-91-7519-621-3 (print)
978-91-7519-617-6 (online)
Series:
Linköping Electronic Conference Proceedings
Issue:
084
ISSN (print):
1650-3686
ISSN (online):
1650-3740
Published:
2013-03-27
Publisher:
Linköping University Electronic Press; Linköpings universitet



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 highlevel 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; including 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 Zu¨rich; 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 reviewing. 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öping 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

Proceedings of the 5th International Workshop on Equation-Based Object-Oriented Modeling Languages and Tools; April 19; University of Nottingham; Nottingham; UK

Session I: Verification and Validation

084:001
Walid Taha
Invited Talk: Enclosing Hybrid Behavior
[Abstract and Fulltext]

084:002
Roland Samlaus, Mareike Strach
Static Validation of Modelica Models for Language Compliance and Structural Integrity
[Abstract and Fulltext]

084:003
Andrea Tundis, Lena Rogovchenko-Buffoni, Peter Fritzson, Alfredo Garro
Modeling System Requirements in Modelica: Definition and Comparison of Candidate Approaches
[Abstract and Fulltext]

Session II: Parallel Simulation

084:004
Abir Ben Khaled, Mongi Ben Gaid, Daniel Simon
Parallelization Approaches for the Time-Efficient Simulation of Hybrid Dynamical Systems: Application to Combustion Modeling
[Abstract and Fulltext]

084:005
Alessandro Vittorio Papadopoulos, Alberto Leva
Automating Dynamic Decoupling in Object-Oriented Modelling and Simulation Tools
[Abstract and Fulltext]

084:006
Francesco Casella
A Strategy for Parallel Simulation of Declarative Object-Oriented Models of Generalized Physical Networks
[Abstract and Fulltext]

Session III: Diagnosis and Debugging

084:007
Arquimedes Canedo, Ling Shen
Functional Debugging of Equation-Based Languages
[Abstract and Fulltext]

084:008
Alexander Feldman, Gregory Provan
Toward an Equation-Oriented Framework for Diagnosis of Complex Systems
[Abstract and Fulltext]

Session IV: Simulation Methods

084:009
Dirk Zimmer
Using Artificial States in Modeling Dynamic Systems: Turning Malpractice into Good Practice
[Abstract and Fulltext]

084:010
Elena Shmoylova, Jürgen Gerhard, Erik Postma, Austin Roche
Simplification of Differential Algebraic Equations by the Projection Method
[Abstract and Fulltext]

084:011
Lennart A. Ochel, Bernhard Bachmann
Initialization of Equation-Based Hybrid Models within OpenModelica
[Abstract and Fulltext]

Session V: Other Topics

084:012
Alachew Shitahun, Vitalij Ruge, Mahder Gebremedhin, Bernhard Bachmann, Lars Eriksson, Joel Andersson, Moritz Diehl, Peter Fritzson
Tool Demonstration Abstract: OpenModelica and CasADi for Model-Based Dynamic Optimization
[Abstract and Fulltext]

084:013
Adeel Asghar, Peter Fritzson
Tool Demonstration Abstract: OpenModelica Graphical Editor and Debugger
[Abstract and Fulltext]

084:014
Christoph Höger
Modelica on the Java Virtual Machine
[Abstract and Fulltext]

084:015
Victorino Sanz, Alfonso Urquia
An Approach to Cellular Automata Modelling in Modelica
[Abstract and Fulltext]

084:016
Anders Anderson, Peter Fritzson
Models for Distributed Real-Time Simulation in a Vehicle Co-Simulator Setup
[Abstract and Fulltext]

Proceedings of the 5th International Workshop on Equation-Based Object-Oriented Modeling Languages and Tools; April 19; University of Nottingham; Nottingham; UK

Author:
Henrik Nilsson
Title:
Proceedings of the 5th International Workshop on Equation-Based Object-Oriented Modeling Languages and Tools; April 19; University of Nottingham; Nottingham; UK
Note: the following are taken directly from CrossRef
Citations:
No citations available at the moment


Responsible for this page: Peter Berkesand
Last updated: 2017-02-21