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…

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…

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…

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

Benoît Caillaud 2018/03/14 2018/11/16Archive, Jobs

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

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…