Diagnosis of patterns in partially-observed discrete-event systems

Proceedings of the IEEE Conference on Decision and Control

Volumn , Issue , 2006, Pages 422-427

  Gene, Sahika ^a   Lafortune, Stéphane ^a  

^a UNIVERSITY OF MICHIGAN   (United States)

Author keywords

Discrete event systems; Fault diagnosis; Pattern matching; Verification

Indexed keywords

FORMAL LANGUAGES; PATTERN RECOGNITION; PROBLEM SOLVING;

PATTERN DIAGNOSABILITY;

DISCRETE EVENT SIMULATION;

EID: 39549108652     PISSN: 07431546     EISSN: 25762370     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (7)

1. S. Lafortune, D. Teneketzis, M. Sampath, R. Sengupta, and K. Sinnamo-hideen, "Failure diagnosis of dynamic systems: An approach based on discrete event systems," in Proc. 2001 American Control Conf., June 2001, pp. 2058-2071.
2. L. Me and C. Michel, "Intrusion detection: A bibliography," Supélec, Rennes, France, Tech. Rep. SSIR-2001-01, September 2001. [Online]. Available: citeseer.ist.psu.edu/484682.html
3. M. Sampath, R. Sengupta, S. Lafortune, K. Sinnamohideen, and D. Teneketzis, "Failure diagnosis using discrete event models," IEEE Trans. Control Systems Technology, vol. 4, no. 2, pp. 105-124, Mar. 1996.
4. T. Jeron, H. Marchand, S. Pinchinat, and M. Cordier, "Supervision patterns in discrete event systems diagnosis," in Proceedings of the 8th International Workshop on Discrete-Event Systems, 2006.
5. S. Gene, "On diagnosis and predictability of partially-observed discrete-event systems. Ph.D. Thesis. University of Michigan, Electrical Engineering: Systems," Apr. 2006.
6. C. G. Cassandras and S. Lafortune, Introduction to Discrete Event Systems. Kluwer Academic Publishers, 1999.
7. S. T. King and P. M. Chen, "Backtracking intrusions." ACM Trans. Comput. Syst., vol. 23, no. 1, pp. 51-76, Feb. 2005.