Izvestiya of Saratov University. Mathematics. Mechanics. Informatics
RUS  ENG    JOURNALS   PEOPLE   ORGANISATIONS   CONFERENCES   SEMINARS   VIDEO LIBRARY   PACKAGE AMSBIB  
General information
Latest issue
Archive
Impact factor

Search papers
Search references

RSS
Latest issue
Current issues
Archive issues
What is RSS



Izv. Saratov Univ. Math. Mech. Inform.:
Year:
Volume:
Issue:
Page:
Find






Personal entry:
Login:
Password:
Save password
Enter
Forgotten password?
Register


Izv. Saratov Univ. Math. Mech. Inform., 2019, Volume 19, Issue 2, Pages 233–240 (Mi isu804)  

Scientific Part
Computer Sciences

Fuzzy linear automata testing

D. V. Speranskiy

Russian University of Transport (MIIT), 22/2 Chasovaja St., Moscow 125993, Russia

Abstract: 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).

Key words: fuzzy linear automata, fault detection, test synthesis method.

DOI: https://doi.org/10.18500/1816-9791-2019-19-2-233-240

Full text: PDF file (153 kB)
References: PDF file   HTML file

Bibliographic databases:

UDC: 517.11
Received: 25.02.2018
Revised: 11.11.2018
Accepted:28.05.2019

Citation: D. V. Speranskiy, “Fuzzy linear automata testing”, Izv. Saratov Univ. Math. Mech. Inform., 19:2 (2019), 233–240

Citation in format AMSBIB
\Bibitem{Spe19}
\by D.~V.~Speranskiy
\paper Fuzzy linear automata testing
\jour Izv. Saratov Univ. Math. Mech. Inform.
\yr 2019
\vol 19
\issue 2
\pages 233--240
\mathnet{http://mi.mathnet.ru/isu804}
\crossref{https://doi.org/10.18500/1816-9791-2019-19-2-233-240}
\elib{https://elibrary.ru/item.asp?id=38247445}


Linking options:
  • http://mi.mathnet.ru/eng/isu804
  • http://mi.mathnet.ru/eng/isu/v19/i2/p233

    SHARE: VKontakte.ru FaceBook Twitter Mail.ru Livejournal Memori.ru


    Citing articles on Google Scholar: Russian citations, English citations
    Related articles on Google Scholar: Russian articles, English articles
  • Известия Саратовского университета. Новая серия. Серия Математика. Механика. Информатика
    Number of views:
    This page:103
    Full text:37
    References:12

     
    Contact us:
     Terms of Use  Registration to the website  Logotypes © Steklov Mathematical Institute RAS, 2021