Iterative Planner/Controller Design to Satisfy Signal Temporal Logic Specifications.
Ali Tevfik BuyukkocakPeter J. SeilerDerya AksarayVijay GuptaPublished in: ACC (2023)
Keyphrases
- temporal logic
- controller design
- concurrent systems
- model checking
- transition systems
- model checker
- bounded model checking
- reactive systems
- nonlinear systems
- formal specification language
- temporally extended
- control system
- control scheme
- modal logic
- formal specification
- control strategies
- control strategy
- computation tree logic
- dynamic model
- belief revision
- formal verification
- linear temporal logic
- heuristic search
- planning domains
- fuzzy logic controller
- verification method
- artificial intelligence
- symbolic model checking
- computer simulation
- formal methods
- genetic algorithm
- neural network
- expert systems
- dynamic programming
- computational intelligence
- complex systems
- petri net
- real time