By Topic

Detection of human errors based on discrete event system theory

Sign In

Cookies must be enabled to login.After enabling cookies , please use refresh or reload or ctrl+f5 on the browser for the login options.

Formats Non-Member Member
$33 $13
Learn how you can qualify for the best price for this item!
Become an IEEE Member or Subscribe to
IEEE Xplore for exclusive pricing!
close button

puzzle piece

IEEE membership options for an individual and IEEE Xplore subscriptions for an organization offer the most affordable access to essential journal articles, conference papers, standards, eBooks, and eLearning courses.

Learn more about:

IEEE membership

IEEE Xplore subscriptions

1 Author(s)
T. Ushio ; Dept. of Syst. & Human Sci., Osaka Univ., Japan

We consider a system controlled by a human operator. The system is 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 invariance based control technique. We extend a failure diagnosis method proposed by Sampath et al. to the case that the system has 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.

Published in:

SICE 2002. Proceedings of the 41st SICE Annual Conference  (Volume:3 )

Date of Conference:

5-7 Aug. 2002