Syed Atif Naseem, Riaz Uddin, Syed Wasif Naseem

Broschiertes Buch

Verifica formale dell'FDIR nelle Smart Grid

Beschreibung

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.

Autor

Syed Atif Naseem recebeu o seu B.E. em Engenharia Electrotécnica e Electrónica do Departamento de Engenharia Electrotécnica e Electrónica da Universidade de Engenharia e Tecnologia SIR SYED, Paquistão, em 2008, e concluiu o seu Mestrado em Engenharia Electrotécnica e Electrónica na Universidade de Economia de Izmir, Turquia.

Produktdetails

• Verlag: Edizioni Sapienza
• Seitenzahl: 136
• Erscheinungstermin: 12. März 2023
• Italienisch
• Abmessung: 220mm x 150mm x 9mm
• Gewicht: 221g
• ISBN-13: 9786205786680
• ISBN-10: 6205786680
• Artikelnr.: 67607913