Sites Inria

Version française

HYCOMES Research team

Modélisation hybride & conception par contrats pour les systèmes embarqués multi-physiques

Team presentation

The Hycomes team-project focuses on research topics related to cyber-physical systems design:

  • Hybrid systems modeling, the structural analysis of multi-mode differential algebraic equations, with a special attention to the Modelica lnaguage and its compilation ;
  • The formalization of requirements, using contract-based design methods and interface theories, to support rigorous cyber-physical systems design methods.

Research themes

The Hycomes team is active on the following research topics:

  • The design of hybrid modeling languages, supporting the rigorous design of cyberphysical systems. In particular, the team focuses on acausal modeling languages, such as Modelica. These languages are based on differential algebraic equations (DAE). Recent publications of the team address the semantics, structural analysis and code generation for multimode DAE systems.
  • The formalization of requirements for cyberphysical systems design. The Hycomes team advocates the use of contract algebras capable of capturing the expected behavior of cyberphysical systems, expressed as trajectory enveloppes of hybrid systems.
  • The verification of hybrid systems, using effective algebraic geometry techniques. The objective is to design automated/assisted methods with which invariant properties of hybrid systems can be proved.

 

International and industrial relations

The Hycomes team has had or has formal and informal collaboration with several actors in the Modelica language and FMI standard communities, including both academic research teams, tool vendors and industrial users. In particular, the team has been or is currently involved in collaborations with the Inria Parkas team, the DLR in Germany, Dassault Systèmes and Safran.

Keywords: Hybrid systems Contract-based design Interface theories Cyber-physical systems DAE Modelica