Skip to main content
SpringerLink
Log in

Method for the Functional Diagnosis of Nondeterministic Finite State Machines

  • SYSTEMS ANALYSIS AND OPERATIONS RESEARCH
  • Published:
Journal of Computer and Systems Sciences International Aims and scope

Abstract

The problem of the functional diagnosis of critical systems, described by a nondeterministic finite state machine model, is considered. A new method for solving the problem is proposed, the distinguishing feature of which is the use of the mathematical apparatus of the algebra’s covers. The features and advantages of the method are illustrated by the example of the problem of monitoring the errors of IT system operators.

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.

Institutional subscriptions

Fig. 1.

Similar content being viewed by others

REFERENCES

  1. J. Hartmanis and R. Stearns, The Algebraic Structure Theory of Sequential Machines (Prentice-Hall, New York, 1966).

    MATH  Google Scholar 

  2. V. V. Danilov, N. V. Kolesov, and B. P. Podkopaev, “Algebraic model of hardware control of automata,” Avtom. Telemekh., No. 6, 118–125 (1975).

  3. N. S. Shcherbakov and B. P. Podkopaev, The Structural Theory of Hardware Control of Digital Automata (Mashinostroenie, Moscow, 1982) [in Russian].

    MATH  Google Scholar 

  4. A. Zhirabok and A. Shumsky, “Fault accommodation in discrete-event robots,” in Discrete Event Robots, Ed. by C. Ciufudean (iConcept Press, Hong Kong, 2012), pp. 323–339.

  5. D. Berdjag, F. Vanderhagen, A. Shumsky, and A. Zhirabok, “Unexpected situation diagnosis: a model-based approach for human machine systems,” in Proceedings of the 19th IFAC Congress, Cape Town, South Africa,2014, pp. 3545–3550.

  6. D. Berdjag, F. Vanderhaegen, A. Shumsky, and A. Zhirabok, “Abnormal operation diagnosis in human-machine systems,” in Proceedings of the 10th Asian Control Conference, Kota-Kinabalu, Malayzia,2015.

  7. A. N. Zhirabok, N. A. Kalinina, and A. E. Shumskii, “Technique of monitoring a human operator’s behavior in man-machine systems,” J. Comput. Syst. Sci. Int. 57, 443 (2018).

    Article  Google Scholar 

  8. J. R. Wilson and B. J. Norris, “Rail human factors: Past, present and future,” Appl. Ergon. 36, 649–660 (2005).

    Article  Google Scholar 

  9. K. A. Ouedraogo, S. Enjalbert, and F. Vanderhaegen, “A state of the art in feedforward-feedback learning control systems for human errors prediction,” in Proceedings of the 18th IFAC World Congress, Milano, Italy,2011.

  10. D. Woods, Behind Human Error (Ashgate, Berlin, 2010).

    Google Scholar 

  11. R. J. Jagacinski and J. M. Flach, Control Theory for Humans: Quantitative Approaches to Modeling Performance (Lawrence Erlbaum, NJ, 2003).

    Google Scholar 

Download references

Funding

The work was supported by the Russian Science Foundation, grant no. 16-19-00046-P.

Author information

Authors and Affiliations

  1. Far Eastern Federal University, Institute of Marine Technology Problems, Far Eastern Branch, Russian Academy of Sciences, 690091, Vladivostok, Russia

    A. N. Zhirabok, N. A. Kalinina & A. E. Shumskii

Authors
  1. A. N. Zhirabok
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. N. A. Kalinina
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. A. E. Shumskii
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to A. N. Zhirabok.

Rights and permissions

Reprints and permissions

About this article

Check for updates. Verify currency and authenticity via CrossMark

Cite this article

Zhirabok, A.N., Kalinina, N.A. & Shumskii, A.E. Method for the Functional Diagnosis of Nondeterministic Finite State Machines. J. Comput. Syst. Sci. Int. 59, 565–574 (2020). https://doi.org/10.1134/S1064230720040152

Download citation

  • Received:

  • Revised:

  • Accepted:

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1134/S1064230720040152

Search

Navigation