ANR Project - Robust Control of Cyber-Physical Systems (ROCC-SYS)

The ROCC-SYS project (2014-2017), funded by ANR, aims at providing new methodologies for the analysis and design of Cyber-Physical Systems.

A Cyber-Physical System represents a system of computational elements which are collaborating in order to ensure the coordination, monitoring and control of physical processes. Such systems are typically designed as a network of interacting embedded computers with sensors as physical inputs and actuators as outputs. While an important effort is being made in the domain of Computer Sciences to enhance the design of embedded hardware, communication networks, real-time scheduling algorithms, etc., it is a challenging Control Theory problem to understand the interaction between discrete control algorithms and physical processes in a networked/embedded configuration. From the Control Theory point of view, the analysis and design of Cyber-Physical Systems implies the study of complex, hybrid models. We encounter dynamical systems involving switching in vector fields, as for example in the models describing scheduling protocols or representing their interaction with control algorithms and physical processes. We also encounter them in models describing the switching among several energy consumption (in the framework of multi-energy systems) or resource sharing modes, and more generally in systems involving jointly automatons and differential equations. Furthermore, Cyber-Physical Systems imply the study of dynamical systems with discontinuous state evolutions, representing the dynamics of sensor and control data in communication channels with impulsive changes at transmission times. Such classes of hybrid dynamical systems are very interesting from a theoretic point of view since the study of their basic properties (in terms of stability, stabilization, observability, etc.) is a largely open field.

The aim of the Young Research project ROCC-SYS is to enhance the fundamental research towards the development of new analysis and control design methodologies for Cyber-Physical Systems via a Robust Control theory approach. New stability analysis methods and control design techniques will be developed for Hybrid Dynamical Systems. Tools for reliability study of Cyber-Physical Systems (in terms of Lyapunov stability) will be provided through the use of Hybrid System Theory.

ROCC-SYS consolidates the activities on hybrid dynamical systems and networked/embedded control of 4 young permanent researchers of the team SYNER of CRIStAL.

The project combines both theoretical research (analysis and control design methodologies for Cyber-Physical Systems based on hybrid system theory) and applied research, with the final goal being the development of software packages (Matlab programs) for the analysis and design of Cyber-Physical Systems and experimental validation.