Safe Output Regulation of Coupled Hyperbolic PDE-ODE Systems

1. Problema e Contesto

Il documento affronta il problema del regolamento dell'uscita sicuro (safe output regulation) per una classe di sistemi dinamici ibridi modellati da una struttura accoppiata PDE-ODE iperbolica 2x2.

• Sistema: Un sistema composto da un'equazione differenziale ordinaria (ODE) in retroazione con un sistema di equazioni alle derivate parziali (PDE) iperboliche bidirezionali.
• Disturbi: Il sistema è soggetto a disturbi distribuiti che agiscono su tutto il dominio spaziale delle PDE e sull'ODE, oltre a segnali di riferimento e disturbi esterni generati da un modello esogeno.
• Vincoli: L'obiettivo non è solo far tracciare all'uscita del sistema un riferimento desiderato, ma garantire che l'uscita rimanga all'interno di una regione di sicurezza definita da una funzione barriera temporale variabile $h(e(t), t) \geq 0$.
• Sfide: Il problema è complicato dalla presenza di stati non misurabili (le PDE sono distribuite), disturbi esterni sconosciuti e la necessità di garantire la sicurezza anche se il sistema inizia in uno stato non sicuro (fuori dalla regione ammissibile).

2. Metodologia Proposta

Gli autori sviluppano una strategia di controllo basata su tre pilastri principali: il metodo Backstepping, le Funzioni di Barriera di Controllo (CBF) e un Osservatore Esteso.

A. Controllo in Retroazione di Stato (State-Feedback)

Per il caso ideale in cui tutti gli stati sono misurabili, viene progettato un controllore tramite una sequenza di trasformazioni:

1. Trasformazione di Errore: Una trasformazione lineare converte il sistema ODE in una catena di integratori, isolando l'errose di tracciamento.
2. Trasformazione CBF (High Relative Degree): Viene introdotta una trasformazione non lineare basata su funzioni barriera ($h_i$) per gestire i vincoli di sicurezza. Questa trasformazione trasforma il sistema in una catena di integratori di ordine elevato (High Relative Degree CBFs), permettendo di garantire che la funzione barriera rimanga positiva.
3. Trasformazione Backstepping: Vengono applicate trasformazioni integrali di Volterra per disaccoppiare le PDE iperboliche e stabilizzare il sistema target. Questo permette di derivare una legge di controllo esplicita che annulla i termini di accoppiamento instabili e gestisce i disturbi.
4. Gestione dello Stato Iniziale Non Sicuro: Se il sistema inizia fuori dalla regione sicura, viene introdotto un termine di correzione temporale $\sigma(t)$ che forza lo stato a rientrare nella regione di sicurezza entro un tempo finito predefinito ($t_a$), scelto come parametro di progetto.

B. Controllo in Retroazione di Uscita (Output-Feedback)

Poiché in pratica gli stati delle PDE e i disturbi non sono misurabili, viene progettato un osservatore esteso:

• Stima degli Stati: Un osservatore stima gli stati non misurabili delle PDE ($z, w$) e dello stato ODE ($Y$).
• Stima dei Disturbi: Un estimatore di disturbo ricostruisce i segnali esogeni ($v_d$) utilizzando il modello esogeno e le misure disponibili.
• Limiti di Errore: Vengono derivati limiti espliciti per gli errori di stima, che convergono esponenzialmente a zero.
• Controllore Robusto: La legge di controllo output-feedback sostituisce gli stati reali con le loro stime. Per garantire la sicurezza nonostante l'incertezza, viene aggiunto un termine di compensazione robusto (basato sul segno della derivata della barriera e sui limiti degli errori di stima) che restringe temporaneamente la regione sicura fino a quando gli errori di stima non diventano trascurabili.

3. Contributi Chiave

1. Primo Risultato su Regolazione Sicura per PDE: Questo lavoro presenta il primo risultato teorico che combina il regolamento dell'uscita (tracking e rifiuto dei disturbi) con vincoli di sicurezza rigorosi per sistemi PDE-ODE iperbolici.
2. Controllo Output-Feedback Sicuro: A differenza di lavori precedenti basati su feedback di stato, questo studio gestisce stati non misurabili e disturbi sconosciuti, garantendo la sicurezza anche in presenza di incertezze.
3. Flessibilità della Sicurezza: Il metodo non si limita a vincoli di positività, ma utilizza una funzione barriera generale $h$, permettendo specifiche di sicurezza più complesse e flessibili.
4. Recupero in Tempo Prescritto: Se il sistema inizia in uno stato non sicuro, il controllore garantisce matematicamente il rientro nella regione sicura entro un tempo finito selezionabile dall'utente ($t_a$).
5. Applicazione Pratica: Il metodo è stato validato su uno scenario reale di consegna con UAV (droni) e carico sospeso, dimostrando la capacità di tracciare traiettorie evitando collisioni.

4. Risultati Teorici e di Simulazione

• Stabilità e Convergenza: È stato dimostrato che l'errore di tracciamento converge esponenzialmente a zero e che tutti i segnali del sistema in ciclo chiuso rimangono limitati.
• Garanzia di Sicurezza:
  • Se la condizione iniziale è sicura, il sistema rimane sicuro per sempre.
  • Se la condizione iniziale è non sicura, il sistema rientra nella regione sicura entro il tempo $t_a + \bar{t}_0$ (dove $\bar{t}_0$ è legato al ritardo di propagazione delle onde nella PDE).
• Validazione Numerica: Le simulazioni su un sistema UAV con carico sospeso (modello PDE-ODE con termini di anti-smorzamento per aumentare la sfida) mostrano che:
  • Il carico sospeso traccia con precisione il riferimento desiderato.
  • Il carico evita collisioni con ostacoli (barriere), anche partendo da posizioni pericolose.
  • L'osservatore stima accuratamente gli stati delle PDE e i disturbi distribuiti, con errori che decadono esponenzialmente.

5. Significato e Impatto

Questo lavoro è significativo perché colma un divario fondamentale nella teoria del controllo dei sistemi a parametri distribuiti. Mentre la regolazione dell'uscita e il controllo sicuro sono stati studiati separatamente per sistemi a dimensione finita e per PDE, la loro integrazione per sistemi accoppiati PDE-ODE con disturbi distribuiti era un problema aperto.
La metodologia proposta offre un framework sistematico per progettare controllori per sistemi critici (come droni, reattori chimici o sistemi di trasporto) dove la sicurezza operativa è tanto importante quanto la precisione del tracciamento, anche in condizioni di incertezza e non misurabilità completa degli stati. L'applicazione al caso UAV con carico sospeso dimostra la fattibilità pratica dell'approccio in scenari dinamici complessi.