Temporal logic control in dynamic environments with probabilistic satisfaction guarantees.
A. I. Medina AyalaSean B. AnderssonCalin BeltaPublished in: IROS (2011)
Keyphrases
- dynamic environments
- temporal logic
- model checking
- adaptive control
- changing environment
- autonomous systems
- modal logic
- satisfiability problem
- concurrent systems
- mobile robot
- autonomous agents
- linear temporal logic
- path planning
- agent systems
- verification method
- real environment
- control system
- potential field
- unmanned aerial vehicles
- highly dynamic environments
- computation tree logic
- collision avoidance
- reactive systems
- temporal knowledge
- dynamic constraints
- knowledge base
- dynamic programming
- mazurkiewicz traces