Receding Horizon Temporal Logic Control for Finite Deterministic Systems

Xu Chu Ding Mircea Lazar Calin Belta

Published in: CoRR (2012)

Keyphrases

temporal logic
receding horizon
model checking
air traffic control
dynamic constraints
modal logic
intelligent systems
satisfiability problem
reactive systems
search space
linear temporal logic
mazurkiewicz traces
control strategy
control method
optimal linear
verification method