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.
With respect to the current call of proposals, the ROCC-SYS consolidates the activities on hybrid dynamical systems and networked/embedded control of 4 young permanent researchers of the team SYNER of LAGIS.
ROCC-SYS 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.
Monsieur Laurentiu Hetel (Laboratoire d'Automatique, de Génie Informatique et Signal)
The author of this summary is the project coordinator, who is responsible for the content of this summary. The ANR declines any responsibility as for its contents.
LAGIS Laboratoire d'Automatique, de Génie Informatique et Signal
Help of the ANR 159,536 euros
Beginning and duration of the scientific project: September 2014 - 36 Months