Verifica formale dell'FDIR nelle Smart Grid [Italian]

By Riaz Uddin and Syed Atif Naseem

Per rilevare i guasti nella rete di distribuzione delle Smart Grid e isolare gli interruttori di carico difettosi entro un periodo limitato, l'algoritmo FDIR viene eseguito sul controllore DFA installato nella rete di comunicazione delle Smart Grid per controllare i dispositivi di potenza della rete di distribuzione. Per l'analisi della sua affidabilit?, ? necessaria una verifica formale per studiare la sua accuratezza, stabilit? ed efficienza quando si verifica un guasto sulla rete. Attraverso l'analisi probabilistica della rete di distribuzione basata su FDIR tramite lo strumento PRISM model checker, possiamo stimare la probabilit? di guasto della rete e intraprendere un'azione correttiva e di manutenzione in modo che il componente difettoso possa essere sostituito in anticipo per evitare il guasto completo del sistema.

• Format: Paperback
• Language: Italian
• ISBN: 6205786680
• ISBN13: 9786205786680
• Release Date: March 2023
• Publisher: Edizioni Sapienza
• Length: 136 Pages
• Weight: 0.46 lbs.
• Dimensions: 0.3" x 6.0" x 9.0"