In this paper we present the rst results of our attempt to set up a supervisory theory for nondeterministic discrete event systems. The supervisory control problem for nondeterministic systems is speciied and motivated. A necessary and suucient condition for the existence of a supervisor is derived. Also an algorithm is presented that will automatically generate a supervisor. The results are ex...

A third of the Dutch highways is monitored and controlled by roadside units. These RSUs are safety-critical systems, as they safeguard roadworks accidents. Therefore, it essential to have guarantees on correctness unit controller. Using supervisory control theory, a correct-by-construction supervisor obtained from model system its requirements. From model, controller implementation can be autom...

Supervisory control and data acquisition systems (SCADA) are widely used in industry for supervisory control and data acquisition of industrial processes. The process can be industrial, infrastructure or facility. With the advances of electronic and software technologies, the SCADA systems are widely used in industrial plant automation. It provides an efficient tool to monitor and control equip...

In this paper we present a tutorial overview of some of the issues that arise in the design of switched linear control systems. Particular emphasis is given to issues relating to stability and control system realisation. A benchmark regulation problem is then presented. This problem is most naturally solved by means of a switched control design. The challenge to the community is to design a con...

The overall objective of these lectures is to overview a variety of methods for synthesizing and analyzing logic-based switching control systems. By a logic-based switching controller is meant a controller whose subsystems include not only familiar dynamical components {integrators, summers, gains, etc.} but logic-driven elements as well. The overall models of systems composed of such logics to...

In this paper, we propose a framework for real time monitoring and diagnosis of automated vehicles in an IVHS. The supervisory control methodology proposed here is concerned with fault detection, fault isolation, and control reconfiguration of the many sensors, actuators and controllers that are used in the control process. This supervisory control architecture operates at two levels of the AVC...