Clark School Home UMD

ISR Events Calendar

Event Information

MBSE Colloquium: Albert Benveniste, INRIA-IRISA
Monday, November 7, 2016
11:00 a.m.
1146 AV Williams Building
For More Information:

Physical Model-Based Design

Albert Benveniste

For Cyber Physical Systems having a strong "physics" aspect, Physical Model Based Design is the natural paradigm. In the first part of my presentation I will develop how different aspects of systems design -- e.g., requirement capture, safety analysis, monitoring and diagnosis -- can be tightly linked to physical modeling, from a semantic point of view. To handle physical models as components for assembly and reuse, component-based physical modeling paradigms must be used. Such modeling paradigms rely on Differential Algebraic Equations (DAE), not ODE; the most popular representative is Modelica. In the second part of my presentation I shall discuss difficulties related to the compilation of models in this class, mathematically characterized as multi-mode DAE systems. I will review some difficulties encountered in existing tools and provide a sound approach to this compilation. Our approach builds on top of the backgrounds of synchronous languages and nonstandard analysis.

Authors: Albert Benveniste, INRIA emeritus; joint work with Benoît Caillaud, Hilding Elmqvist, Khalil Ghorbal, Martin Otter, and Marc Pouzet.

Learn more about Dr. Benveniste at his website:

This Event is For: Graduate • Undergraduate • Faculty • Post-Docs • Alumni

Browse Events By Calendar

Calendar Home

« Previous Month    Next Month »

August 2018
1 2 3 4 w
5 6 7 8 9 10 11 w
12 13 14 15 16 17 18 w
19 20 21 22 23 24 25 w
26 27 28 29 30 31 w

Search Events

ISR lecture and seminar series

Distinguished Lecturer Series
Intelligent Automation Inc. Colloquia Series
Microsystems Seminar Series
Lockheed Martin Robotics Seminar Series
Advanced Networks Colloquia Series
Model-Based Systems Engineering Colloquia Series

Submit an event to the ISR calendar Click here

News links

Current news
Search news
News archives