Interval-Observer-Based Attack Detection and HOCBF-Safe Control for Markov-Jump Microgrids

Le moderne reti elettriche non sono più solo una collezione di cavi e generatori; sono sistemi cibernetico-fisici complessi in cui il flusso fisico dell'elettricità è inestricabilmente legato alle reti di comunicazione digitale. Questa integrazione permette una gestione più intelligente dell'energia, ma apre anche la porta a nuovi tipi di minacce. Quando una microrete — una versione localizzata della rete che può operare indipendentemente — passa tra diversi modi operativi, come il collegamento alla rete principale o il funzionamento autonomo con energia rinnovabile, il suo comportamento cambia rapidamente e in modo imprevedibile. Questi cambiamenti, combinati con il rumore costante dei sensori e la possibilità di attacchi cyber malevoli che iniettano dati falsi, rendono incredibilmente difficile sapere esattamente cosa stia accadendo all'interno del sistema in un dato momento. Se il sistema non è in grado di tracciare accuratamente il proprio stato, non può garantire che variabili critiche, come la frequenza elettrica, rimangano entro limiti sicuri, il che potrebbe portare a blackout o danni alle apparecchiature.

In uno studio recente, i ricercatori dell'Università Tecnologica Amirkabir hanno affrontato questa sfida sviluppando un nuovo framework progettato per mantenere sicure le microreti incerte e potenzialmente sotto attacco. Il nucleo del loro lavoro prevede due idee principali che lavorano in tandem: un modo per stimare lo stato del sistema con confini garantiti, e un filtro di sicurezza che agisce come un guardiano finale per impedire al sistema di entrare in territorio pericoloso. Invece di cercare di individuare con precisione lo stato esatto e fluttuante della rete, il che è spesso impossibile a causa dei cambiamenti nascosti e del rumore, i ricercatori hanno costruito un "osservatore a intervalli". Pensate a questo non come a una singola ipotesi, ma come a una scatola che si restringe ed espande e che è matematicamente garantita per contenere il vero stato del sistema, indipendentemente da come la rete cambi modalità o da quanto il rumore interferisca. Se un cyber-attaccante tenta di iniettare dati falsi, questa scatola finirà per non contenere più le misurazioni, attivando un allarme immediato.

I ricercatori hanno testato il loro approccio su una simulazione digitale di una microrete che passa tra tre diversi regimi operativi: operazione standard connessa alla rete, un modo con un'elevata penetrazione di energia rinnovabile e un modo isolato con carico pesante. Hanno programmato il sistema per passare tra questi stati casualmente, ma con una regola secondo cui deve rimanere in un modo per almeno tre step prima di cambiare nuovamente, imitando i vincoli operativi del mondo reale. Hanno anche introdotto un attacco cyber specifico in cui dati falsi venivano iniettati nel loop di controllo del sistema per un periodo di cinquanta step temporali. I risultati hanno mostrato che il loro osservatore a intervalli è riuscito a mantenere il vero stato della rete intrappolato all'interno dei suoi limiti superiori e inferiori calcolati durante l'intera simulazione, anche mentre il sistema cambiava modalità e l'attacco iniziava.

Fondamentalmente, il sistema ha rilevato l'attacco nel momento stesso in cui il dato falso ha spinto le misurazioni al di fuori della scatola sicura e prevista. In questa specifica simulazione, l'allarme è scattato istantaneamente con zero ritardo, e non sono stati generati falsi allarmi durante i centinaia di step di normale operazione. Questo rilevamento deterministico è un significativo distacco dai metodi più vecchi che si affidano alla probabilità, che possono talvolta mancare attacchi sottili o generare falsi allarmi a causa del rumore casuale. Una volta rilevato l'attacco, la seconda parte del loro framework, un filtro di sicurezza basato su funzioni di barriera di controllo di ordine superiore, ha preso il controllo. Questo filtro agisce come un freno intelligente, regolando gli input di controllo quanto basta per garantire che la frequenza elettrica non superasse mai il limite sicuro di 0,08 per unità, anche mentre l'attacco era attivo. Il sistema è riuscito a mantenere la deviazione di frequenza a un picco di soli 0,0621, lasciando un margine di sicurezza confortevole.

Lo studio dimostra che è possibile progettare sistemi di controllo per reti elettriche complesse e con commutazioni che non abbiano bisogno di conoscere l'esatto modo di operazione corrente per rimanere sicuri e protetti. Utilizzando un osservatore fisso, indipendente dal modo, per creare un involucro di incertezza garantito, i ricercatori hanno dimostrato che è possibile rilevare intrusioni malevole con certezza e imporre regole di sicurezza rigorose senza dover risolvere complessi problemi di identificazione in tempo reale. Sebbene questi risultati siano stati ottenuti attraverso simulazioni al computer ad alta fedeltà piuttosto che test su hardware fisico, le prove matematiche fornite nel documento confermano che il sistema rimane stabile e sicuro nelle specifiche condizioni modellate. Il lavoro offre una strada promettente per mettere in sicurezza la prossima generazione di reti elettriche resilienti e ricche di rinnovabili contro le doppie sfide della commutazione imprevedibile e delle sofisticate minacce cyber.