Predictor-Feedback Stabilization of Linear Switched Systems with State-Dependent Switching and Input Delay

Titolo

Stabilizzazione tramite Feedback di Predittore di Sistemi Lineari Commutati con Commutazione Dipendente dallo Stato e Ritardo di Ingresso.

1. Problema e Contesto

Il lavoro affronta la sfida del controllo di una classe di sistemi lineari commutati caratterizzati da due complessità simultanee:

1. Commutazione dipendente dallo stato: Il segnale di commutazione $\sigma(t)$ non è temporale o arbitrario, ma dipende dallo stato corrente del sistema $X(t)$. Lo spazio degli stati è partizionato in regioni disgiunte $\Omega_i$, dove ogni regione corrisponde a una dinamica lineare specifica $(A_i, B_i)$.
2. Ritardo di ingresso arbitrario: Esiste un ritardo costante $D > 0$ nell'ingresso di controllo $U(t-D)$.

Motivazione: Questo scenario è comune in applicazioni reali come il controllo veicolare (cambio tra accelerazione e frenata basato su velocità), la modellizzazione epidemica (misure di quarantena basate sul numero di infetti con ritardi di implementazione) e i sistemi di controllo in rete (protocolli di comunicazione).

Gap nella letteratura: La maggior parte delle ricerche esistenti tratta o i ritardi in sistemi a commutazione temporale, o i ritardi di stato in sistemi a commutazione dipendente dallo stato. Non esistevano, fino a questo lavoro, risultati che affrontassero la compensazione di ritardi di ingresso di lunghezza arbitraria in sistemi lineari commutati con commutazione dipendente dallo stato tramite feedback di predittore.

2. Metodologia

Gli autori sviluppano una legge di controllo basata sul feedback di predittore (Predictor-Feedback). L'obiettivo è compensare completamente il ritardo $D$ calcolando lo stato futuro del sistema al tempo $t+D$.

A. Costruzione dello Stato Predittore

La difficoltà principale risiede nel fatto che, poiché la commutazione dipende dallo stato futuro $P(\theta)$, la formula per il predittore è implicita.

• Formula Implicita: Lo stato predittore $P(\theta)$ soddisfa un'equazione integrale dove i parametri di sistema $(A_{\sigma}, B_{\sigma})$ dipendono dalla modalità attiva $\sigma(P(\theta))$, che a sua volta dipende da $P(\theta)$.
  $$P(\theta) = X(t) + \int_{t-D}^{\theta} [A_{\sigma(P(s))}P(s) + B_{\sigma(P(s))}U(s)] ds$$
• Formula Semi-Esplicita: Sfruttando la linearità della dinamica in ogni modalità, gli autori derivano una formula semi-esplicita. L'algoritmo calcola iterativamente i tempi di commutazione futuri ($s_i$) all'interno dell'intervallo di ritardo $[t, t+D)$. Poiché la traiettoria del predittore è nota (basata su $X(t)$ e $U$), è possibile determinare quando essa esce dalla regione attuale $\Omega_i$ e calcolare l'evoluzione esponenziale per ogni sottointervallo fino a raggiungere $t+D$.

B. Legge di Controllo

Una volta ottenuto lo stato predittore $P(t)$, la legge di controllo è definita come:
$$U(t) = K_{\sigma(P(t))} P(t)$$
dove $K_i$ sono guadagni di retroazione progettati per stabilizzare il sistema senza ritardo.

C. Analisi di Stabilità

Per dimostrare la stabilità, gli autori utilizzano una trasformazione backstepping:

1. Trasformazione: Viene introdotta una variabile di trasformazione $W(\theta) = U(\theta) - K_{\sigma(P(\theta))}P(\theta)$. Questa mappa il sistema originale (con ritardo) in un sistema target.
2. Sistema Target: Il sistema risultante è un sistema commutato senza ritardo di ingresso (eccetto un termine di disturbo $W(t-D)$ che diventa nullo per $t \ge 0$).
3. Funzionali di Lyapunov Multipli: Viene costruita una famiglia di funzionali di Lyapunov quadratici $V_i(t)$, uno per ogni modalità.
   • Si dimostra che all'interno di ogni regione, la derivata di $V_i$ è negativa definita.
   • Si garantisce la continuità dei funzionali sulle superfici di commutazione ($\Omega_{i,j}$), condizione essenziale per evitare instabilità durante i salti di modalità.
4. Equivalenza delle Norme: Viene dimostrato che la norma del sistema originale è equivalente a quella del sistema target, permettendo di trasferire i risultati di stabilità.

3. Risultati Principali

• Teorema di Stabilità: Sotto le assunzioni di ben-posedness del sistema (assenza di comportamento Zeno) e l'esistenza di una famiglia di funzioni di Lyapunov per il sistema senza ritardo, il sistema in anello chiuso è uniformemente esponenzialmente stabile.
  $$|X(t)| + \sqrt{\int_{t-D}^t U(\theta)^2 d\theta} \le \rho \left( |X(0)| + \sqrt{\int_{-D}^0 U(\theta)^2 d\theta} \right) e^{-\xi t}$$
• Validazione Simulativa: Gli autori hanno simulato un sistema a due modalità con un ritardo $D=1$.
  • Le matrici di sistema e i guadagni $K_i$ sono stati progettati risolvendo disuguaglianze matriciali lineari (LMIs).
  • La legge di commutazione è stata ispirata dal protocollo "Try-Once-Discard" (TOD) delle reti di comunicazione.
  • I risultati mostrano la convergenza degli stati a zero e l'efficacia del controllo nel compensare il ritardo, anche in presenza di commutazioni frequenti.

4. Contributi Chiave

1. Nuova Costruzione del Predittore: La prima formulazione di uno stato predittore esatto per sistemi lineari commutati con commutazione dipendente dallo stato, trattando il problema come un sistema non lineare a causa della dipendenza implicita.
2. Algoritmo di Implementazione: Una procedura semi-esplicita per calcolare il predittore, che sfrutta la linearità locale per evitare la necessità di risolvere equazioni differenziali non lineari complesse in tempo reale, pur richiedendo un calcolo iterativo dei tempi di commutazione.
3. Analisi di Stabilità Rigorosa: L'estensione della tecnica di backstepping e dei funzionali di Lyapunov multipli a sistemi con ritardo di ingresso e commutazione dipendente dallo stato, fornendo condizioni sufficienti per la stabilità esponenziale uniforme.

5. Significato e Impatto

Questo lavoro colma una lacuna significativa nella teoria del controllo dei sistemi ibridi. Dimostra che è possibile compensare ritardi di ingresso arbitrari anche quando la dinamica del sistema cambia in modo non deterministico (basato sullo stato), un problema che le tecniche tradizionali (come le LMIs standard o i predittori per sistemi a tempo fisso) non riescono a gestire direttamente.

Le implicazioni pratiche sono rilevanti per:

• Reti di Controllo (NCS): Gestione di ritardi di comunicazione e protocolli di scheduling.
• Sistemi Fisici Complessi: Controllo di veicoli e sistemi biologici dove le azioni di controllo e le dinamiche sono intrinsecamente legate allo stato attuale e futuro.

Lavori Futuri

Gli autori intendono estendere la metodologia a una classe più ampia di sistemi adottando un framework di sistemi ibridi per rilassare le restrizioni attuali sulla forma del segnale di commutazione. Inoltre, stanno valutando la complessità computazionale e l'accuratezza delle implementazioni implicite rispetto a quelle semi-esplicite per fornire linee guida pratiche.