Stabilization of non-uniformly observable control systems and infinite-dimensional observers

Title :

Stabilization of non-uniformly observable control systems and infinite-dimensional observers

Etudiant :BRIVADIS Lucas

Directeur ou Directrice :SERRES Ulysse

Début :01/10/2018

Fin :01/09/2021

Financement :Thèse MENRT

Date de la soutenance :20210515

Commentaire :

Jury:

Prieur, Christophe, Directeur de recherche CNRS, GIPSA-lab, Rapporteur
Wirth, Fabian, Professeur des universités, Université de Passau, Rapporteur
Bernard, Pauline, Maître de conférences, MINES ParisTech, Examinatrice
Coron, Jean-Michel, Professeur des universités, LJLL, Examinateur
Jacob, Birgit, Professeur des universités, Université de Wuppertal, Examinatrice
Maschke, Bernhard, Professeur des universités, Université Lyon 1, Examinateur
Andrieu, Vincent, Directeur de recherche CNRS, LAGEPP, Directeur de thèse
Serres, Ulysse, Maître de conférences, Université Lyon 1, Co-encadrant de thèse
Gauthier, Jean-Paul, Professeur émérite, Université de Toulon, Co-encadrant de thèse

Résumé : Cette thèse s’articule autour de deux thèmes différents mais liés. Dans une première partie, nous nous intéressons au problème de stabilisation par bouclage de sortie dynamique. Lorsque seulement une partie de l’état d’un système dynamique est connue, un bouclage d’état stabilisant ne peut pas être implémenté. Dès lors, une stratégie possible pour stabiliser l’état sur un point cible consiste à concevoir un observateur, afin d’estimer asymptotiquement l’état en filtrant la sortie au cours du temps, et à utiliser comme contrôleur la loi de commande stabilisante appliquée à l’observateur. Cette approche est connue pour être efficace sur les systèmes uniformément observables, c’est-à-dire observables pour toute entrée. Cependant, les systèmes non-linéaires ne sont génériquement pas uniformément observables lorsque la dimension de la sortie est inférieure ou égale à celle de l’entrée. Ainsi, en présence de singularités d’observabilité, de nouvelles techniques restent à développer.

Dans une seconde partie, nous traitons du problème de synthèse d’observateur pour les systèmes linéaires temps-variant de dimension infinie. L’objectif est de concevoir un système dynamique capable d’estimer l’état du système de départ à partir d’une mesure et de sa dynamique. La notion d’observabilité peut se généraliser de plusieurs façons en dimension infinie. En particulier, on distingue les hypothèses d’observabilité exacte et approchée. Alors qu’une convergence exponentielle des observateurs de Luenberger peut généralement être montrée sous des hypothèses d’observabilité exacte, les résultats portant sur des hypothèses d’observabilité approchée, auxquelles nous nous intéressons, sont plus rares. Ces observateurs peuvent également être utilisés dans le contexte de la reconstitution de la condition initiale d’un système. La procédure, appelée Back and Forth Nudging (BFN), est alors basée sur des itérations successives d’observateurs en temps positifs et en temps rétrograde. Ces méthodes peuvent être appliquées à un procédé de cristallisation par lots, dans lequel l’état à estimer est la distribution en taille des particules (PSD).

Commentary :

This thesis deals with two different but related topics. In the first part, we are concerned with the problem of dynamic output feedback stabilization. When only part of the state of a control system is known, a stabilizing state feedback can not be directly implemented. Hence, a common strategy to stabilize the state to some target point is to design an observer system to asymptotically estimate the state by filtering the output online, and to use as an input the stabilizing state feedback applied to the observer. This approach is known to be efficient on uniformly observable systems, that are observable for all inputs. However, it is not generic for nonlinear systems to be uniformly observable when the dimension of the output is less or equal than the dimension of the input. Hence, in the presence of observability singularities, new techniques need to be developed. In the second part, we focus on the problem of observer design for linear time-varying infinite-dimensional systems. The goal is to design a dynamical system learning the state from the output dynamics. The finite-dimensional notion of observability may be extended in several ways. In particular, one distinguishes exact and approximate observability assumptions. While exponential convergence of Luenberger observers can be proved on exactly observable systems, much less is known for approximate observability-like hypotheses, on which we focus. These observers can also be used in the context of offline reconstruction of initial data. The procedure is based on iterations of forward and backward observers, and named Back and Forth Nudging (BFN). Such methods can be applied to a batch crystallization process, where the state to be estimated is the Particle Size Distribution (PSD). Contribution 1. On Single-Input Single-Output (SISO) bilinear systems with observable target, generic perturbations of the feedback law guarantee that the inputs produced by the closed-loop system render the system observable. Contribution 2. On state-affine dissipative systems that are state feedback stabilizable, 0-detectability is a necessary and sufficient condition to the existence of a globally stabilizing dynamic output feedback. Contribution 3. On examples of nonlinear systems, we illustrate three main guidelines for output feedback stabilization at an unobservable target: • additive perturbations of the state feedback law yield new observability properties without preventing the stabilization process; • observers with dissipative error system are robust to observability singularities; • embeddings into finite or infinite-dimensional systems allow to design Luenberger observers with dissipative error systems. Contribution 4. Up to a weak detectability assumption, infinite-dimensional Luenberger observers estimate the observable part of the state in the weak topology of the state space. Strong convergence can be obtained with additional assumptions on the error system. Contribution 5. The convergence results of Contribution 4 can be adapted to the BFN context. Contribution 6. In the context of a batch crystallization process, we propose several strategies to reconstruct the PSD: • a direct approach based on a Tikhonov regularization, using the knowledge of the Chord Length Distribution (CLD); • a Kazantzis-Kravaris/Luenberger (KKL) observer, using the knowledge of temperature and solute concentration; • an infinite-dimensional Luenberger observer, based on Contributions 4 and 5, using the knowledge of the CLD.