Diagnosis of delay-deadline failures in real time discrete event models

ISA Transactions

Volumn 46, Issue 4, 2007, Pages 569-582

  Biswas, Santosh ^a   Sarkar, Dipankar ^a   Bhowal, Prodip ^a   Mukhopadhyay, Siddhartha ^a  

^a INDIAN INSTITUTE OF TECHNOLOGY   (India)

Author keywords

Discrete event systems; Failure detection and diagnosis; Real time systems

Indexed keywords

DISCRETE EVENT SIMULATION; FINITE AUTOMATA; MATHEMATICAL MODELS; REAL TIME SYSTEMS;

EQUIVALENCE OF STATES; FAILURE DETECTION AND DIAGNOSIS; REAL TIME DISCRETE EVENT SYSTEM (RTDES); TIMING FAULTS;

FAILURE ANALYSIS;

EID: 34548040741     PISSN: 00190578     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.isatra.2007.03.002     Document Type: Article

References (17)

1. Lafortune S., Teneketzis D., Sampath M., Sengupta R., and Sinnamohideen K. Failure diagnosis of dynamic systems: An approach based on discrete event systems. Amer Control Conf (2001) 2058-2071
2. Jiang S, Kumar R, Garcia H. Diagnosis of repeated failures in discrete event systems. In: Proc. 41st IEEE conf. decision and control. 2002. p. 4000-5
3. Sampath M., Lafortune S., and Teneketzis D. Active diagnosis of discrete-event systems. IEEE Trans Automat Control 43 7 (1998) 908-929
4. Pandalai D., and Holloway L. Template languages for fault monitoring of discrete event processes. IEEE Trans Automat Control 45 5 (2000) 868-882
5. Lin F. Diagnosability of discrete event systems and its application. Discrete Event Dyn Syst 4 2 (1994) 197-212
6. Jiang S, Kumar R. Failure diagnosis of discrete event systems with linear-time temporal logic fault specifications. In: Proc. 2002 Amer. control conf. 2002. p. 128-33
7. Bavishi S., and Chong E. Automated fault diagnosis using a discrete event systems framework. IEEE Int Symp Intelligent Control (1994) 213-218
8. Debouk R. Failure diagnosis of decentralized discrete event systems. Ph.D. dissertation. Ann Arbor (MI): Elec. Eng. Comp. Sci. Dept., University of Michigan; 2000
9. Lamperti G, Zanella M. Diagnosis of discrete event systems integrating synchronous and asynchronous behavior. In: 9th Int. workshop on principles of diagnosis. 1999. p. 129-39
10. Provan G, Chen Y-L. Diagnosis of timed discrete event systems using temporal causal networks: Modeling and analysis. In: Int. workshop on discrete event systems. 1998. p. 152-4
11. Sampath M., Sengupta R., Lafortune S., Sinnamohideen K., and Teneketzis D.C. Diagnosability of discrete-event systems. IEEE Trans Automat Control 40 9 (1995) 1555-1575
12. Sampath M., Sengupta R., Lafortune S., Sinnamohideen K., and Teneketzis D.C. Failure diagnosis using discrete-event models. IEEE Trans Control Syst Technol 4 2 (1996) 105-124
13. Zad S.H., Kwong R.H., and Wonham W.M. Fault diagnosis in discrete-event systems: Framework and model reduction. IEEE Trans Automat Control 48 7 (2003) 1199-1212
14. Thorsley D., and Teneketzis D. Diagnosability of stochastic discrete-event systems. IEEE Trans Automat Control 50 4 (2005) 476-492
15. Ostroff J.S. Deciding properties of timed transition models. IEEE Trans Parallel and Distrib Syst 1 2 (1990) 170-183
16. Ostroff J.S., and Wonham W.M. A framework for real-time discrete event control. IEEE Trans Automat Control 35 4 (1990) 386-397
17. Jiang S., Huang Z., Chandra V., and Kumar R. A polynomial algorithm for testing diagnosability of discrete-event systems. IEEE Trans Automat Control 46 (2001) 1318-1321