A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is
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