Computation of diagnosable fault-occurrence indices for systems with repeatable-faults

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

Volumn 2005, Issue , 2005, Pages 6311-6316

  Zhou, Changyan ^a   Kumar, Ratnesh ^a  

^a Iowa State University of Science and Technology   (United States)

Author keywords

Discrete event systems; Failure diagnosis; Repeated failures

Indexed keywords

DISCRETE EVENT SYSTEMS; FAILURE DIAGNOSIS; REPEATED FAILURES;

COMPUTATION THEORY; COMPUTATIONAL METHODS; CONTROL SYSTEM ANALYSIS; FAULT TOLERANT COMPUTER SYSTEMS;

DISCRETE TIME CONTROL SYSTEMS;

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

References (11)

1. S. R. Das and L. E. Holloway. Characterizing a confidence space for discrete event timings for fault monitoring using discrete sensing and actuation signals. IEEE Transactions on Systems, Man, and Cybernetics-Part A: Systems and Humans, 30(1):52-66, 2000.
2. A. V. Goldberg. Scaling algorithms for the shortest paths problem. SIAM Journal on Computing, 24:494-504, 1995.
3. S. Jiang and R. Kumar. Diagnosis of repeated failures for discrete event systems with linear-time temporal logic specifications. In Proceedings of IEEE Conference on Decision and Control, pages 3221-3226, Maui, Hawaii, 2003.
4. S. Jiang and R. Kumar. Failure diagnosis of discrete event systems with linear-time temporal logic fault specifications. IEEE Transactions on Automatic Control, 49(6):934-945, 2004.
5. S. Jiang, R. Kumar, and H. E. Garcia. Diagnosis of repeated/intermittent failures in discrete event systems. IEEE Transactions on Automatic Control, 19(2):310-323, 2003.
6. P. F. Stadler P. M. Gleiss, J. Leydold. Circuit bases of strongly connected digraphs. Discussiones Mathematicae Graph Theory, 23(2):241-260, 2003.
7. R.C. Read and R.E. Tiirjan. Bounds on backtrack algorithms for listing cycles, paths, and spanning trees. Networks, 5:357-372, 1975.
8. M. Sampath and S. Lafortune. Active diagnosis of discrete event systems. IEEE Transactions on Automatic Control, 43(7):908-929, 1998.
9. M. Sampath, R. Sengupta, S. Lafortune, K. Sinaamohideen, and D. Teneketzis. Diagnosability of discrete event systems. IEEE Transactions on Automatic Control, 40(9): 1555-1575, September 1995.
10. Herbert Weinblatt. A new search algorithm for finding the simple cycles of a finite directed graph. Journal of the ACM, 19(1):43-56, 1972.
11. T. Yoo and H. E. Garcia. Event diagnosis of discrete-event systems with uniformly and nonuniformly bounded diagnosis delays. In Proceedings of 2004 American Control Conference, pages 5102-5107, Boston, MA, June 2004.