Sur l'équivalence des approches basées sur le modèle et pilotées par les données pour la conception d'observateurs à entrées inconnues

Informations fondamentales

• ID de l'article: 2311.00673
• Titre: On the equivalence of model-based and data-driven approaches to the design of unknown-input observers
• Auteurs: Giorgia Disarò, Maria Elena Valcher (Université de Padoue, Italie)
• Classification: math.DS (Systèmes dynamiques)
• Date de publication: Novembre 2023 (prépublication arXiv)
• Lien de l'article: https://arxiv.org/abs/2311.00673

Résumé

Cet article étudie les méthodes pilotées par les données pour la conception d'observateurs à entrées inconnues (OEI). Plus précisément, les auteurs fournissent des conditions nécessaires et suffisantes pour l'existence d'observateurs à entrées inconnues destinés aux systèmes linéaires invariants dans le temps (LIT) en temps discret, basées sur des données de fenêtres temporelles finies. Ils démontrent que, sous des hypothèses faibles sur les données collectées, les conditions de résolvabilité dérivées par la méthode pilotée par les données sont en fait équivalentes aux conditions obtenues par l'approche basée sur le modèle. En d'autres termes, les conditions pilotées par les données n'imposent pas de contraintes supplémentaires par rapport aux conditions classiques basées sur le modèle exprimées en termes de matrices du système d'origine.

Contexte et motivation de la recherche

1. Description du problème: Dans de nombreuses applications d'ingénierie de contrôle, la connaissance de l'état interne du système est essentielle pour résoudre des problèmes fondamentaux tels que la stabilisation par rétroaction d'état et la détection de défauts. Cependant, l'état du système n'est généralement pas directement accessible et nécessite la conception d'un observateur approprié pour estimer le vecteur d'état.
2. Défis: La dynamique des systèmes réels est souvent affectée par des perturbations, des erreurs de mesure ou d'autres signaux inconnus qui ne peuvent pas être utilisés pour identifier l'évolution de l'état. Les méthodes traditionnelles de conception d'observateurs supposent que le modèle du système est connu, mais dans certains cas, seules les données disponibles ne permettent pas d'identifier de manière unique le système.
3. Limitations des approches existantes:
   • Les méthodes basées sur le modèle nécessitent que les matrices du système soient connues
   • Les méthodes pilotées par les données existantes (comme 18) ne fournissent que des conditions suffisantes, et il n'est pas clair si un OEI peut être conçu lorsque le système obtenu n'est pas asymptotiquement stable
4. Motivation de la recherche: Exploiter les grandes quantités de données disponibles pour développer des techniques pilotées par les données afin de résoudre des problèmes d'ingénierie de contrôle, en particulier les problèmes d'estimation d'état lorsqu'un modèle de système précis ne peut pas être obtenu.

Contributions principales

1. Conditions nécessaires et suffisantes: Fournir des conditions vérifiables nécessaires et suffisantes pour valider l'existence d'un OEI à partir des données
2. Paramétrisation complète: Fournir une représentation paramétrée complète de tous les observateurs à entrées inconnues candidats
3. Preuve d'équivalence: Démontrer que, sous des hypothèses de données spécifiques, les conditions de résolvabilité de la méthode pilotée par les données sont complètement équivalentes aux conditions de la méthode basée sur le modèle
4. Percée théorique: Établir une correspondance bijective entre les méthodes pilotées par les données et les méthodes basées sur le modèle

Détails de la méthode

Définition de la tâche

Considérons le système LIT en temps discret Σ:

x(t+1) = Ax(t) + Bu(t) + Ed(t)  (1)
y(t) = Cx(t)                    (2)

où:

• x(t) ∈ ℝⁿ: vecteur d'état
• u(t) ∈ ℝᵐ: entrée de commande connue
• y(t) ∈ ℝᵖ: vecteur de sortie
• d(t) ∈ ℝʳ: entrée inconnue (comme les perturbations)

Définition de l'OEI: Système LIT Σ̂ de la forme:

z(t+1) = A_OEI z(t) + B^u_OEI u(t) + B^y_OEI y(t)  (3)
x̂(t) = z(t) + D_OEI y(t)                           (4)

tel que l'erreur d'estimation e(t) = x(t) - x̂(t) converge asymptotiquement vers zéro, indépendamment des conditions initiales et de la dynamique des entrées inconnues.

Approche basée sur le modèle

Conditions nécessaires et suffisantes (Théorème 2): Un OEI existe si et seulement si l'une des conditions suivantes est satisfaite:

1. Il existe des matrices (A_OEI, B^u_OEI, B^y_OEI, D_OEI) satisfaisant:
   • A_OEI est stable au sens de Schur
   • D_OEI CE = E
   • B^u_OEI = (I - D_OEI C)B
   • A_OEI(I - D_OEI C) + B^y_OEI C = (I - D_OEI C)A
2. Conditions matricielles:
   • rang(CE) = rang(E) = r
   • rangzIₙ - A -E; C 0 = n + r, ∀z ∈ ℂ, |z| ≥ 1
3. Le triplet (A,E,C) est fortement *détectable

Approche pilotée par les données

Organisation des données: Organiser les données historiques sous forme matricielle:

• Uₚ = uₐ(0) ... uₐ(T-2) ∈ ℝᵐˣ⁽ᵀ⁻¹⁾
• Xₚ = xₐ(0) ... xₐ(T-2) ∈ ℝⁿˣ⁽ᵀ⁻¹⁾
• Xf = xₐ(1) ... xₐ(T-1) ∈ ℝⁿˣ⁽ᵀ⁻¹⁾
• Yₚ = yₐ(0) ... yₐ(T-2) ∈ ℝᵖˣ⁽ᵀ⁻¹⁾
• Yf = yₐ(1) ... yₐ(T-1) ∈ ℝᵖˣ⁽ᵀ⁻¹⁾

Hypothèse centrale: La matrice Uₚᵀ Dₚᵀ Xₚᵀᵀ possède un rang de lignes complet m+r+n.

Résultat principal (Théorème 9): Les conditions suivantes sont équivalentes:

1. Il existe un OEI de la forme (3)-(4) tel que T_Σ ⊆ T_Σ̂
2. Il existe des matrices T₁,T₂,T₃,T₄ telles que Xf = [T₁ T₂ T₃ T₄]Uₚ; Yₚ; Yf; Xₚ et T₄ est stable au sens de Schur
3. Conditions sur les données: ker(Xf) ⊇ ker(Uₚ; Yₚ; Yf; Xₚ) et rangzXₚ-Xf; Uₚ; Yₚ = n+m+r, ∀z∈ℂ,|z|≥1
4. Le triplet (A,E,C) est fortement *détectable

Points d'innovation technique

1. Établissement de l'équivalence: Première preuve rigoureuse de l'équivalence complète entre les conditions pilotées par les données et les conditions basées sur le modèle
2. Correspondance bijective: Établir une relation bijective entre les matrices de paramètres de l'OEI et les paramètres pilotés par les données (Corollaire 10)
3. Algorithme pratique: Fournir une méthode de calcul simplifiée, transformant le problème en une forme plus facile à traiter

Configuration expérimentale

Exemple numérique

Utilisation de l'exemple de la littérature 4:

A = [-1 -1  0; -1  0  0; 0 -1 -1]
C = [1  0  0; 0  0  1]
E = [-1; 0; 0]

Paramètres expérimentaux

• Fenêtre temporelle: T = 20
• Entrée inconnue: générée uniformément aléatoirement dans l'intervalle (-2,2)
• Conditions initiales: choisies aléatoirement
• Perturbations: générées aléatoirement dans l'intervalle (-10,10)

Méthodes de comparaison

Comparaison avec la méthode proposée dans la littérature 18

Résultats expérimentaux

Résultats principaux

1. Validation du modèle: Vérification des conditions rang(CE) = rang(E) = r et de forte *détectabilité
2. Conception pilotée par les données: Reconstruction réussie de la matrice C à partir des données et vérification des conditions du Théorème 9
3. Comparaison des performances:
   • La matrice A_OEI obtenue par la méthode proposée est nilpotente
   • La méthode de la littérature 18 produit des valeurs propres {0, 0, -0.2}
   • Les deux méthodes fonctionnent, mais la méthode proposée permet de choisir la vitesse de convergence

Analyse de cas

La Figure 1 montre la dynamique de l'erreur d'estimation d'état:

• Ligne continue (noire): méthode de conception proposée
• Ligne pointillée (rouge): méthode de la littérature 18
• Les deux méthodes réalisent une convergence asymptotique, mais la méthode proposée offre plus de degrés de liberté de conception

Résultats expérimentaux

1. Les conditions pilotées par les données identifient correctement l'existence d'un OEI
2. La paramétrisation complète permet de choisir les caractéristiques de convergence souhaitées
3. Lorsque les données satisfont les hypothèses, la méthode pilotée par les données n'introduit pas de contraintes supplémentaires

Travaux connexes

Conception d'OEI basée sur le modèle

• Théorie de l'observateur de Luenberger 12,13
• Méthodes de découplage des entrées inconnues 9,11,21
• Méthodes géométriques 2 et méthodes de pseudo-inverse 15
• Techniques de décomposition en valeurs singulières 6

Méthodes pilotées par les données

• Approche en deux étapes: identification du système puis conception de l'observateur
• Approche en une étape: utilisation directe des données pour éviter l'étape d'identification 18
• Simulation et contrôle pilotés par les données 14

Positionnement de la contribution

Comparé aux travaux existants, cet article établit pour la première fois l'équivalence théorique entre les deux méthodes et fournit une solution de paramétrisation complète.

Conclusions et discussion

Conclusions principales

1. Sous des hypothèses faibles sur les données, les conditions de conception d'OEI pilotées par les données sont complètement équivalentes aux conditions basées sur le modèle
2. La méthode pilotée par les données n'introduit pas de contraintes supplémentaires
3. Fournir une paramétrisation complète de tous les observateurs à entrées inconnues possibles
4. Établir un pont théorique unifiant les deux paradigmes de conception

Limitations

1. Nécessite des données de mesure d'état historiques (réalisable en environnement de laboratoire)
2. Exige que la dimension de l'entrée inconnue soit connue
3. Dépend de l'hypothèse de rang complet des données
4. Applicable uniquement aux systèmes linéaires invariants dans le temps

Directions futures

1. Extension aux systèmes non linéaires
2. Considération des systèmes variant dans le temps
3. Étude de la robustesse aux données bruitées
4. Développement d'implémentations algorithmiques pour les applications pratiques

Évaluation approfondie

Avantages

1. Contribution théorique remarquable: Première preuve rigoureuse de l'équivalence entre les méthodes pilotées par les données et basées sur le modèle
2. Rigueur mathématique: Fournir des conditions nécessaires et suffisantes complètes avec des preuves mathématiques rigoureuses
3. Valeur pratique: Fournir des conditions de données vérifiables et des algorithmes pratiques
4. Complétude: Fournir une paramétrisation de tous les OEI, plutôt qu'une solution unique
5. Clarté de la rédaction: Structure logique claire avec des détails techniques suffisants

Insuffisances

1. Limitations des hypothèses: L'hypothèse de disposer de données de mesure d'état est relativement stricte en pratique
2. Limitation linéaire: Applicable uniquement aux systèmes linéaires, limitant la portée des applications
3. Validation numérique limitée: Fourniture d'un seul exemple numérique
4. Absence d'analyse de robustesse: Pas de considération du bruit des données et des erreurs de modélisation

Impact

1. Signification théorique: Fournir une base théorique importante pour la théorie du contrôle piloté par les données
2. Valeur pratique: Fournir une méthode de conception réalisable pour les applications d'ingénierie
3. Inspiration pour la recherche: Fournir de nouvelles perspectives de recherche pour d'autres problèmes de conception d'observateurs
4. Reproductibilité: Fournir des étapes algorithmiques claires facilitant la reproduction

Scénarios applicables

1. Scénarios où le modèle du système est inconnu mais des données d'état historiques sont disponibles
2. Problèmes d'estimation d'état nécessitant de gérer des perturbations inconnues
3. Conception d'observateurs pour systèmes de contrôle linéaires en temps discret
4. Applications de détection et diagnostic de défauts

Références

L'article cite 27 références pertinentes couvrant la théorie des observateurs, le contrôle piloté par les données, l'identification de systèmes et d'autres domaines connexes, fournissant une base théorique solide pour la recherche.

Évaluation générale: Cet article est un travail théorique de haute qualité qui apporte des contributions importantes dans le domaine de la conception d'observateurs pilotée par les données. Bien qu'il existe certaines limitations dans les applications pratiques, sa valeur théorique et son impact sur le développement du domaine méritent d'être reconnus.