The meeting is scheduled for Monday June 28th 2021 and will be held at Inria Paris, Room Gilles Khan. The tentative program is as follows. 10h — 13h 10h – 10h15. Welcome and update 10:15 – 11:15. Benoit Caillaud. Analyse structurelle des DAE multimodes (IsamDAE + RBTF). Break 11h20 –…
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…
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 –…
Prof. John Pryce will be visiting INRIA (Rennes) during the week of March 18th. All meetings will take place at INRIA Rennes, Houat meeting room (C217). The tentative program is as follows. Monday, March 18th. Morning: Structural analysis of (square) mono-mode DAEs and a detailed discussion about the Sigma method.…
The next regular meeting will be held at Inria Paris (Emmy Noether Room), Thursday December 13th 2018, 9:30am — 5pm. Program: 9h30 — 10h30. Khalil Ghorbal, Structural Analysis of Differential-Algebraic Equations 10h30 — 11h. Mathias Malandain: Pantelides and Pryce Methods 11h — 11h15. Break 11h15 — 12h. Marc Pouzet, Causality…
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
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…