TY - GEN
T1 - Modeling autonomous military robots using hybrid system framework
AU - Lee, Jungjae
AU - Cha, Reeseo
AU - Han, Younghun
AU - Nam, Wonhong
AU - Choi, Jin Young
AU - Kim, Won Tae
AU - Park, Seung Min
PY - 2010
Y1 - 2010
N2 - The autonomous military robot system is a complex hybrid system which is dif?cult 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.
AB - The autonomous military robot system is a complex hybrid system which is dif?cult 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.
UR - http://www.scopus.com/inward/record.url?scp=78751564550&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=78751564550&partnerID=8YFLogxK
U2 - 10.1109/ICTC.2010.5674805
DO - 10.1109/ICTC.2010.5674805
M3 - Conference contribution
AN - SCOPUS:78751564550
SN - 9781424498062
T3 - 2010 International Conference on Information and Communication Technology Convergence, ICTC 2010
SP - 429
EP - 430
BT - 2010 International Conference on Information and Communication Technology Convergence, ICTC 2010
T2 - 2010 International Conference on Information and Communication Technology Convergence, ICTC 2010
Y2 - 17 November 2010 through 19 November 2010
ER -