New results on discrete-event counting under reliable and unreliable observation information

2005 IEEE Networking, Sensing and Control, ICNSC2005 - Proceedings

Volumn 2005, Issue , 2005, Pages 688-693

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

^a IEEE

^b ARGONNE NATIONAL LABORATORY   (United States)

^c IDAHO NATIONAL LABORATORY   (United States)

Author keywords

And fusion; Discrete event systems; Fault detection; Information systems; Integration; Networked sensor design; Unreliable sensor accommodation

Indexed keywords

DISCRETE-EVENT SYSTEMS; FAULT DETECTION; INFORMATION SYSTEMS; NETWORKED SENSOR DESIGN; UNRELIABLE SENSOR ACCOMMODATION;

ALGORITHMS; FAILURE ANALYSIS; INTEGRATION; ONLINE SYSTEMS; POLYNOMIAL APPROXIMATION; SENSOR DATA FUSION; SPACE TIME ADAPTIVE PROCESSING;

DISCRETE TIME CONTROL SYSTEMS;

EID: 33745148695     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (15)

1. H. E. Garcia and T. Yoo, "Model-based detection of routing events in discrete flow networks," Automatica, in print.
2. _, "An optimization tool for designing objective-driven, model-based diagnosis/supervision of discrete event systems," in Proc. 2004 Allerton Conference, Urbana, IL, 2004.
3. _, "Option: a software package to design and implement optimzied safeguards sensor configurations," in Proc. 45th INMM Annual Meeting, Orlando, FL, 2004, pp. 18-22.
4. _, "A methodology for detecting routing events in discrete flow networks," in Proc. 2004 Ameri. Contr. Conf., 2004.
5. O. Contant, S. Lafortune, and D. Teneketzis, "Diagnosis of intermittent faults," Discrete Event Dynamic Systems: Theory and Applications, vol. 14, no. 2, pp. 171-202, 2004.
6. S. Jiang, R. Kumar, and H. E. Garcia, "Diagnosis of repeated/intermittent failures in discrete event systems," IEEE Trans. on Robotics and Automation, vol. 19, no. 2, pp. 310-323, 2003.
7. S. Jiang and R. Kumar, "Failure diagnosis of discrete event systems with linear-time temporal logic fault specifications," in Proc. 2002 Ameri. Contr. Conf., 2002.
8. M. Sampath, R. Sengupta, S. Lafortune, K. Sinnamohideen, and D. Teneketzis, "Diagnosability of discrete event systems," IEEE Trans. on Automat. Contr., vol. 40, no. 9, pp. 1555-1575, September 1995.
9. T. Yoo and S. Lafortune, "Polynomial time verification of diagnosability of partially-observed discrete-event systems," IEEE Trans. Automat. Contr., vol. 47, no. 9, pp. 1491-1495, 2002.
10. _, "NP-completeness of sensor selection problems arising in partially-observed discrete-event systems," IEEE Trans. Automat. Contr., vol. 47, no. 9, pp. 1495-1499, 2002.
11. S. Jiang, Z. Huang, V. Chandra, and R. Kumar, "A polynomial time algorithm for diagnosability of discrete event systems," IEEE Trans. Automat. Contr, vol. 46, no. 8, pp. 1318-1321, August 2001.
12. A. Benveniste, S. Haar, E. Fabre, and C. Jard, "Distributed monitoring of concurrent and asynchronous systems," in Proc. CONCUR'2003, 2003.
13. T. Yoo and H. E. Garcia, "Event diagnosis of discrete-event systems with uniformly and nonuniformly bounded diagnosis delays," in Proc. 2004 Ameri. Contr. Conf., 2004.
14. C. G. Cassandras and S. Lafortune, Introduction to Discrete Event Systems. Kluwer Academic Publishers, 1999.
15. T. H. Cormen, C. É. Leiserson, and R. L. Rivest, Introduction to Algorithms. The MIT Press, 1990.