System Design meets Equation-based Languages: Workshop Program
Some photos from the event
Wednesday, 19 September
Non-standard semantics of hybrid systems modelers
Albert Benveniste, IRISA/INRIA
Equations, Synchrony, Time, and Modes
Edward A. Lee, EECS, UC Berkeley
Formal Modeling and Analysis of Software Systems with Lustre
Mike Whalen, University of Minnesota
Systems Engineering: Status of Industrial Use, Opportunities and Needs
Clas Jacobson, United Technologies Systems & Controls Engineering
The OpenModelica Environment including Static and Dynamic Debugging of Modelica Models and Systems Engineering / Design verification
Peter Fritzson, Linköping University, Department of Computer and Information Science, PELAB - Programming Environment Laboratory
The Dark Side of Object-Oriented Modelling: Numerical Problems, Existing Solutions, Future Perspectives.
Francesco Casella, Politecnico di Milano, Dipartimento di Elettronica e Informazione
Bridging between different modeling formalisms - results from the MULTIFORM project
Sebastian Engell, Process Dynamics and Operations Group, Department of Biochemical and Chemical Engineering, TU Dortmund
Equation-based Modeling and Control of Industrial Processes
Johan Sjöberg, ABB AB, Corporate Research and Linköping university
FMI: Functional Mockup Interface for Model Exchange and Co‑Simulation
Torsten Blochwitz, ITI GmbH Dresden, Germany
Vertical Integration in Tool Chains for Modeling, Simulation and Optimization of Large-Scale Systems
Johan Åkesson, Modelon AB and Lund University, Lund, Sweden
Thursday, 20 September
System Design – From Requirements to Implementation
Alberto Ferrari, ALES S.r.l.
Synchronous Control and State Machines in Modelica
Hilding Elmqvist, Dassault Systèmes AB
Extensible Programming and Modeling Languages
Eric Van Wyk, University of Minnesota
Extensible compiler architecture - examples from JModelica.org
Görel Hedin, Dept of Computer Science, Lund University, Sweden
Constraint satisfaction methods in embedded system design
Krzysztof Kuchcinski, Dept. of Computer Science, Lund University
Dynamical models for industrial controls: use cases and challenges
Fernando D'Amato, GE Global Research Center
Origins of Equation-Based Modeling Languages
Karl Johan Åström, Department of Automatic Control, LTH, Lund University Lund, Sweden
Friday, 21 September
Pyomo: Optimization Modeling in Python
Carl Laird, Artie McFerrin Department of Chemical Engineering, Texas A&M University
Efficient symbolical and numerical algorithms for nonlinear model predictive control with OpenModelica
Bernhard Bachmann, Fachhochschule Bielefeld University of Applied Sciences
Algorithmic differentiation: Sensitivity analysis and the computation of adjoints
Andrea Walther, Institut fur Mathematik Universität Paderborn
CasADi: A Tool for Automatic Differentiation and Simulation-Based Nonlinear Programming
Moritz Diehl, Electrical Engineering Department and Optimization in Engineering Center OPTEC KU Leuven
Modeling Seen as Programming
Klaus Havelund, Jet Propulsion Laboratory, California Institute of Technology
Verification of Stiff Hybrid Systems by Modeling the Approximations of Computational Semantics
Pieter J. Mosterman, MathWorks
Assimulo - a Python package for solving differential equation with interface to equation based languages
Claus Führer, Centre of Mathematical Sciences, Lund University
Functional Development with Modelica
Stefan-Alexander Schneider, Schneider System Consulting