Verificación formal de FDIR en redes inteligentes

Para detectar fallos en la red de distribución de Smart Grid y aislar los interruptores de carga defectuosos dentro de un periodo limitado, el algoritmo FDIR se ejecuta en un controlador DFA instalado en la red de comunicaciones de Smart Grid para controlar los dispositivos de potencia de la red de distribución. Para su análisis de fiabilidad, es necesaria una verificación formal con el fin de investigar su precisión, estabilidad y eficiencia cuando se produce un fallo en la red. Mediante el análisis probabilístico de la red de distribución basada en FDIR a través de la herramienta de comprobación de modelos PRISM, podemos estimar la probabilidad de fallo de la red y adoptar medidas correctivas y de mantenimiento, de modo que los componentes defectuosos puedan sustituirse con antelación para evitar el fallo completo del sistema.

About the author

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.

Product details

• Authors: Syed Atif Naseem, Syed Wasif Naseem, Riaz Uddin
• Publisher: Ediciones Nuestro Conocimiento
• Languages: Spanish
• Product format: Paperback / Softback
• Released: 12.03.2023
• EAN: 9786205786666
• ISBN: 978-620-5-78666-6
• No. of pages: 136
• Dimensions: 150 mm x 220 mm x 9 mm
• Weight: 221 g
• Subject: Natural sciences, medicine, IT, technology > Technology > Electronics, electrical engineering, communications engineering