In this thesis we present a hierarchical method that decomposes a system into a high level subsystem which communicates with n ≥ 1 parallel low level subsystems through separate interfaces, which restrict the interaction of the subsystems. We first define the setting for the serial case (n = 1), and then generalise it for n ≥ 1. We present a definition for an interface, and define a set of inte...

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

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