Formal Verification of Control Systems against Hyperproperties via Barrier Certificates.
Mahathi AnandVishnu MuraliAshutosh TrivediMajid ZamaniPublished in: CoRR (2021)
Keyphrases
- formal verification
- control system
- model checking
- automated verification
- access control
- bounded model checking
- closed loop
- program slicing
- model checker
- symbolic model checking
- public key
- fuzzy logic
- real time
- temporal logic
- state space
- fault detection and isolation
- decision problems
- software development
- dynamic programming
- reinforcement learning