With supervisory control theory it is possible to describe controllers which influence the behaviour of a system by disabling controllable events. But sometimes it is desirable to have a controller which not only disables controllable events but also chooses one among the enabled ones. This event can be interpreted as a command given to the plant. This idea is formalized in the concept of an im...

A genetic algorithm (GA) uses the principles of evolution, natural selection, and genetics to offer a method for parallel search of complex spaces. Motivated by past work using the GA as a tool for off-line computer-aided-design of control systems, we introduce several ways to use the GA for on-line identification and controller tuning. In particular, we introduce two new, but closely related a...

Supervisory control theory enables control system designers to specify a model of an uncontrolled system in combination with associated control requirements, and subsequently to use a synthesis algorithm for automatic controller generation. The use of supervisory control synthesis can significantly reduce development time for supervisory controllers as a result of the unambiguous specification ...

Automation means Delegation of human control to machine. A PLC (Programmable Logic Controller) is a device that was invented to replace the necessary sequential relay circuits for machine control. A SCADA (Supervisory Control & Data Acquisition System) is used to control the process where person cannot go or stay for longer period. The aim of tis paper is to provide information about hoelectric...

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

Increasing levels of automation and rising costs of manpower are pushing the DoD towards a supervisory control paradigm for future unmanned aerial vehicle (UAV) missions. Using the Supervisory Control Operations User Testbed, a group of 20 participants completed two twenty minute supervisory control missions where eye tracking and performance data were collected. Each mission had 3 levels of ta...

Ab.macl The dimension of tbe guard lOne along with its bounds for the Generalised Learning Algorithm (P"thak and Pal. 1986) is determined 1'01' optimum learning. The dimension is found to be dynamic dependlllg on the input sequence and tbe current estimates of classification parameters. Incorporation of tbis higher-order knowledge in a supervisory program improves the system performance. The pe...