×

A new algorithm for testing diagnosability of fuzzy discrete event systems. (English) Zbl 1241.93032

Summary: Failure diagnosis and detection of fuzzy discrete event systems play a significant role in the study of complex systems. In this paper, we investigate the diagnosability of fuzzy Discrete Event Systems (DESs) by proposing a new algorithm based on the concept of undistinguishable strings. Moreover, a necessary and sufficient condition for fuzzy diagnosability is obtained in terms of certain properties of the diagnoser, which is constructed with respect to the minimal observable event. A software package to check the diagnosability of fuzzy DESs and some examples serving to illuminate the applications are developed and described.

MSC:

93C65 Discrete event control/observation systems
93C42 Fuzzy control/observation systems
93B40 Computational methods in systems theory (MSC2010)

Software:

UMDES
PDFBibTeX XMLCite
Full Text: DOI

References:

[1] Bhowal, P.; Sarkar, D.; Mukhopadhyay, S.; Basu, A., Fault diagnosis in discrete time hybrid systems-A case study, Information Sciences, 177, 1290-1308 (2007) · Zbl 1121.93041
[2] Cassandras, C. G.; Lafortune, S., Introduction to Discrete Event Systems (1999), Kluwer: Kluwer oston, BMA · Zbl 0934.93001
[3] Cao, Y. Z.; Ying, M. S., Observability and decentralized control of fuzzy discrete-event systems, IEEE Transactions on Fuzzy Systems, 14, 2, 202-216 (2006)
[4] R. Debouk, Failure diagnosis of decentralized discrete event systems, Ph.D. dissertation, University of Michigan, 2000.; R. Debouk, Failure diagnosis of decentralized discrete event systems, Ph.D. dissertation, University of Michigan, 2000. · Zbl 0959.93039
[5] Huq, R.; Mann, G. K.I.; Gosine, R. G., Distributed fuzzy discrete event system for robotic sensory information processing, Expert Systems, 23, 5, 273-289 (2006)
[6] Huq, R.; Mann, G. K.I.; Gosine, R. G., Behavior-modulation technique in mobile robotics using fuzzy discrete event system, IEEE Transactions on Robotics, 22, 5, 903-916 (2006)
[7] Jayasiri, A.; Mann, G. K.I.; Gosine, R. G., Behavior coordination of mobile robotics using supervisory control of fuzzy discrete event systems, IEEE Transactions on Systems, Man, and Cybernetics, Part B: Cybernetics, PP, 99, 1-15 (2011)
[8] Jiang, S.; Huang, Z.; Chandra, V.; Kumar, R., A polynomial time algorithms for diagnosability of discrete event systems, IEEE Transactions on Automatic Control, 46, 8, 1318-1321 (2001) · Zbl 1008.93053
[9] Jančić, Z.; Ignjatović, J.; Ćirić, M., An improved algorithm for determinization of weighted and fuzzy automata, Information Sciences, 181, 7, 1358-1368 (2011) · Zbl 1216.68144
[10] Khoussainov, B.; Nerode, A., Automata Theory and its Applications (2001), Birkhauser: Birkhauser Boston · Zbl 1083.68058
[11] Kilic, E., Diagnosability of fuzzy discrete event systems, Information Sciences, 178, 858-870 (2008) · Zbl 1128.93037
[12] Kwong, R. H.; Yonge-Mallo, David L., Fault diagnosis in discrete-event systems: incomplete models and learning, IEEE Transactions on Systems, Man, and Cybernetics, Part B: Cybernetics, 41, 1, 18-130 (2011)
[13] Li, Y. M., A categorical approach to lattice-valued fuzzy automata, Fuzzy Sets and Systems, 157, 6, 855-864 (2006) · Zbl 1090.18003
[14] Li, Y. M.; Pedrycz, W., Fuzzy finite automata and fuzzy regular expression swith membership values in lattice-order edmonoids, Fuzzy Sets and Systems, 156, 1, 68-92 (2005)
[15] Liu, F. C.; Qiu, D. W., Diagnosability of fuzzy discrete-event systems: a fuzzy approach, IEEE Transactions on Fuzzy Systems, 17, 2, 372-384 (2009)
[16] Liu, F. C.; Qiu, D. W.; Xing, H.; Fan, Z., Decentralized diagnosis of stochastic discrete event systems, IEEE Transaction on Automatic Control, 53, 2, 535-546 (2008) · Zbl 1367.93621
[17] Liu, F. C.; Qiu, D. W., Safe diagnosability of stochastic discrete event systems, IEEE Transactions on Automatic Control, 53, 5, 1291-1296 (2008) · Zbl 1367.93620
[18] F. Lin, H. Ying, Fuzzy discrete event systems and their observability, in: Joint International Conference of 9th International, Fuzzy Systems Association World Congress 20th North American Fuzzy Information Processing Society, Vancouver, BC, Canada, July 2001, pp. 1271-1276.; F. Lin, H. Ying, Fuzzy discrete event systems and their observability, in: Joint International Conference of 9th International, Fuzzy Systems Association World Congress 20th North American Fuzzy Information Processing Society, Vancouver, BC, Canada, July 2001, pp. 1271-1276.
[19] Lin, F.; Ying, H., Modeling and control of fuzzy discrete event systems, IEEE Transactions on Systems, Man, Cybernetics-Part B, 32, 4, 408-415 (2002)
[20] F. Lin, H. Ying, X. Luan, R.D. MacArthur, J.A. Cohn, D.C. Barth-Jones, L.R. Crane, Control of fuzzy discrete event systems and its applications to clinical treatment planning, in: The 43rd IEEE Conference on Decision and Control, Atlantis, Paradise Island, Bahamas, December 2004, pp. 519-524.; F. Lin, H. Ying, X. Luan, R.D. MacArthur, J.A. Cohn, D.C. Barth-Jones, L.R. Crane, Control of fuzzy discrete event systems and its applications to clinical treatment planning, in: The 43rd IEEE Conference on Decision and Control, Atlantis, Paradise Island, Bahamas, December 2004, pp. 519-524.
[21] Lin, F.; Ying, H.; MacArthur, R. D.; Cohn, J. A.; Barth-Jones, D. C.; Crane, L. R., Decision making in fuzzy discrete event systems, Information Sciences, 177, 18, 3749-3763 (2007)
[22] Lin, F.; Chen, X., Estimation of transitional probabilities of discrete event systems from cross-sectional survey and its application in tobacco control, Information Sciences, 180, 3, 432-440 (2010)
[23] Liu, J. P.; Li, Y. M., The relationship of controllability between classical and fuzzy discrete-event systems, Information Sciences, 178, 21, 4142-4151 (2008) · Zbl 1148.93306
[24] Moreira, M.; Jesus, T.; Basilio, J., Polynomial time verification of decentralized diagnosability of discrete event systems, IEEE Transactions on Automatic Control, 56, 7, 1679-1684 (2011) · Zbl 1368.93384
[25] Paoli, A.; Laforture, S., Safe diagnosability for fault-tolerant supervision of discrete event systems, Automatica, 41, 1335-1347 (2005) · Zbl 1086.93043
[26] Park, S.; Cho, K., Real-time preemptive scheduling of sporadic tasks based on supervisory control of discrete event systems, Information Sciences, 178, 17, 3393-3401 (2008) · Zbl 1142.90409
[27] W. Qiu, R. Kumar, Decentralized dignosis of discrete-event systems, in: The 7th International Workshop on Discrete Event Systems, September 2004, pp. 22-24.; W. Qiu, R. Kumar, Decentralized dignosis of discrete-event systems, in: The 7th International Workshop on Discrete Event Systems, September 2004, pp. 22-24.
[28] Qiu, D. W., Supervisory control of fuzzy discrete event systems: A formal approach, IEEE Transactions on Systems, Man, Cybernetics-Part B, 35, 1, 72-88 (2005)
[29] Qiu, D. W.; Liu, F. C., Fuzzy discrete event systems under fuzzy observability and a test-algorithm, IEEE Transactions on Fuzzy Systems, 17, 3, 578-589 (2009)
[30] Rigatos, G. G., Fault detection and isolation based on fuzzy automata, Information Sciences, 179, 1893-1902 (2009)
[31] Sala, A., Encoding fuzzy possibilistic diagnostics as a constrained optimization problem, Information Sciences, 178, 4246-4263 (2008) · Zbl 1231.68254
[32] Sampath, M.; Sengupta, R.; Lafortune, S.; Sinnamohideen, K.; Teneketzis, D., Diagnosability of discrete-event systems, IEEE Transactions on Automatic Control, 40, 90, 1555-1575 (1995) · Zbl 0839.93072
[33] Sampath, M.; Sengupta, R.; Lafortune, S.; Sinnamohideen, K.; Teneketzis, D., Failure diagnosis using discrete-event models, IEEE Transactions on Control Systems Technology, 4, 2, 105-124 (1996)
[34] Su, R.; Wonham, W., Global and local consistencies in distributed fault diagnosis for discrete-event systems, IEEE Transactions on Automatic Control, 50, 12, 1923-1935 (2005) · Zbl 1365.93303
[35] Thorsley, D.; Teneketzis, D., Diagnosability of stochastic discrete event systems, IEEE Transactions on Automatic Control, 50, 4, 476-492 (2005) · Zbl 1365.93478
[36] Wang, F.; Feng, Z.; Jiang, P., Reliable decentralized supervisory control of fuzzy discrete event systems, Fuzzy Sets and Systems, 161, 12, 1657-1668 (2010) · Zbl 1194.93120
[37] Ying, H.; Lin, F.; MacArthur, R. D.; Cohn, J. A.; Barth-Jones, D. C.; Ye, H.; Crane, L. R., A fuzzy discrete event system approach to determining optimal HIV/AIDS treatment regimens, IEEE Transaction on Information Technology in Biomedicine, 10, 4, 663-676 (2006)
[38] Ying, H.; Lin, F.; MacArthur, R. D.; Cohn, J. A.; Barth-Jones, D. C.; Ye, H.; Crane, L. R., A self-learning fuzzy discrete event system for HIV/AIDS treatment regimen selection, IEEE Transactions on Systems, Man, Cybernetics-Part B, 37, 4, 966-979 (2007)
[39] Zadeh, L. A., Toward a generalized theory of uncertainty, Information Sciences, 172, 1-40 (2005) · Zbl 1074.94021
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.