VESTNIK of Samara University. Aerospace and Mechanical EngineeringVESTNIK of Samara University. Aerospace and Mechanical Engineering2542-04532541-7533Samara National Research University85610.18287/2541-7533-2009-0-4(20)-264-273UnknownProblems of synthesis and analysis of the system behaviour control theory on the basis of functional redundancy properties for the class of group automataSytnikA. A.sytnika@sstu.ruShulgaT. E.shulga@ssea.runnet.ruVagarinaN. S.vagarina@ssea.runnet.ruSaratov State Technical UniversitySaratov State Socio-Economical University181220098426427317062014Copyright © 2015, VESTNIK of the Samara State Aerospace University2015<p>The possibility of controlling the behaviour of the discrete type systems on the basis of functional redundancy properties is investigated. To form the required output combination of reactions only the properties of the current law of functioning due to the time reserve available at the given moment or artificially created are used for this type of control. A finite determinate automaton is considered as a mathematical model of the system, while the theory of universal enumerating automata is used as the basis for solving the problem. The paper presents a solution of synthesis and analysis problem of the universal automata theory for the class of group automata. A free distributed function library for working with group automata is developed and described.</p>Behaviour controlfunctional redundancygroup automatonuniversal enumerabilityGAP function libraryУправление поведениемфункциональная избыточностьгрупповой автоматуниверсальная перечислимостьбиблиотека функций GAP