Injecting Semantics into Diagnosis of Discrete-Event Systems
##plugins.themes.bootstrap3.article.main##
##plugins.themes.bootstrap3.article.sidebar##
Abstract
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
##plugins.themes.bootstrap3.article.details##
complex systems, fault diagnosis, discrete-event systems, semantics
(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.
The Prognostic and Health Management Society advocates open-access to scientific data and uses a Creative Commons license for publishing and distributing any papers. A Creative Commons license does not relinquish the author’s copyright; rather it allows them to share some of their rights with any member of the public under certain conditions whilst enjoying full legal protection. By submitting an article to the International Conference of the Prognostics and Health Management Society, the authors agree to be bound by the associated terms and conditions including the following:
As the author, you retain the copyright to your Work. By submitting your Work, you are granting anybody the right to copy, distribute and transmit your Work and to adapt your Work with proper attribution under the terms of the Creative Commons Attribution 3.0 United States license. You assign rights to the Prognostics and Health Management Society to publish and disseminate your Work through electronic and print media if it is accepted for publication. A license note citing the Creative Commons Attribution 3.0 United States License as shown below needs to be placed in the footnote on the first page of the article.
First Author et al. This is an open-access article distributed under the terms of the Creative Commons Attribution 3.0 United States License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original author and source are credited.