Continuous-time control synthesis under nested signal temporal logic specifications.
Pian YuXiao TanDimos V. DimarogonasPublished in: CoRR (2023)
Keyphrases
- temporal logic
- concurrent systems
- model checking
- transition systems
- reactive systems
- model checker
- bounded model checking
- modal logic
- formal specification language
- optimal control
- satisfiability problem
- control system
- formal specification
- mazurkiewicz traces
- verification method
- iterative learning control
- linear temporal logic
- dynamic constraints
- control flow
- formal verification
- computation tree logic
- control strategy
- belief revision
- markov chain
- logical framework
- logical formulas
- temporal knowledge
- finite state
- information flow
- regular expressions
- dynamic programming