MBSE Colloquium: Albert Benveniste, INRIA-IRISA

Monday, November 7, 2016
11:00 a.m.
1146 AV Williams Building

Physical Model-Based Design

Albert Benveniste
INRIA-IRISA

Abstract
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: people.rennes.inria.fr/Albert.Benveniste/

Audience: Graduate  Undergraduate  Faculty  Post-Docs  Alumni 

remind we with google calendar

 

March 2024

SU MO TU WE TH FR SA
25 26 27 28 29 1 2
3 4 5 6 7 8 9
10 11 12 13 14 15 16
17 18 19 20 21 22 23
24 25 26 27 28 29 30
31 1 2 3 4 5 6
Submit an Event