Hierarchical robust supervisory control of discrete-event systems

In this paper, the problem of robust supervisory control of a finite family of discrete-event plants is studied. Each plant has a separate closed specification language. A hierarchical solution which can be regarded as an extension of Zhong and Wonham approach to hierarchical control, is developed. It is shown that suitable extensions of output-control- consistency and strict-output-control-consistency properties can be used to establish a high-level control structure and to ensure hierarchical consistency.