Probabilistic Formal Verification of Communication Network-based Fault Detection, Isolation and Service Restoration System in Smart Grid.
Syed Atif NaseemRiaz UddinOsman HasanDiaa E. FawzyPublished in: FLAP (2018)
Keyphrases
- fault detection
- formal verification
- smart grid
- communication networks
- communication systems
- communication technologies
- model checking
- fault diagnosis
- power system
- cyber security
- industrial processes
- power grid
- tennessee eastman
- information security
- network management
- advanced metering infrastructure
- management system
- fault localization
- fuel cell
- network infrastructure
- wireless communication
- power plant
- computer networks
- network security
- security issues
- databases
- network structure
- decision making
- real time
- data center
- distributed databases
- data collection
- fuzzy logic
- information technology
- expert systems
- data mining