Reachability Analysis for Safety Assurance of Cyber-Physical Systems Against Cyber Attacks.
Cheolhyeon KwonInseok HwangPublished in: IEEE Trans. Autom. Control. (2018)
Keyphrases
- reachability analysis
- cyber attacks
- cyber physical systems
- cyber security
- critical infrastructure
- information security
- intrusion detection
- markov decision processes
- model checking
- smart grid
- security issues
- network security
- intrusion detection system
- state space
- smart card
- risk analysis
- anomaly detection
- control system
- countermeasures
- information systems
- decision support system
- visual analytics
- risk assessment
- e government
- communication systems
- real time
- power system