Shrinking Horizon Model Predictive Control With Signal Temporal Logic Constraints Under Stochastic Disturbances.
Samira S. FarahaniRupak MajumdarVinayak S. PrabhuSadegh SoudjaniPublished in: IEEE Trans. Autom. Control. (2019)
Keyphrases
- temporal logic
- model predictive control
- model checking
- automata theoretic
- dynamic constraints
- satisfiability problem
- concurrent systems
- modal logic
- predictive control
- computation tree logic
- verification method
- linear temporal logic
- power system
- control system
- temporal knowledge
- temporally extended
- mazurkiewicz traces
- transition systems
- belief revision
- expert systems
- search algorithm