Program, meeting May 22nd 2018

The next meeting will be held at Inria Paris, Tuesday May 22nd 2018, 10am — 5pm. Program: Alexandre Chapoutot, Problèmes de satisfaction de contraintes et systèmes dynamiques Alexandre Vieira, Commande optimale des systèmes linéaires de complémentarité Antoine Girard, Compositional synthesis for symbolic control Khalil Ghorbal, Tutorial on Differential Algebra

Continue reading

Software/mathematical scientist position

Context and objective: A software/mathematical scientist position is available at Inria Rennes (France) in the context of the IPL ModeliScale initiative. This position is funded by the FUI ModeliScale collaboration with Dassault Systèmes, EDF, Engie, CEA/INES, DPS, Eurobios and PhiMeca. The scientist is expected to contribute to, integrate and maintain software…

Continue reading

Program, meeting March 16th.

The next meeting will be held at Inria Paris, Friday March 16th 2018, 10am — 5pm. Program: 10h-11h: Tim Bourke: Compiling a Synchronous Language with Timers for Symbolic Simulation 11h-12h: Eric Goubault and Sylvie Putot: Inner and Outer Approximating Flowpipes for Delay Differential Equations 13h-14h30: lunch (Le Repaire) 14h30-15h30: Uli Fahrenberg: Higher-dimensional…

Continue reading

Fall 2017: planning of the meetings

Three meetings will take place this fall at Inria Paris: October 17th November 9th December 5th These are private meetings, by invitation only. The objectives of these meetings are twofold: Build common foundations on DAE structural analysis, guaranteed simulation of hybrid systems, nonsmooth dynamical systems Work on new topics, mixing…

Continue reading

Challenges and Objectives

Motivation Academic research and industry are currently witnessing two major revolutions: Cyber-Physical Systems (CPS) and the Internet of Things(IoT). The present proposal is at the heart of the former, while being also influenced by the latter. Not surprisingly, the impact of the Big Datarevolution is not confined to the internet,…

Continue reading