Detection of human errors based on discrete event system theory

We consider a system controlled by a human operator. The system modeled by a Petri net and its normal state is Specified, by, a linear inequality. on the set of reachable markings. Admissible behaviors. of the operator are given by an in invariance based control technique. We extend a failure diagnosis method proposed by Sampath et al to the case that the system self-recovery. We introduce a novel concept called weak diagnosability. We propose an error detector And show a condition for the system to be weakly diagnosable.