Meeting October 15, 2020

The virtual meeting is scheduled for Thursday October 15 (weblink). The tentative program is as follows. 14h — 17h Welcome and update 14:15 – 15:00 Antoine Girard. A Symbolic Control Approach to the Programming of Cyber-Physical Systems (Slides) 15:00 – 15:30 Francois Bidet (Ph.D.). Analyse d’atteignabilité de systèmes affines par rapport à des…

Continue reading

We are hiring: Software engineer position (*** position filled ***)

Context and objective: A software engineer position is available at Inria Rennes (France) in the context of the IPL ModeliScale initiative and the FUI ModeliScale collaboration with Dassault Systèmes, EDF and others. This collaboration focuses on the modeling and simulation of large cyber-physical systems. The proposed position consists in consolidating the IsamDAE software…

Continue reading

Mid-term evaluation 4/7/2019

The mid-term evaluation of the project will take place on Thursday July 4th at INRIA Paris from 10AM to 5PM. The tentative program is as follows (some presentations will be shuffled depending on the availability of the restaurant). Morning session 9:30 – 10:00  Welcome (coffee, tea and croissants) 10:00 –…

Continue reading

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é [slides] Antoine Girard, Compositional synthesis for symbolic control Khalil Ghorbal, Tutorial on Differential Algebra

Continue reading

PhD position: Structural analysis of nonsmooth DAE systems (*** position filled ***)

*** Position filled *** Modeling languages such as Modelica and SimScape are based on systems of algebraic differential equations (DAE). Although modeling is made scalable with the use of DAE, simulating large cyber-physical systems (CPS) is a challenge because of their exponential number of modes. Although the structural analysis of pure DAE systems…

Continue reading

Postdoctoral position: distributed simulation of cyber-physical systems (*** position filled ***)

*** Position filled *** Context and objective: A postdoctoral position is available at Inria Rennes (France) in the context of the IPL ModeliScale initiative. This position is funded by the Glose project, funded by Safran. The objective of the postdoctoral position is to investigate compile-time and run-time techniques for the distributed…

Continue reading