Physical-Model-Checking to Detect Switching-Related Attacks in Power Systems.
Mohamad El HaririSamy FaddelOsama MohammedPublished in: Sensors (2018)
Keyphrases
- model checking
- power system
- temporal logic
- temporal properties
- formal verification
- model checker
- verification method
- epistemic logic
- automated verification
- power grid
- computation tree logic
- formal specification
- formal methods
- symbolic model checking
- timed automata
- concurrent systems
- smart grid
- planning domains
- transition systems
- bounded model checking
- alternating time temporal logic
- computational intelligence
- deterministic finite automaton
- electric power systems
- reactive systems
- power generation
- transmission line
- data mining
- power distribution systems