El control lógico es un tipo de control que se basa en la verdad y la falsedad de cualquier requisito previo (señales binarias de condiciones del objeto de control). El resultado del control es la emisión de acciones de control binarias (microoperaciones) para el objeto de control. Tal declaración del problema es más típica para la programación algorítmica que para el control automático , que determina la eliminación del control lógico en una clase separada. Un ejemplo del uso de sistemas de control lógico es la automatización de cualquier taller de ensamblaje. En el caso del uso de mecanismos robóticos , se destacan los algoritmos para el funcionamiento de sus unidades elementales , es decir. componente lógico.
En la teoría del control automático, la formulación y solución de los problemas de control se basan en modelos matemáticos más o menos tradicionales , por regla general, en forma de ciertas ecuaciones de la dinámica del proceso controlado ( diferencial , en diferencias finitas y otras ). ), operando con valores de señales de control que cambian suavemente. El control lógico, por definición, opera principalmente con valores discretos de señales. Sin embargo, hay secciones en la teoría del control automático (por ejemplo, análisis de bifurcaciones ) que estudian el comportamiento de sistemas de ecuaciones diferenciales uniformes por partes , en los que la "por partes" se especifica mediante una función de umbral o un conjunto de funciones, que es en realidad un elemento de la teoría del control lógico, que indica la convergencia de varias áreas de la ciencia.