Comportements, trajectoires et données : Une nouvelle perspective sur la conception d'observateurs à entrées inconnues

Informations fondamentales

• ID de l'article: 2407.18833
• Titre: Behaviors, trajectories and data: A novel perspective on the design of unknown-input observer
• Auteurs: Giorgia Disarò, Maria Elena Valcher (Université de Padoue)
• Classification: math.OC (Optimisation et Contrôle), math.DS (Systèmes dynamiques)
• Date de publication: 26 juillet 2024 (prépublication arXiv)
• Lien de l'article: https://arxiv.org/abs/2407.18833

Résumé

Cet article propose une nouvelle perspective pour la conception d'observateurs à entrées inconnues (OEI) basée sur la « théorie du comportement » de Willems, applicable aux modèles d'espace d'état linéaires invariants dans le temps en temps discret affectés par des perturbations inconnues dans les équations d'état et de sortie. L'étude suppose d'abord que le modèle du système original est connu, puis s'étend au cas où le modèle est inconnu mais où des données historiques satisfaisant certaines hypothèses sont disponibles. Dans les deux cas, les concepts fondamentaux de la théorie du comportement (tels que la projection du comportement, les relations d'inclusion du comportement, les représentations du noyau et de l'image) fournissent des outils puissants pour déterminer les conditions nécessaires et suffisantes pour l'existence d'un OEI et pour concevoir des algorithmes.

Contexte et motivation de la recherche

Définition du problème

1. Problème central: Concevoir un observateur à entrées inconnues pour les systèmes linéaires invariants dans le temps en temps discret affectés par des perturbations inconnues, où les perturbations affectent simultanément les équations d'état et de sortie
2. Défi: Les méthodes traditionnelles sont principalement basées sur les opérations algébriques d'espace d'état et manquent d'un cadre théorique unifié pour traiter les deux scénarios : modèle connu et approche pilotée par les données

Analyse de l'importance

• Besoin pratique: Les systèmes complexes contiennent souvent des perturbations difficiles à modéliser, nécessitant l'estimation de l'état du système en présence de perturbations
• Valeur théorique: La théorie du comportement fournit un cadre plus général que les méthodes d'espace d'état traditionnelles
• Perspectives d'application: Les méthodes pilotées par les données évitent l'étape d'identification du modèle, ce qui est plus efficace dans les applications pratiques

Limitations des méthodes existantes

1. Conception d'OEI traditionnelle: Principalement basée sur les opérations algébriques d'espace d'état, manquant d'un cadre théorique unifié
2. Application de la théorie du comportement: Les observateurs conçus dans les recherches existantes 1,12,15 ne garantissent pas la causalité
3. Méthodes pilotées par les données: Les travaux antérieurs 3,4,11 ne considéraient que le cas simplifié où les perturbations n'affectent pas la sortie

Contributions principales

1. Innovation théorique: Application systématique pour la première fois de la théorie du comportement de Willems à la conception d'OEI, offrant une nouvelle perspective théorique
2. Cadre unifié: Établissement d'une méthode unifiée pour la conception d'OEI dans les deux scénarios : modèle connu et approche pilotée par les données
3. Conditions nécessaires et suffisantes: Dérivation de nouvelles conditions nécessaires et suffisantes pour l'existence d'un OEI basées sur la théorie du comportement, et preuve de leur équivalence avec les conditions classiques
4. Conception d'algorithmes: Fourniture d'algorithmes algébriques pour concevoir directement les paramètres d'OEI à partir des données
5. Application étendue: Traitement du cas plus général où les perturbations affectent simultanément l'état et la sortie

Détails de la méthode

Définition de la tâche

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

x(t+1) = Ax(t) + Bu(t) + Ed(t)    (1a)
y(t) = Cx(t) + Du(t) + Fd(t)      (1b)

Où:

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

Conception d'OEI:

z(t+1) = A_OEI z(t) + B^u_OEI u(t) + B^y_OEI y(t)    (2a)
x̂(t) = z(t) + D^u_OEI u(t) + D^y_OEI y(t)            (2b)

Fondements de la théorie du comportement

Définition du comportement: Un comportement B ⊆ (ℝʷ)^ℤ₊ est l'ensemble des trajectoires satisfaisant un système d'équations différentielles:

R(σ)w = 0

Où R(z) ∈ ℝz^(p×w) est une matrice polynomiale et σ est l'opérateur de décalage à gauche.

Concepts clés:

1. Projection du comportement: P_{w₁}B = {w₁ : ∃w₂ tel que (w₁,w₂) ∈ B}
2. Annulateur minimal à gauche (AML): Matrice polynomiale d'ordre minimal satisfaisant H(z)M(z) = 0
3. Inclusion du comportement: Critères de détermination de B₁ ⊆ B₂

Conception d'OEI basée sur le comportement

Cas du modèle connu

Représentation du comportement du système:

B_Σ = ker(R_Σ(σ))

Où:

R_Σ(z) = [zI_n - A  -B   0   -E]
          [-C       -D   I_p -F]

Représentation du comportement d'OEI:

B_Σ̂ = ker(R_Σ̂(σ))

Théorème principal: Le système Σ̂ est un OEI pour Σ si et seulement si:

1. Condition d'accepteur: P_{(x,u,y)}B_Σ ⊆ P_{(x̂,u,y)}B_Σ̂
2. Condition de stabilité: A_OEI est stable au sens de Schur

Conditions de conception: L'existence d'un OEI est garantie si et seulement si il existe des matrices satisfaisant:

[-D^y_OEI  A_OEI D^y_OEI - B^y_OEI][CE F] = [-E 0]     (10)
                                    [F  0]

A_OEI = A + [-D^y_OEI  A_OEI D^y_OEI - B^y_OEI][CA]    (11)
                                                [C ]

[B^u_OEI] = [I  -D^y_OEI C  -B^y_OEI][B]               (12)
[D^u_OEI]   [0  -D^y_OEI            ][D]

Et A_OEI est stable au sens de Schur.

Méthode pilotée par les données

Données historiques: Collecte de trajectoires état-entrée-sortie sur l'intervalle de temps 0,T-1:

• x_d = {x_d(t)}^{T-1}_
• u_d = {u_d(t)}^{T-1}_
• y_d = {y_d(t)}^{T-1}_

Matrice de données:

Φ_d = [X_p^T  X_f^T  U_p^T  U_f^T  Y_p^T  Y_f^T]^T ∈ ℝ^{2(n+m+p)×(T-1)}

Trajectoires compatibles: Une trajectoire (x,u,y) est compatible avec les données historiques si et seulement si:

[x(t)    ]
[x(t+1)  ] ∈ Im(Φ_d), ∀t ∈ ℤ₊
[u(t)    ]
[u(t+1)  ]
[y(t)    ]
[y(t+1)  ]

Résultat principal: Un OEI existe si et seulement si pour toute matrice satisfaisant ker(V_p V_f W_p W_f R_p R_f) = Im(Φ_d), il existe Ω tel que:

Ω[V_p V_f] = [-A* I_n]

Où A* est une matrice stable au sens de Schur.

Points d'innovation technique

1. Méthode de représentation du noyau: Utilisation de la représentation du noyau de matrices polynomiales pour décrire uniformément le comportement du système et de l'observateur
2. Technique de projection: Élimination des variables non observables (entrées inconnues) par projection du comportement
3. Relations d'inclusion: Transformation de la condition d'accepteur en relation d'inclusion du comportement, facilitant les opérations algébriques
4. Paramétrisation des données: Construction directe des paramètres d'OEI à partir de la matrice de données, évitant les étapes de modélisation intermédiaires

Configuration expérimentale

Exemple numérique

Considérons un système d'ordre 3:

A = [1  1 -1]    B = [-1]    E = [1]
    [2  1  1]        [1 ]        [0]
    [1  0 -1]        [1 ]        [1]

C = [1  1  0]    D = [2]    F = [1]
    [1 -1  1]        [1]        [1]

Détails d'implémentation

• Fenêtre temporelle: T = 11
• Données d'entrée: u(t) uniformément distribuée dans (-4,4), d(t) uniformément distribuée dans (-3,3)
• Conditions initiales: générées aléatoirement

Résultats expérimentaux

Processus de conception

1. Collecte de données: Construction de la matrice de données Φ_d
2. Calcul du noyau: Détermination de la matrice Ψ satisfaisant la condition (20)
3. Résolution des paramètres: Résolution de l'équation (21) par décomposition SVD
4. Stabilisation: Sélection de L tel que Ā + LC̄ soit stable au sens de Schur

Paramètres d'OEI obtenus

A_OEI = [0.3721 -0.2326 -0.4651]
        [0.2791 -0.1744 -0.3488]  (valeurs propres: 0, 0, 0.5)
        [0.5581 -0.3488 -0.6977]

B^u_OEI = [-2.9070]    B^y_OEI = [1.0930 -0.1860]
          [-0.1802]              [0.3198  0.1105]
          [-0.3605]              [0.6395  0.2209]

Vérification des performances

L'erreur d'estimation d'état converge vers zéro en environ 20 pas de temps, validant l'efficacité de l'OEI.

Travaux connexes

Applications de la théorie du comportement

• Travaux fondamentaux de Willems 20,21: Établissement du cadre de la théorie du comportement
• Conception d'observateurs 1,12,15: Conception d'observateurs dans le cadre du comportement, mais sans garantie de causalité
• Contrôle piloté par les données 6,7,8: Méthodes pilotées par les données basées sur le lemme fondamental de Willems

Méthodes de conception d'OEI

• Méthodes classiques 2,13: Conception d'OEI basée sur l'algèbre d'espace d'état
• OEI piloté par les données 3,4,11: Considérant uniquement le cas simplifié où les perturbations n'affectent pas la sortie

Avantages de cet article

1. Unification théorique: Fourniture d'un cadre unifié pour les méthodes pilotées par le modèle et les données
2. Conditions complètes: Traitement du cas général où les perturbations affectent simultanément l'état et la sortie
3. Algorithme simple: Fourniture d'un algorithme de conception algébrique direct

Conclusion et discussion

Conclusions principales

1. Contribution théorique: Application réussie de la théorie du comportement à la conception d'OEI, établissant un nouveau cadre théorique
2. Unification des méthodes: Résolution des deux scénarios (modèle connu et approche pilotée par les données) dans un même cadre
3. Équivalence des conditions: Preuve de l'équivalence entre les conditions de la théorie du comportement et les conditions algébriques classiques
4. Efficacité de l'algorithme: Fourniture d'algorithmes réalisables et vérification par des exemples numériques

Limitations

1. Hypothèses sur les données: Nécessité que l'état soit mesurable hors ligne, ce qui peut être limité dans les applications pratiques
2. Exigences sur les perturbations: Hypothèse que l'entrée inconnue satisfait une condition d'excitation persistante, difficile à vérifier en pratique
3. Complexité de calcul: Pour les systèmes de grande dimension, la charge de calcul des opérations matricielles peut être importante
4. Robustesse: Non-prise en compte des effets du bruit et de l'incertitude du modèle

Directions futures

1. Conception robuste: Prise en compte du bruit de mesure et de l'incertitude du modèle
2. Apprentissage en ligne: Développement de méthodes de conception d'OEI adaptatif
3. Extension non-linéaire: Extension de la méthode aux systèmes non-linéaires
4. Observation distribuée: Étude de la conception d'OEI distribuée pour les systèmes multi-agents

Évaluation approfondie

Points forts

1. Originalité théorique: Application systématique pour la première fois de la théorie du comportement à la conception d'OEI, ouvrant une nouvelle direction de recherche
2. Complétude de la méthode: Chaîne de recherche complète allant de l'analyse théorique à la conception d'algorithmes et à la vérification numérique
3. Cadre unifié: Traitement des deux scénarios (modèle connu et approche pilotée par les données) dans un même cadre théorique
4. Rigueur mathématique: Fourniture de dérivations mathématiques rigoureuses et de conditions nécessaires et suffisantes
5. Algorithmes pratiques: Fourniture d'étapes de conception algébriques directement implémentables

Insuffisances

1. Limitations d'application: L'hypothèse que l'état est mesurable hors ligne peut être difficile à satisfaire dans les systèmes réels
2. Hypothèses sur les perturbations: L'hypothèse d'excitation persistante de l'entrée inconnue est difficile à vérifier en pratique
3. Efficacité de calcul: Pour les systèmes de grande dimension, les opérations matricielles peuvent devenir un goulot d'étranglement
4. Absence de robustesse: Non-prise en compte du bruit et de l'incertitude omniprésents dans les systèmes réels

Impact

1. Valeur académique: Fourniture de nouveaux outils mathématiques et perspectives d'analyse pour la théorie du contrôle
2. Contribution méthodologique: Démonstration du potentiel d'application de la théorie du comportement aux problèmes de contrôle pratiques
3. Recherches ultérieures: Susceptible de stimuler davantage de recherches sur la conception de systèmes de contrôle basée sur la théorie du comportement
4. Valeur pédagogique: Fourniture d'une base théorique solide pour la compréhension du contrôle piloté par les données

Scénarios d'application

1. Processus industriels: Systèmes industriels tels que les procédés chimiques et les systèmes électriques avec des perturbations difficiles à modéliser
2. Systèmes robotiques: Estimation d'état requise en présence de perturbations environnementales inconnues
3. Aéronautique et astronautique: Navigation et contrôle d'aéronefs dans des environnements complexes
4. Systèmes en réseau: Surveillance d'état et détection de défauts dans les réseaux de communication

Références

Cet article cite 24 références importantes, incluant principalement:

Fondements de la théorie du comportement:

• 20,21 Travaux pionniers de J.C. Willems
• 18,22 Développement de la théorie des systèmes comportementaux

Conception d'observateurs:

• 1,15 Conception d'observateurs par méthodes comportementales
• 2,13 Théorie classique de conception d'OEI

Méthodes pilotées par les données:

• 19 Lemme fondamental de Willems
• 3,4,11 Travaux antérieurs sur la conception d'OEI piloté par les données

Ces références fournissent une base solide pour le développement théorique et les comparaisons méthodologiques de cet article.