Passivity-based Semi-autonomous Rotational Motion Navigation for Rigid-body Networks: Stability and Human Passivity Analysis

Sintesi Tecnica: Navigazione Semi-autonoma del Moto Rotazionale Basata sulla Passività per Reti di Corpi Rigidi

Enunciato del Problema
Mentre il controllo cooperativo dei sistemi multi-robot è maturato per ambienti statici, garantire la stabilità in scenari dinamici e non strutturati richiede spesso l'intervento umano. Una sfida significativa rimane nella progettazione di sistemi "human-in-the-loop" per il moto completo di corpi rigidi tridimensionali (in particolare il controllo dell'assetto sul gruppo ortogonale speciale $SO(3)$). Gli approcci esistenti spesso faticano a gestire i conflitti tra controllo manuale e autonomo, compromettendo potenzialmente la stabilità dell'anello chiuso. Inoltre, sebbene i metodi basati sulla passività siano ampiamente utilizzati per garantire la stabilità, validare l'assunzione secondo cui gli operatori umani si comportano come sistemi passivi non è banale, specialmente per la cinematica rotazionale 3D. La maggior parte dei framework esistenti è limitata al moto traslazionale o alla cinematica dell'assetto 2D.

Metodologia
Il documento propone un nuovo framework di controllo dell'assetto semi-autonomo basato sulla passività per una rete di $n$ corpi rigidi che interagiscono con un operatore umano. La metodologia è strutturata come segue:

1. Modellazione del Sistema: Il sistema modella $n$ corpi rigidi con orientazioni $R_i \in SO(3)$. Il comportamento collettivo è caratterizzato da un vettore medio $\bar{d}$ (derivato da vettori fissi al corpo) e da una matrice di rotazione "quasi-media" $\bar{R}$. L'ingresso di controllo per ciascun corpo è decomposto in una componente autonoma ($\omega_{ai}$) e una componente mediata dall'uomo ($\omega_{hi}$).
2. Architettura di Controllo Invisibile: Per impedire che il controllo autonomo interferisca con la percezione dell'operatore umano dello stato collettivo, gli autori impiegano un "controllo invisibile". Il segnale di controllo autonomo è proiettato nello spazio nullo della dinamica dello stato medio. Ciò garantisce che il vettore medio $\bar{d}$ evolva esclusivamente in base al comando umano, rendendo le manovre autonome "invisibili" all'operatore per quanto riguarda lo stato medio.
3. Capo Virtuale e Sincronizzazione: Viene introdotto un capo virtuale con assetto $R_l$ per mediare l'intervento umano. L'operatore umano comanda una velocità spaziale $\omega^s_h$ per sincronizzare l'orientamento di un capo virtuale con un riferimento $d_r$. La rete robotica reale è accoppiata a questo capo virtuale tramite una legge di sincronizzazione dell'assetto basata sulla passività.
4. Analisi di Stabilità: Gli autori dimostrano rigorosamente la stabilità dell'anello chiuso sotto l'assunzione che l'operatore umano sia un sistema passivo. Definiscono una funzione di energia che combina l'energia potenziale delle rotazioni relative e l'energia dell'operatore umano. Utilizzando il principio di invarianza di LaSalle e il teorema di Nagumo, dimostrano che le traiettorie del sistema convergono al vettore di riferimento desiderato $d_r$, a condizione che le matrici di rotazione relative iniziali soddisfino specifiche condizioni di semi-definitezza positiva.
5. Modellazione e Validazione Umana: A supporto dell'analisi teorica, gli autori hanno condotto simulazioni human-in-the-loop utilizzando un'interfaccia di Realtà Virtuale (VR) (Meta Quest 3S). Hanno identificato un modello di funzione di trasferimento a tempo continuo dell'operatore umano basato su dati sperimentali in cui i soggetti allineavano un vettore virtuale a un riferimento. Infine, hanno analizzato la passività di questi modelli identificati utilizzando indici di passività nel dominio della frequenza.

Contributi Chiave
Il documento delinea tre contributi principali:

1. Nuovo Framework: Proposta di un framework di controllo dell'assetto semi-autonomo basato sulla passività specificamente per sistemi di corpi rigidi human-in-the-loop su $SO(3)$.
2. Dimostrazione Rigorosa di Stabilità: Stabilimento della stabilità dell'anello chiuso per l'architettura proposta sotto l'assunzione di passività umana, estendendo lavori precedenti limitati alla cinematica traslazionale o 2D.
3. Indagine Empirica: La prima indagine sulla passività umana nel contesto del controllo dell'assetto attraverso simulazioni human-in-the-loop, che coinvolge l'identificazione delle dinamiche umane e l'esame delle proprietà di passività.

Risultati

• Teorici: La dimostrazione di stabilità conferma che se l'operatore umano è passivo e le condizioni iniziali sono soddisfatte, il vettore medio $\bar{d}$ converge al riferimento $d_r$ ($\lim_{t\to\infty} \|\bar{d} - d_r\| = 0$).
• Simulazione e Identificazione: È stato identificato con successo un modello di operatore umano dai dati di simulazione (utilizzando 12 prove per un totale di 180 secondi). Il modello, una matrice di funzione di trasferimento 2x2, ha catturato il comportamento dominante ingresso-uscita con rapporti di adattamento che variavano da ~51% a ~77% a seconda del guadagno di accoppiamento $k_s$.
• Analisi di Passività: L'analisi dei modelli identificati ha rivelato che la passività umana è sensibile ai parametri del sistema. Nello specifico, per un guadagno di accoppiamento $k_s = 3.0$, il modello identificato ha soddisfatto la condizione di passività ($\nu(\omega) \ge 0$) su tutto lo spettro di frequenza. Tuttavia, per $k_s = 2.5$, la condizione di passività è stata violata a frequenze superiori a circa 2 rad/s.

Significato e Affermazioni
Il documento afferma di colmare una lacuna critica nella letteratura istituendo un framework di stabilità per il moto completo di corpi rigidi 3D sotto intervento umano. Gli autori sottolineano che, sebbene il loro framework teorico si basi sull'assunzione di passività umana, i loro risultati sperimentali evidenziano che tale assunzione non è universalmente garantita; dipende fortemente dalla sintonizzazione dei parametri (in particolare il guadagno di accoppiamento $k_s$). Di conseguenza, il documento conclude con modestia che, sebbene il framework proposto sia stabile sotto assunzioni passive ideali, il lavoro futuro dovrà estendere il progetto per accogliere operatori umani "a passività ridotta" (passivity-short) per garantire la robustezza nelle applicazioni pratiche. Il lavoro è presentato come un passo preliminare verso la risoluzione della sfida più ampia del controllo del moto di corpi rigidi 3D in reti semi-autonome.