Temporal logic model predictive control.

Ebru Aydin Gol Mircea Lazar Calin Belta

Published in: Autom. (2015)

Keyphrases

temporal logic
model predictive control
control system
predictive control
model checking
satisfiability problem
modal logic

concurrent systems
mazurkiewicz traces
linear temporal logic
belief revision
verification method
formal specification language
computation tree logic

transition systems
control scheme
neuro fuzzy
reactive systems
temporal information
closed loop

mathematical model
finite state
fuzzy logic
bounded model checking
control algorithm
decision trees