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

Proceedings of the IEEE Conference on Decision and Control

Volumn 4, Issue , 2002, Pages 4012-4017

  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 Dept of Development ^*  (United States)

^d Iowa State University   (United States)

Author keywords

Automata models; Delay fault; Discrete event system; Stuck signal fault

Indexed keywords

AUTOMATA THEORY; FAILURE ANALYSIS; LARGE SCALE SYSTEMS; MATHEMATICAL MODELS; REAL TIME SYSTEMS; SET THEORY;

AUTOMATA MODELS; DELAY FAULT; DISCRETE EVENT SYSTEMS;

DISCRETE TIME CONTROL SYSTEMS;

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

References (8)

1. V. Chandra and R. Kumar. A event occurrence rules based compact modeling formalism for a class of discrete event systems. Mathematical and Computer Modeling of Dynamical Systems, 2001. Accepted.
2. Y. L. Chen and G. Provan. Modeling and diagnosis of timed discrete event systems-a factory automation example. In Proceedings of the American Control Conference, pages 31-36, Albuquerque, NM, 1997.
3. É. Grégoire and D. Ansart. Detection of the main failure in complex critical systems. In Discrete Event Systems Analysis and Control, pages 363-370. Kluwer Academic Publishers, Boston, MA, 2000.
4. L. E. Holloway and S. Chand, Time templates for discrete event fault monitoring in manufacturing systems. In Proceedings of the American Control Conference, pages 701-706, 1994.
5. F. Lin. Diagnosability of discrete event systems and its applications. Discrete Event Dynamic Systems: Theory and Applications, 4(1):197-212, 1994.
6. P. J. Ramadge and W. M. Wonham. Supervisory control of a class of discrete event processes. SIAM Journal of Control and Optimization, 25(1):206-230, 1987.
7. M. Sampath, R. Sengupta, S. Lafortune, K. Sinaamohideen, and D. Teneketzis. Diagnosability of discrete event systems. IEEE Transactions on Automatic Control, 40(9):1555-1575, September 1995.
8. S. H. Zad, R. H. Kwong, and W. M. Wonham. Fault diagnosis in timed discrete-event systems. In 1999 IEEE Conference on Decision and Control, pages 1756-61, Phoenix, AZ, 1999.