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...

This paper gives a framework of supervisory control of boiler drum level system. The design and implementation of this process is done by the LabVIEW software. The data of the process variables Level from the boiler system need to be logged in a database for further analysis and supervisory control. A LabVIEW based data logging and supervisory control program simulates the process and the gener...

Heaps models are powerful models for concurrent timed discrete event systems. They admit linear description using dioid algebras. Inspired by supervisory control of logical discrete event systems we introduce parallel composition of heap models, called synchronous product, to formally describe the action of supervisor (represented by another heap model) on the system. This additional explicit c...

The supervisory control theory (SCT) is examined in a non-deterministic setting. We show that language controllability of a supervisor is not necessarily equivalent to state controllability when the supervisor is non-deterministic. We give necessary and suucient conditions for when equivalence holds. The input/output interpretation of the SCT is also examined in a non-deterministic setting. It ...

Supervisory Distributed Computer Control Systems help the operator to run the process by putting control and monitoring functionality at his or her disposal. These systems support the Human Machine Interface, Message Handling, Archiving, Hardware Diagnostics and they execute control functions automatically. With respect to these requirements, the functionality of supervisory distributed control...

of Research Results Research on human interaction with automation in many domains including aviation and anesthesiology has shown that automated systems often fail to function as team players (Norman, 1990; Billings, 1991; 1996; Malin et al., 1991; Sarter and Woods, 1994b). To summarize the data, automated systems that are strong, silent, clumsy, and difficult to direct are not team players. Au...