Method for the functional diagnosis of nondeterministic finite state machines

DOI10.1134/S1064230720040152MaRDI QIDQ1995345zbMATH OpenOpenAlexFDO

Authors N. A. Kalinina, Alexey Zhirabok, A. E. Shumskii

Publication date 23 February 2021

Published in Journal of Computer and Systems Sciences International (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1134/s1064230720040152

zbMATH Keywords

faultfinite state machineslatticeman-machine systemspartition algebrareliability

Mathematics Subject Classification ID

Algebraic methods (93B25) System identification (93B30)

Review text

Formalism of automatic recognition of erroneous human behavior with the intention of retrospective operational audit and safety management is challenging task. The contribution of this article is two-fold. First, the concept of pair algebra was developed. Second, it is demonstrated that cover algebra can increase the depth of the diagnosis.

Recommendations

• Functional diagnosis of nonstationary dynamical systems
• Nonparametric method for diagnosis of nonlinear dynamic systems
• Detecting errors in nodes of technical systems with static nonlinearities
• Algebraic theory of the functional diagnosis of nonlinear and linear dynamical systems
• Trouble shooting in nonlinear systems by the method of functional diagnostics on the basis of generalized algebraic invariants

Cites work

• An algebraic model for the hardware monitoring of automata
• scientific article; zbMATH DE number 3848621 (Why is no real title available?)
• scientific article; zbMATH DE number 3248552 (Why is no real title available?)

Cited in

(1)

• scientific article; zbMATH DE number 2013785 (Why is no real title available?)

This page was built for publication: Method for the functional diagnosis of nondeterministic finite state machines

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1995345)