Logical synthesis of the control algorithm in a system with Boolean variables

DOI10.1134/S0005117914030096MaRDI QIDQ463353zbMATH OpenOpenAlexFDO

Authors O. V. German, O. I. Sadovskaya

Publication date 16 October 2014

Published in Automation and Remote Control (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1134/s0005117914030096

zbMATH Keywords

control algorithmlogical synthesissystem with Boolean variables

Mathematics Subject Classification ID

Synthesis problems (93B50) Control/observation systems governed by functional relations other than differential equations (such as hybrid and switching systems) (93C30)

Recommendations

• Synthesis of a control algorithm in a system of production rules with time parameter
• scientific article; zbMATH DE number 744052
• scientific article; zbMATH DE number 434960
• Automated synthesis of Boolean control functions of mechanotronic drive module with three-phase valve motor
• Logical approach to control theory and applications

Cites work

• scientific article; zbMATH DE number 3805438 (Why is no real title available?)
• On the polynomially solvable problem of designing behavior of the intelligent robot
• Synthesis of a control algorithm in a system of production rules with time parameter

Cited in

(8)

• Logic control and ``reactive systems: algorithmization and programming
• Automated synthesis of Boolean control functions of mechanotronic drive module with three-phase valve motor
• Boolean-controlled systems via receding horizon and linear programing
• scientific article; zbMATH DE number 434960 (Why is no real title available?)
• scientific article; zbMATH DE number 3918148 (Why is no real title available?)
• Simulation comparison based on pan-Boolean algebra multi-valued logic control and PID control
• scientific article; zbMATH DE number 744052 (Why is no real title available?)
• Synthesis of a control algorithm in a system of production rules with time parameter

This page was built for publication: Logical synthesis of the control algorithm in a system with Boolean variables

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q463353)