We present the modeling and analysis of distributed autonomous robots using the specification language for hybrid systems, called CHARON. Coordination between distributed autonomous robots has attracted researchers of embedded and hybrid systems, since there has been increasing demand for multiple robots working together in a dynamically changing or unknown environment to carry out missions such as search and rescue, cooperative localization, and scouting and reconnaissance. To maximize the capability of performing tasks collaboratively as a team, formation control is one of crucial parts in developing distributed autonomous robots. In this paper formation control of a team of robots is modeled using CHARON and the model is analyzed using simulation with assertion checking capability of the CHARON toolset.
[1]
Vijay Kumar,et al.
Modular Specification of Hybrid Systems in CHARON
,
2000,
HSCC.
[2]
Camillo J. Taylor,et al.
A vision-based formation control framework
,
2002,
IEEE Trans. Robotics Autom..
[3]
Vijay Kumar,et al.
Controlling formations of multiple mobile robots
,
1998,
Proceedings. 1998 IEEE International Conference on Robotics and Automation (Cat. No.98CH36146).
[4]
Vijay Kumar,et al.
Cooperative Control of Robot Formations
,
2002
.
[5]
Vijay Kumar,et al.
Hierarchical modeling and analysis of embedded systems
,
2003,
Proc. IEEE.