Sintesi Liscia di Tubi Spatiotemporali per il Controllo Reach-Avoid-Stay a Tempo Prescritto

Informazioni Fondamentali

• ID Articolo: 2510.11583
• Titolo: Smooth Spatiotemporal Tube Synthesis for Prescribed-Time Reach-Avoid-Stay Control
• Autori: Siddhartha Upadhyay, Ratnangshu Das, Pushpak Jagtap (Indian Institute of Science)
• Classificazione: eess.SY (Sistemi e Controllo), cs.RO (Robotica), cs.SY (Sistemi e Controllo)
• Data di Pubblicazione: 14 ottobre 2025
• Link Articolo: https://arxiv.org/abs/2510.11583

Riassunto

Questo articolo affronta il problema della sintesi del controllore per sistemi non lineari affini nel controllo, al fine di soddisfare specifiche Reach-Avoid-Stay (RAS) a tempo prescritto. L'obiettivo della ricerca è migliorare i metodi esistenti basati su tubi spatiotemporali (STT), eliminando le funzioni di aggiraggio che causano variazioni brusche dei tubi e elevati costi di controllo. Viene proposto un framework adattivo che costruisce STT lisci attorno a insiemi statici non sicuri, realizzando l'evitamento continuo degli ostacoli mentre guida il sistema verso l'obiettivo nel tempo prescritto. Vengono derivate leggi di controllo in forma chiusa e prive di approssimazioni, garantendo che le traiettorie del sistema rimangono all'interno del tubo e soddisfano i compiti RAS. La validità del metodo è verificata attraverso studi di caso, mostrando una riduzione significativa dei costi di controllo rispetto ai metodi precedenti.

Contesto di Ricerca e Motivazione

1. Definizione del Problema

Il problema fondamentale affrontato in questo articolo è la progettazione di controllori per sistemi non lineari affini nel controllo, in modo che soddisfino specifiche Reach-Avoid-Stay (RAS) a tempo prescritto. I compiti RAS richiedono che il sistema parta da un insieme iniziale, raggiunga un insieme obiettivo nel tempo prescritto, evitando costantemente regioni non sicure e rimanendo nell'obiettivo dopo il raggiungimento.

2. Importanza del Problema

Le proprietà RAS sono componenti fondamentali nella definizione di logiche temporali più complesse e hanno significato critico nei sistemi safety-critical. Supportano lo sviluppo di strategie di controllo robuste, garantendo che gli stati del sistema rimangono in regioni sicure, con ampia applicabilità nella navigazione robotica, guida autonoma, aerospaziale e altri settori.

3. Limitazioni dei Metodi Esistenti

I metodi esistenti presentano principalmente i seguenti problemi:

• Metodi di Astrazione: I metodi di controllo simbolico basati sulla discretizzazione dello spazio degli stati affrontano la maledizione della dimensionalità
• Metodi di Ottimizzazione: I metodi basati su funzioni barriera di controllo hanno elevati costi computazionali e difficili da estendere a sistemi ad alta dimensione
• Controllo a Imbuto: Sebbene computazionalmente efficiente, il trattamento di specifiche convesse (come vincoli di evitamento) rimane sfidante
• Metodi STT Esistenti: L'uso di funzioni di aggiraggio causa variazioni brusche dei tubi, producendo elevati costi di controllo

4. Motivazione della Ricerca

Sulla base delle limitazioni sopra citate, questo articolo propone il metodo di sintesi STT liscia, con l'obiettivo di:

• Eliminare l'uso di funzioni di aggiraggio, evitando variazioni brusche dei tubi
• Ridurre i costi di controllo e migliorare le prestazioni del sistema
• Mantenere le garanzie di soddisfacimento delle specifiche RAS a tempo prescritto
• Fornire soluzioni di controllo in forma chiusa e prive di approssimazioni

Contributi Principali

1. Framework Adattivo STT Liscio Proposto: Viene progettato un nuovo framework adattivo che costruisce tubi spatiotemporali lisci in tempo reale, evitando l'uso di funzioni di aggiraggio
2. Eliminazione delle Variazioni Brusche dei Tubi: Attraverso la deformazione continua liscia per il trattamento dei vincoli di evitamento, i costi di controllo vengono significativamente ridotti
3. Mantenimento delle Garanzie Teoriche: Mentre si riducono i costi di controllo, vengono mantenute le garanzie teoriche del soddisfacimento delle specifiche RAS a tempo prescritto
4. Fornitura di Leggi di Controllo in Forma Chiusa: Vengono derivate regole di controllo prive di approssimazioni, applicabili a sistemi affini nel controllo con dinamiche sconosciute
5. Verifica dell'Efficacia del Metodo: L'utilità pratica e la superiorità del metodo vengono verificate attraverso simulazioni di robot mobili omnidirezionali

Spiegazione Dettagliata del Metodo

Definizione del Compito

Compito RAS a Tempo Prescritto: Dato un insieme non sicuro U, un insieme iniziale S⊂ℝⁿ\U e un insieme obiettivo T⊂ℝⁿ\U, per qualsiasi stato iniziale x(0)∈S, esiste un tempo t∈0,tc tale che x(t)∈T, e la traiettoria evita l'insieme non sicuro in tutti i tempi, ovvero x(s)∈ℝⁿ\U per tutti s∈0,tc, dove tc∈ℝ⁺ è il tempo di completamento prescritto.

Modello del Sistema

Si consideri il sistema non lineare affine nel controllo:

S: ẋ = f(x) + g(x)u + w

dove:

• x(t)∈ℝⁿ: vettore di stato
• u(t)∈ℝⁿ: vettore di ingresso di controllo
• w(t)∈W⊂ℝⁿ: perturbazione limitata sconosciuta
• f(x) e g(x): funzioni localmente Lipschitz sconosciute

Architettura del Modello

1. Progettazione del Tubo di Raggiungibilità

Viene definito un iperettangolo centrato nello stato iniziale x(0):

Ŝ := ∏[i=1,n] [xi(0) - di,S, xi(0) + di,S] ⊂ S

Il confine del tubo di raggiungibilità ρ(t) evolve secondo la seguente equazione differenziale:

ρ̇i(t) = {
  tc(T̂i - Ŝi)/((tc-t)²) sech²(t/(tc-t)), if t < tc
  0, if t ≥ tc
}

2. Trattamento delle Specifiche di Evitamento

L'insieme non sicuro è modellato come: U = ⋃j∈1,nu U⁽ʲ⁾ ⊂ ℝⁿ

Calcolando l'intervallo di tempo di intersezione t⁽ʲ⁾, t̄⁽ʲ⁾ tra il tubo e il j-esimo insieme non sicuro:

tj = (max[i∈[1,n]] min āi) tc, t̄j = (min[i∈[1,n]] max āi) tc

3. Correzione Adattiva del Tubo

Viene proposto un framework adattivo per correggere l'STT:

γ̇i,L(t) = {
  ρ̇i(t), if i ≠ k
  α₁⁽ʲ⁾ρ̇i(t) + α₂⁽ʲ⁾ϕ₁⁽ʲ⁾(t) + α₃⁽ʲ⁾ϕ₂⁽ʲ⁾(t), if i = k
}

dove le funzioni di peso α₁⁽ʲ⁾, α₂⁽ʲ⁾, α₃⁽ʲ⁾ sono definite sulla base di s(t) = 0.5tanh(t/v), realizzando un passaggio liscio a tre fasi.

Punti di Innovazione Tecnica

1. Eliminazione delle Funzioni di Aggiraggio

Diversamente dai metodi esistenti, questo articolo non utilizza funzioni di aggiraggio che causano variazioni brusche, ma realizza la deformazione liscia del tubo attraverso funzioni di peso adattive.

2. Meccanismo Adattivo a Tre Fasi

• Fase 1: α₁⁽ʲ⁾=1, il tubo si orienta verso l'insieme obiettivo
• Fase 2: α₂⁽ʲ⁾=1, il tubo aggira la proiezione dell'insieme non sicuro
• Fase 3: α₃⁽ʲ⁾=1, il tubo ritorna liscio al confine di raggiungibilità originale

3. Legge di Controllo in Forma Chiusa

Viene derivata la regola di controllo priva di approssimazioni:

u(x,t) = -κξ(x,t)ε(x,t)

dove ξ(x,t) e ε(x,t) sono definiti sulla base dell'errore normalizzato e dell'errore trasformato.

Configurazione Sperimentale

Modello del Sistema

Viene adottato il modello dinamico di un robot mobile omnidirezionale:

[ẋ₁; ẋ₂; ẋ₃] = [cos x₃ -sin x₃ 0; sin x₃ cos x₃ 0; 0 0 1][v₁; v₂; ω] + w(t)

Configurazione dello Scenario

• Regione Iniziale: S = 0, 0.5 × 0, 0.5
• Regione Obiettivo: T = 11, 11.5 × 7, 7.5
• Ostacoli:
  • U₁ = 1.5, 2 × 0.5, 3
  • U₂ = 5.2, 6.8 × 3.2, 4
  • U₃ = 7, 8 × 0, 8
• Tempo Prescritto: tc = 80s

Metriche di Valutazione

La valutazione principale riguarda il grado di riduzione del costo di controllo, attraverso il confronto con metodi basati su funzioni di aggiraggio.

Risultati Sperimentali

Risultati Principali

1. Prestazioni della Traiettoria: Il sistema raggiunge con successo la regione obiettivo dalla regione iniziale nel tempo prescritto, evitando contemporaneamente tutti gli ostacoli
2. Costo di Controllo: Rispetto ai metodi basati su funzioni di aggiraggio, il costo di controllo è significativamente ridotto
3. Levigatezza: La progettazione STT è più liscia, evitando variazioni brusche

Analisi dei Casi

La Figura 2 mostra la traiettoria di navigazione del robot nell'ambiente 2D, dove la linea continua nera rappresenta la traiettoria del sistema, evitando con successo tutti gli ostacoli rossi e raggiungendo la regione obiettivo verde. I risultati di confronto della Figura 3 mostrano chiaramente il vantaggio significativo del metodo proposto in termini di costo di controllo.

Verifica Teorica

Attraverso il Teorema 3.3 viene provato che l'STT costruito soddisfa le seguenti condizioni:

• Il tubo inizia dall'insieme iniziale: Γ(0) ⊂ S
• Raggiunge l'obiettivo nel tempo prescritto: Γ(tc) ⊂ T
• Evita l'insieme non sicuro durante tutto il percorso: Γ(t) ∩ U = ∅
• I confini del tubo soddisfano i vincoli

Lavori Correlati

Direzioni di Ricerca Principali

1. Metodi di Astrazione: Sintesi di controllo simbolico attraverso discretizzazione dello spazio degli stati
2. Metodi di Funzioni Barriera: Metodi di ottimizzazione basati su funzioni Lyapunov-barriera di controllo
3. Controllo a Imbuto: Metodo di controllo di tracciamento efficiente
4. Metodi STT: Sviluppo del framework dei tubi spatiotemporali

Vantaggi di Questo Articolo

Rispetto ai lavori esistenti, il metodo proposto:

• Evita il problema della maledizione della dimensionalità
• Riduce la complessità computazionale
• Elimina le variazioni brusche dei tubi
• Fornisce soluzioni in forma chiusa

Conclusioni e Discussione

Conclusioni Principali

1. Il metodo di sintesi STT liscio proposto risolve efficacemente il problema del controllo RAS a tempo prescritto
2. L'eliminazione delle funzioni di aggiraggio riduce significativamente i costi di controllo
3. Il framework adattivo realizza il trattamento liscio dell'evitamento degli ostacoli
4. L'analisi teorica garantisce la correttezza e la completezza del metodo

Limitazioni

1. Ipotesi di Ostacoli Statici: Il metodo attuale assume che gli insiemi non sicuri siano statici e noti
2. Restrizione della Categoria di Sistemi: Principalmente orientato a sistemi affini nel controllo
3. Ipotesi di Separazione Temporale: Richiede che gli insiemi non sicuri siano sufficientemente separati nel tempo
4. Scalabilità Dimensionale: La complessità computazionale per sistemi ad alta dimensione richiede ulteriore verifica

Direzioni Future

1. Estensione a ambienti dinamici con ostacoli tempo-varianti
2. Generalizzazione a categorie più ampie di sistemi non lineari
3. Controllo coordinato di sistemi multi-agente
4. Analisi di robustezza sotto perturbazioni stocastiche

Valutazione Approfondita

Punti di Forza

1. Forte Innovazione Teorica: Il metodo STT liscio proposto presenta chiara innovazione teorica, eliminando l'uso di funzioni di aggiraggio
2. Alto Valore Pratico: La riduzione significativa dei costi di controllo ha importanza critica per le applicazioni pratiche
3. Rigore Matematico: Fornisce analisi teorica completa e prove rigorose
4. Generalità del Metodo: Applicabile a sistemi affini nel controllo con dinamiche sconosciute

Insufficienze

1. Verifica Sperimentale Limitata: Fornisce solo un caso di navigazione robotica 2D, mancando di verifiche più diversificate
2. Ipotesi Piuttosto Forti: Le ipotesi di ostacoli statici e separazione temporale possono essere limitative nelle applicazioni pratiche
3. Analisi della Complessità Computazionale Insufficiente: Manca un'analisi dettagliata della complessità computazionale del metodo
4. Verifica di Robustezza Incompleta: Il trattamento di perturbazioni e incertezze richiede ulteriore verifica

Impatto

1. Contributo Accademico: Fornisce nuove idee e percorsi tecnici per lo sviluppo dei metodi STT
2. Prospettive di Applicazione: Buon potenziale applicativo nei settori della navigazione robotica e della guida autonoma
3. Estensibilità del Metodo: Fornisce una base teorica solida per ricerche successive

Scenari Applicabili

1. Pianificazione del Percorso Robotico: Particolarmente adatto alla navigazione robotica in ambienti statici noti
2. Controllo di Droni: Applicabile al controllo di volo con evitamento di ostacoli dei droni
3. Automazione Industriale: Adatto a sistemi di robot industriali che richiedono controllo temporale preciso
4. Guida Autonoma: Utilizzabile per il controllo di veicoli autonomi in ambienti strutturati

Riferimenti Bibliografici

L'articolo cita 18 riferimenti correlati, coprendo importanti lavori nei settori del controllo simbolico, metodi di funzioni barriera, controllo a imbuto, framework STT e altri, fornendo una base teorica solida e benchmark di confronto per questa ricerca.