Formal Verification of Control Strategies for a Cyber Physical System.
Amjad GawanmehAli AlwadiSazia ParvinPublished in: ICDCS Workshops (2017)
Keyphrases
- control strategies
- formal verification
- cyber physical systems
- model checking
- control system
- cyber security
- control strategy
- physical world
- automated verification
- bounded model checking
- critical infrastructure
- model checker
- embedded systems
- genetic algorithm
- reinforcement learning
- mathematical models
- information systems
- smart grid
- monitoring system
- intrusion detection
- mobile devices
- real time