Login / Signup

LTL receding horizon control for finite deterministic systems.

Xu Chu DingMircea LazarCalin Belta
Published in: Autom. (2014)
Keyphrases
  • receding horizon
  • air traffic control
  • fuzzy logic
  • control method
  • optimal linear
  • formation control
  • multi agent
  • multi agent systems
  • control system
  • intelligent systems
  • model checking
  • human users