Structural Averaged Controllability for Linear Ensemble Systems: Multi-input Case

Sintesi Tecnica: Controllabilità Media Strutturale per Sistemi Ensemble Lineari: Caso Multi-Input

Formulazione del Problema
Questo articolo affronta il problema della controllabilità media strutturale per sistemi ensemble lineari con molteplici ingressi. Un sistema ensemble consiste in un continuo di sistemi lineari tempo-invarianti indicizzati da un parametro $\sigma \in \Sigma$, pilotati da un comune ingresso di controllo $u(t)$. La dinamica del sistema è data da:
$$\frac{\partial}{\partial t}x(t, \sigma) = A(\sigma)x(t, \sigma) + B(\sigma)u(t)$$
dove $A(\sigma)$ e $B(\sigma)$ sono funzioni misurabili limitate. L'obiettivo di controllo è la controllabilità media: la capacità di dirigere lo stato medio $\bar{\chi}(T) = \int_\Sigma x(T, \sigma) d\mu$ verso qualsiasi vettore target in $\mathbb{R}^n$ per ogni profilo iniziale.

Il focus specifico è sull'aspetto strutturale: dato uno schema di sparsità (rappresentato da un grafo diretto $G$) per le matrici $(A, B)$, esiste almeno una realizzazione di queste matrici coerente con lo schema che renda l'ensemble mediamente controllabile? Mentre il caso a singolo ingresso è stato pienamente caratterizzato nel lavoro precedente [CG25] utilizzando il concetto di un grafo "core" e di un percorso di copertura diretta, il caso generale multi-input rimaneva un problema aperto. Gli autori osservano che una estensione ingenua della condizione del singolo ingresso fallisce perché molteplici canali di ingresso interagiscono con la matrice di controllabilità media in modi complessi.

Metodologia e Framework Teoretico-Grafico
Gli autori utilizzano un approccio basato sulla teoria dei grafi, rappresentando lo schema di sparsità tramite un grafo diretto $G = (V, E)$ con $n$ nodi di stato ($\alpha$-nodi) e $m$ nodi di ingresso ($\beta$-nodi). L'analisi si basa sulla decomposizione in componenti fortemente connesse del grafo:

1. Componenti Fortemente Connesse: Il grafo è decomposto in componenti fortemente connesse.
2. Parti Cicliche e Acicliche: L'unione delle componenti forti non triviali (quelle che contengono cicli) e dei loro successori forma la parte ciclica $G^+_{cyc}$. I nodi rimanenti formano il core $G^*$, che è un sottografo aciclico contenente tutti i $\beta$-nodi.
3. Matrice di Controllabilità Media Troncata: Per il core $G^*$, gli autori definiscono una matrice di controllabilità media troncata $C_{tr}(A, B)$ che coinvolge integrali di $B, AB, \dots, A^{n^*-1}B$, dove $n^*$ è il numero di $\alpha$-nodi nel core.

Il contributo principale della metodologia è un algoritmo costruttivo per assegnare pesi agli archi (valori per le voci non nulle di $A$ e $B$) per soddisfare le condizioni di rango.

• Assegnazione del Core (Algoritmo 1): Gli autori sviluppano un nuovo algoritmo di assegnazione dei pesi degli archi per il core. A differenza del caso a singolo ingresso, che si basa su un semplice percorso di copertura, il caso multi-ingresso richiede l'assegnazione di pesi per garantire che la matrice di controllabilità troncata raggiunga il pieno rango di riga. Ciò comporta la partizione dello spazio dei parametri $\Sigma$ in insiemi misurabili disgiunti di uguale misura e l'assegnazione di specifiche funzioni di peso (spesso coinvolgendo una funzione radiale scalare $f$) agli archi.
• Estensione al Grafo Completo (Algoritmo 2): Una volta assegnato il core, i pesi vengono estesi alle parti cicliche ($G_{cyc}$) e all'appendice ($G_{appx}$). Questa estensione utilizza una funzione scalare $f(\sigma)$ derivata da una coordinata radiale sullo spazio dei parametri. Assegnando pesi proporzionali alle potenze di $f(\sigma)$ (specificamente $f(\sigma)^{k\gamma}$ per $\gamma$ irrazionale), gli autori garantiscono che i contributi di diversi cammini alla matrice di controllabilità media siano linearmente indipendenti. Ciò sfrutta la densità dei polinomi negli spazi $L^2$ per separare i contributi di cammini con diverse lunghezze e attraversamenti di cicli.

Contributi Chiave e Risultati
Il documento fornisce una condizione necessaria e sufficiente per la controllabilità media strutturale nel caso generale multi-ingresso.

Teorema 3.7: Un grafo $G \in \mathcal{G}_{n,m}$ è mediamente controllabile in modo strutturale se e solo se:

1. Accessibilità: Ogni $\alpha$-nodo è raggiungibile da almeno un $\beta$-nodo (ovvero, il grafo è accessibile).
2. Accoppiamento Saturante le Righe: Il grafo bipartito riga-colonna $B(S_{G^*})$ associato allo schema di sparsità della matrice di controllabilità media troncata del core $G^*$ ammette un accoppiamento saturante le righe.

• Definizione di Accoppiamento Saturante le Righe: In un grafo bipartito dove le righe corrispondono ai nodi di stato e le colonne corrispondono alle lunghezze dei cammini dagli ingressi, un accoppiamento è saturante le righe se ogni nodo riga è incidente a esattamente un arco nell'accoppiamento. Questa condizione generalizza la condizione di "percorso di copertura diretta" trovata nel caso a singolo ingresso (Corollario 3.8).
• Controesempio: Gli autori dimostrano tramite l'Esempio 3.9 che la condizione non è semplicemente l'esistenza di $m$ percorsi disgiunti che coprono tutti i nodi. Invece, la condizione di accoppiamento permette una combinazione più flessibile di percorsi da diversi ingressi per ottenere il pieno rango.

La dimostrazione è costruttiva. Gli autori costruiscono esplicitamente una coppia $(A, B)$ conforme allo schema di sparsità che soddisfa la condizione di rango.

• Teorema 3.1: Dimostra che per qualsiasi matrice target $M$ con lo schema di sparsità del core, esiste una realizzazione $(A, B)$ sul core tale che $C_{tr}(A, B) = M$.
• Proposizione 3.22: Dimostra che la coppia $(A, B)$ costruita per il grafo completo produce una matrice di controllabilità media di pieno rango di riga.

Significato e Rivendicazioni
Il lavoro afferma di risolvere il problema aperto della caratterizzazione della controllabilità media strutturale per sistemi ensemble lineari multi-ingresso. La significatività risiede in:

1. Completezza: Fornisce una completa caratterizzazione basata sulla teoria dei grafi, estendendo i risultati del singolo ingresso di [CG25] al contesto multi-ingresso.
2. Dimostrazione Costruttiva: Il risultato non è meramente esistenziale; il documento fornisce algoritmi specifici (Algoritmo 1 e Algoritmo 2) per assegnare i pesi degli archi per realizzare la proprietà di controllabilità.
3. Sottigliezza del Multi-Ingresso: Il lavoro evidenzia che il caso multi-ingresso è "sostanzialmente più delicato" rispetto al caso a singolo ingresso. La necessità di un accoppiamento saturante le righe, piuttosto che un semplice percorso di copertura, riflette l'interazione complessa di molteplici ingressi nella matrice di controllabilità media.
4. Approccio Algoritmico: L'uso di una funzione radiale sullo spazio dei parametri per separare i contributi dei cammini offre un metodo robusto per gestire la natura a dimensione infinita dei sistemi ensemble all'interno di un framework strutturale.

Gli autori concludono notando che, sebbene la loro costruzione garantisca una matrice a pieno rango di riga, potrebbe non essere minimale in termini di numero di colonne di blocco richieste. Suggeriscono che lavori futuri potrebbero esplorare le condizioni strutturali per il controllo di statistiche di ordine superiore (momenti) dell'ensemble.