An important category of such systems are those consisting of a continuous-time process to be controlled, a family of fixed-gain or variable-gain candidate controllers, and an “event-driven switching logic” called a supervisor whose job is to determine in real time which controller should be applied to the process. Examples of supervisory control systems include reconfigurable systems, fault co...

1 I n t r o d u c t i o n One of the well-estabilished approaches for controlling time-varying uncertain plants is the introduction of adaptation in the feedback loop [2]. However, converttional continuous adaptation is not always capable of performing satisfactorily mainly because of its inherent difficulty in taking advantage of prior knowledge of potential plant changes. This is particulartl...

Control problems in the process industry are dominated by non-linear and time-varying behaviour, many inner loops, and much interaction between the control loops. Fuzzy controllers have in some cases nevertheless mimicked the control actions of a human operator. For high level control and supervisory control several simple controllers can be combined in a priority hierarchy such as the one deve...

The place invariant method is well known as an elegant way to construct a Petri net controller. It is possible to use the constraint for preventing forbidden states. But in general case, the number forbidden states can be very large giving a great number of control places. In this paper is presented a systematic method to reduce the size and the number of constraints. This method is applicable ...

This paper provides an overview of the results available on supervisory control in an adaptive context, with special emphasis on estimator-based supervisory architectures. We cover both the linear and nonlinear cases in a unified manner, highlighting the common properties and analysis techniques. The style of the paper is tutorial and provides the reader with enough detail to apply these techni...

In supervisor synthesis achieving nonblockingness is a major computational challenge when a target system consists of a large number of local components. To overcome this difficulty we propose a coordinated distributed supervisor synthesis approach, where specifications are enforced by local supervisors. To avoid conflicting among local supervisors, coordinators are created based on automaton a...

For discrete event systems, modular supervisory control refers to modular design of a supervisor when multiple control specifications are given. This problem has been studied for the case when the desired specifications must all simultaneously be met. In this paper, we study the case when at least one of the desired specifications must always be met while never blocking any of the remaining spe...