Robust Temporal Logic Model Predictive Control.

Sadra Sadraddini Calin Belta

Published in: CoRR (2015)

Keyphrases

temporal logic
model predictive control
model checking
satisfiability problem
modal logic
verification method
control system
temporal knowledge
real time
linear temporal logic
computation tree logic
transition systems
belief revision
predictive control
temporally extended
automata theoretic