Modeling and Specification of Nondeterministic Fuzzy Discrete-Event Systems
- 11 Downloads
Most of the published research on fuzzy discrete-event systems (FDESs) has focused on systems that are modeled as deterministic fuzzy automata. In fact, nondeterminism in FDESs occurs in many practical situations and can be used to represent underspecification or incomplete information. In this paper, we pay attention to the modeling and specification of nondeterministic FDESs (NFDESs). We model NFDESs by a new kind of fuzzy automata. To describe adequately the behavior of NFDESs, we introduce the concept of bisimulation, which is a finer behavioral measure than fuzzy language equivalence. Further, we propose the notion of nondeterministic fuzzy specifications (NFSs) to specify the behavior of NFDESs and introduce a satisfaction relation between NFDESs and NFSs. If such a relation exists, then at least one knows that there is no unwanted behavior in the system.
This work was supported in part by the National Natural Science Foundation of China under Grants 61672023, 61772035, and 61751210, Guangxi Natural Science Foundation of China under Grant 2018GXNSFAA281326, and Guangxi Key Laboratory of Trusted Software under Grant kx201911.
- 1.Benmessahel, B., Touahria, M., Nouioua, F., Gaber, J., Lorenz, P.: Decentralized prognosis of fuzzy discrete-event systems. Iran. J. Fuzzy Syst. 16(3), 127–143 (2019)Google Scholar
- 5.Cao, Y., Ying, M.: Supervisory control of fuzzy discrete event systems. IEEE Trans. Syst. Man Cybern. B Cybern. 35(2), 366–371 (2005)Google Scholar
- 7.Cao, Y., Ying, M., Chen, G.: State-based control of fuzzy discrete-event systems. IEEE Trans. Syst. Man Cybern. B Cybern. 37(2), 410–424 (2007)Google Scholar
- 10.Deng, W., Qiu, D.: State-based decentralized diagnosis of bi-fuzzy discrete event systems. IEEE Trans. Fuzzy Syst. 25(4), 3854–867 (2017)Google Scholar
- 19.Lawford, M., Wonham, W.M.: Supervisory control of probabilistic discrete event systems. In: Proceedings of 36th Midwest Symposium on Circuits and Systems, vol. 1, pp. 327–331. IEEE, Detroit, MI (1993)Google Scholar
- 21.Lin, F., Ying, H.: Modeling and control of fuzzy discrete event systems. IEEE Trans. Syst. Man Cybern. B Cybern. 32(4), 408–415 (2002)Google Scholar
- 22.Lin, F., Ying, H.: State-feedback control of fuzzy discrete-event systems. IEEE Trans. Syst. Man Cybern. B Cybern. 40(3), 951–956 (2010)Google Scholar
- 28.Park, D.: Concurrency and automata on infinite sequences. In: Proceedings of 5th GI-Conference Theoretical Computer Science. Lecture Notes in Computer Science, vol. 104, pp. 167–183. Springer (1981)Google Scholar
- 30.Qiu, D.W.: Supervisory control of fuzzy discrete event systems: a formal approach. IEEE Trans. Syst. Man Cybern. B Cybern. 35(1), 72–88 (2005)Google Scholar
- 32.Sun, D.D., Li, Y.M., Yang, W.W.: Bisimulation relations for fuzzy finite automata. Fuzzy Syst. Math. 23, 92–100 (2009). (in Chinese)Google Scholar
- 34.Wonham, W.M.: Supervisory control of discrete-event systems. University of Toronto, Toronto, ON, Canada, Technical Report (2005). http://www.control.utoronto.ca/DES/
- 36.Ying, H., Lin, F., MacArthur, R.D., Cohn, J.A., Barth-Jones, D.C., Ye, H., and L. R. Crane, “A self-learning fuzzy discrete event system for HIV/AIDS treatment regimen selection. IEEE Trans. Syst. Man Cybern. B Cybern. 37(4), 966–979 (2007)Google Scholar