ROCC-SYS - Commande Robuste des Systèmes Cyber-Physiques

Coordinateur : Laurentiu Hétel, Chargé de Recherche CNRS CRIStAL

Équipe : SyNeR du Groupe Thématique CO2

Partenaire : LAGIS (Laboratoire d’Automatique, de Génie Informatique et Signal).

Dates : 09/14 - 09/17

Résumé :

L’objectif du projet ROCC-SYS (Robust Control of Cyber-physical Systems) est de mener une recherche fondamentale pour développer de nouvelles méthodes d’analyse et de conception de lois de commande pour les systèmes cyber-physiques via des approches issues de la théorie de la Commande Robuste.
Un système cyber-physique représente un système d’éléments de calcul qui collaborent dans le but d’assurer la coordination, la surveillance, et la commande de processus physiques. De tels systèmes sont conçus comme un réseau d’ordinateurs embarqués interactifs avec des capteurs pour entrées physiques, et des actionneurs pour sorties. Les systèmes cyber-physiques sont intrinsèquement hétérogènes puisque leur étude implique l’interaction entre des modèles discrets (décrivant les composants digitaux), et des équations différentielles continues (comme modèles de processus physiques). L’analyse et la conception de lois de commande pour des systèmes aussi complexes peuvent être traitées dans le cadre des Systèmes Dynamiques Hybrides.
Les objectifs scientifiques du projet ROCC-SYS sont doubles : premièrement, le projet vise à contribuer au développement théorique pour les systèmes dynamiques hybrides ; deuxièmement, le projet a pour but de fournir des outils méthodologiques permettant de certifier la fiabilité des systèmes cyber-physiques (en termes de stabilité au sens deLyapunov), grâce à l’utilisation de la théorie des systèmes hybrides.

Abstract

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.