Login / Signup
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