Kickoff meeting, July 4th-5th 2017

The kickoff of the ModeliScale IPL will take place in Paris on July 4th-5th 2017. The exact location of the meeting is:

Room Edsger Dijkstra

Inria Paris Research Center

2 rue Simone Iff

75012 Paris

Participation is by invitation only. If you are interested, please contact Benoît Caillaud <benoit dot caillaud at inria dot fr>.

The programme is:

  • July 4th

10:00-10:30 Benoît Caillaud: Opening, introduction
10:30-11:30 Sylvie Boldo: Rounding errors in discretization schemes for ODEs and PDEs
11:30-12:30 Antoine Girard:  Timing contracts for embedded control systems


14:00-15:00 Khalil Ghorbal:  Structural analysis of multimode DAE systems
15:00-16:00 Albert Benveniste: Introduction to non-standard analysis


16:30-17:30 Marc Pouzet: The Zélus hybrid systems modeling language

  • July 5th

09:00-10:00 Sylvie Putot: Static Analysis by Abstract Interpretation of Numerical Programs and Systems


10:30-11:30 Vincent Acary: Index and relative degree in complementarity systems. Modes and solution concepts.

11:30-12:30 Bernard Brogliato:  Sliding-mode control


14:00-15:00 Goran Frehse: Counterexample-Guided Refinement of Template Polyhedra

15:00-15:30 Discussion with the General Direction of Inria

15:30-17:00 Private session, restricted to ModeliScale members


Comments are closed