Divergent stutter bisimulation abstraction for controller synthesis with linear temporal logic specifications.
Sahar MohajeraniRobi MalikAndrew WintenbergStéphane LafortuneNecmiye OzayPublished in: Autom. (2021)
Keyphrases
- bounded model checking
- linear temporal logic
- controller synthesis
- autonomic computing systems
- temporal logic
- model checking
- control system
- closed loop
- control algorithm
- formal verification
- computing systems
- model checker
- concurrent systems
- transition systems
- multi agent
- autonomic systems
- state space
- real time
- evolutionary algorithm
- knowledge base
- external disturbances
- genetic algorithm
- neural network