Controlul logic este un tip de control care se bazează pe adevărul și falsitatea oricăror cerințe prealabile (semnale binare ale condițiilor de la obiectul de control). Rezultatul controlului este emiterea de acțiuni de control binar (micro-operații) pentru obiectul de control. O astfel de declarație de problemă este mai tipică pentru programarea algoritmică decât pentru controlul automat , care determină eliminarea controlului logic într-o clasă separată. Un exemplu de utilizare a sistemelor de control logic este automatizarea oricărui atelier de asamblare. În cazul utilizării mecanismelor robotizate , algoritmii de funcționare a unităților lor elementare vin în prim-plan , i.e. componentă logică.
În teoria controlului automat, formularea și rezolvarea problemelor de control se bazează pe modele matematice mai mult sau mai puțin tradiționale , de regulă, sub forma anumitor ecuații ale dinamicii procesului controlat ( diferențială , diferență finită și altele). ), care funcționează cu valori care se schimbă fără probleme ale semnalelor de control. Controlul logic, prin definiție, operează în principal cu valori discrete ale semnalelor. Cu toate acestea, există secțiuni în teoria controlului automat (de exemplu, analiza bifurcației ) care studiază comportamentul sistemelor de ecuații diferențiale netede în bucăți , în care „bucățimea” este specificată folosind o funcție de prag sau un set de funcții, care este de fapt un element al teoriei controlului logic, care indică convergența diferitelor domenii ale științei.