Team, Visitors, External Collaborators
Overall Objectives
Research Program
Application Domains
New Software and Platforms
New Results
Bilateral Contracts and Grants with Industry
Partnerships and Cooperations
XML PDF e-pub
PDF e-Pub

Section: Partnerships and Cooperations

National Initiatives

ANR project Digitslid

B. Brogliato coordinates the ANR project Digitslid (PRC, ANR-18-CE40-0008-01), Differentiateurs et commandes homogenes par modes glissants en temps discret: l'approche implicite. Partners: LS2N (Ecole Centrale de Nantes), Inria Lille Nord Europe (team Non-A-Post), and Tripop. October 2018-September 2021. 12 participants overall (3 post-doc students recruited by the project, 3 Ph.D. students supported by other means). Total financial support by the ANR: 338 362 euros (100 762 for Tripop, 18 months of post-doc to be recruited in 2019).

FUI Modeliscale.

The ModeliScale FUI focuses on the modeling, simulation and analysis of large cyber-physical systems. It federates the research activities of several teams, covering a broad spectrum of topics, namely hybrid systems modeling & verification, numerical analysis, programming language design and automatic control. Our research agenda includes the following tracks:

Inria Project Lab (IPL): ModeliScale, Languages and Compilation for Cyber-Physical System Design

The project gathers researchers from three Inria teams, and from three other research labs in Grenoble and Paris area.

The main objective of ModeliScale is to advance modeling technologies (languages, compile-time analyses, simulation techniques) for CPS combining physical interactions, communication layers and software components. We believe that mastering CPS comprising thousands to millions of components requires radical changes of paradigms. For instance, modeling techniques must be revised, especially when physics is involved. Modeling languages must be enhanced to cope with larger models. This can only be done by combining new compilation techniques (to master the structural complexity of models) with new mathematical tools (new numerical methods, in particular).

ModeliScale gathers a broad scope of experts in programming language design and compilation (reactive synchronous programming), numerical solvers (nonsmooth dynamical systems) and hybrid systems modeling and analysis (guaranteed simulation, verification). The research program is carried out in close cooperation with the Modelica community as well as industrial partners, namely, Dassault Systèmes as a Modelica/FMI tool vendor, and EDF and Engie as end users.