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

New article: “Mathematical Foundations of Physical Systems Modeling Languages”

Benoît Caillaud 2020/12/03 2020/12/03News, Scientific articles

The article “Mathematical Foundations of Physical Systems Modeling Languages”, co-authored by Albert Benveniste, Benoît Caillaud and Mathias Malandain, has been accepted by the IFAC journal Annual Reviews in Control. It can be read and downloaded until January 20th, 2021 for free by following this link: https://authors.elsevier.com/a/1cAL14syv1oKy3 The author version was…

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…

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

Benoît Caillaud 2020/06/23 2020/08/07Archive, Archive, Jobs, News

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…

IsamDAE: An implicit Structural Analysis tool for multimode DAE systems

Benoît Caillaud 2019/07/04 2019/10/22News, Software

IsamDAE is a software library for testing new structural analysis algorithms for multimode DAE systems, based on an implicit representation of incidence graphs, matchings between equations and variables, and block decompositions. The input of the software is a variable dimension multimode DAE system consisting in a set of guarded equations…

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