Abstract | ||
---|---|---|
We develop a hierarchical framework for planning and control of arbitrarily large groups of fully actuated robots with polyhedral velocity bounds (swarm) moving in polygonal environments with polygonal obstacles. At the first level of hierarchy, we aggregate the high dimensional control system of the swarm into a small dimensional control system capturing its essential features. These features describe the position of the swarm in the world and its size. At the second level, we reduce the problem of controlling the essential features of the swarm to a model checking problem. In the obtained hierarchical framework, high level specifications given in natural language such as Linear Temporal Logic formulas over linear predicates in the essential features are automatically mapped to provably correct robot control laws. |
Year | DOI | Venue |
---|---|---|
2006 | 10.1109/ROBOT.2006.1641832 | 2006 IEEE INTERNATIONAL CONFERENCE ON ROBOTICS AND AUTOMATION (ICRA), VOLS 1-10 |
Keywords | Field | DocType |
trajectory,obstacle avoidance,linear temporal logic,automatic control,control systems,spectrum,control system,model checking,robot control,three dimensional,natural language,shape,mobile robot,mobile robots | Robot control,Model checking,Swarm behaviour,Control theory,Computer science,Linear temporal logic,Control engineering,Natural language,Control system,Robot,Mobile robot | Conference |
Volume | Issue | ISSN |
2006 | 1 | 1050-4729 |
Citations | PageRank | References |
23 | 1.85 | 10 |
Authors | ||
2 |
Name | Order | Citations | PageRank |
---|---|---|---|
Marius Kloetzer | 1 | 476 | 29.21 |
Calin Belta | 2 | 2197 | 153.54 |