Reversion of outputs of fuzzy discrete systems

D. V. Speranskiy

Izvestiya of Saratov University. Mathematics. Mechanics. Informatics, Tome 22 (2022) no. 1, pp. 112-122.

Résumé

The problem of reversion of unknown input sequences of fuzzy discrete systems by its observed outputs is investigated. As a mathematical model of fuzzy systems the fuzzy automata (FA) is used. This problem has been considered earlier for deterministic systems. Unambiguous solutions of the problem for such systems have been obtained using the model of finite automata, called the information lossless automata (IL-automata). In the article, for fuzzy discrete systems described by the FA model a similar problem is considered. Due to the specifics of functioning of such systems, unambiguous decoding of messages coming to their inputs is not always possible in principle. For this reason, there are problems of minimization of information lossless (according to various criteria) while solving the address problem. Automata are introduced, which allow solving such problems, called automata with minimized information lossless (FA MIL-automata). Solution of the problem of reversion for FA is a finite set of input words. Each such solution can be estimated according to various criteria — the cardinality of a set of words of the solution, the probability of appearance of these words on the system inputs, the complexity of obtaining different variants of the solutions. In order to minimize information lossless, the article formulates corresponding optimization tasks for FA and specifies possible ways of solving them. Different kinds of FA MIL-automata are considered. The obtained results show that the considered problems of reversion for fuzzy automata inputs are multi-criteria. It is known that solutions of such problems for discrete systems are traditionally evaluated by only one criterion.

Bibliographie

[1] Kalman R., Falb P., Arbib M., Topics in Mathematical System Theory, McGraw-Hill, New York, 1969, 358 pp. | MR | MR | Zbl

[2] Ilyin A. V., Korovin S. K., Fomichev I. I., Methods of Robust Control of Dynamical Systems, Fizmatlit, M., 2009, 219 pp. (in Russian)

[3] Elenberg S., Automata, Languages and Machines, Academy Press, New York–London, 1974, 387 pp. | MR

[4] Kovalev F. M., Kozlovsky V. A., Scherbak V. F., “Reversible dynamical systems of variable dimension in problems of cryptographic transformation of information”, Applied Discrete Mathematic, 2008, no. 2, 39–44 (in Russian) | Zbl

[5] Pushkov S. G., “Inversion of linear systems on the basis of state space realization”, Journal of Computer and Systems Sciences International, 57 (2018), 7–17 | DOI | DOI | MR | Zbl

[6] Gill A., Introduction to the Theory of Finite-State Machines, McGrow-Hill, New York, 1962, 218 pp. | MR

[7] Zadeh L. A., “Fuzzy sets”, Information and Control, 8:3 (1965), 338–353 | DOI | MR | Zbl

[8] Dubois D., Prade H., Fuzzy Sets and Systems: Theory and Applications, Academy Press, New York, 1980, 236 pp. | MR | Zbl

[9] Speranskiy D. V., “Experiments with fuzzy finite state machines”, Automation and Remote Control, 76 (2015), 278–291 | DOI | MR | Zbl

[10] Huffman D. A., “Canonical forms for information-lossless finite-state logical machines”, IRE Transactions on Circuit Theory, 6:5 (1959), 41–59 | DOI | MR | Zbl

[11] Even S., “On information lossless automata of finite order”, IEEE Trans. Elect. Comput., EC-14:4 (1965), 561–569 | DOI | MR | Zbl

[12] Speranskiy D. V., Lectures on the Theory of Experiments with Finite Automata, Internet-Universitet Informatsionnykh Tekhnologiy, M., 2010, 287 pp. (in Russian)

[13] Bogomolov A. M., Grunsky I. S., Speransky D. V., Control and Transformation of Discrete Automata, Naukova dumka, Kiev, 1975, 176 pp. (in Russian) | MR

[14] Kini R. L., Raifa H., Decision-Making under Many Criteria: Preferences and Substitution, Radio i svyaz', M., 1981, 347 pp. (in Russian) | MR

[15] Steuer R. E., Multiple Criteria Optimization: Theory, Computation and Application, John Willey and Sons, Inc, New York, 1986, 546 pp. | MR | Zbl