Security and resiliency analytics for smart grids: static and dynamic approaches
Auteur :
Al-Shaer, Ehab / Rahman, Mohammad Ashiqur
Éditeur :
Springer International Publishing AG
ISBN :
9783319813899
Date de publication :
31 mai 2018
Dimensions :
23,5 x 15,5 cm
Langue :
Anglais
Pays d'origine :
Suisse
The second section covers the formal verification of the security and resiliency of smart grid control systems by using a formal model to analyze attack evasions on state estimation, a core control module of the supervisory control system in smart grids.