Vérification formelle du FDIR dans les réseaux intelligents [French]

By Syed Atif Naseem and Riaz Uddin

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.

• Format: Paperback
• Language: French
• ISBN: 6205786672
• ISBN13: 9786205786673
• Release Date: March 2023
• Publisher: Editions Notre Savoir
• Length: 140 Pages
• Weight: 0.47 lbs.
• Dimensions: 0.3" x 6.0" x 9.0"