Category: [:en]News[:]

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

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