PhD Defense: Georges Aazan
I am delighted to invite you to join me for a significant milestone in my academic career – my upcoming PhD defense on
Friday, 27 October 2023 at 2pm
The defense will be held in-person at the ENS Paris-Saclay room 1Z14. It will be also held online, a zoom link will be available soon.
Title: Stability of constrained switched systems driven by ω-regular languages
The jury members are:
- Jamal Daafouz - CRAN, Université de Lorraine - Rapporteur
- Raphael Jungërs - ICTEAM, Université catholique de Louvain - Rapporteur
- Carolina Albea Sanchez - Université de Séville - Examinateur
- Aneel Tanwani - LAAS Toulouse - Examinateur
- Elena Panteley - L2S, Université Paris Saclay - Examinateur
- Antoine Girard - L2S, Université Paris Saclay - Directeur de thèse
- Laurent Fribourg - LMF, Université Paris Saclay - Co-encadrant
- Luca Greco- L2S, Université Paris Saclay - Co-encadrant
- Paolo Mason- L2S, Université Paris Saclay - Invité
Abstract:
Switched systems are dynamical systems with several operating modes, each mode being described by a differential (continuous time) or difference (discrete time) equation. At all times, the active operating mode is determined by a switching signal. Switched systems are very useful in practice for accurately describing the execution of control algorithms on distributed computing infrastructures and thus for taking into account the constraints linked to the use of shared computing and communication resources. Furthermore, switched systems have unexpected properties (unstable behavior can for example result from switching between stable operating modes) that justify the development of specific theoretical tools for their study. Early work on stability of switched systems has focused on stability for switching signals that are arbitrary or that satisfy some (minimum or average) dwell-time condition. More recently, several works have considered the problem of proving stability for subsets of switching signals. In general, such switching signals are assumed to be generated by some finite state automaton and stability is characterized either in term of constrained joint spectral radius or using Lyapunov functions. However, there are some subsets of switching signals that cannot be specified using classical finite state automata. Examples are switching signals belonging to some omega-regular languages e.g. defined by Linear Temporal Logic (LTL) formulas, which are often used to specify scheduling and communication protocols. A representative example of omega-regular language is the set of shuffled switching signals: a switching signal is shuffled if and only if all the modes are activated infinitely often. In a preliminary study, the stability of switched systems under shuffled switching signals was characterized by means of Lyapunov functions. This thesis aims at developing theoretical and numerical tools to analyze the stability of switched systems under shuffled switching signals and more generally under constraints given by an omega-regular language. We define a notion of shuffled joint spectral radius that allows us to quantify the speed of convergence of the switched system under shuffled swtiching signals. We develop numerical algorithms based on Linear Matrix Inequalities (LMIs) and automata theoretic techniques to compute approximations of the shuffled joint spectral radius. In the second part of the thesis, we extend these results to more general classes of switching signals such as those specified by omega-regular languages. These languages can always be characterized by Büchi automata. Finally, we will present an observer design for switched systems based on the Büchi automata and reconstructible sequences, i.e. sequences allowing to estimate the state of the system. This design consists of an application of our theoretical results.