Formal Methods for Control Synthesis: An Optimization Perspective.
Calin BeltaSadra SadraddiniPublished in: Annu. Rev. Control. Robotics Auton. Syst. (2019)
Keyphrases
- formal methods
- formal analysis
- artificial intelligence
- knowledge based systems
- optimization algorithm
- model checking
- control system
- safety critical
- model checker
- optimization problems
- formal specification
- provably correct
- development lifecycle
- information systems
- knowledge base
- knowledge representation
- database
- security properties
- knowledge acquisition
- temporal properties
- distributed systems
- process algebra
- software engineering