Detection-Control Games under Hidden Modes: Resilience-Induced Blindness Phenomenon

Sintesi Tecnica: Giochi di Rilevamento–Controllo sotto Modi Nascosti

Formulazione del Problema
Questo articolo affronta la sfida del controllo resiliente per i sistemi cyber-fisici (CPS) che operano sotto modi operativi nascosti, i quali possono rappresentare condizioni nominali, stati degradati, guasti o attacchi. Il problema centrale mette in discussione il tradizionale "principio di separazione" nella progettazione del controllo, secondo cui un rilevatore viene ottimizzato per l'accuratezza dell'inferenza e un controllore viene ottimizzato per le prestazioni di regolazione in modo indipendente. Gli autori sostengono che nei sistemi a modo nascosto, il rilevatore e il controllore sono intrinsecamente accoppiati: il controllore modella la struttura statistica delle misurazioni utilizzate per il rilevamento, mentre l'aggiornamento della credenza del rilevatore detta i guadagni di feedback del controllore. Questo accoppiamento crea un gioco non cooperativo tra due decisori con obiettivi divergenti: il rilevatore cerca aggiornamenti di credenza informativi, mentre il controllore cerca di minimizzare i costi di regolazione.

Metodologia
Gli autori formulano l'interazione tra il rilevatore e il controllore come un gioco dinamico non cooperativo.

• Modello di Sistema: Lo studio si concentra su un sistema lineare gaussiano a due modi in cui il modo $\theta_k \in \{0, 1\}$ è non osservato. La dinamica del sistema e le funzioni di misura dipendono dal modo.
• Progettazione del Rilevatore: Il rilevatore mantiene una credenza a posteriori $\pi_k$ sui modi. Utilizza una regola di aggiornamento "bayesiana temperata", dove un parametro $\beta$ controlla la sensibilità alle nuove evidenze di misurazione. Il rilevatore minimizza una funzione di costo che bilancia la stabilità della credenza (penalizzando i cambiamenti bruschi) e l'adattamento della verosimiglianza.
• Progettazione del Controllore: Il controllore impiega un Regolatore Lineare Quadratico (LQR) dipendente dalla credenza. Calcola un input di controllo $u_k$ basato su una stima dello stato e sulla credenza corrente $\pi_k$, trattando efficacemente il sistema come una combinazione convessa dei due modi.
• Analisi Teoria dei Giochi: L'interazione è analizzata tramite il concetto di equilibrio di Nash. Gli autori dimostrano che, sebbene il rilevatore e il controllore possano essere individualmente ottimali data la politica dell'altro, l'equilibrio congiunto può essere globalmente inefficiente.
• Caratterizzazione Teorica: Per il caso lineare gaussiano, gli autori derivano un limite quantitativo che lega il "margine di resilienza" del controllore (una misura di quanto bene il controllore sopprime le deviazioni dello stato) all'evidenza del log-likelihood generata dal sistema.

Contributi Chiave

1. Formulazione Teoria dei Giochi: L'articolo stabilisce il rilevamento e il controllo come problemi decisionali accoppiati, chiarendo perché le progettazioni separate possono portare a risultati localmente razionali ma globalmente inefficienti (equilibrio di Nash) a causa del disallineamento degli obiettivi.
2. Fenomeno della Cecità Indotta dalla Resilienza: Il principale contributo teorico è la caratterizzazione di un fenomeno in cui un controllore con un ampio margine di resilienza (altamente efficace nel sopprimere le deviazioni dello stato in un modo fisso) sopprime involontariamente la variabilità del modo-dipendente nelle misurazioni. Questa soppressione riduce la separazione statistica tra i modi, rallentando l'accumulo di evidenza del log-likelihood e causando un adattamento lento della credenza del rilevatore.
3. Limite Quantitativo: Gli autori derivano un limite specifico (Teorema 1) mostrando che un maggiore margine di resilienza $m_\theta$ porta a fattori di contrazione più piccoli nelle traiettorie dello stato. Ciò riduce la differenza di innovazione tra i modi, restringendo di conseguenza il limite superiore della velocità di aggiornamento del rapporto di log-verosimiglianza.
4. Strategia di Mitigazione: L'articolo propone di sintonizzare l'obiettivo del rilevatore (specificamente aumentando il parametro di sensibilità $\beta$) per contrastare parzialmente l'effetto di cecità, permettendo alla credenza di adattarsi più rapidamente nonostante la soppressione delle informazioni da parte del controllore.

Risultati
Le simulazioni numeriche su un sistema lineare gaussiano a due modi con dinamica instabile illustrano il fenomeno:

• Inversione delle Prestazioni: In uno scenario a modo fisso, aumentare la penalità di controllo (riducendo l'aggressività del controllore) degrada le prestazioni di regolazione come previsto. Tuttavia, in presenza di commutazione di modo, la tendione si inverte: i controllori con penalità minori (più aggressivi, con margini di resilienza più elevati) risultano in costi di stato totali più alti. Ciò accade perché i controllori aggressivi sopprimono proprio l'informazione necessaria per rilevare il cambio di modo, portando a un prolungato disallineamento della credenza e a guadagni di controllo subottimali.
• Mitigazione: Aumentare il parametro di sensibilità del rilevatore $\beta$ (ad esempio da 1 a 6) accelera l'adattamento della credenza. Ciò riduce la durata del disallineamento dei guadagni e ripristina parzialmente la tendenza attesa delle prestazioni, sebbene non elimini completamente il fenomeno poiché il controllore continua a plasmare l'informazione disponibile.

Significatività e Rivendicazioni
L'articolo sostiene che il fenomeno della "cecità indotta dalla resilienza" è un effetto intrinseco a ciclo chiuso che sorge quando il rilevamento e il controllo sono progettati indipendentemente. Evidenzia come un controllore ottimizzato per una regolazione robusta in un modo fisso possa degradare la capacità complessiva del sistema di rilevare e rispondere ai cambiamenti di modo nascosti. Gli autori concludono che il raggiungimento di prestazioni resilienti ottimali richiede un approccio di co-progettazione che allinei le prestazioni di regolazione con la necessità di misurazioni informative e un rapido adattamento della credenza, piuttosto che affidarsi al principio di separazione. Il lavoro fornisce una base teorica per comprendere perché controllori ad alte prestazioni possano paradossalmente portare a un rilevamento scarso e a prestazioni degradate in presenza di commutazione di modo.