摘要：Abstract:This work is concerned with fault detection in a class of timed continuous Petri nets(TCPN)under Infinite Server Semantics. Faults are deviations from the nominal system behavior due to undesired changes of the transition firing rates or place token losses. These fault types are represented by adding transitions, named fault transitions, to theTCPNmodel. This work presents a novel characterization of fault detectability inTCPNbased on input-output observability results applied to faults. This paper also proposes the design of a diagnoser for detecting fault occurrences inTCPNwhich is based on a sliding mode observer.
