nach oben

Journal of Computer and Systems Sciences International

Erschienen in:

01.07.2020 | SYSTEMS ANALYSIS AND OPERATIONS RESEARCH

Method for the Functional Diagnosis of Nondeterministic Finite State Machines

verfasst von: A. N. Zhirabok, N. A. Kalinina, A. E. Shumskii

Erschienen in: Journal of Computer and Systems Sciences International | Ausgabe 4/2020

Einloggen

Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.

search-config

KI-gestützte Suche

Aus

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.

Vorheriger Artikel Planning Calculations in a Multiprocessor System with Unspecified Moments of Operational Readiness

Nächster Artikel Training a Multimodal Neural Network to Determine the Authenticity of Images

Sie haben noch keine Lizenz? Dann Informieren Sie sich jetzt über unsere Produkte:

Springer Professional "Wirtschaft+Technik"

Online-Abonnement

Mit Springer Professional "Wirtschaft+Technik" erhalten Sie Zugriff auf:

über 102.000 Bücher
über 537 Zeitschriften

aus folgenden Fachgebieten:

Automobil + Motoren
Bauwesen + Immobilien
Business IT + Informatik
Elektrotechnik + Elektronik
Energie + Nachhaltigkeit
Finance + Banking
Management + Führung
Marketing + Vertrieb
Maschinenbau + Werkstoffe
Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

Jetzt informieren

Springer Professional "Technik"

Online-Abonnement

Mit Springer Professional "Technik" erhalten Sie Zugriff auf:

über 67.000 Bücher
über 390 Zeitschriften

aus folgenden Fachgebieten:

Automobil + Motoren
Bauwesen + Immobilien
Business IT + Informatik
Elektrotechnik + Elektronik
Energie + Nachhaltigkeit
Maschinenbau + Werkstoffe

Jetzt Wissensvorsprung sichern!

Jetzt informieren

Springer Professional "Wirtschaft"

Online-Abonnement

Mit Springer Professional "Wirtschaft" erhalten Sie Zugriff auf:

über 67.000 Bücher
über 340 Zeitschriften

aus folgenden Fachgebieten:

Bauwesen + Immobilien
Business IT + Informatik
Finance + Banking
Management + Führung
Marketing + Vertrieb
Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

Jetzt informieren

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

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

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

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.

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.

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.

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).CrossRef

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

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

11.

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

Titel: Method for the Functional Diagnosis of Nondeterministic Finite State Machines
verfasst von: A. N. Zhirabok
N. A. Kalinina
A. E. Shumskii
Publikationsdatum: 01.07.2020
Verlag: Pleiades Publishing
Erschienen in: Journal of Computer and Systems Sciences International / Ausgabe 4/2020
Print ISSN: 1064-2307
Elektronische ISSN: 1555-6530
DOI: https://doi.org/10.1134/S1064230720040152

Springer Professional

Abstract

Bitte loggen Sie sich ein, um Zugang zu Ihrer Lizenz zu erhalten.

Sie haben noch keine Lizenz? Dann Informieren Sie sich jetzt über unsere Produkte:

Springer Professional "Wirtschaft+Technik"

Springer Professional "Technik"

Springer Professional "Wirtschaft"

Weitere Artikel der Ausgabe 4/2020

Modeling and Optimizing the Turn of a Loaded Elastic Rod Controlled by an Electric Drive

Planning Calculations in a Multiprocessor System with Unspecified Moments of Operational Readiness

Objects Changing the Spatial Orientation of a Solid Body by Using Mobile Mass

Optimal Energy-Efficient Programmed Control of Distributed Parameter Systems

Unstable Oscillating Systems with Hysteresis: Problems of Stabilization and Control

On the Implication of Properties of Related Systems: a Method for Obtaining Implication Conditions and Application Examples