Supervisory control technique for assembly workstation

Proposes a control problem statement in the framework of supervisory control technique for the assembly workstations, which obviously are discrete event systems. A desired behaviour of an assembly workstation is analyzed. The behaviour of such a workstation is cyclic and some linguistic properties are established. A necessary condition for the existence of a supervisor that meets the production constraints is proved.