Skip to content. | Skip to navigation

Sections
Personal tools
You are here: Home Events Modelica'2015 Modelica´2015 - Preliminary Program Content

Modelica´2015 - Preliminary Program Content

Current status of the program content.

Table of Content

Keynote Presentations


Title: Designing Cyber-Physical Systems: A Tale of Two Worlds Coming Together

Presenter: Prof. Alberto Sangiovanni-Vincentelli, UC Berkeley, USA (photo)

Abstract: Cyber-Physical Systems have been the focus of many research and public forum initiatives in the world since the early 2000s. The concept of CPS involves the tight integration and co-design of physical (for example, mechanical, electrical, biological and chemical), systems with analysis, monitoring and control implemented on a computing system. As such it has important intersections with other fields of great interests such as Internet of Things, Hybrid Systems, Swarm Systems and Systems of Systems. One of the main challenges has been to develop solid foundations for design and manufacturing including formal methods and requirement capture. 

I will review the major directions of research and industrial relevance of CPS with particular attention to design methodologies and requirement capture with considerations about approaches to CPS simulation and analysis and their limitations.

Bio: Alberto Sangiovanni-Vincentelli holds the Buttner Chair of EECS, University of California, Berkeley. He was a co-founder of Cadence and Synopsys, the two leading companies in Electronic Design Automation. He was a member of the HP Strategic Technology Advisory Board, of the Science and Technology Advisory Board of GM, and is a member of the Technology Advisory Council of UTC. He is member of the Scientific Council of the Italian National Science Foundation (CNR) and of the Executive Committee of the Italian Institute of Technology. He is President of the Consiglio Nazionale Garanti della Ricerca, and of the Strategic Committee of the Italian Strategic Fund.

He received the Kaufman Award for “pioneering contributions to EDA”, the IEEE/RSE Maxwell Medal “for groundbreaking contributions that have had an exceptional impact on the development of electronics and electrical engineering or related fields. He holds an honorary Doctorate by the University of Aalborg, Denmark and one by KTH, Sweden.

He is an author of over 850 papers, 17 books and 2 patents, is IEEE Fellow and a Member of the NAE.

 

 

Title: A systems engineering perspective for Modelica and the heritage of synchronous language

Presenter: Dr. Albert Benveniste, INRIA, France (photo)

Abstract: In a first part of my talk I shall develop a vision of the central role of Modelica in systems engineering. Of course, everyone knows about Modelica for multi-physics modeling. The Modrio project has recently developed a Requirements profile for Modelica and progresses have recently been made regarding the link between Modelica and safety analyses. I shall discuss how far, I think, one could go in these directions. I shall also draw directions toward using Modelica for system-wide monitoring and diagnosis. And I shall indicate how other non-functional viewpoints of the computing architecture (architecture modeling with timing properties and energy consumption) could be easily derived. All of this calls for a rigorous understanding of Modelica, its execution semantics: paying attention to this will constitute the second part of my presentation. After reviewing some examples of difficulties with existing tools (Modelica, Simulink and other), I shall describe the background from synchronous languages by emphasizing how sound compilation schemes can be formally derived and how some of the above mentioned uses in system engineering were performed with synchronous languages (not covering the field of physical modeling, of course). I shall conclude by indicating how these techniques can be adapted to derive structural analyses for multi-mode DAE systems. Nonstandard analysis will be used to help for this.

Bio: Albert Benveniste graduated in 1971 from Ecole des Mines de Paris. He performed his These d'Etat in Mathematics, probability theory, in 1975, under the supervision of Paul-André Meyer. From 1976 to 1979 he was associate professor in mathematics at Universite de Rennes I. From 1979 to 2014 he has been Directeur de Recherche at INRIA, where he is now emeritus.  In 1980 Albert Benveniste was co-winner of the IEEE Trans. on Automatic Control Best Transaction Paper Award for his paper on blind deconvolution in data communications. In 1990 he received the CNRS silver medal, in 1991 he has been elected IEEE fellow, and in 2013 he has been elected IFAC Fellow. In 2008 he was winner of the Grand Prix France Telecom of the french Academy of Sciences. From 1986 to 1990 he was vice-chairman of the IFAC committee on Theory and was chairman of this committee for 1991-1993. He has been or is Associate Editor (at Large) for IEEE Transactions on Automatic Control, Associate Editor for Int. J. of Adaptive Control and Signal Processing, and Int. J. of Discrete Event Dynamical Systems, and member of the Editorial Board of the Proceedings of the IEEE. From 1997 to 2013, he has been responsible for INRIA of the joint Alcatel-INRIA research programme and is now chief scientist of the joint Bell Labs-INRIA research lab. He is a member of the scientific advisory boards of Safran Group and Orange. From 2011 to 2014, he was co-heading the Center of Excellence (Labex) CominLabs in the area of telecommunications and Information systems. He has been elected to the Académie des Technologies in december 2011.His areas of interest cover system identification in control, embedded systems in computer science, and network management in telecommunications.


 

Paper Presentations

Preliminary titles and authors (alphabetical order of sessions and alphabetical order of titles within sessions)

3D Representations for Modelica Models

  • Title: Simulation of Piping 3D Designs Powered by Modelica
    Authors: Xavier Remond, Thierry Gengler and Christophe Chapuis

  • Title: 3D Schematics of Modelica Models and Gamification
    Authors: Hilding Elmqvist, Alexander D. Baldwin and Simon Dahlberg

Automotive Applications

  • Title: A Study of Rapid Simulation of Dynamic Leaf Spring Deformation
    Authors: Takanori Watanabe and Tomohide Hirono

  • Title: High Fidelity Multibody Vehicle Dynamics Models for Driver-in-the-Loop Simulators
    Authors: Mike Dempsey, Garron Fish and Juan Gabriel Delgado Beltran

  • Title: Model Based Development of Future Small Electric Vehicle by Modelica
    Authors: Yutaka Hirano, Shintaro Inoue and Junya Ota

  • Title: Model-based Development of a Holistic Thermal Management System for an electrical driven Car with a High Temperature Fuel Cell Range Extender
    Authors: Torben Fischer, Florian Götz, Lars Fredrik Berg, Hans-Peter Kollmeier and Frank Gauterin

  • Title: Modeling and Validation of a Multiple Evaporator Refrigeration Cycle for Electric Vehicles
    Authors: Andreas Varchmin, Manuel Gräber and Jürgen Köhler

  • Title: Modeling the Effects of Energy Efficient Glazing on Cabin Thermal Energy & Vehicle Efficiency
    Authors: Aled Gravelle, Dr. Simon Robinson and Alessandro Picarelli

  • Title: Modelling of Torque-Vectoring Drives for Electric Vehicles: a Case Study
    Authors: Franciscus L. J. van der Linden and Jakub Tobolář

  • Title: Predicting the Effect of Gearbox Preconditioning on Vehicle Efficiency
    Authors: Romain Gillot, Alessandro Picarelli and Mike Dempsey

Aerospace Applications

  • Title: A New Fault Injection Method for Liquid Rocket Pressurization and Feed System
    Authors: Mingqing Zhu, Gang Xie, Jintao Shao and Liping Chen

  • Title: Fault Detection and Diagnosis with Modelica Language using Deep Belief Network
    Authors: Dong Kyu Lee, Byoung Doo Lee and Jin Woo Shin

  • Title: High-fidelity Modelling of Self-regulating Pneumatic Valves
    Authors: Alexander Pollok and Francesco Casella

  • Title: Model Based Specifications in Aircraft Systems Design
    Authors: Martin Kuhn, Martin Otter and Tim Giese

  • Title: Modeling and Simulation of Liquid Propellant Rocket Engine Transient Performance Using Modelica
    Authors: Wei Liu, Liping Chen, Gang Xie, Ji Ding, Haiming Zhang and Hao Yang

Building Energy Applications

  • Title: An open framework for generating Modelica code from Building Information Models
    Authors: Matthis Thorade, Jörg Rädler, Peter Remmen, Tobias Maile, Reinhard Wimmer, Jun Cao, Moritz Lauster, Christoph Nytsch-Geusen, Dirk Müller and Christoph van Treeck

  • Title: Coupled modeling of a District Heating System with Aquifer Thermal Energy Storage and Absorption Heat Transformer
    Authors: Carles Ribas Tugores, Henning Francke, Falk Cudok, Alexander Inderfurth, Stefan Kranz and Christoph Nytsch-Geusen

  • Title: Energy efficient design for hotels in the tropical climate using Modelica
    Authors: Reymundo Miranda, Sen Huang, German Barrios, Dan Li and Wangda Zuo

  • Title: Energy-efficient design of a research greenhouse with Modelica
    Authors: Torsten Schwan, Rene Unger and Jörg Pipiorke

  • Title: Hardware-in-the-Loop-Simulation of a Building Energy and Control System to Investigate Circulating Pump Control Using Modelica
    Authors: Georg Ferdinand Schneider, Jens Oppermann, Ana Constantin, Rita Streblow and Dirk Müller

  • Title: Lessons learnt from the modelling of a low heat density district heating system
    Authors: Itzal Del Hoyo Arce, Susana López Perez, Saioa Herrero López and Iván Mesonero Dávila

  • Title: Methodology for Obtaining Linear State Space Building Energy Simulation Models
    Authors: Damien Picard, Filip Jorissen and Lieve Helsen

  • Title: Modelica based Design and Optimisation of Control Systems for Solar Heat Systems and Low Energy Buildings
    Authors: Stephan Seidel, Christoph Clauss, Jürgen Haufe, Kristin Majetta, Torsten Blochwitz, Edgar Liebold, Ullrich Hintzen and Volker Klostermann

  • Title: Presentation, Validation and Application of the DistrictHeating Modelica Library
    Authors: Loic Giraud, Roland Baviere and Mathieu Vallée

  • Title: Production Planning for Distributed District Heating Networks with JModelica.org
    Authors: Håkan Runvik, Per-Ola Larsson, Stéphane Velut, Jonas Funkquist, Markus Bohlin, Andreas Nilsson and Sara Modarrez Razavi

  • Title: Simulation Speed Analysis and Improvements of Modelica Models for Building Energy Simulation
    Authors: Filip Jorissen, Michael Wetter and Lieve Helsen

Control Applications

  • Title: A Modelica Library for Manual Tracking
    Authors: James Potter

  • Title: Dynamic Modelling of a Flat-Plate Solar Collector for Control Purposes
    Authors: Saioa Herrero, Susana López, Itzal Del Hoyo and Iván Mesonero

  • Title: Model-based control with FMI and a C++ runtime for Modelica
    Authors: Rüdiger Franke, Willi Braun, Marcus Walther and Niklas Worschech

  • Title: Modelica Library for Feed Drive Systems
    Authors: Denis Özdemir, Tobias Motschke, Werner Herfs and Christian Brecher

  • Title: Nonlinear Dynamic Inversion Control for Wind Turbine Load Mitigation based on Wind Speed Measurement
    Authors: Matthias Reiner and Dirk Zimmer

Electrical Systems

  • Title: Average model of a synchronous half-bridge DC/DC converter considering losses and dynamics
    Authors: Michael Winter

  • Title: Enhancements of Electric Machine Models: The EMachines Library
    Authors: Anton Haumer and Christan Kral

  • Title: Developing Mathematical Models of Batteries in Modelica for Energy Storage Applications
    Authors: Thanh-Son Dao

  • Title: Multi Electrical Machine Pre-Design tool with error handling and machine specific advanced graphical design aid features based on Modelica
    Authors: Tomasz D. Michalski, Antoni Garcia Espinosa, Jordi-Roger Riba Ruiz and Luis Romeral Martinez

FMI

  • Title: A Novel Proposal on how to Parameterize Models Utilizing External Files under Consideration of a Subsequent Model Export
    Authors: Thomas Schmitt, Markus Andres, Stephan Ziegler and Stephan Diehl

  • Title: An Open-Source Graphical Composite Modeling Editor and Simulation Tool Based on FMI and TLM Co-Simulation
    Authors: Alachew Mengist, Adeel Asghar, Adrian Pop, Peter Fritzson and Willi Braun

  • Title: Automated Deployment of Modelica Models in Excel via Functional Mockup Interface and Integration with modeFRONTIER
    Authors: John Batteh, Jesse Gohl, Anand Pitchaikani, Alexander Duggan and Nader Fateh

  • Title: Co-Simulation of Hybrid Systems with SpaceEx and Uppaal
    Authors: Marius Greitschus, Peter G. Jensen, Kim G. Larsen, Marius Mikučionis, Andreas Podelski, Thomas Strump and Stavros Tripakis

  • Title: Design choices for thermofluid flow component and systems that are exported as Functional Mockup Units
    Authors: Michael Wetter, Marcus Fuchs and Thierry S. Nouidui

  • Title: Experience with Industrial In-House Application of FMI
    Authors: Kilian Link, Leo Gall, Monika Mühlbauer and Stephanie Gallardo-Yances

  • Title: FMI for physical models on automotive embedded targets
    Authors: Christian Bertsch, Jonathan Neudorfer, Elmar Ahle, Siva Sankar Arumugham, Karthikeyan Ramachandran and Andreas Thuy

  • Title: The Modelica language and the FMI standard for modeling and simulation of Smart Grids
    Authors: Olivier Chilard, Jérémy Boes and Alexandre Perles

Mechanical Systems

  • Title: Different Models of a Scaled Experimental Running Gear for the DLR RailwayDynamics Library
    Authors: Christoph Schwarz, Andreas Heckmann and Alexander Keck

  • Title: Generic Modelica Framework for MultiBody Contacts and Discrete Element Method
    Authors: Hilding Elmqvist, Axel Goteman, Vilhelm Roxling and Toheed Ghandriz

Modelica Language & Compiler Implementation

  • Title: Automatic GPU Code Generation of Modelica Functions
    Authors: Hilding Elmqvist, Hans Olsson, Axel Goteman, Vilhelm Roxling, Dirk Zimmer and Alexander Pollok

  • Title: Constructs for Meta Properties Modeling in Modelica
    Authors: Hilding Elmqvist, Hans Olsson and Martin Otter

  • Title: Efficient Compilation of Large Scale Modelica Models
    Authors: Federico Bergero, Mariano Botta, Esteban Campostrini and Ernesto Kofman

  • Title: Exploiting Repeated Structures and Vectorization in Modelica
    Authors: Joseph Schuchart, Volker Waurich, Martin Flehmig, Marcus Walther, Wolfgang E. Nagel and Ines Gubsch

  • Title: Flattening of Modelica State Machines: A Practical Symbolic Representation
    Authors: Bernhard Thiele, Adrian Pop and Peter Fritzson

  • Title: Simulation of Large-Scale Models in Modelica: State of the Art and Future Perspectives
    Authors: Francesco Casella

Modelica Tools

  • Title: Reuse of Physical System Models by means of Semantic Knowledge Representation: A Case Study applied to Modelica
    Authors: Elena Gallego, Jose María Alvarez Rodríguez and Juan Llorens

  • Title: Visualizing Simulation Results from Modelica Fluid Models Using Graph Drawing in Python
    Authors: Marcus Fuchs, Rita Streblow and Dirk Müller

  • Title: Where impact got Going
    Authors: Michael Tiller and Dietmar Winkler

Novel Modelica Applications and Libraries

  • Title: A library for City Traffic
    Authors: Eashan Liyana, Simon Lacroux and Jean-Baptiste Barbe

  • Title: Free Modelica Library for Chemical and Electrochemical Processes
    Authors: Marek Matejak, Martin Tribula, Filip Ježek and Jiri Kofranek

  • Title: Modeling Biology in Modelica: The Human Baroreflex
    Authors: Christopher Schölzel, Alexander Goesmann, Gernot Ernst and Andreas Dominik

Optimization Applications and Methods

  • Title: A Framework for Nonlinear Model Predictive Control in JModelica.org
    Authors: Magdalena Axelsson, Fredrik Magnusson and Toivo Henningsson

  • Title: A Toolchain for Solving Dynamic Optimization Problems Using Symbolic and Parallel Computing
    Authors: Evgeny Lazutkin, Siegbert Hopfgarten, Abebe Geletu and Pu Li

  • Title: NMPC Application using JModelica.org: Features and Performance
    Authors: Christian Hartlep and Toivo Henningsson

Power, Energy & Process Applications

  • Title: Dynamic Modeling of a Central Receiver CSP system in Modelica
    Authors: Johan Edman and Johan Windahl

  • Title: Flexibilization of coal-fired power plants by Dynamic Simulation
    Authors: Florian Möllenbruck, Marcel Richter and Klaus Görner

  • Title: Mathematical Model of Soot Blowing Influences in Dynamic Power Plant Modelling
    Authors: Conrad Gierow, Moritz Hübel, Jürgen Nocke and Egon Hassel

  • Title: Modeling of Linear Concentrating Solar Power using Direct Steam Generation with Parabolic-Trough
    Authors: Antoine Aurousseau, Valéry Vuillerme and Jean-Jacques Bezian

  • Title: Simulation of the Transient Behavior of a Power Block of a Parabolic Trough Power Plant
    Authors: Heiko Schenk, Jürgen Dersch, Tobias Hirsch and Thomas Polklas

  • Title: Status of the TransiEnt Library: Transient simulation of coupled energy networks with high share of renewable energy
    Authors: Lisa Andresen, Pascal Dubucq, Ricardo Peniche Garcia, Günter Ackermann, Alfons Kather and Gerhard Schmitz

Safety & Formal Methods

  • Title: Automated Safety Analysis by Minimal Path Set Detection for Multi-Domain Object-Oriented Models
    Authors: Christian Schallert

  • Title: Formal Requirements Modeling for Simulation-Based Verification
    Authors: Martin Otter, Nguyen Thuy, Daniel Bouskela, Lena Buffoni, Hilding Elmqvist, Peter Fritzson, Alfredo Garro, Audrey Jardin, Hans Olsson, Maxime Payelleville, Wladimir Schamai, Eric Thomas and Andrea Tundis

  • Title: Towards a Formalized Modelica Subset
    Authors: Lucas Satabin, Jean-Louis Colaço, Olivier Andrieu and Bruno Pagano

Simulation Techniques

  • Title: Fractional-Order Modelling in Modelica
    Authors: Alexander Pollok, Dirk Zimmer and Francesco Casella

  • Title: How to Shape Noise Spectra for Continuous System Simulation
    Authors: Andreas Klöckner, Andreas Knoblach and Andreas Heckmann

  • Title: Internalized State-Selection: Generation and Integration of Quasi-Linear Differential-Algebraic Equations
    Authors: Christoph Höger and Andreas Steinbrecher

  • Title: Multi-Mode DAE Systems with Varying Index
    Authors: Martin Otter, Sven Erik Mattsson and Hilding Elmqvist

Testing & Diagnostics

  • Title: Abrasive waterjet intensifier model for machine diagnostics
    Authors: Bruno Scaglioni, Gianni Ferretti, Marco Grasso, Massimo Goletti and Michele Monno

  • Title: Automatic Regression Testing of Simulation Models and Concept for Simulation of Connected FMUs in PySimulator
    Authors: Adeel Asghar, Andreas Pfeiffer, Arunkumar Palanisamy, Alachew Mengist, Martin Sjölund, Adrian Pop and Peter Fritzson

  • Title: Holistic Virtual Testing and Analysis of a Concept Hybrid Electric Vehicle Model
    Authors: Jonathan Spike, Dr. Johannes Friebe, Dr. Chad Schmitke, Dr. Christian Donn, Michael Folie, Valerie Bensch and Christine Schwarz

  • Title: Modeling of an Automatic Transmission for the Evaluation of Test Procedures in a Virtual End-of-Line Test Bench
    Authors: Jan Roeper, Joern Goeres and Clemens Guehmann

  • Title: Optimica Testing Toolkit: a Tool-Agnostic Testing Framework for Modelica Models
    Authors: Anders Tilly, Victor Johnsson, Jon Sten, Alexander Perlman and Johan Åkesson

Thermofluid Systems, Models and Libraries

  • Title: EPSILON Modelica library for thermal control
    Authors: Laurent Lachassagne, Arnaud Colleoni, Hervé Feral and Nicolas Dolin

  • Title: Fundamental EoS Implementation for {Water+Ammonia} in Modelica
    Authors: Leonard Becker and José Luis Corrales Ciganda

  • Title: Mass Conserving Models of Vapor Compression Cycles
    Authors: Christopher Laughman and Hongtao Qiao

  • Title: Modeling of the German National Standard for High Pressure Natural Gas Flow Metering in Modelica
    Authors: Michael von der Heyde, Gerhard Schmitz and Bodo Mickan

  • Title: Multi-objective optimization of dynamic systems combining genetic algorithms and Modelica: Application to adsorption air-conditioning systems
    Authors: Uwe Bau, Daniel Neitzke, Franz Lanzerath and André Bardow

  • Title: MultiComponentMultiPhase – a framework for thermodynamic properties in Modelica
    Authors: Johan Windahl, Katrin Prölss and Maarten Bosmans

  • Title: A Modelica Library Organization Method Supporting Online Modeling and Simulation
    Authors: Xiong Tifan, Zhou Zhiming, Wan Li and Li Yongchao

  • Title: A new Modelica electric and hybrid power trains library
    Authors: Massimo Ceraolo

  • Title: An Aeronautic Case Study for Requirement Formalization and Automated Model Composition in Modelica
    Authors: Wladimir Schamai, Lena Buffoni, Nicolas Albarello, Pablo Fontes De Miranda and Peter Fritzson

  • Title: Anticipatory Shifting – Optimization of a Transmission Control Unit for an 8HP Automatic Transmission through Advanced Driver Assistance Systems
    Authors: Salim Chaker, Michael Folie, Christian Kehrer and Frank Huber

  • Title: CONTROL DEVELOPMENT AND MODELING FOR FLEXIBLE DC GRIDS IN MODELICA
    Authors: Andreas Olenmark, Jens Sloth, Anna Johnsson, Carl Wilhelmsson and Jörgen Svensson

  • Title: Coupling Model Exchange FMUs for Aggregated Simulation by Open Source Tools
    Authors: Pukashawar Pannu, Christian Andersson, Claus Führer and Johan Åkesson

  • Title: Dynamical Model of a Vehicle with Omni Wheels: Improved and Generalized Contact Tracking Algorithm
    Authors: Ivan Kosenko, Sergey Stepanov, Kirill Gerasimov and Alexey Rachkov

  • Title: Experimental Calibration of Heat Transfer and Thermal Losses in a Shell-and-Tube Heat Exchanger
    Authors: Javier Bonilla, Alberto de La Calle, Margarita M. Rodríguez-García, Lidia Roca and Loreto Valenzuela

  • Title: FastHVAC - A library for fast composition and simulation of building energy systems
    Authors: Sebastian Stinner, Markus Schumacher, Konstantin Finkbeiner, Rita Streblow and Dirk Müller

  • Title: Initiatives for acausal model connection using FMI in JSAE (Society of Automotive Engineers of Japan)
    Authors: Yutaka Hirano, Satoshi Shimada, Yoichi Teraoka, Osamu Seya, Yuji Ohsumi, Shitaroh Murakami, Tomohide Hirono and Takayuki Sekisue

  • Title: Integrated Engineering based on Modelica
    Authors: Andreas Hofmann, Nils Menager, Issam Belhaj and Lars Mikelsons

  • Title: Kansei Modeling for Delight Design based on 1DCAE Concept
    Authors: Koichi Ohtomi

  • Title: Open Source Library for the Simulation of Wind Power Plants
    Authors: Philip Eberhart, Tek Shan Chung, Anton Haumer and Christian Kral

  • Title: Simulation of distributed energy storage in the residential sector and potential integration of gas based renewable energy technologies using Modelica
    Authors: Praseeth Prabhakaran, Wolfgang Koeppel and Frank Graf

  • Title: Suitability of Different Real-Time Solvers for a Model-Based Engineering Toolchain using Industrial Rexroth Controllers
    Authors: Nils Menager, Rüdiger Kampfmann, Niklas Worschech and Lars Mikelsons

  • Title: Test of Basic Co-Simulation Algorithms Using FMI
    Authors: Kosmas Petridis and Christoph Clauß

  • Title: The New ClaRa Library for Power Plant Simulation in Comparison to other Open Source Modelica Libraries
    Authors: Friedrich Gottelt, Lasse Nielsen and Johannes Brunnemann

  • Title: Towards Enhanced Process and Tools for Aircraft Systems Assessments during very Early Design Phase
    Authors: Eric Thomas, Olivier Thomas, Matthieu Crespo and Julien Daumas

  • Title: Using FMI in a cloud basedWeb Application for System Simulation
    Authors: Stefan Bittner, Olaf Oelsner and Thomas Neidhold

Document Actions