Modeling discrete event systems with faults using a rules-based modeling formalism

Mathematical and Computer Modelling of Dynamical Systems

Volumn 9, Issue 3, 2003, Pages 233-254

  Huang, Z ^a   Chandra, V ^b   Jiang, S ^c   Kumar, R ^d  

^a UNIVERSITY OF KENTUCKY   (United States)

^b EASTERN KENTUCKY UNIVERSITY   (United States)

^c GENERAL MOTORS CORPORATION   (United States)

^d Iowa State University   (United States)

Author keywords

Automata models; Delay fault; Discrete event systems; Intermittent fault; Rules based model; Stuck signal fault; System fault

Indexed keywords

AUTOMATA MODELS; DELAY-FAULT; INTERMITTENT-FAULT; RULES BASED; SYSTEM-FAULT;

FINITE AUTOMATA; OPTICAL VARIABLES MEASUREMENT; REAL TIME SYSTEMS;

DISCRETE EVENT SIMULATION;

FAULT DIAGNOSIS; MATHEMATICAL MODELING;

EID: 0742267628     PISSN: 13873954     EISSN: None     Source Type: Journal    
DOI: 10.1076/mcmd.9.3.233.24147     Document Type: Article

References (14)

1. Perrow, C.: Normal Accidents Living with High Risk Technologies. Basic Books Inc., New York, 1984.
2. Ramadge, P.J. and Wonham, W.M.: Supervisory Control of a Class of Discrete Event Processes. SIAM J. Control. Optim. 25(1) (1987), pp. 206-230.
3. Chen, Y.L. and Provan, G.: Modeling and Diagnosis of Timed Discrete Event Systems - a Factory Automation Example. In: Proceedings of the American Control Conference, Albuquerque, New Mexico, June 1997, pp. 31-36.
4. Holloway, L.E. and Chand, S.: Time templates for discrete event fault monitoring in manufacturing systems. In: Proceedings of the American Control Conference, December 1994, pp. 701-706.
5. Lin, F.: Diagnosability of Discrete Event Systems and its Applications. Discrete Event Dynamic Systems: Theory and Applications 4(1) (1994), pp. 197-212.
6. Sampath, M., Sengupta, R., Lafortune, S., Sinaamohideen, K. and Teneketzis, D.: Diagonsability of discrete event systems. IEEE Trans. Automatic Con. 40(9) (1995), pp. 1555-1575.
7. Zad, S.H., Kwong, R.H. and Wonham, W.M.: Fault diagnosis in timed discrete-event systems. In: Proceedings of the 1999 IEEE Conference on Decision and Control, Phoenix, AZ, 1999, pp. 1756-1761.
8. Bavishi, S. and Chong, E.: Automated Fault Diagnosis Using a Discrete Event Systems Framework. In: Proceedings of 1994 IEEE International Symposium on Intelligent Control, 1998, pp. 213-218.
9. Sampath, M., Sengupta, R., Lafortune, S., Sinaamohideen, K. and Teneketzis, D.: Failure Diagnosis Using Discrete Event Models. Technical Report, Department of Electrical Engineering and Computer Science, The University of Michigan, Ann Arbor, USA, May 1994.
10. Sampath, M.: A Discrete Event Systems Approach to Failure Diagnosis. PhD Thesis, Departement of Electrical Engineering and Computer Science, University of Michigan, Ann Arbor, MI, 1995.
11. Chandra, V. and Kumar, R.: A Event Occurrence Rules Based Compact Modeling Formalism for a class of Discrete Event Systems. Math. Comput. Model. Dyn. Syst. 8(1) (2002), pp. 49-73.
12. Grégoire, E. and Ansart, D.: Detection of the Main Failure in Complex Critical Systems. In: DISCRETE EVENT SYSTEMS Analysis and Control. Kluwer Academic Publishers, Boston, MA, 2000, pp. 363-370.
13. Aveyard, R.L.: A Boolean Model for a Class of Discrete event systems. IEEE Trans. Syst. Man. Cybernet. 4 (1974), pp. 249-258.
14. Hoare, C.A.R.: Communicating Sequential Processes. Prentice-Hall, Englewood Cliffs, NJ, 1985.