Receding horizon temporal logic control in dynamic environments.
Alphan UlusoyCalin BeltaPublished in: Int. J. Robotics Res. (2014)
Keyphrases
- dynamic environments
- temporal logic
- receding horizon
- unmanned aerial vehicles
- air traffic control
- model checking
- formation control
- optimal linear
- autonomous agents
- mobile robot
- collision avoidance
- path planning
- adaptive control
- changing environment
- linear temporal logic
- verification method
- computation tree logic
- mazurkiewicz traces
- dynamic constraints
- single agent
- belief space
- belief revision
- knowledge base
- markov decision processes
- control system
- multi agent