Receding horizon temporal logic control for finite deterministic systems.

Xu Chu Ding Mircea Lazar Calin Belta

Published in: ACC (2012)

Keyphrases

temporal logic
receding horizon
model checking
air traffic control
linear temporal logic
control system
optimal linear
dynamic constraints
control strategy
reactive systems
modal logic
satisfiability problem
control theory
formation control
unmanned aerial vehicles
knowledge based systems
decision making