Injecting Semantics into Diagnosis of Discrete-Event Systems



Gianfranco Lamperti Marina Zanella


Most modern approaches to diagnosis of discrete- event systems (DESs) are syntax-oriented. DESs are modeled as networks of communicating automata, where each automaton defines both normal and faulty behavior of one component: the syntax of its regular language. Faulty behavior is associated with a subset of transitions (or events) of the automaton. An evolution of the system (conforming to the observation) is classified as faulty when it involves at least one of such faulty transitions (or events). Consequently, the nature of the system behavior (normal or faulty) strictly conforms to the nature of the behavior of its components. This paper claims that syntax- oriented diagnosis suffers from limited expressiveness when applied to complex DESs. Since a complex DES is topologically organized in a hierarchy of subsystems, different (possibly independent) abstraction levels of diagnosis are required. To overcome the limitations of syntax- oriented diagnosis, a new approach is proposed, based on semantics. A set of semantic rules is specified on a semantic domain (the set of subsystems relevant to diagnosis). Each rule defines the faulty behavior of a subsystem, possibly depending on the behavior of other subsystems. The diagnostic output is a set of candidate diagnoses, which account for the faults of every subsystem in the semantic domain.

How to Cite

Lamperti, G. ., & Zanella, M. . (2010). Injecting Semantics into Diagnosis of Discrete-Event Systems. Annual Conference of the PHM Society, 2(2).
Abstract 1 | PDF Downloads 1



complex systems, fault diagnosis, discrete-event systems, semantics

(Aho et al., 2006) A. Aho, M.S. Lam, R. Sethi, and J.D. Ullman. Compilers – Principles, Techniques, and Tools. Addison-Wesley, Reading, MA, second edition, 2006.
(Baroni et al., 1999) P. Baroni, G. Lamperti,
P. Pogliano, and M. Zanella.
large active systems. Artificial Intelligence, 110(1):135–183, 1999.
(Debouk et al., 2000a) R. Debouk, S. Lafortune, and D. Teneketzis. Coordinated decentralized protocols for failure diagnosis of discrete-event systems. Journal of Discrete Event Dynamic Systems: Theory and Applications, 10:33–86, 2000.
(Debouk et al., 2000b) R. Debouk, S. Lafortune, and D. Teneketzis. A diagnostic protocol for discrete- event systems with decentralized information. In Eleventh International Workshop on Principles of Diagnosis – DX’00, pages 41–48, Morelia, MX, 2000.
(Je ́ron et al., 2006) T. Je ́ron, H. Marchand, S. Pinchi- nat, and M.O. Cordier. Supervision patterns in discrete event systems diagnosis. In Seventeenth International Workshop on Principles of Diagnosis – DX’06, pages 117–124, Pen ̃aranda de Duero, E, 2006.
(Lamperti and Zanella, 2003) G. Lamperti and M. Zanella. Diagnosis of Active Systems – Principles and Techniques, volume 741 of The Kluwer International Series in Engineering and Computer Science. Kluwer Academic Publisher, Dordrecht, NL, 2003.
(Pencole ́ and Cordier, 2005) Y. Pencole ́ and M.O. Cordier. A formal framework for the decentralized diagnosis of large scale discrete event systems and its application to telecommunication networks. Artificial Intelligence, 164:121–170, 2005.
(Pencole ́ et al., 2001) Y. Pencole ́, M.O. Cordier, and L. Roze ́. Incremental decentralized diagnosis approach for the supervision of a telecommunication network. In Twelfth International Workshop on Principles of Diagnosis – DX’01, pages 151–158, San Sicario, I, 2001.
(Sampath et al., 1996) M. Sampath, R. Sengupta, S. Lafortune, K. Sinnamohideen, and D.C. Teneket- zis. Failure diagnosis using discrete-event models. IEEE Transactions on Control Systems Technology, 4(2):105–124, 1996.
(Ye et al., 2009) L. Ye, P. Dague, and Y. Yan. A distributed approach for pattern diagnosability. In 20th International Workshop on Principles of Diagnosis – DX’09, pages 179–186, Stockholm, S, 2009.
Poster Presentations