Types of asynchronous diagnosability and the reveals-relation in occurrence nets

IEEE Transactions on Automatic Control

Volumn 55, Issue 10, 2010, Pages 2310-2320

  Haar, Stefan ^a  

^a IEEE   (France)

Author keywords

Discrete event systems; fault detection; Petri nets

Indexed keywords

ABSTRACTION TECHNIQUES; DIAGNOSABILITY; DISCRETE EVENT SYSTEMS; DISTRIBUTED SYSTEMS; FINITE PREFIX; INTERLEAVING SEMANTICS; NONSEQUENTIAL; OCCURRENCE NET; PARTIAL ORDER SEMANTICS; PETRI NET MODELS; PETRI NET UNFOLDINGS; STATE MACHINE MODELS; UNFOLDINGS; VERIFICATION METHOD; WEAK FORM;

ALGEBRA; FAULT DETECTION; GRAPH THEORY; OBSERVABILITY;

PETRI NETS;

EID: 77957694292     PISSN: 00189286     EISSN: None     Source Type: Journal    
DOI: 10.1109/TAC.2010.2063490     Document Type: Article

References (30)

1. S. Abbes and A. Benveniste, "True-concurrency probabilistic models: Branching cells and distributed probabilities for event structures," Inform. Computat., vol. 204, no. 2, pp. 231-274, 2006.
2. C. G. Cassandras and S. Lafortune, Introduction to Discrete Event Systems. Boston, MA: Kluwer, 1999.
3. V. Diekert and G. Rozenberg, Eds., The Book of Traces. Hackensack, NJ: World Scientific, 1995.
4. J. Engelfriet, "Branching processes of Petri nets," Acta Informatica, vol. 28, pp. 575-591, 1991.
5. J. Esparza, S. Römer, and W. Vogler, "An improvement of McMillan's unfolding algorithm," Form. Meth. Syst. Des., vol. 20, no. 3, pp. 285-310, 2002.
6. E. Fabre and A. Benveniste, "Partial order techniques for distributed discrete event systems: Why you can't avoid using them," Discrete Event Dyn. Syst., vol. 17, pp. 355-403, 2007.
7. E. Fabre, A. Benveniste, C. Jard, and S. Haar, "Diagnosis of asynchronous discrete event systems, a net unfolding approach," IEEE Trans. Autom. Control, vol. 48, no. 5, pp. 714-727, May 2003.
8. E. Fabre, A. Benveniste, C. Jard, and S. Haar, "Distributed monitoring of concurrent and asynchronous systems," Discrete Event Dyn. Syst., vol. 15, no. 1, pp. 33-84, Mar. 2005.
9. A. Giua and C. Seatzu, "Observability of place/transition nets," IEEE Trans. Autom. Control, vol. 47, no. 9, pp. 1424-1437, Sep. 2002.
10. M. P. Cabasino, A. Giua, S. Lafortune, and C. Seatzu, "Diagnosability analysis of unbounded Petri nets," in Proc. CDC09: 48th IEEE Conf. Decision Control, Shanghai, China, Dec. 2009, [CD ROM].
11. M. P. Cabasino, A. Giua, and C. Seatzu, "Diagnosability of bounded Petri nets," in Proc. CDC09: 48th IEEE Conf. Decision Control, Shanghai, China, Dec. 2009, [CD ROM].
12. A. Giua and C. Xie, "Control of safe ordinary Petri nets using unfolding," Discrete Event Dyn. Syst., vol. 15, no. 4, pp. 349-373, Dec. 2005.
13. S. Haar, A. Benveniste, E. Fabre, and C. Jard, "Partial order diagnos-ability of discrete event systems using Petri net unfoldings," in Proc. 42nd IEEE Conf. Decision Control (CDC), 2003, [CD ROM].
14. S. Haar, "Unfold and cover: Qualitative diagnosability for Petri nets," in Proc. 46th IEEE Conf. Decision Control, 2007, [CD ROM].
15. S. Haar, "Qualitative diagnosability for Petri nets revisited," in Proc. 48th IEEE Conf. Decision Control, 2009, [CD ROM].
16. L. E. Holloway, B. H. Krogh, and A. Giua, "A survey of Petri net methods for controlled discrete event systems," Discrete Event Dyn. Syst.: Theory Appl., vol. 7, pp. 151-190, 1997.
17. S. Jiang, Z. Huang, V. Chandra, and R. Kumar, "A polynomial time algorithm for diagnosability of discrete event systems," Iowa State University. Ames, 2010 [Online]. Available: www.ece.ias-tate.edu/~rkumar/PUBS/ dia-algo.pdf
18. V. Khomenko, M. Koutny, and W. Vogler, "Canonical prefixes of Petri net unfoldings," Acta Informatica, vol. 40, pp. 95-118, 2003.
19. R. Kumar and M. A. Shayman, "Formulae relating controllability, observability, and co-observability," Automatica, vol. 34, no. 2, pp. 211-215, 1998.
20. R. Kummetz and D. Kuske, "The topology of Mazurkiewicz traces," Theor. Comp. Sci., vol. 305, pp. 237-258, 2003.
21. M. Z. Kwiatkowska, "A metric for traces," Inf. Proc. Lett., vol. 35, pp. 129-135, 1990.
22. F. Lin, "Diagnosability of discrete event systems and its applications," Discrete Event Dyn. Syst., vol. 4, no. 1, pp. 197-212, 1994.
23. K. McMillan, "Using unfoldings to avoid the state explosion problem in the verification of asynchronous circuits," in Proc. 4th Workshop Computer Aided Verification, 1992, pp. 164-174.
24. T. Murata, "Petri nets: Properties, analysis and applications," Proc. IEEE, vol. 77, no. 4, pp. 541-580, Apr. 1989.
25. M. Nielsen, G. Plotkin, and G. Winskel, "Petri nets, event structures, and domains, part I," TCS, vol. 13, pp. 85-108, 1981.
26. J. L. Peterson, Petri Net Theory and the Modeling of Systems. Engle-wood Cliffs, NJ: Prentice-Hall, 1981.
27. W. Reisig, Petri Nets. New York: Springer Verlag, 1985.
28. M. Sampath, R. Sengupta, S. Lafortune, K. Sinnamohideen, and D. Teneketzis, "Diagnosability of discrete-event systems," IEEE Trans. Autom. Control, vol. 40, no. 9, pp. 1555-1575, Sep. 1995.
29. G. Winskel, "Event structures," Adv. Petri Nets, vol. 255, LNCS, pp. 325-392, 1987.
30. T. Yoo and S. Lafortune, "Polynomial-time verification of diagnos-ability of partially-observed discrete-event systems," IEEE Trans. Autom. Control, vol. 47, no. 9, pp. 1491-1495, Sep. 2002.