Supervisor direct synthesis method for a structured discrete dynamical system

We present an implementation method for a supervisor of a discrete event system (DES) structured in a special way. Such a DES has the following characteristic features: the language generator is represented by a set of finite automata, the language model is extended with a new type of events called “expected”, and the specification is defined as a sequence of control commands. The primary advantage of our method is that it uses structural knowledge of the event stream in order to construct a supervisor. Thus, we achieve linear dependence of the supervisor's size in the input data.

Presented by the member of Editorial Board: O. P. Kuznetsov