Meetings – ModeliScale

Final review of the Inria ModeliScale Challenge, Dec 1st 2021, Inria Paris

Benoît Caillaud 2021/11/26 2021/12/01Meetings, News, Seminars

Tentative Programme Dec. 1st, 2021, 10h00-17h00, Inria Paris, salle Philippe Flajolet 10h00-10h30 Welcome, introduction 10h30-11h15 Marc Pouzet: Zélus, a synchronous language with ODEs (tentative title) 11h20-12h00 Bernard Brogliato: Euler implicit time-discretization and analysis of differential-algebraic and descriptor variable linear complementarity systems using passivity Lunch break 13h50-14h30 François Bidet: Reachability analysis in the Zélus…

Meeting June 28th 2021

Khalil GHORBAL 2021/06/24 2021/06/28Meetings

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 –…

Meeting October 15, 2020

Khalil GHORBAL 2020/10/10 2020/10/16Meetings

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…

Mid-term evaluation, July 4, 2019

Khalil GHORBAL 2019/06/12 2021/11/22Meetings

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 –…

Multi-Body Systems Simulation Seminar, 18-22 March 2019

Khalil GHORBAL 2019/03/05 2019/03/24Meetings, Seminars

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.…

Program, Meeting Thursday December 13th 2018

Khalil GHORBAL 2018/12/10 2018/12/13Meetings

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…

Program, meeting May 22nd 2018

Khalil GHORBAL 2018/03/26 2019/03/07Meetings

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

Program, meeting March 16th.

Khalil GHORBAL 2018/02/26 2018/03/16Meetings

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…

Workshop on diagnostics, 25-26 January 2018

Benoît Caillaud 2017/11/14 2019/01/04Meetings, News

Part of the ModeliScale Project, a public tutorial on model-based diagnosis will take place Thursday, January 25th, 2 – 6 PM, at Télécom Paris, Room H1, 46 rue Barrault, 75013 Paris (access details can be found here). The tutorial is open to academic and industry researchers. Registration is free but…

Fall 2017: planning of the meetings

Benoît Caillaud 2017/09/22 2018/03/14Meetings

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…