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.
展开▼