Event counting of partially-observed discrete-event systems with uniformly and nonuniformly bounded diagnosis delays

Discrete Event Dynamic Systems: Theory and Applications

Volumn 19, Issue 2, 2009, Pages 167-187

  Yoo, Tae Sic ^a   Garcia, Humberto E ^a  

^a IDAHO NATIONAL LABORATORY   (United States)

Author keywords

Computational complexity; Discrete event systems; Fault diagnosis; Repeated intermittent faults

Indexed keywords

DELAY BOUNDS; DIAGNOSABILITY; DIAGNOSABILITY NOTIONS; DISCRETE-EVENT SYSTEMS; FAULT DIAGNOSIS; FAULT EVENTS; MODEL-BASED MONITORING; NON-UNIFORM; POLYNOMIAL-TIME; REPEATED/INTERMITTENT FAULTS; TIME AND SPACES; UNIFORMLY BOUNDED; VERIFICATION ALGORITHMS; VERIFICATION TECHNIQUES;

ALGORITHMS;

COMPUTATIONAL COMPLEXITY;

EID: 64249163149     PISSN: 09246703     EISSN: None     Source Type: Journal    
DOI: 10.1007/s10626-008-0056-1     Document Type: Article

References (22)

1. P Baroni G Lamperti P Pogliano M Zanella 1999 Diagnosis of large active systems Artif Intell 110 1 135 183
2. Cassandras CG, Lafortune S (1999) Introduction to discrete event systems. Kluwer, Dordrecht
3. BV Cherkassky AV Goldberg T Radzik 1996 Shortest-paths algorithms: Theory and experimental evaluation Math Program 73 2 129 174
4. O Contant S Lafortune D Teneketzis 2004 Diagnosis of intermittent faults Discret Event Dyn Syst Theor Appl 14 2 171 202
5. Cormen TH, Leiserson CE, Rivest RL (1990) Introduction to algorithms. MIT, Cambridge
6. E Fabre A Benveniste S Haar C Jard 2005 Distributed monitoring of concurrent and asynchronous systems Discret Event Dyn Syst Theor Appl 15 1 33 84
7. Garcia HE, Lineberry MJ, Aumeier SE, McFarlane HF (2001) Proliferation resistance of advanced sustainable nuclear fuel cycles. In: Proc global 2001, Paris, 9-13 September 2001
8. Garcia HE, Yoo T (2003) Methodology to optimize and integrate safeguards sensor configurations and measurements in large nuclear processing facilities. In: Proc institute of nuclear material management (INMM) annual meeting, Phoenix, 13-17 July 2003
9. HE Garcia T Yoo 2005 Model-based detection of routing events in discrete flow networks Automatica 4 41 583 594
10. AV Goldberg 1995 Scaling algorithms for the shortest paths problem SIAM J Comput 24 494 504
11. A Haji-Valizadeh K Loparo 1996 Minimizing the cardinality of an events set for supervisors of discrete-event dynamical systems IEEE Trans Automat Contr 41 11 1579 1593
12. S Jiang Z Huang V Chandra R Kumar 2001 A polynomial time algorithm for diagnosability of discrete event systems IEEE Trans Automat Contr 46 8 1318 1321
13. S Jiang R Kumar HE Garcia 2003 Diagnosis of repeated/intermittent failures in discrete-event systems IEEE Trans Robot Appl 19 2 310 323
14. S Jiang R Kumar HE Garcia 2003 Optimal sensor selection for discrete event systems under partial observation IEEE Trans Automat Contr 48 3 369 381
15. J Lunze 2000 Diagnosis of quantized systems based on timed discrete-event model IEEE Trans Syst Man Cybern Part A Syst Humans 30 3 322 335
16. Y Pencolé M-O Cordier 2005 A formal framework for the decentralised diagnosis of large scale discrete event systems and its application to telecommunication networks Artif Intell 110 1 135 183
17. M Sampath S Lafortune D Teneketzis 1998 Active diagnosis of discrete event systems IEEE Trans Automat Contr 43 7 908 929
18. M Sampath R Sengupta S Lafortune K Sinnamohideen D Teneketzis 1995 Diagnosability of discrete event systems IEEE Trans Automat Contr 40 9 1555 1575
19. Yoo T, Garcia HE (2004) Event diagnosis of discrete-event systems with uniformly and nonuniformly bounded diagnosis delays. In: Proc 2004 American control conference, vol. 30(6), Boston, June 2004, pp 5102-5107
20. T Yoo S Lafortune 2002 NP-completeness of sensor selection problems arising in partially-observed discrete-event systems IEEE Trans Automat Contr 47 9 1495 1499
21. T Yoo S Lafortune 2002 Polynomial time verification of diagnosability of partially-observed discrete-event systems IEEE Trans Automat Contr 47 9 1491 1495
22. Zad SH (1999) Fault diagnosis in discrete-event and hybrid systems. PhD Thesis, Dept. of Electrical and Computer Engineering, Univ of Toronto