ohjauslogiikkaan
Ohjauslogiikka on järjestelmän osa, joka määrittelee, miten syötteet ja nykyinen tila vaikuttavat siihen, mitä toimintaa seuraavaksi suoritetaan. Se vastaa päätöksenteon logiikasta ja tilankäytöstä, jonka avulla järjestelmä siirtyy tilasta toiseen ja tuottaa tarvittavat ulostulot.
Logiikka voidaan toteuttaa sekä laitteistona että ohjelmistona, tai näiden yhdistelmänä. Se jaetaan tyypillisesti kahteen pääkategoriaan: yhdistelmälogiikka
Ohjauslogiikan suunnittelussa käytetään usein malleja kuten tilakoneita, Moore- ja Mealy-tilakoneita, sekä totuustauluja ja Karnaughin karttoja boolean-logiikassa.
Ominaisuuksiin kuuluvat determinismi, aikarajat, luotettavuus ja turvallisuus. Verifiointi ja testaus voivat sisältää simuloinnin, nopeus- ja aikakausianalyysin
Esimerkkejä ovat hissijärjestelmän liikkeen hallinta, pesukoneen ohjelman ohjaus, robottikäden toiminnan ohjaus sekä kodin automaatio.