Browse

Supervisory Control Theory (SCT) is a general technique to synthesize controller for Discrete Event Systems (DES) such as manufacturing systems, robot systems, communication systems, transport systems etc. The controller for DES is also called as supervisor. The SCT uses formal languages and automata concepts for supervisor synthesis. In SCT, a plant can be modeled by using automata. This automaton is an event sequence generator. Uncontrolled behavior of plant is defined by these generated sequences. The desired c...