Security and Resiliency Analytics for Smart Grids Static and Dynamic Approaches
Heftet /
2018
/ Engelsk
Product details
ISBN
9783319813899
Published
2018-05-31
Publisher
Springer International Publishing AG
Height
235 mm
Width
155 mm
Age
Research, P, 06
Language
Product language
Engelsk
Format
Product format
Heftet
Number of pages
16
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.
Read more
Maximizes reader insights into theoretical and practical aspects of applying formal methods for the protection of critical infrastructures like smart grids Covers novel techniques which can automatically, provably, and efficiently analyze the security and resiliency of the smart grids Includes various illustrative case studies and extensive evaluation results demonstrating the efficacy of the formal techniques
Read more
Product details
ISBN
9783319813899
Published
2018-05-31
Publisher
Springer International Publishing AG
Height
235 mm
Width
155 mm
Age
Research, P, 06
Language
Product language
Engelsk
Format
Product format
Heftet
Number of pages
16