Shrinking Horizon Model Predictive Control with Signal Temporal Logic Constraints under Stochastic Disturbances.
Samira S. FarahaniRupak MajumdarVinayak S. PrabhuSadegh Esmaeil Zadeh SoudjaniPublished in: CoRR (2017)
Keyphrases
- temporal logic
- model predictive control
- model checking
- dynamic constraints
- automata theoretic
- modal logic
- satisfiability problem
- concurrent systems
- control system
- predictive control
- verification method
- linear temporal logic
- computation tree logic
- bounded model checking
- power system
- neural network
- mazurkiewicz traces
- historical data
- decision trees