Estimation par Intervalles des Systèmes Cyber-physiques
par Djahid Rabehi
Thèse de doctorat en Automatique
Sous la direction de Nacim Ramdani.
Soutenue le 29-11-2019
à Orléans , dans le cadre de École doctorale Mathématiques, Informatique, Physique Théorique et Ingénierie des Systèmes (Centre-Val de Loire) , en partenariat avec Laboratoire Pluridisciplinaire de recherche en ingénierie des systèmes, mécanique et énergétique (Orléans ; 2008-....) (laboratoire) .
Le président du jury était Tarek Raissi.
Le jury était composé de Nacim Ramdani, Tarek Raissi, Sophie Tarbouriech, Antoine Girard, Romain Postoyan, Nacim Meslem.
Les rapporteurs étaient Sophie Tarbouriech, Antoine Girard.
- Observateurs par intervalles
- Mesures sporadiques
- Echantillonnages contrôlés
- Estimation sécurisée
- Objets coopérants (informatique)
- Systèmes dynamiques
- Observateurs intervalles
mots clés
-
Résumé
Les systèmes cyber-physiques sont des intégrations intelligentes de calculateurs, de réseaux de communications, et de processus physiques. Dans cette thèse, nous travaillons dans le contexte erreur inconnue mais bornée de borne connue, et nous nous intéressons à l'estimation d'état des systèmes dynamiques sous contraintes de communication. Nous proposons des méthodes de synthèse d'observateurs par intervalles pour des systèmes linéaires à temps continu, et dont les mesures à temps discret sont transmises à travers un réseau de communication.Les contributions de cette thèse sont les suivantes: (i) nous concevons un observateur impulsif par intervalles pour des systèmes linéaires à temps continu avec des mesures sporadiques; (ii) nous proposons un observateur impulsif par intervalles avec gain L1 fini et échantillonnage contrôlé, puis, nous développons une méthode de synthèse pour concevoir simultanément le gain d’observation et la condition de contrôle de l'échantillonnage des mesures; (iii) en utilisant l'observateur impulsif par intervalles proposé dans (i), nous développons une stratégie d'estimation sécurisée pour des systèmes soumis à des cyber-attaques.
-
Titre traduit
Interval Estimation for Cyber-physical Systems.
-
Résumé
Cyber-Physical Systems are smart integrations of computation, networking, and physical processes. In this thesis, we deal with interval observers for cyber-physical systems in which the continuous-time physical systems are estimated and monitored using discrete-time data transmitted over network.The contributions of the presented material are threefold: (i) we design an interval impulsive observer for continuous-time linear systems with sporadically available measurements; (ii) we propose a finite L1-gain event-triggered interval impulsive observer for continuous-time linear systems, in which we develop a co-design procedure to simultaneously design the observer gain and the event-triggering condition; (iii) using the interval impulsive observer, we develop a secure estimation strategy for multi-output systems under cyber-attacks
Il est disponible au sein de la bibliothèque de l'établissement de soutenance.
