Abstract
This paper proposes a control problem statement in the framework of
supervisory control technique for a class of discrete event systems with cyclic working.
A desired behaviour of such a discrete dynamic event system is analysed. This
behaviour is cyclic and the linguistic properties for the existence of a supervisor
ensuring the desired closed loop specifications are verified. Next, a systematic design
procedure of such a supervisor is presented. An example is also provided and solved by
using a software tool implemented in Java.
