Izv. Saratov Univ. Math. Mech. Inform., 2019, Volume 19, Issue 2, Pages 233–240
Fuzzy linear automata testing
D. V. Speranskiy
Russian University of Transport (MIIT), 22/2 Chasovaja St., Moscow 125993, Russia
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).
fuzzy linear automata, fault detection, test synthesis method.
PDF file (153 kB)
D. V. Speranskiy, “Fuzzy linear automata testing”, Izv. Saratov Univ. Math. Mech. Inform., 19:2 (2019), 233–240
Citation in format AMSBIB
\paper Fuzzy linear automata testing
\jour Izv. Saratov Univ. Math. Mech. Inform.
Citing articles on Google Scholar:
Related articles on Google Scholar:
|Number of views:|