We present a formal connection between supervisory control theory in the field of control engineering and reactive synthesis in the field of formal methods. We focus on the case of fully-observed discrete-event systems that are controlled by a single controller/supervisor in order to achieve a safety specification and a non-blocking specification. The connection is shown by a reduction of the c...

The paper presents sufficient conditions for modular (supervisory) control synthesis to equal global control synthesis. In modular control synthesis a supervisory control is synthesized for each module separately and the supervisory control consists of the parallel composition of the modular supervisory controls. The general case of the specification that is indecomposable and not necessarily c...

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

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