To the synthesis of the initial algorithms for control and diagnostic control of discrete automata based on programmable logic controllers

• Published in: AIP conference proceedings Vol. 2456; no. 1
• Main Authors: Ivanushkin, Viktor Andreevich, Isakov, Dmitry Viktorovich, Volkov, Mikhail Anatolievich
• Format: Journal Article Conference Proceeding
• Language: English
• Published: Melville American Institute of Physics 18.01.2022
• Subjects: Actuators; Algorithms; Automata theory; Control algorithms; Control equipment; Downtime; Formal method; Logic; Process controls; Programmable logic controllers; Programming languages; Synthesis
• ISSN: 0094-243X; 1551-7616
• DOI: 10.1063/5.0074971

The article deals with a systematic approach to the design of software and logic control systems and the use of formal methods for the synthesis of process control algorithms and functional diagnostics algorithms, which makes it possible to create logical control devices for cyclic processes with lower costs for the design, debugging and operation of equipment. The addition of control algorithms to diagnostic algorithms allows you to quickly determine the cause and location of the fault, reduce downtime of technological equipment and thereby increase its productivity. The possibilities of different programming languages of logic controllers in the implementation of tasks of functional diagnostics and control of command execution are compared. The differences and advantages of the methodology of joint synthesis of the initial control algorithms and diagnostic control of discrete automata in comparison with the traditional approach in the separate synthesis of control algorithms and diagnostic control of the execution of operations by actuators are considered.