Assistance for the design of a diagnosable component-based system

Proceedings - International Conference on Tools with Artificial Intelligence, ICTAI

Volumn 2005, Issue , 2005, Pages 549-556

  Pencolé, Yannick ^a  

^a AUSTRALIAN NATIONAL UNIVERSITY   (Australia)

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMS; DECENTRALIZED CONTROL; MATHEMATICAL MODELS;

COMPONENT-BASED SYSTEM; MODEL-BASED REASONING;

INFORMATION RETRIEVAL SYSTEMS;

EID: 33845887957     PISSN: 10823409     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ICTAI.2005.41     Document Type: Conference Paper

References (14)

1. A. Cimatti, C. Pecheur, and R. Cavada. Formal verifi cation of diagnosability via symbolic model checking. In Proc. IJCAI'03, Acapulco, Mexico, 2003.
2. E. M. Clarke, O. Grumberg, and D. Peled. Model Checking. MIT Press, 1999.
3. L. Console, C. Picardi, and M. Ribaudo. Diagnosis and diagnosibility analysis using pepa. In Proc. ECAI'2000, pages 131-135, Germany, 2000.
4. L. Console, C. Picardi, and M. Ribaudo. Process algebra for systems diagnosis. Artifi cial Intelligence, 142:19-51, November 2002.
5. R. Debouk, S. Lafortune, and D. Teneketzis. Coordinated decentralized protocols for failure diagnosis of discrete event systems. JDEDS: Theory and Application, 10(1-2):33-86, 2002.
6. E. Fabre, A. Benveniste, S. Haar, and C. Jard. Distributed monitoring of concurrent and asynchronous systems. Journal of Discrete Event Dynamic Systems, 15:33-83, March 2005.
7. C. Jard and T. Jéron. Tgv: theory, principles and algorithms, a tool for the automatic synthesis of conformance test cases for non-deterministic reactive systems. Software Tools for Technology Transfer (STTT), 6, October 2004.
8. S. Jiang, Z. Huang, V. Chandra, and R. Kumar. A polynomial time algorithm for diagnosability of discrete event systems. IEEE Transactions on Automatic Control, 46(8): 1318-1321, 2001.
9. G. Lamperti and M. Zanella. Diagnosis of active systems. Kluwer Academic Publishers, 2003.
10. Y. Pencolé. Diagnosability analysis of distributed discrete event systems. In Proc. ECAI'04, pages 43-47, 2004.
11. Y. Pencolé and M.-O. Cordier. A formal framework for the decentralised diagnosis of large scale discrete event systems and its application to telecommunication networks. Artificial Intelligence, 164:121-170, May 2005.
12. L. Rozé and M.-O. Cordier. Diagnosing discrete-event systems: extending the 'diagnoser approach" to deal with telecommunication networks. JDEDS, 12(1):43-81, 2002.
13. M. Sampath, R. Sengupta, S. Lafortune, K. Sinnamohideen, and D. Teneketzis. Diagnosability of discrete event system. IEEE Trans. on Automatic Control, 40(9): 1555-1575, 1995.
14. T. Yoo and S. Lafortune. Polynomial-time verification of diagnosability of partially-observed discrete-event systems. IEEE Trans, of Automatic Control, 47(9):1491-1495, 2002.