Sujet de Thèse
Titre :
Outils méthodologiques pour la modélisation et l'analyse de systèmes hybrides interconnectés
Dates :
2019/11/13 - 2022/10/31
Etudiant :
Encadrant(s) : 
Autre(s) encadrant(s) :
ZACCARIAN Luca (zaccarian@laas.fr)
Description :
Les systèmes dynamiques hybrides mettent en jeu à la fois des évolutions en temps continu et en temps discret.
Les exemples sont nombreux et incluent les systèmes à commande échantillonnée, les systèmes mécaniques
sujets à des impacts, les réseaux d'énergie impliquant des convertisseurs de puissance, des systèmes biologiques
pour n'en citer que quelques-uns.
Des outils puissants sont désormais disponibles pour la modélisation et l'analyse de systèmes hybrides isolés.
Néanmoins, des obstacles majeurs apparaissent lorsqu'on interconnecte plusieurs systèmes hybrides ensemble.
Or la question est fondamentale car les systèmes hybrides interconnectés jouent un rôle clef dans nombre
d'applications de nos jours parmi lesquels les systèmes cyber-physiques en réseau, les réseaux d'énergie, les
dynamiques d'opinions par exemple. Nous manquons cruellement d'outils adaptés à l'analyse de tels systèmes.
L'objectif de cette thèse est de pallier ce manque en proposant des outils de modélisation et d'analyse qui
répondent aux spécificités des systèmes hybrides interconnectés. L'idée générale est de déduire des propriétés de
stabilité globale directement à partir des propriétés locales de chaque sous-système et de la nature de leur
interconnexion, facilitant ainsi grandement l'analyse. Des cas d'étude issues des systèmes cyber-physiques et des
dynamiques d'opinions serviront à valider les résultats généraux théoriques proposés.
Mots clés :
Systèmes hybrides, systèmes interconnectés, stabilité, méthodes de Lyapunov, systèmes en réseau
Département(s) : 
Contrôle Identification Diagnostic