Title :
Hybrid systems modeling of cooperative robots
Author :
Chaimowicz, Luiz ; Campos, Mario F M ; Kumar, Vipin
Author_Institution :
DCC, Univ. Fed. de Minas Gerais, Belo Horizonte, Brazil
Abstract :
This paper proposes a methodology that uses hybrid systems to model multiple robots in the execution of cooperative tasks. Basically, each robot is represented by a hybrid automation and the cooperative task execution is modeled by the composition of several automata. We describe in details our approach to perform the composition of these automata and demonstrate the effectiveness of the proposed methodology modeling a cooperative manipulation task.
Keywords :
automata theory; cooperative systems; multi-robot systems; automata; cooperative manipulation task; cooperative robots; cooperative task execution; hybrid automation; hybrid systems modeling; multiple robots; Automata; Cooperative systems; Formal verification; Laboratories; Petri nets; Power system modeling; Robot kinematics; Robot programming; Robot sensing systems; Robotics and automation;
Conference_Titel :
Robotics and Automation, 2003. Proceedings. ICRA '03. IEEE International Conference on
Print_ISBN :
0-7803-7736-2
DOI :
10.1109/ROBOT.2003.1242225