Supervisory control theory deals with problems related to the existence and the synthesis of supervisors. The role of a supervisor in a system is to control and restrict the behavior of this system in order to realize a specific behavior. When there are multiple supervisors, such systems are in fact multi-agent systems. The results of supervisory control theory are usually expressed in terms of...

Cyber-physical systems (CPS), such as autonomous vehicles crossing an intersection, are vulnerable to cyber-attacks and their safety-critical nature makes them a target for malicious adversaries. This paper studies the problem of supervisory control of autonomous intersections in the presence of sensor attacks. Sensor attacks are performed when an adversary gains access to the transmission chan...

Task-based, rather than vehicle-based, control architectures have been shown to provide superior performance in certain human supervisory control missions. These results motivate the need for the development of robust, reliable usability metrics to aid in creating interfaces for use in this domain. To this end, we conduct a pilot usability study of a particular task-based supervisory control in...

This paper discusses problems related to partial observation supervisory controllers with possibly faulty sensors in the framework of discrete-event systems. At initialization all controller sensors are operational such that all sensors correctly communicate their event observations to the controller. Sensor failures are unobservable. After a sensor fails, it sends no signals to the controller....

This paper focuses on a framework for probabilistic supervisory control of probabilistic discrete event systems (PDES). PDES are modelled as generators of probabilistic languages, and the supervisors used are probabilistic. In our previous work, we presented and solved a number of supervisory control problems inside the framework. We also suggested a pseudometric to measure the behavioural simi...

A systematic control structure design method is applied on the concentric heatintegrated distillation column (HIDiC) separating benzene and toluene. A degrees of freedom analysis is provided for identifying potential manipulated and controlled variables. Optimal operation is mapped and active constraints are identified for constructing the supervisory control layer. The fundamental problem of o...

A systematic control structure design method is applied on the concentric heatintegrated distillation column (HIDiC) separating benzene and toluene. A degrees of freedom analysis is provided for identifying potential manipulated and controlled variables. Optimal operation is mapped and active constraints are identified for constructing the supervisory control layer. The fundamental problem of o...

Supervisory machine control is the high-level control in advanced manufacturing machines that is responsible for the coordination of manufacturing activities. Traditionally, the design of such control systems is based on finite state machines. An alternative, more flexible approach is based on task-resource models. This paper describes an approach for the migration of supervisory machine contro...

he anticipated extensive use of flexible-manufacturing workT cells in the future has encouraged recent research efforts on the development of automatic supervisory-control methodologies. However, despite intensive research on the theoretical aspects of the control of manufacturing workcells, modeled as discrete-event systems (DES), a limited amount of research has been reported on the implement...

In this chapter we discuss how Petri nets can be used in the framework of supervisory control theory. A discrete event system is defined in such a theory as a language generator: this motivates the need to start the chapter with a short but self-contained introduction to Petri net languages. We consider the monolithic supervisory design that requires to construct the concurrent composition of t...