Login / Signup
Shrinking Horizon Model Predictive Control with chance-constrained signal temporal logic specifications.
Samira S. Farahani
Rupak Majumdar
Vinayak S. Prabhu
Sadegh Esmaeil Zadeh Soudjani
Published 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