Modeling autonomous military robots using hybrid system framework

Jungjae Lee, Reeseo Cha, Younghun Han, Wonhong Nam, Jin Young Choi, Won Tae Kim, Seung Min Park

Research output: Chapter in Book/Report/Conference proceedingConference contribution

1 Citation (Scopus)

Abstract

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.

Original languageEnglish
Title of host publication2010 International Conference on Information and Communication Technology Convergence, ICTC 2010
Pages429-430
Number of pages2
DOIs
Publication statusPublished - 2010
Event2010 International Conference on Information and Communication Technology Convergence, ICTC 2010 - Jeju, Korea, Republic of
Duration: 2010 Nov 172010 Nov 19

Publication series

Name2010 International Conference on Information and Communication Technology Convergence, ICTC 2010

Other

Other2010 International Conference on Information and Communication Technology Convergence, ICTC 2010
CountryKorea, Republic of
CityJeju
Period10/11/1710/11/19

ASJC Scopus subject areas

  • Information Systems
  • Computer Networks and Communications

Fingerprint Dive into the research topics of 'Modeling autonomous military robots using hybrid system framework'. Together they form a unique fingerprint.

  • Cite this

    Lee, J., Cha, R., Han, Y., Nam, W., Choi, J. Y., Kim, W. T., & Park, S. M. (2010). Modeling autonomous military robots using hybrid system framework. In 2010 International Conference on Information and Communication Technology Convergence, ICTC 2010 (pp. 429-430). [5674805] (2010 International Conference on Information and Communication Technology Convergence, ICTC 2010). https://doi.org/10.1109/ICTC.2010.5674805