Template languages for fault monitoring of timed discrete event processes

IEEE Transactions on Automatic Control

Volumn 45, Issue 5, 2000, Pages 868-882

  Pandalai, Deepa N ^b   Holloway, Larry E ^a,c  

^a IEEE   (United States)

^b MOTOROLA INC   (United States)

^c UNIVERSITY OF KENTUCKY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

CONDITION TEMPLATES; ONLINE FAULT MONITORING; SINGLE FINITE STATE PROCESS; TEMPLATE LANGUAGES; TIMED DISCRETE EVENT PROCESSES;

FAILURE ANALYSIS; FINITE AUTOMATA; FORMAL LANGUAGES; MATHEMATICAL MODELS; ONLINE SYSTEMS; TIME VARYING SYSTEMS;

DISCRETE TIME CONTROL SYSTEMS;

EID: 0034186976     PISSN: 00189286     EISSN: None     Source Type: Journal    
DOI: 10.1109/9.855548     Document Type: Article

References (16)

1. E. Y. Chow and A. S. Willsky, "Analytical redundancy and the design of robust failure detection systems," IEEE Trans. Automat. Contr., vol. AC-29, pp. 603-614, July 1984.
2. L. E. Holloway and B. H. Krogh, "Fault detection and diagnosis in manufacturing systems: A behavioral model approach," in Proc. 2nd Int. Conf. Computer Integrated Manufacturing, Troy, NY, May 1990, pp. 252-259.
3. P. Dersin and J. Florine, "Firmware transitional logic for on-line monitoring and control," in Proc. IEEE Conf. Decision and Control, Athens, Greece, Dec. 1986.
4. R. Valette, J. Cardoso, and D. Dubois, "Monitoring manufacturing systems by means of Petri nets with imprecise markings," in Proc. IEEE Conf. Intelligent Control, Albany, NY, Sept. 1989, pp. 233-238.
5. L. E. Holloway and S. Chand, "Time templates for discrete event fault monitoring in manufacturing systems," in Proc. 1994 American Control Conf., Baltimore, MD, June 1994, pp. 701-706.
6. _, "Distributed fault monitoring in manufacturing systems using concurrent discrete-event observations," Integrated Computer-Aided Eng., vol. 3, no. 4, Oct. 1996.
7. M. Sampath, R. Sungupta, S. Lafortune, K. Sinnamohideen, and D. Teneketzis, "Diagnosability of discrete event systems," in Proc. 11th Int. Conf. Analysis Optimization of Systems: Discrete Event Systems, Sophia-Antipolis, France, June 1994.
8. Y.-L. Chen and G. Provan, "Modeling and diagnosis of timed discrete event systems - A factory automation example," in Proc. 1997 American Control Conf., Albuquerque, NM, June 1997.
9. Y. Park and E. K. P. Chong, "Fault detection and identification in communication networks: a discrete event systems approach," in Proc. 33rd Annual Allerton Conf. Communication, Control, and Computing, University of Illinois, Monticello, IL, Oct. 1995, pp. 126-135.
10. C. M. Ozveren and A. S. Willsky, "Observability of discrete event dynamic systems," IEEE Trans. Automat. Contr., vol. 35, pp. 797-806, July 1990.
11. V. S. Srinivasan and M. A. Jafari, "Fault detection/monitoring using time Petri nets," IEEE Trans. Syst., Man, Cybern., vol. 23, July/Aug. 1993.
12. D. Pandalai, "Condition templates: Improved template model for fault monitoring in discrete event manufacturing systems," M.S. thesis, Dept. of Elect. Eng., Univ. of Kentucky, Aug. 1996.
13. S. R. Das and L. E. Holloway, "Characterizing a confudence space for discrete event timing for fault montoring using discrete sensing and achitation signals," IEEE Trans. Syst., Man., Cybern. A, to be published.
14. G. Alefeld and J. Herzberger, Introduction to Interval Arithmetic. New York: Academic, 1983.
15. R. Alur and D. Dill, "The theory of timed automata," in Real-Time: Theory in Practice, J. W. de Bakker, C. Huizing, W. P. de Roever, and G. Rozenberg, Eds. New York: Springer-Verlag, 1992, vol. 600, Lecture Notes in Computer Science.
16. M. Heymann, "Concurrency and discrete event control," IEEE Contr. Syst. Mag., vol. 10, pp. 103-112, June 1990.