State Observers for Linear Systems with Prescribed Residual Bounds

Résumé Technique : Observateurs d'état pour systèmes linéaires avec bornes de résidus prescrites

Formulation du problème
L'article traite d'une limitation spécifique des observateurs d'état continus classiques pour les systèmes linéaires invariants dans le temps (LTI) soumis à des perturbations inconnues et bornées. Bien que les observateurs de Luenberger standards garantissent la convergence asymptotique et le caractère uniformément borné de l'erreur d'estimation sous des hypothèses appropriées, ils ne régulent pas explicitement le comportement transitoire du résidu de l'observateur, défini par $r(t) = y(t) - C\hat{x}(t)$. Dans des applications telles que la détection de fautes et la supervision de la sécurité, des écarts transitoires importants dans le résidu peuvent déclencher de fausses alarmes ou dégrader les performances. Les conceptions robustes existantes fournissent des bornes sur le résidu en conséquence de la dynamique du système et de la sélection du gain, mais ces bornes ne sont pas directement assignables par le concepteur. Le problème est formulé comme une tâche d'application de contraintes : concevoir un observateur tel que $\|r(t)\| \leq \delta$ pour tout $t \geq t_0$, où $\delta > 0$ est une borne pré-spécifiée choisie par le concepteur, quelle que soit l'amplitude de la perturbation (dans des limites connues).

Méthodologie
La solution proposée est une architecture d'observateur hybride qui augmente un observateur de Luenberger continu standard par des réinitialisations d'état discrètes. La dynamique du système est modélisée par :
$$\dot{x} = Ax + Bu + d(t), \quad y = Cx$$
où $d(t)$ est une perturbation inconnue et bornée. L'état de l'observateur $\hat{x}$ évolue de manière continue selon l'équation de Luenberger standard, mais subit des sauts instantanés lorsque la norme du résidu atteint le seuil prescrit $\delta$.

La dynamique hybride est définie par des ensembles de flux et de saut :

• Ensemble de flux ($C$) : $\|r\| \leq \delta$. L'observateur évolue de manière continue.
• Ensemble de saut ($D$) : $\|r\| \geq \delta$. Une réinitialisation est déclenchée.

À l'instant du saut $t_k$, l'état de l'observateur est mis à jour via une application de réinitialisation linéaire :
$$\hat{x}^+ = \hat{x}^- + J r^-$$
où $J$ est une matrice de gain de réinitialisation constante. L'article dérive une expression en forme close pour $J$ basée sur la matrice de Lyapunov $P$ (associée à la dynamique d'erreur continue) et le facteur de contraction $\rho \in [0, 1)$ :
$$J = (1 - \rho) P^{-1} C^\top (C P^{-1} C^\top)^{-1}$$
Ce choix spécifique de $J$ garantit que le résidu se contracte par un facteur $\rho$ à chaque saut ($\|r^+\| = \rho \|r^-\|$) tout en maintenant la non-expansivité de l'erreur d'estimation dans la métrique de Lyapunov $V = \tilde{x}^\top P \tilde{x}$.

Contributions clés et garanties théoriques
L'article établit quatre résultats théoriques principaux sous les hypothèses de détectabilité, de perturbations bornées et de rang plein de la ligne de $C$ :

1. Contraction du résidu : À chaque instant de réinitialisation, la norme du résidu est strictement réduite par le facteur $\rho$, garantissant $\|r^+\| = \rho \|r^-\|$.
2. Invariance vers l'avant : Si le résidu initial satisfait $\|r(t_0)\| \leq \delta$, l'enveloppe du résidu $\{r : \|r\| \leq \delta\}$ est invariante vers l'avant. Le résidu ne dépasse jamais la borne prescrite $\delta$.
3. Non-expansivité de l'erreur d'estimation : La fonction de Lyapunov $V(\tilde{x})$ n'augmente pas lors des instants de saut ($V^+ \leq V^-$). Cela garantit que le mécanisme de réinitialisation ne déstabilise pas l'erreur d'estimation.
4. Caractère uniformément borné : L'observateur hybride préserve les propriétés de caractère uniformément borné de l'observateur de Luenberger en temps continu sous-jacent. L'erreur d'estimation reste bornée par la même expression que celle dérivée pour l'observateur standard, assurant la stabilité de type entrée-état (ISS) par rapport à la perturbation.
5. Absence de comportement de Zeno : L'article prouve l'existence d'un temps de maintien minimal strictement positif entre deux réinitialisations consécutives, empêchant les commutations infinies en un temps fini.

Résultats de simulation
Les auteurs valident la conception via des simulations sur un système LTI à 4 états avec une perturbation sinusoïdale variable dans le temps active sur l'intervalle $t \in [2, 5]$.

• Performance du résidu : Un observateur de Luenberger standard avec des gains identiques viole la borne de résidu prescrite $\delta$ lorsque la perturbation est active. En revanche, l'observateur hybride proposé impose strictement $\|r(t)\| \leq \delta$. Chaque fois que le résidu atteint $\delta$, une réinitialisation se produit, contractant instantanément le résidu à $\rho\delta$ (où $\rho=0,1$ dans la simulation).
• Erreur d'estimation : Les erreurs d'estimation d'état pour l'observateur hybride présentent des sauts aux instants de réinitialisation mais restent bornées et comparables à celles de l'observateur en temps continu. La fonction de Lyapunov $V(t)$ reste bornée, confirmant la propriété de non-expansivité théorique.
• Initialisation : Les simulations démontrent également que si le système démarre en dehors de l'enveloppe du résidu ($\|r(0)\| > \delta$), une réinitialisation unique à $t=0$ (avec $\rho=0$) peut immédiatement ramener le résidu dans l'ensemble invariant.

Signification et revendications
L'article affirme offrir un mécanisme novateur pour réguler le comportement transitoire du résidu sans recourir à un retour de commande à gain élevé en continu, lequel est sujet aux phénomènes de pic (peaking) et à la sensibilité au bruit. Contra-rent par rapport aux travaux précédents qui utilisent des réinitialisations pour améliorer les performances transitoires ou réduire les gains $L_2$, ce travail traite la borne du résidu comme une spécification de performance dure et invariante imposée par la conception.

Les auteurs positionnent ce travail comme une solution à un « problème d'application de contraintes » plutôt qu'à un « problème de caractérisation de robustesse ». En garantissant que le résidu reste dans une enveloppe spécifiée par le concepteur, l'approche fournit une caractérisation plus structurée du comportement nominal. Ceci est particulièrement pertinent pour les systèmes de détection de fautes où les seuils sont typiquement réglés de manière conservatrice ; l'observateur proposé atténue les pics induits par les perturbations qui pourraient autrement déclencher de fausses alarmes. L'article conclut en notant que bien que le cadre soit établi pour les systèmes LTI, l'approche hybride n'est pas restreinte à la dynamique linéaire, suggérant des extensions futures vers les systèmes non linéaires et à données échantillonnées.