Shrinking Horizon Model Predictive Control with chance-constrained signal temporal logic specifications.
Samira S. FarahaniRupak MajumdarVinayak S. PrabhuSadegh Esmaeil Zadeh SoudjaniPublished in: ACC (2017)
Keyphrases
- temporal logic
- chance constrained
- model predictive control
- concurrent systems
- model checking
- transition systems
- stochastic programming
- reactive systems
- bounded model checking
- predictive control
- control system
- formal specification language
- robust optimization
- formal specification
- knapsack problem
- computationally tractable
- chance constrained programming
- linear temporal logic
- chance constraints
- multistage
- reverse logistics
- belief revision
- neural network
- real time
- control law
- neuro fuzzy
- linear programming
- mobile robot
- dynamic programming
- expert systems
- decision making