The Contour of Causality in Control Automata of Systems
Mykhailo Poliakov, С. А. Субботин, Оleksii Poliakov · 2021
Known models of control automata of systems describe only the necessary cause-and-effect relationships between sets of an automaton, except for the relationship between sets of outputs and inputs.This complicates the analysis of non-standard situations associated with the diagnosis and development of machines.A model of an automaton in the form of activity and control loops is proposed, which reflects the cause-and-effect relationships in the control automata of the system, including the relations between the elements of the set of outputs and the set of inputs of the automaton.These circuits interact through the machine states.The classification and models of the machine states are proposed.The structure of the knowledge base along the automaton contours and the predicates types describing causal relationships in the automaton are proposed.An example of constructing the contours of activity, control and Prolog program for diagnosing the technical state of the machine using the knowledge base is given.