Barrier Function Based Collaborative Control of Multiple Robots Under Signal Temporal Logic Tasks.
Lars LindemannDimos V. DimarogonasPublished in: IEEE Trans. Control. Netw. Syst. (2020)
Keyphrases
- temporal logic
- multiple robots
- autonomous robots
- model checking
- path planning
- multi robot
- mobile robot
- modal logic
- collision avoidance
- verification method
- robotic systems
- multi robot exploration
- mazurkiewicz traces
- robot navigation
- linear temporal logic
- belief revision
- ant colony
- computation tree logic
- control system
- real time
- topological map
- dynamic constraints
- multiple targets
- control policy
- reactive systems
- software agents
- transition systems
- particle swarm optimization
- vision system