DocumentCode :
2247618
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
Volume :
3
fYear :
2003
fDate :
14-19 Sept. 2003
Firstpage :
4086
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;
fLanguage :
English
Publisher :
ieee
Conference_Titel :
Robotics and Automation, 2003. Proceedings. ICRA '03. IEEE International Conference on
ISSN :
1050-4729
Print_ISBN :
0-7803-7736-2
Type :
conf
DOI :
10.1109/ROBOT.2003.1242225
Filename :
1242225
Link To Document :
بازگشت