Distributed diagnosis under global consistency

Proceedings of the IEEE Conference on Decision and Control

Volumn 1, Issue , 2004, Pages 525-530

  Su, R ^a   Wonham, W M ^a  

^a UNIVERSITY OF TORONTO   (Canada)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATIONAL COMPLEXITY; COMPUTER SIMULATION; CONSTRAINT THEORY; FUNCTIONS; MATHEMATICAL MODELS; MEDICAL IMAGING; PARAMETER ESTIMATION; SYNCHRONOUS MACHINERY;

BINARY RELATIONS; DIAGNOSERS; GLOBAL CONSISTENCY; NATURAL PROJECTIONS;

DISCRETE TIME CONTROL SYSTEMS;

EID: 14344254402     PISSN: 07431546     EISSN: 25762370     Source Type: Conference Proceeding    
DOI: 10.1109/cdc.2004.1428684     Document Type: Conference Paper

References (14)

1. A. Aghasaryaiu, E. Fabre, A. Benveniste, R. Boubour, and C. Jard. A Petri net approach to fault detection and diagnosis in distributed systems. In Proc. 1997 IEEE Conference on Decision and Control (CDC'97), pages 720-725, December 1997.
2. P. Baroni, C. Lamperti, P. Pogliano, and M. Zanella. Diagnosis of large active systems. Artificial Intelligence, 110(1):135-183, May 1999.
3. A. Benveniste, S. Haar, E. Fabre, and C. Jard. Distributed monitoring of concurrent and asynchronous systems. In Proc. ATPN-Workshop on Discrete Event Systems Control, pages 97-142, Eindhoven, The Netherlands, June 2003.
4. E. Fabre, A. Benveniste, and C. Jard. Distributed diagnosis for large discrete event dynamic systems. In Proc. 15th IFAC World Congress, Barcelona, Spain, July 2002.
5. Gianfranco Lamperti, Marina Zanella, and Paolo Pogliano. Diagnosis of active systems by automata-based reasoning techniques. Artificial Intelligence, 12(3):217-237, May 2000.
6. R. Mohr and T. Henderson. Arc and path consistency revisited. Artificial Intelligence, 28:225-233, 1986.
7. Gregory Provan. A model-based diagnosis framework for distributed systems. In Proc. of International Workshop on Principles of Diagnosis (DX'02), pages 16-25, Austria, May 2002.
8. R. Sengupta. Diagnosis and communication in distributed systems. In Proc. International Workshop on Discrete Event Systems (WODES'98), pages 144-151, IEE, London, August 1998.
9. R. Su, W.M. Wonham, J. Kurien, and X. Koutsoukos. Distributed diagnosis for qualitative systems. In Proc. 6th International Workshop on Discrete Event Systems (WODES'02), pages 169-174, Zaragoza, Spain, October 2002.
10. Rong Su. Distributed Diagnosis for Discrete-Event Systems. PhD Thesis, ECE Dept., Univ. of Toronto, URL:www.control.utoronto.ca/~surong/SR.zip, 2004.
11. Rainer Weigel and Boi Faltings. Compiling constraint satisfaction problems. Artificial Intelligence, 115(2):257-287, 1999.
12. K.C. Wong. On the complexity of projections of discrete-event systems. In Proc. International Workshop on Discrete Event Systems (WODES'98), pages 201-206, IEE, London, August 1998.
13. W. M. Wonham. Supervisory Control of Discrete-Event Systems. Systems Control Group, Dept. ECE, University of Toronto. URL: www.control.utoronto.ca/ DES.html, 2004.
14. Makoto Yokoo, Edmund H. Durfee, Toru Ishida, and Kazuhiro Kuwabara. The distributed constraint satisfaction problem: formalization and algorithms. IEEE Transactions on Knowledge and Data Engineering, 10(5):673-685, 1998.