Skip to main content
SpringerLink
Log in

Distributed Monitoring of Concurrent and Asynchronous Systems*

  • Original Article
  • Published:
Discrete Event Dynamic Systems Aims and scope Submit manuscript

Abstract

In this paper we study the diagnosis of distributed asynchronous systems with concurrency. Diagnosis is performed by a peer-to-peer distributed architecture of supervisors. Our approach relies on Petri net unfoldings and event structures, as means to manipulate trajectories of systems with concurrency. This article is an extended version of the paper with same title, which appeared as a plenary address in the Proceedings of CONCUR’2003.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Similar content being viewed by others

References

  • Aghasaryan, A., Dousson, C., Fabre, E., Pencolé, Y., and Osmani, A. 2002. Modeling fault propagation in telecommunications networks for diagnosis purposes. In XVIII World Telecommunications Congress. Paris, France, 22–27 September, Available: http://www.irisa.fr/sigma2/benveniste/pub/topic_distribdiag.html.

  • Aghasaryan, A., Jard, C., and Thomas, J. 2004. UML Specification of a generic model for fault diagnosis of telecommunication networks. In 2004 International Conference on Telecommunications, Fortalezza, Brasil, 2–7 August.

  • Baroni, P., Lamperti, G., Pogliano, P., and Zanella, M. 1999. Diagnosis of large active systems. Artificial Intelligence 110: 135–183.

    Google Scholar 

  • Benveniste, A., Fabre, E., Jard, C., and Haar, S. 2003a. Diagnosis of asynchronous discrete event systems, a net unfolding approach. IEEE Trans. on Automatic Control, 48(5), May. Preliminary version available from http://www.irisa.fr/sigma2/benveniste/pub/IEEE_TAC_AsDiag_2003.html.

  • Benveniste, A., Haar, S., and Fabre, E. 2003b. Markov nets: probabilistic models for distributed and concurrent systems. IEEE Trans. on Automatic Control, November. Extended version available as IRISA Report 1538, May 2003; available electronically at ftp://ftp.irisa.fr/techreports/2003/PI-1538.ps.gz.

  • Boel, R. K., and van Schuppen, J. H. 2002. Decentralized failure diagnosis for discrete-event systems with costly communication between diagnosers. In Proc. of 6th Int. Workshop on Discrete Event Systems, WODES’ 2002, pp. 175–181.

  • Cassandras, C., and Lafortune, S. 1999. Introduction to Discrete Event Systems. Kluwer Academic Publishers.

  • Debouk, R., Lafortune, S., and Teneketzis, D. 2000. Coordinated decentralized protocols for failure diagnosis of discrete event systems. Discrete Event Dynamic Systems: Theory and Application. 10(1/2), 33–86.

    Google Scholar 

  • Degano, P., De Nicola, R., and Montanari, U. 1988. On the Consistency of “Truly Concurrent” Operational and Denotational Semantics. In Proc. 3rd Symp. on Logics in Computer Science, IEEE , pp. 133–141.

  • Desel, J., and Esparza, J. 1995. Free Choice Petri Nets. Cambridge University Press.

  • Engelfriet, J. 1991. Branching processes of Petri nets. Acta Informatica 28: 575–591.

    Google Scholar 

  • Esparza, J., and Römer, S. 1999. An unfolding algorithm for synchronous products of transition systems. In Proc. of CONCUR’99, LNCS Vol. 1664, Springer Verlag.

  • Fabre, E. 2002a. Compositional models of distributed and asynchronous dynamical systems. In Proc. of the 2002 IEEE Conf. on Decision and Control, Las Vegas, December, pp. 1–6.

  • Fabre, E. 2002b. Monitoring distributed systems with distributed algorithms. In Proc. of the 2002 IEEE Conf. on Decision and Control, Las Vegas, December, pp. 411–416.

  • Fabre, E. 2003. Convergence of the turbo algorithm for systems defined by local constraints. IRISA Res. Rep. 1510.

  • Fabre, E., Benveniste, A., and Jard, C. 2002. Distributed diagnosis for large discrete event dynamic systems. In Proc. of the IFAC Congress, July.

  • Fabre, E., Benveniste, A., Haar, S., and Jard, C. 2003. Distributed monitoring of concurrent and asynchronous systems. In R. Amadio and D. Lugiez (eds.), Proc. of 14th Int. Conf. on Concurrency Theory, CONCUR’ 2003, LNCS 2761, pp. 1–26.

  • Fabre, E., Benveniste, A., Haar, S., and Jard, C. 2004a. Distributed monitoring of concurrent and asynchronous systems. Extended version of this paper. IRISA Res. Rep. 1636, also INRIA Res. Rep. 4842, version 2, July.

  • Fabre, E., Benveniste, A., Haar, S., Jard, C., and Aghasaryan, A. 2004b. Algorithms for distributed fault management in telecommunications. In 2004 International Conference on Telecommunications, Fortalezza, Brasil, 2–7 August.

  • Genc, S., and Lafortune, S. 2003. Distributed diagnosis of discrete-event systems using Petri nets. In W. M. P. van der Aalst and E. Best (eds.), Proc. of ICATPN 2003, LNCS 2679, pp. 316–336.

  • Haar, S., Benveniste, A., Fabre, E., and Jard, C. 2003 . Partial order diagnosability of discrete event systems using Petri net unfoldings. In Proceedings of the 42nd Int. IEEE Conference on Decision and Control, Maui, 9–12 December.

  • Lamperti, G., and Zanella, M. 2003. Diagnosis of Active Systems, Kluwer Academic Publishers.

  • McMillan, K. 1992. Using Unfoldings to avoid the state explosion problem in the verification of asynchronous circuits. In 4th Workshop on Computer Aided Verification, pp. 164–174.

  • Nielsen, M., Plotkin, G., and Winskel, G. 1981. Petri nets, event structures, and domains. Part I. Theor. Comp. Sci. 13: 85–108.

    Google Scholar 

  • Pencolé, Y., Cordier, M-O., and Rozé, L. 2002. A decentralized model-based diagnostic tool for complex systems. In International Journal on Artificial Intelligence Tools. World Scientific Publishing Company, 11(3): 327–346.

  • Reisig, W. 1985. Petri Nets. Springer Verlag.

  • Sampath, M., Sengupta, R., Lafortune, S., Sinnamohideen, K., and Teneketzis, D. 1995. Diagnosability of discrete-event systems. IEEE Trans. Autom. Control 40(9): 1555–1575.

    Google Scholar 

  • Sampath, M., Sengupta, R., Sinnamohideen, K., Lafortune, S., and Teneketzis, D. 1996. Failure diagnosis using discrete event models. IEEE Trans. Syst. Technol. 4(2): 105–124, March.

    Google Scholar 

  • Su, R., Wonham, W.M., Kurien, J., and Koutsoukos, X. 2002. Distributed diagnosis for qualitative systems. In 6th International Workshop on Discrete Event Systems (WODES’02), Zaragoza, Spain, 2–4 October, pp. 169–174.

  • Su, R. 2004. Distributed Diagnosis for Discrete-Event Systems, Ph.D. Thesis, Department of Electrical and Computer Engineering, University of Toronto, June.

  • Vaandrager, F. 1989. A simple definition for parallel composition of prime event structures. CWI Report CS-R8903, March.

  • Winskel, G. 1982. Event structure semantics for CCS and related languages. In M. Nielsen, and M. Schmidt (eds.), Proceedings of ICALP 82, LNCS 140, pp. 561–576, Springer-Verlag. Extended version as DAIMI Research Report, University of Aarhus, 67 pp., April 1983.

  • Winskel, G. 1985. Categories of Models for Concurrency. Seminar on Concurrency, Carnegie-Mellon University, July 1984. LNCS 197: 246–267.

  • Winskel, G. 1987. Event structures. In W. Brauer, W. Reisig and G. Rozenbegr (eds.), Petri Nets: Applications and Relationships to Other Models of Concurrency. Advances in Petri Nets 1986, Part II, Springer-Verlag. LNCS 255: 325–392.

Download references

Author information

Authors and Affiliations

  1. Campus de Beaulieu, IRISA/INRIA, 35042, Rennes Cedex, France

    Eric Fabre, Albert Benveniste & Stefan Haar

  2. Campus de Ker-Lann, IRISA/ENS-Cachan, 35170, Bruz, France

    Claude Jard

Authors
  1. Eric Fabre
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Albert Benveniste
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Stefan Haar
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. Claude Jard
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Albert Benveniste.

Additional information

*This work was supported by the RNRT project MAGDA2, funded by the Ministère de la Recherche; other partners of the project are France Telecom R&D, Alcatel, Ilog, and Paris- Nord University.

Rights and permissions

Reprints and permissions

About this article

Cite this article

Fabre, E., Benveniste, A., Haar, S. et al. Distributed Monitoring of Concurrent and Asynchronous Systems*. Discrete Event Dyn Syst 15, 33–84 (2005). https://doi.org/10.1007/s10626-005-5238-5

Download citation

  • Issue Date:

  • DOI: https://doi.org/10.1007/s10626-005-5238-5

Keywords

Search

Navigation