Optimal Receding Horizon Control for Finite Deterministic Systems with Temporal Logic Constraints

María Svorenová Ivana Cerná Calin Belta

Published in: CoRR (2013)

Keyphrases

temporal logic
dynamic constraints
receding horizon
optimal linear
model checking
modal logic
air traffic control
linear temporal logic
dynamic programming
optimal control
satisfiability problem
reactive systems
distributed systems
verification method
automata theoretic