V tejto bakalárskej práci som sa zameral na riešenie dead-locku a live-locku pomocou supervízora. V práci si prejdeme najskôr základnou teóriou a potom sa presunieme na vymodelovanie systému s live-lockom a dead-lockom v prostredí Matlab Simulinku Stateflow. Po vymodelovaní modelu sa pustíme do navrhnutia supervízorového riadenia, takého aby zabránil nežiaducim stavom.