Certifying Set Attractivity for Discrete-Time Uncertain Nonlinear Switched Systems

Technische Samenvatting: Certificering van Set-Attractiviteit voor Discrete-Tijds Onzekere Niet-lineaire Geswitchte Systemen

Probleemstelling
Het artikel adresseert de uitdaging om de robuuste lokale attractiviteit van verzamelingen te certificeren voor onzekere niet-lineaire geswitchte systemen in discrete tijd, waarbij de schakelwet fungeert als een beslissingsvariabele. Hoewel er uitgebreide literatuur bestaat over stabiliteitsanalyse van lineaire en onzekerheidsvrije geswitchte systemen (zowel continu als discrete tijd), en sommige werken onzekere lineaire systemen behandelen, blijft het probleem een aanzienlijk open kwestie voor onzekere niet-lineaire geswitchte systemen. Bestaande op Lyapunov gebaseerde methoden zijn vaak niet-triviaal toe te passen op niet-lineaire systemen, en op invariantie gebaseerde set-theoretische benaderingen hebben nog geen algemene resultaten voor attractiviteit in aanwezigheid van onzekerheden voor deze specifieke klasse van systemen opgeleverd.

Methodologie
De auteurs stellen een raamwerk voor dat centraal staat om een nieuwe klasse van functies, termed Attractivity Guarantee (AG)-functies. De methodologie verloopt via de volgende logische stappen:

1. Definitie van AG-functies: Een AG-functie is een verzwakking van het concept van de control Lyapunov-functie. Het is een niet-negatieve functie $L: X \to \mathbb{R}_{\geq 0}$ die verdwijnt op een doelverzameling $\Omega$ en voldoet aan een specifieke afnameconditie. Specifiek moet er voor toestanden binnen een bepaald niveau-niveau een schakelmodus bestaan zodat het supremum van de functiewaarde over alle mogelijke onzekerheidsrealisaties afneemt met een marge die afhankelijk is van de afstand tot de verzameling $\Omega$.
2. Theoretisch Verband met Attractiviteit: Het artikel bewijst (Propositie 2) dat het bestaan van een AG-functie geassocieerd met een verzameling $\Omega$ de robuuste lokale attractiviteit van die verzameling garandeert.
3. Constructieve Aanpak via Contractieve Verzamelingen: Om de moeilijkheid aan te pakken om AG-functies direct te vinden voor niet-lineaire systemen, stellen de auteurs een constructieve methode voor gebaseerd op Robuuste Control Contractieve Verzamelingen (RCCS). Een RCCS is een verzameling waarvoor, voor elke staat, een schakelmodus bestaat die het systeem naar het interieur van de verzameling drijft (rekening houdend met alle onzekerheden).
4. Bestaansbewijs: De auteurs demonstreren (Propositie 5) dat, indien een compacte RCCS bestaat, men expliciet een stuksgewijs constante AG-functie kan construeren gebaseerd op de "afstand" van een staat tot de doelverzameling, gemeten door het aantal stappen dat nodig is om de verzameling te bereiken via controleerbare verzamelingen.
5. Algoritmische Implementatie:
   • Voor lineaire systemen met additieve onzekerheid passen de auteurs een bestaand algoritme aan (Fiacchini en Jungers, 2014) om recursief robuuste controleerbare verzamelingen te berekenen met behulp van Minkowski-differenties. Dit maakt de offline berekening van een stabiliserende schakelwet mogelijk.
   • Voor niet-lineaire systemen wordt een numerieke procedure voorgesteld om de controleerbare verzamelingen te benaderen en de contractiviteitsconditie ($\Omega \subset \text{int}_X(C(\Omega))$) te verifiëren met behulp van een roostergebaseerde aanpak.

Belangrijkste Bijdragen

• Introductie van AG-functies: Het artikel definieert AG-functies als een hulpmiddel om set-attractiviteit te certificeren met zwakkere eisen dan traditionele Lyapunov-functies, specifiek geschikt voor discontinuïteiten die voortvloeien uit schakelen.
• Theoretische Garantie: Het vestigt een rigoureuze logische keten: het bestaan van een Robuuste Control Contractieve Verzameling (RCCS) $\implies$ het bestaan van een AG-functie $\implies$ robuuste lokale attractiviteit van de verzameling.
• Constructieve Methode: Het artikel biedt een concrete methode om AG-functies te genereren vanuit RCCS's, waarbij de functie wordt gedefinieerd op basis van de stap-index van de robuuste controleerbare verzamelingen ($C_k(\Omega)$).
• Synthese van Schakelwet: Een expliciete stabiliserende schakelwet wordt afgeleid (Vergelijking 16) die de modus selecteert die de stap-index tot de doelverzameling minimaliseert, waarbij wordt gegarandeerd dat de systeemtrajectorie binnen het domein van attractie blijft en convergeert naar de verzameling.
• Validatie voor Lineaire en Niet-lineaire Systemen: Het raamwerk wordt gevalideerd op lineaire geswitchte systemen met additieve onzekerheid en toegepast op een niet-lineaire casestudy.

Resultaten

• Lineair Geval: Het voorgestelde algoritme identificeert succesvol RCCS's en stabiliserende schakelwetten voor lineaire systemen met begrenste onzekerheden. In één voorbeeld identificeerde de methode een stabiliserende wet waarbij analyse zonder onzekerheid stabiliteit suggereerde, maar de aanwezigheid van onzekerheid de identificatie van een contractieve verzameling verhinderde, wat de noodzaak van de robuuste aanpak benadrukt.
• Niet-lineaire Casestudy (Antimicrobiële Resistentie): Het raamwerk werd toegepast op een discrete-tijdsmodel van bacteriële populatiedynamica (gevoelige en resistente stammen) onder immuunrespons en antibiotische behandeling.
  • De auteurs identificeerden RCCS's voor specifieke initiële bacteriële belastingen (bijv. totale belasting $b_0 \leq 10.000$).
  • Numerieke simulaties toonden aan dat voor deze belastingen het systeem een attractieve verzameling bezit, wat betekent dat de bacteriële populatie kan worden gedreven naar een toestand met lage belasting ondanks onzekerheden in discretisatie en modelparameters.
  • Voor hogere initiële belastingen ($b_0 = 120.000$) faalde de contractiviteitsconditie, wat de grenzen van het therapieprotocol voor hoge bacteriële lasten aangeeft.

Betekenis en Claims
Het artikel claimt het eerste algemene resultaat te leveren voor het certificeren van set-attractiviteit in onzekere niet-lineaire geswitchte systemen. De betekenis hiervan ligt in:

• Overbruggen van een Kloof: Het breidt set-theoretische control methoden uit van lineaire/onzekerheidsvrije systemen naar het complexere domein van onzekere niet-lineaire systemen.
• Praktische Relevantie: De toepassing op antimicrobiële resistentie (AMR) demonstreert de bruikbaarheid van de aanpak in biologische systemen, specifiek bij het beoordelen van de fundamentele beperkingen van antibiotische therapieprotocollen op basis van de initiële bacteriële belasting.
• Robuustheid: De methodologie houdt expliciet rekening met onzekerheden, en biedt een geometrisch certificaat van asymptotische stabiliteit en voldoening aan beperkingen dat robuust is voor modelvariaties en discretisatiefouten.

De auteurs merken op dat de aanpak momenteel beperkt is tot lokale attractiviteit en dat de constructie van de schakelwet computatie-intensief kan zijn voor algemene niet-lineaire systemen vanwege de noodzaak om controleerbare verzamelingen offline te berekenen. Zij suggereren dat toekomstig werk zich moet richten op minder conservatieve voorwaarden voor het bestaan van AG-functies en op prestatiegerichte schakelstrategieën.