In: Joćo Hespanha, Ashish Tiwari (Eds.): Lecture Notes in Computer Science, 3927: Hybrid Systems: Computation and Control: 9th International Workshop, HSCC 2006, Santa Barbara, CA, USA, March 29-31, 2006., pages 407-420. Springer-Verlag, February 2006. URL: http://www.springerlink.com/openurl.asp?genre=article&id=doi:10.1007/1173063731,.
Abstract: Monitoring a hybrid system subjected to human actions needs both an estimation of the system state and an analysis of the possible conflicts in order to guarantee a safe behavior of the system. Such a monitoring principle is presented in this paper. The estimation of the hybrid system state is performed using the particle Petri net model. Then the estimated state is analysed by checking its consistency with respect to the reachable markings of the Petri net. The principle is applied to aircraft pilot's activity tracking and conflict detection.