Distributed diagnosis based on trellis processes

Proceedings of the 44th IEEE Conference on Decision and Control, and the European Control Conference, CDC-ECC '05

Volumn 2005, Issue , 2005, Pages 6329-6334

  Fabre, Eric ^a  

^a CAMPUS DE BEAULIEU   (France)

Author keywords

Concurrency; Distributed system; Message passing algorithm; Modular distributed diagnosis; Trellis

Indexed keywords

ALGORITHMS; CONCURRENCY CONTROL; DATA STRUCTURES; DIAGNOSIS; ONE DIMENSIONAL; STATE ESTIMATION; STATE SPACE METHODS; TRAJECTORIES; TRELLIS CODES;

COMBINATORIAL EXPLOSION; CONCURRENCY SEMANTICS; DISTRIBUTED DIAGNOSIS; MESSAGE PASSING ALGORITHM;

DISTRIBUTED COMPUTER SYSTEMS;

EID: 33847225525     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/CDC.2005.1583176     Document Type: Conference Paper

References (26)

1. S. Mac Lane, Categories for the Working Mathematician, Springer-Verlag, 1971.
2. W. Reisig, Petri Nets, Springer Verlag, 1985.
3. G. Winskel, Categories of models for concurrency, Seminar on Concurrency, Carnegie-Mellon Univ. (July 1984), LNCS 197, pp. 246-267, 1985.
4. G. Winskel, Petri Nets, Algebras, Morphisms, and Compositionality, Information and Computation, no. 72, pp. 197-238, 1997.
5. J. Esparza, Model checking using net unfoldings, Science of Computer Programming 23, pp. 151-195, 1994.
6. J. Esparza, C. Schröter, Reachability Analysis Using Net Unfoldings, Workshop of Concurrency, Specification and Programming, volume II of Informatik-Bericht 140, pp. 255-270, Humboldt-Universität zu Berlin, 2000.
7. S. Melzer, S. Römer, Deadlock checking using net unfoldings, CAV'97, LNCS 1254, pp. 352-363, 1997.
8. K.L. McMillan, Using unfoldings to avoid the state explosion problem in the verification of asynchronous circuits, in Proc. 4th Workshop of Computer Aided Verification, Montreal, 1992, pp. 164-174.
9. P. Baroni, G. Lamperti, P. Pogliano, M. Zanella, Diagnosis of Large Active Systems, Artificial Intell. 110, pp. 135-183, 1999.
10. R.K. Boel, J.H. van Schuppen, Decentralized Failure Diagnosis for Discrete Event Systems with Costly Communication between Diagnosers, in proc. 6th Int. Workshop on Discrete Event Systems, WODES'02, pp. 175-181, 2002.
11. R.K. Boel, G. Jiroveanu, Distributed Contextual Diagnosis for very Large Systems, in proc. of WODES'04, pp. 343-348, 2004.
12. R. Debouk, S. Lafortune, D. Teneketzis, Coordinated decentralized protocols for failure diagnosis of discrete event systems, Discrete Event Dynamic Systems: theory and applications, vol. 10(1/2), pp. 33-86, 2000.
13. O. Contant, S. Lafortune, Diagnosis of Modular Discrete Event Systems, in proc. of WODES'04, pp. 337-342, 2004
14. S. Gene, S. Lafortune, Distributed Diagnosis Of Discrete-Event Systems Using Petri Nets, in proc. 24th Int. Conf. on Applications and Theory of Petri Nets, LNCS 2679, pp. 316-336, June, 2003.
15. T. Yoo, S. Lafortune, A General Architecture for Decentralized Supervisory Control of Discrete-Event Systems, Discrete Event Dynamic Systems: Theory and Applications, vol. 12(3), pp. 335-377, July, 2002.
16. M. Sampath, R. Sengupta, S. Lafortune, K. Sinnamohideen, D. Teneketzis, Diagnosability of Discrete-event systems, IEEE Trans. Autom. Control, vol. 40(9), pp. 1555-1575, 1995.
17. M. Sampath, R. Sengupta, K. Sinnamohideen, S. Lafortune, D. Teneketzis, Failure diagnosis using discrete event models, IEEE Trans. on Systems Technology, vol. 4(2), pp. 105-124, March 1996.
18. R. Su, W.M. Wonham, J. Kurien, X. Koutsoukos, Distributed Diagnosis for Qualitative Systems, in proc. 6th Int. Workshop on Discrete Event Systems, WODES'02, pp. 169-174, 2002.
19. R. Su, Distributed Diagnosis for Discrete-Event Systems, PhD thesis, Dept. of Elec. and Comp. Eng., Univ. of Toronto, June 2004.
20. Y. Pencole, M-O. Cordier, L. Roze, A decentralized model-based diagnostic tool for complex systems. Int. J. on Artif. Intel. Tools, World Scientific Publishing Comp., vol. 11(3), pp. 327-346, 2002.
21. A. Benveniste, E. Fabre, S. Haar, C. Jard, Diagnosis of asynchronous discrete event systems, a net unfolding approach, IEEE Trans. on Automatic Control, vol. 48, no. 5, pp. 714-727, May 2003.
22. E. Fabre, Factorization of Unfoldings for Distributed Tile Systems, Part 1: Limited Interaction Case, INRIA research report no. RR-4829, April 2003.
23. E. Fabre, Factorization of Unfoldings for Distributed Tile Systems, Part 2: General Case, INRTA research report no. RR-5186, May 2004.
24. E. Fabre, A. Benveniste, S. Haar, C. Jard, Distributed Monitoring of Concurrent and Asynchronous Systems, Journal of Discrete Event Systems, special issue, to appear in March 2005.
25. E. Fabre, Convergence of the turbo algorithm for systems defined by local constraints, INRIA research report no. RR-4860, May 2003.
26. E. Fabre, Trellis processes: a compact representation for runs of concurrent systems, INRIA research report, no. RR-5554, March 2005.