A Fully Automated Framework for Control of Linear Systems from Temporal Logic Specifications.
Marius KloetzerCalin BeltaPublished in: IEEE Trans. Autom. Control. (2008)
Keyphrases
- fully automated
- temporal logic
- linear systems
- model checking
- concurrent systems
- transition systems
- fully automatic
- semi automated
- bounded model checking
- reactive systems
- sufficient conditions
- modal logic
- control method
- control strategy
- control system
- completely automated
- satisfiability problem
- model checker
- evolutionary algorithm