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

DOI

10.2991/itids-19.2019.9How to use a DOI?

Keywords

logic control, fuzzy automata, hierarchical system, coordination of automata

Abstract

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.

Copyright

© 2019, the Authors. Published by Atlantis Press.

Open Access

This is an open access article distributed under the CC BY-NC license (http://creativecommons.org/licenses/by-nc/4.0/).

Download article (PDF)

TY  - CONF
AU  - Alexander Verevkin
AU  - Oleg Kiryushin
PY  - 2019/05
DA  - 2019/05
TI  - The Synthesis of Complex Logical Controllers with Variables of Boolean and Fuzzy Logics
BT  - Proceedings of the 7th Scientific Conference on Information Technologies for Intelligent Decision Making Support (ITIDS 2019)
PB  - Atlantis Press
SP  - 49
EP  - 52
SN  - 1951-6851
UR  - https://doi.org/10.2991/itids-19.2019.9
DO  - 10.2991/itids-19.2019.9
ID  - Verevkin2019/05
ER  -