Sorry, this article is only available in Русский.
UDC 681.5
ABOUT VERIFICATION OF PROGRAMS OF AUTOMATED CONTROL SYSTEMS
Antipin Andrey Fedorovich
Sterlitamak branch of the Bashkir state University
candidate of technical sciences, associate Professor of the Department of applied informatics and programming
Sterlitamak branch of the Bashkir state University
candidate of technical sciences, associate Professor of the Department of applied informatics and programming
Abstract
The article is devoted to the questions of verification of programs of automated control systems, based on the concept of semantic analysis of the condition-action rules of multidimensional logic controllers, in order to identify critical errors.
Keywords: automated control system, fuzzy controller, multidimensional logic regulator, system of condition-action rules
Article reference:
About verification of programs of automated control systems // Modern technics and technologies. 2015. № 1 [Electronic journal]. URL: https://technology.snauka.ru/en/2015/01/5458
View this article in Russian
© If you have found a violation of copyrights please notify us immediately by e-mail or feedback form.
Contact author (comments/reviews)
Write comment
You must authorise to write a comment.
Если Вы еще не зарегистрированы на сайте, то Вам необходимо зарегистрироваться: