Proceedings of the 7th Scientific Conference on Information Technologies for Intelligent Decision Making Support (ITIDS 2019)

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

Authors
Alexander Verevkin, Oleg Kiryushin
Corresponding Author
Alexander Verevkin
Available Online May 2019.
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)

Volume Title
Proceedings of the 7th Scientific Conference on Information Technologies for Intelligent Decision Making Support (ITIDS 2019)
Series
Advances in Intelligent Systems Research
Publication Date
May 2019
ISBN
978-94-6252-728-7
ISSN
1951-6851
DOI
10.2991/itids-19.2019.9How to use a DOI?
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/).

Cite this article

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  -