Partial Order Diagnosability Of Discrete Event Systems Using Petri Net Unfoldings

Proceedings of the IEEE Conference on Decision and Control

Volumn 4, Issue , 2003, Pages 3748-3753

  Haar, Stefan ^a,b   Benveniste, Albert ^a,b   Fabre, Eric ^a,b   Jard, Claude ^a,c  

^a CAMPUS DE BEAULIEU   (France)

^b INRIA   (France)

^c CNRS   (France)

Author keywords

Alarm correlation; Asynchronous diagnosability; Petri nets; Unfoldings

Indexed keywords

DISTRIBUTED PARAMETER CONTROL SYSTEMS; ESTIMATION; MATHEMATICAL MODELS; PETRI NETS; POLYNOMIALS; PROBABILITY; PROBLEM SOLVING;

DISCRETE EVENT SYSTEMS; PETRI NET UNFOLDINGS;

CONTROL SYSTEM ANALYSIS;

EID: 1542289128     PISSN: 07431546     EISSN: 25762370     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (32)

1. A. Benveniste, E. Fabre, S. Haar. Markov nets: probabilistic models for distributed and concurrent systems. INRIA Report 4235, 2002; http://www.inria.fr/rrrt/rr-4253.html
2. A.T. Bouloutas, S. Calo, and A. Finkel. Alarm correlation and fault identification in communication networks. IEEE Trans. on Communication 42(2-4), 1994.
3. C. Cassandras and S. Lafortune. Introduction to discrete event systems. Kluwer Academic Publishers, 1999.
4. J. Desel, and J. Esparza. Free Choice Petri Nets. Cambridge University Press, 1995.
5. J. Engelfriet. Branching Processes of Petri Nets. Acta Informatica 28:575-591, 1991.
6. J. Esparza. Model Checking Using Net Unfoldings. Science of Computer Programming 28:151-195, 1994.
7. J. Esparza, S. Römer, and W. Vogler. An improvement of McMillan's unfolding algorithm. Formal Methods in System Design 20(3):285-310, 2002.
8. J. Esparza and S. Römer. An unfolding algorithm for synchronous products of transition systems. Proc. CONCUR'99, LNCS 1664, Springer Verlag 1999.
9. E. Fabre,A. Benveniste, C. Jard, L. Ricker, and M. Smith. Distributed state reconstruction for discrete event systems. Proceedings CDC'2000.
10. E. Fabre, A. Benveniste, C. Jard, and S. Haar. Diagnosis of Asynchronous Discrete Event Systems, a Net Unfolding Approach. IEEE Trans. Aut. Control48(5)714-727.
11. E. Fabre, A. Benveniste, and C. Jard. Distributed diagnosis for large discrete event dynamic systems. IFAC Cong. 2002.
12. R.G. Gardner and D. Harle. Methods and systems for alarm correlation. GlobeCom 1996.
13. A. Giua. Petri net state estimators based on event observation. Proc. CDC 1997.
14. A. Giua and C. Seatzu. Observability of Place/Transition Nets. IEEE Trans. Aut. Control 47(9): 1424-1437, 2002.
15. S. Haar. Probabilistic Cluster Unfoldings. Fundamenta Informaticae. 53(3-4):281-314, 2002.
16. C.N. Hadjicostis, and G.C. Verghese. Monitoring discrete event systems using Petri net embeddings. in Proc. 20st (ICATPN), LNCS 1639:188-208, Springer Verlag 1999.
17. I. Katsela, A.T. Bouloutas, S. Calo. Centralized vs distributed fault localisation. Integrated Network Management IV, A.S. Sethi, Y. Raynaud, F. Faure-Vincent (eds.), 251-261. Chapman and Hall 1995.
18. V. Khomenko, M. Koutny, and W. Vogler. Canonical Prefixes of Petri Net Unfoldings. Proc. CAV 2002, LNCS 2404:582-595, Springer Verlag 2002.
19. K.X. He and M.D. Lemmon. Liveness verification of discrete-event systems modeled by n-safe Petri nets. Proc. 21st ICATPN 2000, LNCS 1825:227-243, Springer Verlag.
20. K.X. He and M.D. Lemmon. On the existence of liveness-enforcing supervisory policies of discrete-event systems modeled by n-safe Petri nets. Proc. IFAC'2002 Conf. on Cont. Syst. Design, special session on Petri nets.
21. MAGDA project. See URL: http://magda.elibel.tm.fr
22. K. McMillan. Using Unfoldings to avoid the state explosion problem in the verification of asynchronous circuits. 4th Workshop on Computer Aided Verification 164-174, 1992.
23. M. Nielsen, G. Plotkin, and G. Winskel. Petri nets, event structures, and domains, Part I. Theor. CS 13:85-108, 1981.
24. W. Reisig. Petri nets. Springer Verlag, 1985.
25. W. Reisig. Elements of Distributed Algorithms. Modelling and Analysis with Petri Nets. Springer Verlag, 1998.
26. A. Sahraoui, H. Atabakhche, M. Courvoisier, and R. Valette. Joining Petri nets and knowledge-based systems for monitoring purposes. Proc. IEEE Int. Conf. on Robotics Automation, 1160-1165, 1987.
27. M. Sampath, R. Sengupta, S. Lafortune, K. Sinnamo-hideen, and D. Teneketzis. Diagnosability of discrete-event systems. IEEE Trans. Aut. Control 40(9), 1555-1575, 1995.
28. R. Sengupta. Diagnosis and communications in distributed systems. Proceedings WODES 1998, 144-151.
29. S. Tripakis. Undecidable problems of decentralized observation and control. Proceedings CDC 2001.
30. G. Winskel. Event structures. Advances in Petri nets, LNCS 255: 325-392, Springer Verlag, 1987.
31. T. Yoo and S. Lafortune. Polynomial-Time Verification of Diagnosability of Partially-Observed Discrete-Event Systems. IEEE Trans. Aut. Control 47(9): 1491-1495, 2002.
32. T. Yoo and S. Lafortune. NP-completeness of Sensor Selection Problems Arising in Partially-Observed Discrete-Event Systems. IEEE Trans. Aut. Control 47(9):1495-1499, 2002.