Abstract
AbstractMonitoring 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.KeywordsBayesian NetworkHybrid SystemHybrid AutomatonSymbolic TransitionInconsistent BehaviorThese keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
Sign-in/Register to access full text options 
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a call
