Diagnosability verification with Petri net unfoldings

International Journal of Knowledge-Based and Intelligent Engineering Systems

Volumn 14, Issue 2, 2010, Pages 49-55

  Madalinski, Agnes ^a   Nouioua, Farid ^b   Dague, Philippe ^c  

^a UNIVERSIDAD AUSTRAL DE CHILE   (Chile)

^b Lab des Sci de l'Information Syst   (France)

^c UFR 919 Laboratoire d'Informatique Pour la Mécanique et les Sciences de l'Ingénieur   (France)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 85013614903     PISSN: 13272314     EISSN: 18758827     Source Type: Journal    
DOI: 10.3233/KES-2010-0191     Document Type: Article

References (14)

1. L. Console, C. Picardi and M. Ribaudo, Diagnosis and diagnosability analysis using pepa. In Proceedings 14th European Conference on AI - ECAI00, 2000.
2. J. Esparza, S. Römer and W. Vogler, An Improvement of McMillan’s Unfolding Algorithm, Form Methods Syst Des 20(3) (2002), 285-310.
3. S. Haar, Unfold and Cover: Qualitative Diagnosability for Petri Nets. In Proceedings CDC, 2007.
4. S. Haar, A. Benveniste, E. Fabre and C. Jard, Partial Order Diagnosability of Discrete Event Systems using Petri Nets Unfoldings. In Proceedings CDC, 2003.
5. S. Jiang, Z. Huang, V. Chandra and R. Kumar, A polynomial algorithm for testing diagnosability of discrete event systems, In IEEE Trans on Aut Cont, 2001.
6. V. Khomenko and E. Fabre, (Eds), Proceedings of the Workshop on UnFOlding and partial order techniques (UFO), Siedlce, Poland, 2007.
7. V. Khomenko, M.Koutny andW.Vogler, Canonical prefixes of petri net unfoldings, Acta Informatica 40(2) (2003), 95-118.
8. A. Madalinski and E. Fabre, Modular construction of nite and complete prefixes In Int Conf on Application of Concurrency to System Design, 2008.
9. A. Madalinski, F. Nouioua and P. Dague, Diagnosability verification with Petri net unfoldings. LRI technical report no 1516, 2009.
10. F. Nouioua and P. Dague, A probabilistic analysis of diagnosability in discrete event systems. In Proceedings 18th European Conference on AI - ECAI08, 2008.
11. C. Pecheur, A. Cimatti and R. Cimatti, Formal verification of diagnosability via symbolic model checking. In 18th International Joint Conference on AI, 2003.
12. M. Sampath, R. Sengupta, S. Lafortune, K. Sinnamohideen and D. Teneketzis, Diagnosability of Discrete Events Systems, IEEE Trans on Aut Cont, 1995.
13. A. Schumann and Y. Pencolé, Scalable diagnosability checking of event-driven systems. In 20th International Joint Conference on AI, 2007.
14. T. Yoo and S. Lafortune, Polynomial-Time Verification of Diagnosability of Partially Observed Discrete-Event Systems. IEEE Trans. on Aut. Cont., 2002.