To the synthesis of the initial algorithms for control and diagnostic control of discrete automata based on programmable logic controllers - Ivanushkin, Viktor Andreevich; Isakov, Dmitry Viktorovich; Volkov, Mikhail Anatolievich (AIP conference proceedings, 2022)
Keywords: Actuators; Algorithms; Automata theory; Control algorithms; Control equipment; Downtime; Formal method; Logic; Process controls; Programmable logic controllers; Programming languages; Synthesis