A pattern is a Finite State Machine that can describe rich faulty scenarios, such as the occurrence of single faults, multiple faults, multiple occurrences of a fault, or the repair of a system. In distributed systems, the events in the pattern, as well as in the system trajectories, are emitted from different components. Our approach is based on distributed simulation and communication to check the recognition of the pattern from the conclusion of local recognition of local patterns. The components communicate observable events and shared communication events, as well as their local recognition results during the checking process without sharing their local models in any way.
How to Cite
( Gelade and Neven, 2008 ) Wouter Gelade and Frank Neven. Succinctness of the complement and intersection of regular expressions. In Susanne Albers and Pascal Weil, editors, 25th International Symposium on Theoretical Aspects of Computer Science (STACS 2008), volume 1, pages 325336, Dagstuhl, Germany, 2008. Schloss DagstuhlLeibniz-Zentrum fuer Informatik.
( Guillou et al., 2008 ) Xavier Le Guillou, Marie-Odile Cordier, Sophie Robin, and Laurence Rozé. Chronicles for on-line diagnosis of distributed systems. In ECAI, pages 194–198, 2008.
( Jéron et al., 2006 ) T. Jéron, H. Marchand, S. Pinchinat, and M.O. Cordier. Supervision patterns in discrete event systems diagnosis. Proceedings of the 8th International Workshop on Discrete Event Systems, July 2006.
( Jiang et al., 2001 ) S. Jiang, Z. Huang, V. Chandra, and R. Kumar. A polynomial time algorithm for diagnosability of discrete event systems. IEEE Transactions on Automatic Control, pages 46(8):13181321, 2001.
( Pencolé, 2004 ) Y. Pencolé. Diagnosability analysis of distributed discrete event systems. ECAI’04, pages 43–47, 2004.
( Sampath et al., 1995 ) M. Sampath, R. Sengupta,
S. Lafortune, K. Sinnamohideen, and D. Teneketzis. Diagnosability of discrete event system. IEEE Transactions on Automatic Control, pages 40(9):1555–1575, 1995.
( Schumann and Pencolé, 2007 ) A. Schumann and
Y. Pencolé. Scalable diagnosability checking of event-driven systems. IJCAI-07, pages 575–580, 2007.
( Thompson, 1968 ) Ken Thompson. Regular expression search algorithm. Communications of the ACM, 6(11), June 1968.
( Ye et al., 2009 ) Lina Ye, Philippe Dague, and Yuhong Yan. Pattern diagnosability in distributed discrete event systems. In Proceedings of the 20th International Workshop on Principles of Diagnosis, pages 179–186, Stockholm, Sweden, June 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.