Riepilogo Tecnico: Pianificazione a Lungo Termine della Rete Elettrica tramite Programmazione in Insiemi di Risposte

Definizione del Problema

Il documento affronta il problema della Pianificazione a Lungo Termine della Rete Elettrica (LPP), un compito critico per gli Operatori di Sistema di Distribuzione (DSO). Questo processo consiste nel definire una sequenza di interventi fisici (aggiunta di linee, rimozioni e operazioni di commutazione) per evolvere una configurazione attuale della rete elettrica verso una configurazione target desiderata su un orizzonte temporale esteso (tipicamente fino a 30 anni).

La sfida principale risiede nel garantire che ogni configurazione intermedia generata durante tale evoluzione rimanga operativamente valida. A differenza della pianificazione statica o della riconfigurazione a breve termine, la LPP deve soddisfare un complesso insieme di invarianti topologici e combinatori ad ogni passo della transizione. Questi vincoli includono:

• Radialità: La rete chiusa deve essere aciclica, con ogni sottostazione secondaria alimentata da esattamente una sottostazione primaria.
• Riconfigurabilità (Tolleranza ai Guasti): La rete deve permettere il ripristino della radialità tramite operazioni di commutazione in caso di guasto di qualsiasi nodo primario.
• Conformità del Grado: Le sottostazioni secondarie devono mantenere un numero specifico di connessioni (tipicamente 2 o 3).
• Irreversibilità e Fattibilità: Possono essere aggiunte solo le linee presenti nella rete target e possono essere rimosse solo le linee assenti dalla rete target. Queste operazioni sono irreversibili.

Le pratiche attuali si affidano pesantemente alla conoscenza esperta manuale e a aggiustamenti iterativi, il che limita la riproducibilità, la scalabilità e l'esplorazione sistematica di traiettorie di investimento alternative. I metodi esistenti, come la Programmazione Lineare Intera Mista (MILP), faticano con proprietà puramente combinatorie come la radialità, mentre i linguaggi di pianificazione standard trovano ingombrante l'espressione di invarianti grafici.

Metodologia

Gli autori propongono il primo approccio automatizzato per risolvere la LPP utilizzando la Programmazione in Insiemi di Risposte (ASP), un paradigma di programmazione logica dichiarativo particolarmente adatto a problemi combinatori ad alta intensità di conoscenza.

Formalizzazione

La rete elettrica è modellata come un grafo non diretto con archi etichettati $G(V, E, \lambda)$, dove i nodi rappresentano le stazioni primarie e secondarie e gli archi rappresentano le linee etichettate come "aperte" o "chiuse". Il problema è definito come il calcolo di una sequenza di insiemi di azioni $(A_0, \dots, A_n)$ che trasformano un grafo iniziale $G$ in un grafo target $G_T$, in modo tale che ogni stato intermedio $G_i$ soddisfi le regole del DSO.

Gli autori definiscono tre tipi di azioni:

1. Aggiunta di Archi: Aggiunta di un nuovo arco alla rete aperta.
2. Rimozione di Archi: Rimozione di un arco aperto esistente.
3. Commutazione di Archi: Scambio dello stato di due archi adiacenti alla stessa sottostazione secondaria (chiudendo una linea aperta e aprendo una chiusa).

Crucialmente, il framework supporta la pianificazione parallela, consentendo l'esecuzione simultanea di azioni non interferenti (quelle che interessano insiemi disgiunti di archi) all'interno di un singolo passo temporale.

Codifica ASP

La soluzione utilizza il solver CLINGO. La codifica modella l'evoluzione della rete su passi temporali discreti $t$. I componenti chiave includono:

• Rappresentazione dello Stato: I predicati tracciano lo stato degli archi (aperto/chiuso) ad ogni passo temporale.
• Generazione delle Azioni: Regole di scelta generano sequenze valide di aggiunte, rimozioni e commutazioni, vincolate dagli insiemi di archi costruibili e rimovibili.
• Applicazione dei Vincoli:
  • Radialità: Garantita assicurando che la rete chiusa sia una foresta radicata sui nodi primari (nessun ciclo tra primari, tutte le secondarie connesse a esattamente una primaria).
  • Riconfigurabilità: Garantita verificando che ogni nodo secondario abbia un percorso ridondante verso una diversa sottostazione primaria tramite la rete aperta.
  • Conformità del Grado: Gli aggregati contano il grado dei nodi secondari, imponendo i limiti $[2, 3]$.
• Ottimizzazione: Vincoli deboli sono utilizzati per minimizzare il numero totale di azioni e la lunghezza del piano (lessicograficamente).

L'approccio supporta sia le modalità di esecuzione sequenziale ($|A_i|=1$) che parallela ($|A_i| \ge 1$).

Contributi Chiave

1. Prima Automazione basata su ASP: Questo lavoro presenta il primo approccio per automatizzare la pianificazione a lungo termine della rete elettrica in grado di gestire tutti i vincoli topologici necessari della rete.
2. Modellazione Espressiva: Gli autori dimostrano che l'ASP può codificare elegantemente invarianti complessi della teoria dei grafi (radialità, riconfigurabilità) che sono difficili da esprimere nei linguaggi di pianificazione o nella MILP.
3. Framework di Esecuzione Parallela: La codifica supporta l'esecuzione parallela delle azioni, che gli autori dimostrano ridurre significativamente lo spazio di ricerca effettivo e la lunghezza del piano rispetto agli approcci sequenziali.
4. Validazione su Dati Reali: L'approccio è stato validato su istanze sintetiche e su dati reali derivati dalla rete di distribuzione francese, con una scala comparabile alle operazioni quotidiane degli esperti.

Risultati Sperimentali

Gli autori hanno condotto esperimenti utilizzando il solver CLINGO su una macchina Linux a 64 bit con un timeout di 30 minuti per istanza.

• Istanze Sintetiche: Lo studio ha valutato 175 istanze sintetiche che vanno da 8 a 50 nodi.

  • Parallelo vs Sequenziale: La pianificazione parallela ha risolto costantemente più istanze rispetto alla pianificazione sequenziale. La "compressione" della lunghezza della soluzione tramite azioni non interferenti ha portato a programmi logici più piccoli e tempi di risoluzione più rapidi.
  • Strategia di Ricerca: Per i piani paralleli, una strategia di ricerca esponenziale (espansione progressiva dell'orizzonte temporale) ha superato la ricerca limitata, risolvendo significativamente più istanze. Al contrario, per i piani sequenziali, la ricerca limitata è stata più efficace.
  • Scalabilità: L'approccio ha risolto con successo istanze fino a 50 nodi, con le più grandi istanze reali (circa 40 nodi) comparabili a quelle gestite dagli esperti umani.

• Istanze Reali: Utilizzando dati anonimizzati da una rete urbana francese (2 nodi primari, nodi secondari variabili), il sistema ha risolto istanze con fino a 42 nodi.

  • Tempo di Esecuzione: I tempi di esecuzione sono stati comparabili a quelli delle istanze sintetiche di dimensioni simili.
  • Ottimalità: Per diverse istanze risolte, il sistema ha dimostrato l'ottimalità dei piani paralleli.
  • Validazione: Le soluzioni sono state validate da uno strumento automatizzato e revisionate visivamente da esperti di dominio, che hanno confermato la coerenza con le regole di pianificazione DSO e la comparabilità topologica con le soluzioni generate dagli esperti.

Significato e Affermazioni

Il documento afferma che l'approccio basato su ASP proposto offre un'alternativa automatizzata e praticabile al processo attualmente manuale e guidato dagli esperti di pianificazione a lungo termine della rete elettrica. Risolvendo con successo istanze di dimensioni comparabili a quelle gestite dagli esperti umani, il metodo dimostra il potere espressivo dell'ASP per la modellazione di vincoli infrastrutturali complessi.

Gli autori sottolineano che la loro soluzione affronta il "collo di bottiglia principale" dell'identificazione di strategie di evoluzione fattibili in un vasto spazio combinatorio. Posizionano il lavoro come un passo fondamentale verso strumenti intelligenti di supporto alle decisioni in grado di integrare l'esperienza umana, migliorare la riproducibilità ed esplorare sistematicamente le traiettorie di investimento. Il documento rimane modesto riguardo al dispiegamento industriale immediato, notando che sono necessari lavori futuri per migliorare ulteriormente la scalabilità tramite euristiche specifiche del dominio e per adattarsi a requisiti aggiuntivi specifici dell'infrastruttura (ad esempio, limiti di bilancio, immutabilità dei componenti).