Abstract
The diagnosis of “intermittent” faults in dynamic systems modeled as discrete event systems is considered. In many systems, faulty behavior often occurs intermittently, with fault events followed by corresponding “reset” events for these faults, followed by new occurrences of fault events, and so forth. Since these events are usually unobservable, it is necessary to develop diagnostic methodologies for intermittent faults. Prior methodologies for detection and isolation of permanent faults are no longer adequate in the context of intermittent faults, since they do not account explicitly for the dynamic behavior of these faults. This paper addresses this issue by: (i) proposing a modeling methodology for discrete event systems with intermittent faults; (ii) introducing new notions of diagnosability associated with fault and reset events; and (iii) developing necessary and sufficient conditions, in terms of the system model and the set of observable events, for these notions of diagnosability. The definitions of diagnosability are complementary and capture desired objectives regarding the detection and identification of faults, resets, and the current system status (namely, is the fault present or absent). The associated necessary and sufficient conditions are based upon the technique of “diagnosers” introduced in earlier work, albeit the structure of the diagnosers needs to be enhanced to capture the dynamic nature of faults in the system model. The diagnosability conditions are verifiable in polynomial time in the number of states of the diagnosers.
This is a preview of subscription content, log in via an institution to check access.
Similar content being viewed by others
References
Aghasaryan, A., Fabre, E., Benveniste, A., Boubour, R., and Jard, C. 1998. Fault detection and diagnosis in distributed systems: An approach by partially stochastic Petri nets. Discrete Event Dynamic Systems: Theory and Applications 8(2): 203–231.
Benveniste, A., Fabre, E., Haar, S., and Jard, C. 2003. Diagnosis of asynchronous discrete event systems, a net unfolding approach. IEEE Trans. Automatic Control 48(5): 714–727.
Bouloutas, A. T. 1990. Modeling fault management in communication networks. Ph.D. thesis, Columbia University.
Cassandras, C. G., and Lafortune, S. 1999. Introduction to Discrete Event Systems. Kluwer Academic Publishers.
Console, L. 2000. Diagnosis and diagnosability analysis using process algebras. In A. Darwiche and G. Provan (eds.), Proc. DX'00: Eleventh International Workshop on Principles of Diagnosis, June, pp. 25–32.
Darwiche, A., and Provan, G. 1996. Exploiting system structure in model-based diagnosis of discrete event systems. In Pro. Seventh International Workshop on the Principles of Diagnosis, DX-96, October, Val Morin, Canada.
Dvorak, D., and Kuipers, B. 1992. Model based monitoring of dynamic systems. In W. Hamscher, L. Console, and J. Kleer (eds.), Readings in Model Based Diagnosis, Morgan Kaufmann, pp. 249–254.
Debouk, R., Lafortune, S., and Teneketzis, D. 2000. Coordinated decentralized protocols for failure diagnosis of discrete-event systems. Discrete Event Dynamic Systems: Theory and Applications 10(1/2): 33–86.
Garcia, E., Morant, F., Blasco-Gimenez, R., Correcher, A., and Quiles, E. 2002. Centralized modular diagnosis and the phenomenon of coupling. In Proc. IEEE WODES '02 International Workshop on Discrete Event Systems, October, pp. 161–168.
Hastrudi Zad, S., Kwong, R. H., and Wonham, W. M. 1998. Fault diagnosis in discrete-event systems: Framework and model reduction. In Proc. 37th IEEE Conf. on Decision and Control, December, pp. 3769–3774.
Jiang, S., and Kumar, R. 2002. Failure diagnosis of discrete event systems with linear-time temporal logic fault specifications. In Proc. 2002 American Control Conference, May, pp. 128–133.
Jiang, S., Kumar, R., and Garcia, H. E. 2002. Diagnosis of repeated failures in discrete event systems. In Proc. of the 41st IEEE Conference on Decision and Control, December, pp. 4000–4005.
Lafortune, S., Teneketzis, D., Sampath, M., Sengupta, R., and Sinnamohideen, K. 2001. Failure diagnosis of dynamic systems: An approach based on discrete event systems. In Proc. 2001 American Control Conference, June, pp. 2058–2071.
Lamperti, G., and Zanella, M. 1999. Diagnosis of discrete event systems integrating synchronous and asynchronous behavior. In Proceedings of the Ninth International Workshop on Principles of Diagnosis, DX'99, pp. 129–139.
Lin, F. 1994. Diagnosability of discrete event systems and its applications. Discrete Event Dynamic Systems: Theory and Applications 4(2): 197–212.
Lin, F., Markee, J., and Rado, B. 1993. Design and test of mixed signal circuits: A discrete event approach. In Proc. 32th IEEE Conf. on Decision and Control, December, pp. 246–251.
Lunze, J. 2000. Diagnosis of quantised systems. In IFAC SafeProcess 2000, June, pp. 28–39.
Pandalai, D. N., and Holloway, L. E. 2000. Template languages for fault monitoring of discrete event processes. IEEE Transactions on Automatic Control 45(5): 868–882.
Pencolè, Y. 2000. Decentralized diagnoser approach: Application to telecommunication networks. In A. Darwiche and G. Provan (eds.), Proc. DX'00: Eleventh International Workshop on Principles of Diagnosis, June, pp. 185–192.
Pencolè, Y., Cordier, M.-O., and Rozè, L. 2001. A decentralized model-based diagnostic tool for complex systems. In Proc. of the 13th IEEE International Conf. on Tools with Artificial Intelligence, November, pp. 95–102.
Provan, G., and Chen, Y.-L. 1998. Diagnosis of timed discrete event systems using temporal causal networks: Modeling and analysis. In Proc. of the 1998 International Workshop on Discrete Event Systems (WODES'98), IEE, August, pp. 152–154.
Provan, G., and Chen, Y.-L. 1999. Model-based diagnosis and control reconfiguration for discrete event systems: An integrated approach. In Proc. 38th IEEE Conf. on Decision and Control, December, pp. 1762–1768.
Ramadge, P. J., and Wonham, W. M. 1989. The control of discrete event systems. Proc. IEEE 77(1): 81–98.
Sampath, M. 2001. A hybrid approach to failure diagnosis of industrial systems. In Proc. 2001 American Control Conf., June.
Sampath, M., Lafortune, S., and Teneketzis, D. 1998. Active diagnosis of discrete event systems. IEEE Trans. Automatic Control 43(7): 908–929.
Sampath, M., Sengupta, R., Sinnamohideen, K., Lafortune, S., and Teneketzis, D. 1995. Diagnosability of discrete event systems. IEEE Transactions on Automatic Control 40(9): 1555–1575.
Sampath, M., Sengupta, R., Sinnamohideen, K., Lafortune, S., and Teneketzis, D. 1996. Failure diagnosis using discrete event models. IEEE Transactions on Control Systems Technology 4(2): 105–124.
Sengupta, R. 2001. Discrete-event diagnostics of automated vehicles and highways. In Proc. 2001 American Control Conf., June.
Sinnamohideen, K. 2001. Discrete-event diagnostics of heating, ventilation, and air-conditioning systems. In Proc. 2001 American Control Conf., June.
Westerman, G., Kumar, R., Stroud, C., and Heath, J. R. 1998. Discrete event system approach for delay fault analysis in digital circuits. In Proc. 1998 American Control Conf.
Williams, B., and Nayak, P. 1996. A model-based approach to reactive self-configuring systems. In Proceedings of the AAAI.
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Contant, O., Lafortune, S. & Teneketzis, D. Diagnosis of Intermittent Faults. Discrete Event Dynamic Systems 14, 171–202 (2004). https://doi.org/10.1023/B:DISC.0000018570.20941.d2
Issue Date:
DOI: https://doi.org/10.1023/B:DISC.0000018570.20941.d2