Fault Diagnosis of Discrete-Event Systems

This chapter diagnostic methods for discrete-event systems that are described by deterministic, nondeterministic or stochastic automata. Based on the solution to the state observation problem for discrete systems, the fault diagnostic problem is solved for all model classes by observing the unknown state of the model of the faulty systems and, hence, by deciding which model is currently consistent with the system behaviour.