Unexpected Situations Diagnosis: A Model-based Approach for Human Machine Systems

D. Berdjag, F. Vanderhaegen, A. Shumsky, A. Zhirabok
2014 IFAC Proceedings Volumes  
The paper deals with unexpected behaviors and situations diagnosis for human-machine systems. Operator behavior is modeled using a nondeterministic discrete-event formalism and a specific model adaptation. An extension of pair algebra of partitions to nondeterministic finite state machines is used to develop the diagnosis method proposed in the paper. Possibilities of the proposed method are investigated and discussed. An illustrative example is provided, based on a tramway driving situation.
doi:10.3182/20140824-6-za-1003.02674 fatcat:pfuj4nrb2vb5dhcjqtl3bgwzs4