Read more
Pour détecter les défauts dans le réseau de distribution du Smart Grid et isoler les commutateurs de charge défectueux dans un délai limité, l'algorithme FDIR fonctionne sur le contrôleur DFA qui est installé sur le réseau de communication du Smart Grid afin de contrôler les dispositifs d'alimentation du réseau de distribution. Pour l'analyse de sa fiabilité, une vérification formelle est nécessaire afin d'étudier sa précision, sa stabilité et son efficacité lorsqu'un défaut se produit sur le réseau. Grâce à l'analyse probabiliste du réseau de distribution basé sur le FDIR via l'outil de vérification de modèle PRISM, nous pouvons estimer la probabilité de défaillance du réseau et prendre des mesures correctives et de maintenance afin que les composants défectueux puissent être remplacés à l'avance pour éviter la défaillance complète du système.
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.
