Proceedings of the 4th International Workshop on Equation-Based Object-Oriented Modeling Languages and Tools, EOOLT 2011, Zurich, Switzerland, September 5, 2011

We are very pleased to welcome you to EOOLT 2014, the 6th International Workshop on Equation-Based Object-Oriented Modeling Languages and Tools. Over the past 7 years, the EOOLT workshop series has been one of the main meeting points for researchers and practitioners interested in fundamental principles and concrete languages and tools for equation-based modeling. These kinds of languages have proven to have considerable advantages for physical modeling of complex cyber-physical systems, compared to traditional physical modeling approaches, where model components only have inputs and outputs. Examples of commercially successful languages within this category are Modelica, VHDL-AMS, and Simulink/Simscape. This year's EOOLT takes place in Berlin, Germany, October 10, and is hosted by the Technische Universitat Berlin. This is the 6th workshop in the EOOLT series. Previous workshops took place in Berlin, Germany (2007), Paphos, Cyprus (2008), Oslo, Norway (2010), Zurich, Switzerland (2011), and Nottingham, UK (2013). We finally accepted 13 papers for presentation; 6 papers as full research papers, and 7 papers as work-in-progress papers. Each paper received at least 3 reviews. We are pleased that EOOLT 2014 is now organized in cooperation with ACM SIGPLAN and that the proceedings will be published in the ACM digital library. Making this event happen is a team effort. We would like to thank the whole program committee and the additional external reviewers for their hard work in reviewing and discussing all the papers. We are very grateful to Christoph Hoger and Alexandra Mehlhase for their painstaking effort of arranging all practical issues around this event. Finally, we would like to thank TU Berlin and in particular the Telekom Innovation Laboratories for hosting the event. We believe we have a very exciting program this year and we are looking forward to meeting you all here in Berlin. David Broman (Program Chair) Peter Pepper (General Chair) Berlin, October 2014

[1]  A. Verma,et al.  ADMAT : Automatic differentiation in MATLAB using object oriented methods ∗ , 2007 .

[2]  Thomas A. Henzinger,et al.  The theory of hybrid automata , 1996, Proceedings 11th Annual IEEE Symposium on Logic in Computer Science.

[3]  Zohar Manna,et al.  From Timed to Hybrid Systems , 1991, REX Workshop.

[4]  K. Röbenack.  Computation of high-gain observers for nonlinear systems using automatic differentiation , 2005 .

[5]  Paul Hudak,et al.  Functional reactive programming from first principles , 2000, PLDI '00.

[6]  Paul J. Werbos,et al.  The Roots of Backpropagation: From Ordered Derivatives to Neural Networks and Political Forecasting , 1994 .

[7]  Henrik Nilsson,et al.  Mixed-Level Embedding and JIT Compilation for an Iteratively Staged DSL , 2010, WFLP.

[8]  David Broman,et al.  Meta-Languages and Semantics for Equation-Based Modeling and Simulation , 2010 .

[9]  Linda R. Petzold,et al.  Numerical solution of initial-value problems in differential-algebraic equations , 1996, Classics in applied mathematics.

[10]  Stephen Wolfram,et al.  The Mathematica Book , 1996 .

[11]  Paul Hudak,et al.  Functional Hybrid Modeling , 2003, PADL.

[12]  H. Nilsson,et al.  EXPLOITING STRUCTURAL DYNAMISM IN FUNCTIONAL HYBRID MODELLING FOR SIMULATION OF IDEAL DIODES , 2010 .

[13]  David Broman,et al.  Higher-Order Acausal Models , 2009, EOOLT.

[14]  Von Hippel.  TaylUR, an arbitrary-order automatic differentiation package for Fortran 95 , 2005 .

[15]  Andreas Griewank,et al.  ADOL‐C: Automatic Differentiation Using Operator Overloading in C++ , 2003 .

[16]  Klaus Röbenack,et al.  Reglerentwurf mit Hilfe des Automatischen Differenzierens (Controller Design using Automatic Differentiation) , 2000 .

[17]  David Harel,et al.  Statecharts: A Visual Formalism for Complex Systems , 1987, Sci. Comput. Program..

[18]  Henrik Nilsson,et al.  Embedding a Functional Hybrid Modelling Language in Haskell , 2008, IFL.

[19]  Fraunhofer Iis,et al.  MOSILAB: Development of a Modelica based generic simulation tool supporting model structural dynamics , 2005 .

[20]  Peter D. Mosses,et al.  CASL: the Common Algebraic Specification Language , 2002, Theor. Comput. Sci..

[21]  Klaus Röbenack,et al.  Controller design for nonlinear multi-input – multi-output systems based on an algorithmic plant description , 2007 .

[22]  Gary T. Leavens,et al.  Ptolemy: A Language with Quantified, Typed Events , 2008, ECOOP.

[23]  Klaus Röbenack,et al.  The computation of Lie derivatives and Lie brackets based on automatic differentiation , 2004 .

[24]  Zohar Manna,et al.  Verifying Hybrid Systems , 1992, Hybrid Systems.

[25]  D. A. van Beek,et al.  Concrete syntax and semantics of the compositional interchange format for hybrid systems , 2008 .

[26]  H. Skaug,et al.  Automatic Approximation of the Marginal Likelihood in Nonlinear Hierarchical Models , 2004 .

[27]  Pieter J. Mosterman,et al.  Hybrid dynamic systems: mode transition behavior in hybrid dynamic systems , 2003, WSC '03.

[28]  Michael Zeitz,et al.  Variants of nonlinear normal form observer design , 1999 .

[29]  Chunlei Rui,et al.  Symbolic computations in nonlinear control of multibody space systems , 1998, Proceedings of the 1998 American Control Conference. ACC (IEEE Cat. No.98CH36207).

[30]  Thomas A. Henzinger,et al.  Robust Timed Automata , 1997, HART.

[31]  V. Mehrmann,et al.  Hybrid systems of differential-algebraic equations – Analysis and numerical solution , 2009 .

[32]  Viktor T. Toth,et al.  Tensor manipulation in GPL Maxima , 2005, ArXiv.

[33]  Volker Mehrmann,et al.  Differential-Algebraic Equations: Analysis and Numerical Solution , 2006 .

[34]  Dusko Pavlovic,et al.  Evolving Specification Engineering , 2008, AMAST.

[35]  Nicolas Halbwachs,et al.  LUSTRE: A declarative language for programming synchronous systems* , 1987 .

[36]  Henrik Nilsson,et al.  Keeping calm in the face of change , 2010, High. Order Symb. Comput..

[37]  E. Hairer,et al.  Solving Ordinary Differential Equations II: Stiff and Differential-Algebraic Problems , 2010 .

[38]  K. Röbenack.  Computation of Lie Derivatives of Tensor Fields Required for Nonlinear Controller and Observer Design Employing Automatic Differentiation , 2005 .