Sintesi Tecnica: Tracciamento attraverso Singolarità di Disaccoppiamento tramite Continuazione dell'Omotopia

1. Definizione del Problema

La linearizzazione del feedback input-output è una tecnica standard per il controllo del tracciamento in sistemi non lineari con un grado relativo ben definito. Tuttavia, questo metodo fallisce in presenza di singolarità di disaccoppiamento, definite come il luogo dove la matrice di disaccoppiamento $\Lambda(x)$ perde rango (ovvero, $\det \Lambda(x) = 0$). In questi punti, il grado relativo viene perso, la legge di controllo di linearizzazione $u = \Lambda^{-1}(v - a)$ diventa illimitata e il tracciamento della traiettoria è tipicamente impossibile senza ricorrere a strategie di commutazione o approssimazioni.

Gli approcci esistenti, come i minimi quadrati smorzati (DLS), scambiano l'accuratezza del tracciamento con la limitatezza del comando nelle vicinanze delle singolarità, ma introducono errori nelle regioni regolari e mancano di un criterio rigoroso per stabilire se una specifica singolarità possa essere attraversata. Altri metodi si basano su traiettorie pre-pianificate o condizioni di reciprocità dinamica per specifici sistemi meccanici (ad esempio, meccanismi paralleli di Tipo-2), ma non offrono un framework unificato e generale per arbitrarie sistemi control-affine quadrati.

Questo articolo affronta il problema del tracciamento di una traiettoria di riferimento attraverso singolarità di disaccoppiamento isolate con sforzo di controllo limitato, senza richiedere l'analisi dei casi o la commutazione tra diverse leggi di controllo.

2. Metodologia

Il metodo proposto riformula il problema del tracciamento della traiettoria come una continuazione dell'omotopia ad arco di lunghezza in tempo reale. Invece di invertire direttamente la matrice di disaccoppiamento $\Lambda(x)$, il controllore inserisce il problema di tracciamento in una famiglia di equazioni parametrizzate da un unico parametro e risolve simultaneamente per la velocità dello stato e per un parametro di omotopia.

Meccanismo Centrale

1. Jacobiano Aumentato: Il metodo sostituisce la matrice di disaccoppiamento singolare $\Lambda(x)$ con una matrice aumentata $A = [\Lambda(x) \mid b]$, dove $b$ è un vettore di direzione dell'omotopia definito come $b(t) = h(x_0) - y^*(t)$ (la differenza tra lo stato ancora e il riferimento).
2. Soluzione a Norma Minima: L'ingresso di controllo $u$ e il tasso di variazione del parametro di omotopia $\dot{\mu}$ sono calcolati come la soluzione a norma minima (Moore–Penrose) del sistema lineare:
   $$A \begin{bmatrix} u \\ \dot{\mu} \end{bmatrix} = -B$$
   dove $B$ rappresenta i termini di deriva e di errore di tracciamento del riferimento.
3. Condizione di Trasparenza (Transversality): Il metodo si basa su una condizione di trasparenza: $w^T b \neq 0$, dove $w$ è un vettore nello spazio nullo sinistro di $\Lambda(x)$. Questa condizione assicura che la direzione dell'omotopia $b$ abbia una componente non nulla lungo il modo incontrollabile, permettendo alla matrice aumentata $A$ di mantenere pieno rango anche quando $\Lambda(x)$ scende di un grado di rango.
4. Orientamento e Comportamento: Il controllore include un guadagno scalare $k$ e un errore di blocco $e = t - \mu$. Il comportamento in una singolarità (specificamente un ripiego di Whitney o Whitney fold) è determinato dall'orientamento del vettore del kernel $\hat{n}$ di $A$:
   • Riflessione ($\rho \geq 0$): Il controllore mantiene l'omotopia monotona. In un ripiego, lo stato "scivola" lungo l'insieme singolare e si riflette verso il ramo entrante. Questo è il comportamento predefinito e stabile.
   • Attraversamento (Continuità): Il controllore mantiene la direzione tangente continua della curva di soluzione. Ciò consente allo stato di attraversare la singolarità verso il ramo opposto, sebbene ciò possa comportare transitori più ampi e una temporanea perdita del blocco del parametro.

Estensioni

• Sistemi Dinamici: Per sistemi control-affine dinamici, il metodo si applica direttamente alla matrice di disaccoppiamento $\Lambda(x) = Dh(x)g(x)$. La limitatezza del sistema completo è garantita se il sistema è a fase minima (le dinamiche dello zero interne sono stabili).
• Arbitrario Grado Relativo: Per sistemi con grado relativo $r > 1$, il metodo utilizza una riduzione dell'erroo filtrato. Viene definito un errore di tracciamento filtrato $\sigma$ tale che il sistema appaia avere grado relativo uno, permettendo l'applicazione della stessa strategia di aumento.

3. Contributi Principali

L'articolo presenta cinque contributi teorici e pratici primari:

1. Lemma sulla Struttura del Kernel: Una caratterizzazione rigorosa di quando l'aumento ripara una perdita di rango. Dimostra che se la condizione di trasparenza è soddisfatta, la matrice aumentata $A$ rimane a pieno rango, ma l'"autorità di feedback" (la componente del vettore del kernel corrispondente al parametro di omotopia) collassa esattamente alla singolarità.
2. Teorema dell'Attraversamento Limitato: Una prova che, sotto la condizione di trasparenza, il controllore produce input di controllo limitati, l'errore di tracciamento rimane limitato durante l'attraversamento (con un escursione transitoria proporzionale al tempo trascorso vicino alla singolarità) e il sistema si ri-blocca al riferimento esponenzialmente dopo l'attraversamento.
3. Dicotomia Riflessione vs Attraversamento: Una risoluzione del comportamento nei ripieghi generici. L'articolo dimostra che la scelta dell'orientamento del kernel determina se il sistema riflette (scivola e ritorna) o attraversa (passa all'altro ramo). Il caso di riflessione è mostrato essere un modo di scivolamento di Filippov, mentre l'attraversamento corrisponde al traversamento della monodromia $Z/2$ del rivestimento del ripiego (fold cover).
4. Generalizzazione a Gradi Relativi Superiori: L'estensione del metodo ad arbitrari gradi relativi tramite riduzione dell'erro filtrato, provando che le proprietà di limitatezza e ri-blocco valgono anche per questi sistemi.
5. Consistenza con la Linearizzazione del Feedback: Una prova che, lontano dalle singolarità, il controllore è identico alla precisa linearizzazione del feedback input-output fino a un termine di ordine $O(1/k)$, garantendo che non vi sia una penalità di accuratezza nelle regioni regolari.

4. Risultati di Simulazione e Validazione

La teoria è validata attraverso simulazioni numeriche su quattro sistemi distinti:

• Sistema Cubico Scalare: Un sistema semplice a 1 DOF con una mappa di output cubica. Il controllore traccia con successo un riferimento che attraversa due singolarità di disaccoppiamento, mantenendo un controllo limitato dove l'inversa ingenua diverge di ordini di grandezza ($10^4$).
• Braccio Robotico Planare a 2 DOF: Il controllore traccia una traiettoria circolare che forza il braccio alla massima estensione (una singolarità cinematica).
  • Con l'orientamento di riflessione, il braccio raggiunge la singolarità, scivola lungo il confine e ritorna, con velocità articolari che rimangono limitate ($<3$ rad/s) rispetto alla richiesta di velocità risolta ingenua ($\sim 10^7$ rad/s).
  • Con l'orientamento di attraversamento, il braccio riesce a invertire la configurazione del gomito ($q_2$ da positivo a negativo), dimostrando la capacità di cambiare modalità di lavoro, sebbene con transitori più ampi.
• Piante Dinamiche a Grado Relativo Uno e Due: Le simulazioni su sistemi dinamici confermano che il metodo gestisce le singolarità di controllo mantenendo limitati gli stati interni (grazie all'assunzione di fase minima). Il controllore attraversa le singolarità con sforzo limitato, mentre la linearizzazione del feedback diverge.
• Convertitore Resonante Serie Dual-Active-Bridge (DAB): Un'applicazione all'elettronica di potenza dove la caratteristica a regime stazionario è trattata come la mappa di output. Il controllore gestisce due singolarità distinte:
  • Ripiego Buck/Boost: Un attraversamento trasversale dove il parametro di modulazione passa attraverso una transizione di modalità.
  • Singolarità di Risonanza: Una riflessione alla frequenza di risonanza dove il guadagno di potenza è massimizzato. Il controllore riflette naturalmente al picco di risonanza, preservando lo Zero-Voltage Switching (ZVS) ed evitando i comandi di frequenza illimitati richiesti dall'inversione ingenua.

5. Significato e Rivendicazioni

L'articolo sostiene di fornire un estensione della linearizzazione del feedback robusta alle singolarità. Il suo significato risiede in:

• Framework Unificato: Offre una singola formula che funziona sia per il tracciamento regolare che per il tracciamento attraverso le singolarità, eliminando la necessità di logiche di commutazione o analisi caso per caso.
• Limitatezza senza Perdita di Accuratezza: A differenza dei minimi quadrati smorzati, che scambiano l'accuratezza con la limitatezza, questo metodo è esatto (fino a $O(1/k)$) nelle regioni regolari e introduce solo transitori limitati alla singolarità.
• Intuizione Geometrica: Chiarisce le condizioni geometriche (trasparenza) necessarie per attraversare una singolarità e caratterizza esplicitamente il compromesso tra il mantenimento del blocco del parametro e il cambiamento dei rami di soluzione.
• Applicabilità Pratica: Il metodo è dimostrato su diversi sistemi, dai semplici modelli cinematici ai complessi convertitori di potenza, mostrando che può gestire scenari sia di "attraversamento" che di "riflessione" a seconda della scelta dell'orientamento.

Gli autori notano con modestia che il metodo non amplia la classe di sistemi regolabili in termini di proprietà strutturali (richiede comunque un grado relativo ben definito e dinamiche dello zero a fase minima). Invece, amplia l'inviluppo operativo ammissibile di un dato sistema, permettendogli di attraversare traiettorie che altrimenti causerebbero la divergenza del controllo. L'articolo conclude che, sebbene non possa fabbricare la controllabilità dove essa non esiste, fornisce un modo di fallimento aggraziato e limitato per le singolarità rimovibili.