Receding horizon surveillance with temporal logic specifications.
Xu Chu DingCalin BeltaChristos G. CassandrasPublished in: CDC (2010)
Keyphrases
- temporal logic
- receding horizon
- unmanned aerial vehicles
- concurrent systems
- transition systems
- reactive systems
- model checking
- model checker
- bounded model checking
- formal specification language
- air traffic control
- optimal linear
- modal logic
- formal specification
- formation control
- surveillance system
- verification method
- path planning
- temporal knowledge
- linear temporal logic
- computation tree logic
- video surveillance
- control flow
- dynamic environments
- dynamic constraints
- search algorithm
- mazurkiewicz traces
- temporally extended
- logical formulas
- human operators
- control algorithm
- multi sensor
- belief revision
- mobile robot