|
[UAU+19]
Riaz Uddin, Ali S. Alghamdi, Muhammad Hammad Uddin, Ahmed Bilal Awan and Syed Atif Naseem.
Ethernet-Based Fault Diagnosis and Control in Smart Grid: A Stochastic Analysis via Markovian Model Checking.
Journal of Electrical Engineering & Technology.
2019.
[Formally analyses the reliability of fault detection, isolation and supply restoration (FDIR), including use of PRISM.]
|
|
Links:
[Google]
[Google Scholar]
|