Geodesic
Fuzzy linear automata testing
Izvestiya of Saratov University. Mathematics. Mechanics. Informatics, Tome 19 (2019) no. 2, pp. 233-240.

Voir la notice de l'article provenant de la source Math-Net.Ru

The article deals with the problem of synthesis of tests for fuzzy linear automata (FLA). Now several varieties of FLA are used as models of real fuzzy systems. The article introduces and investigates one particular type of FLA. The fuzziness of the behavior of the automaton is suggested to appear due to the use of elements of a special type in the characteristic matrices. Each such element is a certain set of elements of the field over which the FLA is given. During the functioning of the FLA (at each clock cycle) an alternative matrix element is replaced randomly by one of the elements of the alternative set. The notion of the FLA acceptable fault is introduced. Substantially it means replacing the alternative elements of matrices by one element of the sets corresponding to them. The method of the tests synthesis for detecting faults of this type is proposed. This method reduces to solving systems of linear algebraic equations. The method is oriented to $\mu$-definite and synchronized FLA and synthesizes tests of sufficiently short length (not more than FLA dimension). 
@article{ISU_2019_19_2_a9,
     author = {D. V. Speranskiy},
     title = {Fuzzy linear automata testing},
     journal = {Izvestiya of Saratov University. Mathematics. Mechanics. Informatics},
     pages = {233--240},
     publisher = {mathdoc},
     volume = {19},
     number = {2},
     year = {2019},
     language = {ru},
     url = {http://geodesic.mathdoc.fr/item/ISU_2019_19_2_a9/}
}
TY  - JOUR
AU  - D. V. Speranskiy
TI  - Fuzzy linear automata testing
JO  - Izvestiya of Saratov University. Mathematics. Mechanics. Informatics
PY  - 2019
SP  - 233
EP  - 240
VL  - 19
IS  - 2
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/ISU_2019_19_2_a9/
LA  - ru
ID  - ISU_2019_19_2_a9
ER  - 
%0 Journal Article
%A D. V. Speranskiy
%T Fuzzy linear automata testing
%J Izvestiya of Saratov University. Mathematics. Mechanics. Informatics
%D 2019
%P 233-240
%V 19
%N 2
%I mathdoc
%U http://geodesic.mathdoc.fr/item/ISU_2019_19_2_a9/
%G ru
%F ISU_2019_19_2_a9
D. V. Speranskiy. Fuzzy linear automata testing. Izvestiya of Saratov University. Mathematics. Mechanics. Informatics, Tome 19 (2019) no. 2, pp. 233-240. http://geodesic.mathdoc.fr/item/ISU_2019_19_2_a9/

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

[2] Speranskii D. V., “Experiments with fuzzy finite state machines”, Autom. Remote Control, 76:2 (2015), 278–291 | DOI | MR | Zbl

[3] Speranskiy D. V., “Synchronization of fuzzy linear automata”, Automatic Control and Computer Sciences, 50:2 (2016), 72–79 | DOI

[4] Gill A., Introduction to the theory of finite-state machines, McGraw-Hill, New York, 1962, 207 pp. | MR

[5] Speranskiy D. V., Lectures on the theory of experiments with finite automata, BINOM. Laboratoriya znanij Publ., M., 2010, 287 pp. (in Russian)

[6] Speranskii D. V., “A test for linear automata”, Autom. Remote Control, 61:5 (2000), 858–865 | MR

[7] Agibalov G. P., Yufat A. G., “On simple experiments for linear initial automata”, Automatic Control and Computer Sciences, 1972, no. 2, 17–19 (in Russian) | Zbl

[8] Kolesov N. V., “Designing a checking test for a linear finite automaton”, Autom. Remote Control, 43:2 (1982), 185–189 | MR | Zbl