Los sistemas basados en Controladores Lógicos Programables (PLC, por sus siglas en inglés) se caracterizan por su trabajo cíclico, leer el estado de las señales de entrada física que vienen de los sensores de los procesos, realización de la copia de los estados de dichas señales, con los que se evalúa el algoritmo de control, el resultado de la evaluación es copiado para enviar los estados de las señales en un mismo momento a los módulos de las salidas físicas, los cuales están conectados a los actuadores del proceso. El desarrollo de los algoritmos de control de procesos industriales se basa en las especiaciones formales y de las interpretaciones y experiencia de los programadores responsables del control, los cuales no utilizan teorías formales para su análisis y comprobación antes de ser implementado en los procesos industriales.