Title :
Modeling autonomous military robots using hybrid system framework
Author :
Lee, Jungjae ; Cha, Reeseo ; Han, Younghun ; Nam, Wonhong ; Choi, Jin-Young ; Kim, Won-Tae ; Park, Seung-Min
Author_Institution :
Coll. of Inf. & Commun., Korea Univ., Seoul, South Korea
Abstract :
The autonomous military robot system is a complex hybrid system which is difficult to represent by ordinary modeling frameworks due to its continuous behaviors. In this paper, we present a case study to formally model this system using CHARON that is a hierarchical modeling framework for hybrid systems. To precisely capture all the behaviors of the military robot system, we propose several extensions for the CHARON framework.
Keywords :
military systems; mobile robots; autonomous military robot; hierarchical modeling; hybrid system; Electronic mail; Robot kinematics; Solids; Surveillance; Unified modeling language; Vehicles;
Conference_Titel :
Information and Communication Technology Convergence (ICTC), 2010 International Conference on
Conference_Location :
Jeju
Print_ISBN :
978-1-4244-9806-2
DOI :
10.1109/ICTC.2010.5674805
