Diagnosis of asynchronous discrete-event systems: A net unfolding approach

IEEE Transactions on Automatic Control

Volumn 48, Issue 5, 2003, Pages 714-727

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

^a CAMPUS DE BEAULIEU   (France)

Author keywords

Alarm correlation; Asynchronous diagnosis; Diagnosis; Discrete event systems; Petri nets; Unfoldings

Indexed keywords

ASYNCHRONOUS MACHINERY; MATHEMATICAL MODELS; PETRI NETS;

COMMUNICATING MACHINES;

TELECOMMUNICATION NETWORKS;

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

References (38)

1. A. Benveniste, E. Fabre, C. Jard, and S. Haar, Diagnosis of asynchronous discrete event systems: A net unfolding approach. [Online] http://www.irisa.fr/sigma2/benveniste/pub/B_al_asdiag_2001.html IRISA Res. Rep. 1456
2. A. Aghasaryan, E. Fabre, A. Benveniste, R. Boubour, and C. Jard, "A Petri net approach to fault detection and diagnosis in distributed systems. Part II: extending Viterbi algorithm and HMM techniques to Petri nets," presented at the Conf. Decision Control, San Diego, CA, Dec. 1997.
3. _, "Fault detection and diagnosis in distributed systems: an approach by partially stochastic Petri nets," Discrete Event Dyna. Syst.: Theory Applicat., vol. 8, pp. 203-231, June 1998.
4. P. Baroni, G. Lamperti, P. Pogliano, and M. Zanella, "Diagnosis of large active systems," Art. Intell., vol. 110, pp. 135-183, 1999.
5. A. Benveniste, E. Fabre, and S. Haar. (2001, Sept.) Markov nets: probabilistic models for distributed and concurrent systems. IRISA Research Rep. 1415 [Online]http://www.irisa.fr/sigma2/benveniste/pub/BIGFH2000.html
6. R. Boubour, C. Jard, A. Aghasaryan, E. Fabre, and A. Benveniste, "A Petri net approach to fault detection and diagnosis in distributed systems. Part I: application to telecommunication networks, motivations and modeling," presented at the Conf. Decision Control, San Diego, CA, Dec. 1997.
7. A. T. Bouloutas, G. Hart, and M. Schwartz, "Two extensions of the Viterbi algorithm," IEEE Trans. Inform. Theory, vol. 37, pp. 430-436, Mar. 1991.
8. A. T. Bouloutas, S. Calo, and A. Finkel, "Alarm correlation and fault identification in communication networks," IEEE Trans. Commun., vol. 42, pp. 523-533, Feb./Mar./Apr. 1994.
9. C. Cassandras and S. Lafortune, Introduction to Discrete Event Systems. Boston, MA: Kluwer, 1999.
10. R. Debouk, S. Lafortune, and D. Teneketzis, "Coordinated decentralized protocols for failure diagnosis of discrete event systems," Discrete Event Dyna. Syst.: Theory Applicat., vol. 10, no. (1/2), pp. 33-86, 2000.
11. _, "On the effect of communication delays in failure diagnosis of decentralized discrete event systems," Univ. Michigan, Ann Arbor, MI, Control Group Rep. CGR00-04, 2001.
12. J. Desel and J. Esparza, Free Choice Petri Nets. Cambridge, U.K.: Cambridge Univ. Press, 1995.
13. J. Engelfriet, "Branching processes of Petri nets," Acta Informatica, vol. 28, pp. 575-591, 1991.
14. J. Esparza, "Model checking using net unfoldings," Sci. Comput. Progr., vol. 23, pp. 151-195, 1994.
15. J. Esparza, S. Römer, and W. Vogler, "An improvement of McMillan's unfolding algorithm," in Proc. TACACS'96, T. Margaria and B. Steffen, Eds., 1996, LNCS 1055, pp. 87-106.
16. J. Esparza and S. Römer, "An unfolding algorithm for synchronous products of transition systems," in Proc. CONCUR'99. New York: Springer-Verlag, 1999, LNCS 1664.
17. E. Fabre, A. Benveniste, C. Jard, L. Ricker, and M. Smith, "Distributed state reconstruction for discrete event systems," in 2000 IEEE Control Decision Conf., Sydney, Australia, Dec. 2000.
18. E. Fabre, A. Benveniste, and C. Jard, "Distributed diagnosis for large discrete event dynamic systems," in Proc. IFAC Congr., Jul. 2002.
19. E. Fabre, "Compositional models of distributed and asynchronous dynamical systems," in Proc. 2002 IEEE Conf. Decision Control, Las Vegas, NV, Dec. 2002, pp. 1-6.
20. _, "Monitoring distributed systems with distributed algorithms," in Proc of the 2002 IEEE Conf. on Decision and Control, Las Vegas, Dec. 2002, pp. 411-416.
21. R. G. Gardner and D. Harle, "Methods and systems for alarm correlation," presented at the GlobeCom 96, London, U.K., Nov. 1996.
22. C. N. Hadjicostis and G. C. Verghese, "Monitoring discrete event systems using Petri net embeddings," in Proc. Application Theory Petri Nets, 1999, pp. 188-208.
23. A. Giua, "-PN state estimators based on event observation," presented at the 36th Int. Conf. Decision Control, San Diego, CA, 1997, 4-86-4091.
24. A. Giua and C. Seatzu, Observability of place/transition nets, 2001.
25. K. X. He and M. D. Lemmon, "Liveness verification of discrete-event systems modeled by n-safe Petri nets," presented at the 21st Int. Conf. Application Theory Petri Nets, Denmark, June 2000.
26. _, "On the existence of liveness-enforcing supervisory policies of discrete-event systems modeled by n-safe Petri nets," presented at the IFAC 2000 Conf. Control Systems Design, Slovakia, June 2000.
27. I. Katsela, A. T. Bouloutas, and S. Calo, "Centralized vs distributed fault localization," in Integrated Network Management IV, A. S. Sethi, Y. Raynaud, and F. Faure-Vincent, Eds. New York: Chapman and Hall, 1995, pp. 251-261.
28. A. Aghasaryan, C. Dousson, E. Fabre, Y. Pencolé, and A. Osmani, "Modeling fault propagation in telecommunications networks for diagnosis purposes," presented at the XVIII World Telecommunications Congr., Sept. 22-27, 2002, http://www.irisa.fr/sigma2/benveniste/pub/topic\_distribdiag.html.
29. K. McMillan, "Using unfoldings to avoid the state explosion problem in the verification of asynchronous circuits," Proc. Int. 4th Workshop Computer Aided Verification, pp. 164-174, 1992.
30. M. Nielsen, G. Plotkin, and G. Winskel, "Petri nets, event structures, and domains," Theoret. Comput. Sci., pt. I, vol. 13, pp. 85-108, 1981.
31. W. Reisig, Petri Nets. New York: Springer Verlag, 1985.
32. L. Rozé and M.-O. Cordier, "Diagnosing discrete event systems: extending the diagnoser approach to deal with telecommunications networks," Discrete Event Dyna. Syst.: Theory Applicat., vol. 12, no. (1), pp. 43-82, Jan. 2002.
33. Lectures on Petri Nets I: Basic Models, Springer-Verlag, New York, 1998, pp. 12-121.
34. A. Sahraoui, H. Atabakhche, M. Courvoisier, and R. Valette, "Joining Petri nets and knowledge-based systems for monitoring purposes," in Proc. IEEE Int. Conf. Robotics Automation, 1987, pp. 1160-1165.
35. M. Sampath, R. Sengupta, S. Lafortune, K. Sinnamohideen, and D. Teneketzis, "Diagnosability of discrete-event systems," IEEE Trans. Automat. Contr., vol. 40, pp. 1555-1575, Sept. 1995.
36. R. Sengupta, "Diagnosis and communications in distributed systems," in Proc. Wodes 1998, Int. Workshop Discrete Event Systems, London, U.K., 1998, pp. 144-151.
37. S. Tripakis, "Undecidable problems of decentralized observation and control," presented at the 40th IEEE Conf. Decision Control, Orlando, FL, Dec. 2001.
38. G. Winskel, "Event structures," Advances in Petri Nets, vol. 255, pp. 325-392, 1987.