Robust temporal logic model predictive control.

Sadra Sadraddini Calin Belta

Published in: Allerton (2015)

Keyphrases

temporal logic
model predictive control
model checking
modal logic
satisfiability problem
concurrent systems
predictive control
verification method
control system
transition systems
neural network
bounded model checking
mazurkiewicz traces
temporal knowledge
reactive systems
temporally extended