Complex pattern generation for swarm robotic systems using spatial-temporal logic and density feedback control.
Tongjia ZhengZhiyu LiuHai LinPublished in: ACC (2020)
Keyphrases
- temporal logic
- robotic systems
- feedback control
- pattern generation
- model checking
- swarm robots
- closed loop
- temporal resolution
- adaptive control
- optimal control
- modal logic
- collective behavior
- swarm robotics
- verification method
- autonomous robots
- mobile robot
- complex systems
- multi robot
- spatial information
- vision system
- computation tree logic
- mazurkiewicz traces
- temporal knowledge
- object manipulation
- uncertain environments
- swarm intelligence
- linear temporal logic
- temporally extended
- transition systems
- machine learning
- particle swarm optimization
- automata theoretic
- domain independent