Because of their nondeterministic nature of behaviour, the supervisory control of manufacturing systems must be carried out in closed loop. This trait greatly increases the size and complexity of the Discrete-Event System (DES)-based supervisorycontrollers of manufacturing systems. Attempting to cope with this complexity, a Hybrid Supervisory Controller (HSC), that distributes operations betwee...

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

In this paper, the supervisory control synthesis of modular or distributed discreteevent systems is discussed. The coordination-control architecture proposed by Komenda and van Schuppen (2008) and studied for prefix-closed specification languages by Komenda et al. (2010a,b) is generalized to the case of non-prefix-closed global specification languages and non-prefix-closed plant languages. Nece...

This work focuses on the design of a supervisory predictive control system for the optimal management and operation of a stand-alone wind-solar energy generation system which provides power to a reverse-osmosis (RO) water desalination system. We design the supervisory control system via model predictive control which coordinates the wind and solar subsystems as well as a battery bank to best sa...

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

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