Certifying Set Attractivity for Discrete-Time Uncertain Nonlinear Switched Systems

Technische Zusammenfassung: Zertifizierung der Set-Anziehbarkeit für diskrete zeitliche unsichere nichtlineare geschaltete Systeme

Problemstellung
Der Beitrag adressiert die Herausforderung, die robuste lokale Anziehbarkeit von Mengen für unsichere nichtlineare geschaltete Systeme in diskreter Zeit zu zertifizieren, wobei das Schaltgesetz als Entscheidungsvariable fungiert. Während eine umfangreiche Literatur zur Stabilitätsanalyse linearer und unsicherheitsfreier geschalteter Systeme (sowohl kontinuierlicher als auch diskreter Zeit) existiert und einige Arbeiten unsichere lineare Systeme behandeln, bleibt das Problem für unsichere nichtlineare geschaltete Systeme eine signifikante offene Frage. Bestehende Lyapunov-basierte Methoden sind für nichtlineare Systeme oft nichttrivial anwendbar, und mengentheoretische Ansätze, die auf invarianten Mengen basieren, haben für diese spezifische Klasse von Systemen noch keine allgemeinen Ergebnisse zur Anziehbarkeit im Hinblick auf Unsicherheiten geliefert.

Methodik
Die Autoren schlagen einen Rahmen vor, der auf einer neuen Klasse von Funktionen basiert, die als Anziehbarkeits-Garantie (AG)-Funktionen bezeichnet werden. Die Methodik verläuft durch folgende logische Schritte:

1. Definition von AG-Funktionen: Eine AG-Funktion ist eine Lockerung des Konzepts der Kontroll-Lyapunov-Funktion. Es handelt sich um eine nichtnegative Funktion $L: X \to \mathbb{R}_{\geq 0}$, die auf einer Zielmenge $\Omega$ verschwindet und eine spezifische Abnahmebedingung erfüllt. Konkret muss für Zustände innerhalb einer bestimmten Niveaumenge ein Schaltmodus existieren, sodass das Supremum des Funktionswerts über alle möglichen Unsicherheitsrealisierungen um einen Rand abnimmt, der vom Abstand zur Menge $\Omega$ abhängt.
2. Theoretischer Zusammenhang zur Anziehbarkeit: Der Beitrag beweist (Proposition 2), dass die Existenz einer AG-Funktion, die mit einer Menge $\Omega$ assoziiert ist, die robuste lokale Anziehbarkeit dieser Menge garantiert.
3. Konstruktiver Ansatz über kontraktive Mengen: Um die Schwierigkeit zu adressieren, AG-Funktionen direkt für nichtlineare Systeme zu finden, schlagen die Autoren eine konstruktive Methode basierend auf Robusten Kontroll-Kontraktiven Mengen (RCCS) vor. Eine RCCS ist eine Menge, für die in jedem Zustand ein Schaltmodus existiert, der das System (unter Berücksichtigung aller Unsicherheiten) in das Innere der Menge treibt.
4. Existenzbeweis: Die Autoren zeigen (Proposition 5), dass, falls eine kompakte RCCS existiert, eine stückweise konstante AG-Funktion explizit konstruiert werden kann, die auf dem „Abstand" eines Zustands von der Zielmenge basiert, gemessen an der Anzahl der Schritte, die erforderlich sind, um die Menge über kontrollierbare Mengen zu erreichen.
5. Algorithmische Implementierung:
   • Für lineare Systeme mit additiver Unsicherheit passen die Autoren einen bestehenden Algorithmus (Fiacchini und Jungers, 2014) an, um robuste kontrollierbare Mengen rekursiv unter Verwendung von Minkowski-Differenzen zu berechnen. Dies ermöglicht die Offline-Berechnung eines stabilisierenden Schaltgesetzes.
   • Für nichtlineare Systeme wird ein numerisches Verfahren vorgeschlagen, um die kontrollierbaren Mengen zu approximieren und die Kontraktivitätsbedingung ($\Omega \subset \text{int}_X(C(\Omega))$) unter Verwendung eines gitterbasierten Ansatzes zu verifizieren.

Hauptbeiträge

• Einführung von AG-Funktionen: Der Beitrag definiert AG-Funktionen als Werkzeug zur Zertifizierung der Set-Anziehbarkeit mit schwächeren Anforderungen als traditionelle Lyapunov-Funktionen, die speziell Diskontinuitäten, die durch Schalten entstehen, berücksichtigen.
• Theoretische Garantie: Es wird eine rigorose logische Kette etabliert: Die Existenz einer Robusten Kontroll-Kontraktiven Menge (RCCS) $\implies$ Existenz einer AG-Funktion $\implies$ robuste lokale Anziehbarkeit der Menge.
• Konstruktive Methode: Der Beitrag liefert eine konkrete Methode, um AG-Funktionen aus RCCSs zu generieren, wobei die Funktion auf dem Schrittniveauindex der robusten kontrollierbaren Mengen ($C_k(\Omega)$) basiert.
• Synthese des Schaltgesetzes: Ein explizites stabilisierendes Schaltgesetz wird abgeleitet (Gleichung 16), das den Modus auswählt, der den Schrittniveauindex zur Zielmenge minimiert, wodurch sichergestellt wird, dass die Systemtrajektorie innerhalb des Einzugsbereichs bleibt und gegen die Menge konvergiert.
• Validierung für lineare und nichtlineare Fälle: Der Rahmen wird an linearen geschalteten Systemen mit additiver Unsicherheit validiert und auf eine nichtlineare Fallstudie angewendet.

Ergebnisse

• Linearer Fall: Der vorgeschlagene Algorithmus identifiziert erfolgreich RCCSs und stabilisierende Schaltgesetze für lineare Systeme mit begrenzten Unsicherheiten. In einem Beispiel identifizierte die Methode ein stabilisierendes Gesetz, bei dem die Analyse ohne Unsicherheiten Stabilität suggerierte, die Anwesenheit von Unsicherheiten jedoch die Identifizierung einer kontraktiven Menge verhinderte, was die Notwendigkeit des robusten Ansatzes unterstreicht.
• Nichtlinearer Fallstudie (Antimikrobielle Resistenz): Der Rahmen wurde auf ein diskretes zeitliches Modell der Bakterienpopulationdynamik (anfällige und resistente Stämme) unter Immunantwort und Antibiotikabehandlung angewendet.
  • Die Autoren identifizierten RCCSs für spezifische initiale Bakterienlasten (z. B. Gesamtladung $b_0 \leq 10.000$).
  • Numerische Simulationen zeigten, dass für diese Lasten das System eine anziehende Menge besitzt, was bedeutet, dass die Bakterienpopulation trotz Unsicherheiten in der Diskretisierung und den Modellparametern in einen Zustand mit geringer Last getrieben werden kann.
  • Für höhere initiale Lasten ($b_0 = 120.000$) versagte die Kontraktivitätsbedingung, was die Grenzen des Therapieprotokolls bei hohen Bakterienlasten anzeigt.

Bedeutung und Behauptungen
Der Beitrag beansprucht, das erste allgemeine Ergebnis zur Zertifizierung der Set-Anziehbarkeit in unsicheren nichtlinearen geschalteten Systemen zu liefern. Seine Bedeutung liegt in:

• Überbrückung einer Lücke: Er erweitert mengentheoretische Kontrollmethoden von linearen/unsicherheitsfreien Systemen auf den komplexeren Bereich unsicherer nichtlinearer Systeme.
• Praktische Relevanz: Die Anwendung auf antimikrobielle Resistenz (AMR) demonstriert die Nützlichkeit des Ansatzes in biologischen Systemen, insbesondere bei der Bewertung der grundlegenden Grenzen von Antibiotikatherapieprotokollen basierend auf der initialen Bakterienlast.
• Robustheit: Die Methodik berücksichtigt Unsicherheiten explizit und liefert ein geometrisches Zertifikat für asymptotische Stabilität und Erfüllbarkeit von Nebenbedingungen, das gegenüber Modellvariationen und Diskretisierungsfehlern robust ist.

Die Autoren weisen darauf hin, dass der Ansatz derzeit auf lokale Anziehbarkeit beschränkt ist und dass die Konstruktion des Schaltgesetzes für allgemeine nichtlineare Systeme aufgrund der Notwendigkeit, kontrollierbare Mengen offline zu berechnen, rechenintensiv sein kann. Sie schlagen vor, dass zukünftige Arbeiten sich auf weniger konservative Bedingungen für die Existenz von AG-Funktionen und leistungsorientierte Schaltstrategien konzentrieren sollten.