Benoît Caillaud

Author's posts

PhD position: Structural analysis of nonsmooth DAE systems

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 is now well established and benefits from fast algorithms …

Continue reading

Postdoctoral position: distributed simulation of cyber-physical systems

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 simulation of large cyber-physical systems. This includes Structural Analysis algorithms …

Continue reading

Software/mathematical scientist position

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, PhiMeca, DPS and Eurobios. The scientist is expected to contribute to, integrate and maintain software prototypes for the Modelica mathematical …

Continue reading

Structural Analysis of Multi-Mode DAE Systems

Our latest contribution on the structural analysis of multi-mode DAE systems has been accepted for publication at HSCC’17. Differential Algebraic Equation (DAE) systems constitute the mathematical model supporting physical modeling languages such as Modelica, VHDL-AMS, or Simscape. Unlike ODEs, they exhibit subtle issues because of their implicit latent equations and related differentiation index. Multi-mode DAE …

Continue reading

Master internship, with a followup doctoral position: Property-Driven Abstraction of Dynamical and Hybrid Systems

Liebherr Aerospace, a leader in the aircraft air-conditioning systems industry, is opening a master internship, with a possible extension to a doctoral position. This master and doctoral work will be done in collaboration with the Cosynus team a Ecole Polytechnique nearby Paris and the Inria Hycomes team in Rennes. The master internship will focus on cyber-physical …

Continue reading

Hybrid systems modeling course

The lecture notes of the hybrid systems modeling course are now available. This is a first year master degree course, taught by Marc Pouzet (professor at ENS, Paris) and Benoît Caillaud (senior researcher at Inria). The course is open to the students registered to the computer science research and innovation curriculum of the  university of Rennes 1 …

Continue reading

PhD Position: Behavioral Coordination of Heterogeneous Models for Simulating and Executing Hybrid Systems

We are looking for highly motivated PhD candidates in cyber-physical system design. Keywords: Cyber-physical systems design, Hybrid systems modeling, Domain specific modeling languages, Model composition, Co-simulation, Requirements engineering, Contract based design, Interface theories, Embedded code generation. Scientific context: Hybrid system modeling [1,2,3] is extensively used to design computer-controlled physical systems. A hybrid system consists of …

Continue reading

Master internships

The Hycomes team offers several internships for 2nd year Master students. Topics are available below: Behavioral coordination of heterogeneous models for simulating and executing hybrid systems A Domain specific language for hybrid systems modelling with complementarity constraints Automated processing of natural language requirements for embedded systems design Enquiries and applications should be sent to: Benoît …

Continue reading

Postdoc Position in Hybrid Systems Modeling at Inria Rennes

A postdoctoral position at Inria Rennes on the research project Sys2soft: Physics-aware Software is available at Inria Rennes, under the supervision of: Benoit Caillaud, Inria, Rennes, <benoit.caillaud@inria.fr> This research activity will be carried out jointly with Albert Benveniste at Inria, Rennes and Marc Pouzet at École Normale Supérieure, Paris. Keywords: Hybrid modeling, cyber physical systems, …

Continue reading