Benoît Caillaud – 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…

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

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

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

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…

Software/mathematical scientist position (* position filled *)

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

*** Position filled *** Context and objective: A software/mathematical scientist position is available at Inria Rennes (France) in the context of the IPL ModeliScale initiative. This position is funded by the FUI ModeliScale collaboration with Dassault Systèmes, EDF, Engie, CEA/INES, DPS, Eurobios and PhiMeca. The scientist is expected to contribute to,…

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…

Challenges and Objectives

Benoît Caillaud 2017/06/26 2017/06/26Scientific articles

Motivation Academic research and industry are currently witnessing two major revolutions: Cyber-Physical Systems (CPS) and the Internet of Things(IoT). The present proposal is at the heart of the former, while being also influenced by the latter. Not surprisingly, the impact of the Big Datarevolution is not confined to the internet,…