Timely faults detection in an industrial process is a key aspect for designing a framework for intelligent supervisory control. A way to perform supervisory control is by providing intelligence to the supervision mechanism in continuous processes exposed to faults in order to cope with the identification of a diversity of faults, classify them and to be able to anticipate the consequences deriv...

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

A lot of work & research has been done in HCI supervision-type industrial context, but mostly relative to control rooms and local supervision. However, many multi-site or extended and complex organisations are faced with some new challenges and trends such as supervisory systems integration and unified access of the different actors which have not been much considered so far. A service oriented...

For Internet-based remote control systems, certain human operations may violate desired safety requirements and result in catastrophic failure. For such human-in-the-loop systems, this paper proposes a systematic approach to developing supervisory agents which guarantee that remote manual operations meet safety specifications. By applying the mutual exclusion concept, the Petri net approach is ...

Hybrid dynamic systems are of major research interest nowadays due to their use as models in many applications in computer science and systems control. One of the major problems in hybrid dynamic systems is establishing their key property of stability, which also is important in controller design. The use of communication networks in supervisory control of distributed control systems introduces...

All signals were transmitted between the primary plant and the protection and control system by means of hard-wired secondary cabling. Protection and control panels located in control rooms were equipped with protection relays, panel mimics and control switches. The primary plant and protection and control panels were hard-wired to a supervisory remote terminal unit (RTU) via a supervisory junc...

Much research has been addressed to nonblocking supervisory control of Discrete-Event Systems (DES) such as Flexible Manufacturing Systems (FMS), and a variety of approaches have been developed. One especially powerful approach, due to Chuan Ma, is based on DES representation by means of State Tree Structures (STS). Using STS, this chapter develops nonblocking supervisory control of a well-know...

Nine counselling psychology students were enrolled in a 12-week pilot practicum (i.e. a work placement) for either one hour of course credit (six students) or three hours (three students). Group supervision was provided both in-person and by videoconferencing. Each trainee completed a measure evaluating their satisfaction with supervision (Supervisory Satisfaction Questionnaire, SSQ) and the su...

We employ supervisory controllers to safely coordinate high-level discrete(-event) behavior of distributed components of complex systems. Supervisory controllers observe discrete-event system behavior, make a decision on allowed activities, and communicate the control signals to the involved parties. Models of the supervisory controllers can be automatically synthesized based on formal models o...