The Synthesis of Complex Logical Controllers with Variables of Boolean and Fuzzy Logics

摘要

The paper describes the method of synthesis of control devices and logic control algorithms for distributed technological objects. Control algorithms for this devices are often described as a set of rules, most of which are written in terms of Boolean and fuzzy variables. To transform the production system into a mathematical model in the form of logical sequences (system of logical expressions) in terms of two-digit logic exists a method, which includes procedures and algorithms for conflict resolution and identification of deadlock situations in the operation of automata, based on the intermediate representation of rule sets in the form of Petri nets. The paper describes the modification of this method for the synthesis of logic devices and algorithms for the joint use of input-output variables Boolean (two-digit) and fuzzy logic. The method is implemented by performing the following steps: preparation of rules, generalization of rules, representation of a set of rules in the form of Petri nets, synthesis of Boolean expressions for the state variables, synthesis of Boolean expressions for activation of transitions (consequental) and formation of output variables. The method allows to synthesize hierarchical state machines in terms of boolean and fuzzy logic.