Supervisory control in structured dynamic discrete-event systems

A new model of structured dynamic discrete event systems is developed and investigated. The model structure is defined. The technique of analysis of controllability and method of synthesis of supervisor is proposed. The matter of supervisor existence is investigated. The basic stages of the designing of supervisory control within the limits of the offered model are formulated.