Interval Estimation for Cyber-physical Systems.
Estimation par Intervalles des Systèmes Cyber-physiques
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
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.
Origine : Version validée par le jury (STAR)