Analyse et conception de systèmes k-contractifs en réseau

Mots clés

Systèmes non linéaires, stabilité incrémentale, contraction, systèmes en réseau

Détail de l'offre

Sans être exhaustive l'analyse des systèmes en réseau est motivée par des applications comme: la propagation d'une épidémie suite aux interactions entre différents individus; la propagation des opinions/rumeurs dans un réseau social; l'évolution du climat suite aux interactions entre l'environnement et les agents économiques et sociaux; la dynamique des robots coopérant pour réaliser collectivement une tâche. On peut ajouter des applications technologique comme le contrôle de pelotons des véhicules autonomes, ou le contrôle collaboratif des robots sur une chaîne de montage. Dans ce contexte, une priorité scientifique du département CID porte sur le développement des outils mathématiques/théoriques pour l'analyse des systèmes interconnectés.
Le comportement asymptotique des systèmes dynamiques non linéaires ne se réduit pas à l'attraction vers un point fixe ou une solution unique et stationnaire. Ceci est particulièrement vrai lorsque des comportements non-locaux sont considérés et/ou lorsque nous ne traitons pas de problèmes de stabilisation. Pour cela, la notion de stabilité incrémentale a commencé à jouer un rôle fondamental dans la théorie du contrôle. En bref, un système est incrémentalement stable (ou contractif) si la distance entre des trajectoires ayant des conditions initiales différentes diminue asymptotiquement jusqu'à zéro, sans nécessairement converger vers un point d'équilibre. Les propriétés de contraction se sont avérées efficaces dans de nombreux problèmes de contrôle, tels que la régulation de la sortie, la synchronisation multi-agents, la conception d'observateurs, etc. Par conséquent, il est devenu naturel de rechercher des généralisations de cet outil.
Dans ce projet, nous nous concentrons sur la notion récente de k-contraction qui généralise le concept de contraction des distances à des objets géométriques de dimension k. L'intérêt du project est double. D'une part, il permettrait d'étudier et de justifier les comportements asymptotiques des solutions des systèmes en réseau, en examinant leurs propriétés k-contractives. D'autre part, cela permettrait de développer de nouveaux outils pour contrôler les systèmes en réseau en imposant de manière appropriée les propriétés k-contractives sur le réseau, soit par le biais d'une conception de rétroaction, soit en modifiant le protocole de communication.
La thèse se développera en deux phases. Tout d'abord, nous nous concentrerons sur la création de nouveaux outils d'analyse. En effet, les approches existantes sont soit basées sur des mesures matricielles, qui nécessitent des calculs intensif et ne sont pas adaptées à la conception de rétroaction, soit sur l'utilisation de structures métriques plates, qui ne sont cependant pas adaptées pour de grandes classes de systèmes. En particulier, nous développerons d'abord une approche de type Riemannien (et/ou de type Lyapunov) pour étudier la k-contraction. Cela nous permettra de considérer des classes de systèmes plus générales, pour lesquelles des conditions suffisantes et nécessaires pour la k-contraction seront développées. Ensuite, nous étudierons comment les systèmes k-contractifs se comportent sous l'effet de signaux externes (et donc de propriétés de stabilité entrée-sortie). La deuxième phase de la thèse portera sur l'aspect distribué, c'est-à-dire, l'interconnexion des systèmes k-contractifs. En particulier, nous étudierons l'interconnexion en réseau des systèmes k-contractifs, le rôle du protocole de communication (le graphe) dans le processus de synchronisation et comment le modifier pour obtenir certaines propriétés asymptotiques. Pour conclure, nous étudierons comment concevoir des contrôleurs de rétroaction atteignant des propriétés k-contractives pour la boucle fermée.