Model Predictive Control for Signal Temporal Logic Specification.
Vasumathi RamanAlexandre DonzéMehdi MaasoumyRichard M. MurrayAlberto L. Sangiovanni-VincentelliSanjit A. SeshiaPublished in: CoRR (2017)
Keyphrases
- temporal logic
- model predictive control
- transition systems
- model checking
- reactive systems
- linear temporal logic
- control system
- predictive control
- modal logic
- formal specification
- formal verification
- concurrent systems
- verification method
- satisfiability problem
- bounded model checking
- computation tree logic
- dynamic constraints
- mazurkiewicz traces
- temporal knowledge
- formal methods
- belief revision
- model checker
- specification language
- finite state
- control scheme
- mpc algorithm
- epistemic logic
- control strategy
- experimental data
- real time