Practical Universal Tracking With Pivoted Unidirectional Actuation

1. Il Problema

Il documento affronta il problema del controllo di inseguimento (tracking) per veicoli robotici dotati di attuatori unidirezionali montati su cardano o perno (pivoted unidirectional actuators).

• Contesto: Molti veicoli (droni multirotore, razzi, hovercraft, veicoli terrestri vincolati al moto in avanti, veicoli marini) utilizzano spinte che possono solo spingere in una direzione specifica rispetto all'orientamento dell'attuatore, il quale può ruotare.
• La Sfida: I metodi di controllo tradizionali spesso trattano questi attuatori come input non vincolati (bidirezionali) o evitano le singolarità imponendo limiti conservativi non legati all'hardware. Tuttavia, quando l'attuatore deve generare una forza nulla o invertire la direzione senza ruotare il veicolo, si verifica una singolarità (es. il "free-fall singularity" nei droni, dove la spinta richiesta è zero o negativa rispetto alla gravità).
• Limiti degli approcci esistenti: I controllori basati su backstepping falliscono in presenza di questa singolarità perché la direzione desiderata dell'attuatore diventa discontinua quando il comando di controllo passa per zero. Limitare artificialmente l'accelerazione per evitare la singolarità compromette le prestazioni e la robustezza.

2. Metodologia

Gli autori propongono una riprogettazione del controllo basata su un'architettura inner-loop/outer-loop (anello interno/esterno) che garantisce un inseguimento "pratico" (Practical Universal Tracking - PUT) invece che esatto.

A. Formulazione del Problema e Impossibilità dell'Inseguimento Esatto

• Il sistema è modellato con un sottosistema esterno (posizione/velocità) e un sottosistema interno (orientamento del perno e velocità angolare).
• Viene dimostrato tramite il Teorema 1 che non esiste un controllore di inseguimento universale esatto (EUT) per questo tipo di sistemi. Esistono traiettorie esterne lisce che il sistema non può seguire esattamente a causa del vincolo di unidirezionalità (l'attuatore non può generare una forza negativa senza ruotare di 180 gradi, il che richiede tempo).

B. Strategia di Controllo: Inseguimento Pratico (PUT)

Invece di forzare l'attuatore a seguire esattamente il comando $a^*(t)$, il controllore guida l'output dell'attuatore $a(t) = \lambda(t)u_1(t)$ all'interno di una palla (ball) dinamica $A(t)$ centrata sul comando desiderato con un raggio $r$ definito dall'utente.

• Approccio basato su insiemi: Quando il comando desiderato è vicino allo zero, l'orientamento esatto $\lambda^*$ non è definito. Invece di definire un orientamento target unico, il controllore accetta qualsiasi orientamento che mantenga la forza risultante all'interno della palla $A(t)$.
• Coordinata MRP 1D: Per gestire l'obstruzione topologica su $S^1$ (il problema di decidere in quale direzione ruotare quando l'errore è di 180 gradi), viene introdotta una coordinata basata su Modified Rodrigues Parameters (MRP) unidimensionali. Queste coordinate forniscono una doppia copertura di $S^1$, permettendo di definire una legge di controllo liscia e evitando il fenomeno dell'"unwinding" (rotazioni inutili di 360 gradi).
• Funzioni di Lyapunov: Viene progettata una funzione di Lyapunov $V_a$ che garantisce la convergenza globale dell'errore di attuazione verso la palla $A(t)$.
• Backstepping: La legge di controllo per l'accelerazione angolare ($u_2$) è sintetizzata utilizzando il backstepping, con termini di feedforward che si spengono lisciamente quando l'ampiezza del comando tende a zero, evitando così la singolarità.

3. Contributi Chiave

1. Dimostrazione di non-esistenza: I primi autori provano matematicamente che nessun controllore può garantire un inseguimento esatto (EUT) per veicoli con attuatori unidirezionali pivotati su traiettorie lisce arbitrarie.
2. Sintesi del Controllore PUT: Progettazione di un controllore che garantisce l'inseguimento "pratico". L'errore di tracciamento è limitato superiormente da un valore $R$ (dipendente dal raggio $r$ della palla e dalle proprietà del sistema), che può essere reso arbitrariamente piccolo aumentando l'efficienza del controllo o riducendo $r$.
3. Gestione della Singolarità: Il metodo risolve il problema della singolarità del "free-fall" (o passaggio per zero) senza imporre limiti conservativi sull'accelerazione, permettendo al veicolo di eseguire manovre aggressive (come capovolgimenti) necessarie per seguire profili di riferimento complessi.

4. Risultati e Simulazioni

• Teoremi di Stabilità:
  • Teorema 2: Dimostra che l'output dell'attuatore converge globalmente alla palla target $A(t)$.
  • Teorema 3 e 4: Dimostrano che l'errore del sistema esterno è asintoticamente stabile in un intorno dell'origine e che l'errore finale è limitatamente superiore (Ultimate Boundedness) da un valore $R = \gamma(\bar{g}r)$.
• Simulazione: Un esempio numerico su un drone multirotore planare che deve seguire un percorso a forma di quadrato con profili di accelerazione aggressivi.
  • Il drone deve capovolgersi (invertire la spinta) per compensare le accelerazioni richieste superiori alla gravità.
  • I controllori tradizionali falliscono (divisione per zero o singolarità) al primo lato del quadrato.
  • Il controllore proposto riesce a seguire la traiettoria con un errore di tracciamento molto piccolo, dimostrando la capacità di gestire la singolarità in modo fluido.

5. Significato e Implicazioni

Questo lavoro è significativo perché:

• Colma il divario teoria-pratica: Offre una soluzione rigorosa per una classe di sistemi robotici molto comune (droni, veicoli spaziali, ecc.) che era stata finora gestita con approssimazioni o limitazioni di sicurezza eccessive.
• Robustezza: Permette di analizzare la stabilità in senso Input-to-State (ISS) anche in presenza di disturbi che potrebbero spingere il veicolo attraverso la singolarità, cosa che i metodi precedenti non potevano garantire.
• Versatilità: La metodologia è applicabile a una vasta gamma di veicoli, inclusi UAV multirotore, razzi, hovercraft e veicoli terrestri vincolati.
• Futuro: Apre la strada a ricerche su vincoli superiori (limiti di spinta massima) e su estensioni a sistemi gimbalati in 3D, con l'obiettivo di ottenere stabilità pratica integrale (SiISpS).

In sintesi, il paper sostituisce l'obiettivo irraggiungibile dell'inseguimento esatto con uno pratico e garantito, permettendo ai veicoli robotici di eseguire manovre complesse e aggressive senza fallimenti critici dovuti alle limitazioni fisiche degli attuatori unidirezionali.