The seminal work on theory of Supervisory control in Discrete Event Systems was pioneered by Ramadge and Wonham. Taking inspiration from this work, extensive research has been done to extend the theory to real-time. The main problem in the research related to real-time supervisory control is that theories of RW framework are not directly applicable because of infiniteness of state space. This p...

It is well known that the nonblocking supervisory control problem is NP-hard, subject in particular to state space explosion that is exponential in the number of system components. In this paper we propose to manage complexity by organizing the system as a State Tree Structure (STS). STS are an adaptation of state charts to supervisory control theory. Based on STS we present an efficient recurs...

Supervisory control theory deals with problems related to the existence and the synthesis of supervisors. The role of a supervisor in a system is to control and restrict the behavior of this system in order to realize a specific behavior. When there are multiple supervisors, such systems are in fact multi-agent systems. The results of supervisory control theory are usually expressed in terms of...

We present a hierarchical control theory for supervisory automata based on state aggregation. Conditions are determined on state partitions which ensure that the control of transitions between blocks in a high level (i.e. aggregated) model, combined with local state-dependent controls, is eeective in the sense of achieving speciications given either for the high level model or for the low level...

This paper presents the application of discrete event system in the field of power system. In power system there are various components which required control and coordination when they are in operation. The theory of discrete event system has been applied in the application part of power system. The discrete nature of ULTC and discrete switching behavior of SVC are best suited for the supervis...