Skip to main content
SpringerLink
Log in

An algorithm for evaluating the state of input-and output-open systems modeled by finite automata in the course of testing complex objects

  • Published:
Automatic Control and Computer Sciences Aims and scope Submit manuscript

Abstract

The problem of evaluating the state of systems that are open with respect to input and output for the purpose of creating a system for evaluating states when testing complex objects is considered. Solving the problem will make it possible to eliminate ambiguity in cases of insufficiency of the output parameters and where uncontrolled parameters exert an influence. It will also reduce the problem to that of successive evaluation of the states of output-open system and, subsequently, of the states of input-open systems. The search for a solution is conducted by means of an analysis of the set of states of a finite-automaton model in the set of output variables. An example illustrating practical implementation of the proposed approach is presented.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Similar content being viewed by others

References

  1. Bogomolov, A.M. and Tverdokhlebov, V.A., Diagnostika slozhnykh sistem (Diagnostics of Complex Systems), Kiev: Naukova Duma, 1974.

    Google Scholar 

  2. Gill, A., Introduction to the Theory of Finite Automata.

  3. Dunaev, V.V., Klassifikatsionnye teorii osnovy ispytaniy (Classification Theories of the Fundamentals of Testing), Ministry of Defense of USSR, 1984.

  4. Kalinin, V.N., Reznikov, B.A., and Varakin, E.I., Teoriya sistem i optimal’nogo upraveleniya (Theory of Systems and Optimal Control), Part 1, Ministry of Defense of USSR, 1979.

  5. Kudryavtsev, V.B., Alyoshin, S.V., and Podkolozin, A.S., Vvedenie v teorii automatov (Introduction to Automata Theory), Moscow: Nauka, 1985.

    Google Scholar 

  6. Trakhtenbrot, B.A. and Barzdin’, Ya.M., Konechnye avtomaty (povedenie i sintez) (Finite Automata. Behavior and Synthesis), Moscow: Nauka, 1970.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Mozhaiskii Military Engineering and Space Academy, ul. Krasnogo Kursanta 16-03/34, St. Petersburg, 197083, Russia

    A. I. Loskutov, V. P. Obruchenkov, S. M. Sokolov & M. A. Kuksenko

Authors
  1. A. I. Loskutov
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. V. P. Obruchenkov
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. S. M. Sokolov
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. M. A. Kuksenko
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to A. I. Loskutov.

Additional information

Original Russian Text © A.I. Loskutov, V.P. Obruchenkov, S.M. Sokolov, M.A. Kuksenko, 2008, published in Avtomatika i Vychislitel’naya Tekhnika, 2008, No. 2. pp. 32–40.

About this article

Cite this article

Loskutov, A.I., Obruchenkov, V.P., Sokolov, S.M. et al. An algorithm for evaluating the state of input-and output-open systems modeled by finite automata in the course of testing complex objects. Aut. Conrol Comp. Sci. 42, 77–82 (2008). https://doi.org/10.3103/S0146411608020041

Download citation

  • Received:

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.3103/S0146411608020041

Key words

Search

Navigation