Distributed supervisory control is a method to synthesize local controllers in discrete-eventsystems with a systematic observation of the plant. Some works were reported on extending this methodby which local controllers are constructed so that observation properties are preserved from monolithic todistributed supervisory control, in an up-down approach. In this paper, we find circumstances in ...

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

It is well known that the nonblocking supervisory control problem is NP-hard, subject in particular to state space explosion that is exponential in the number of system components. In this paper we propose to manage complexity by organizing the system as a State Tree Structure (STS). STS are an adaptation of state charts to supervisory control theory. Based on STS we present an efficient recurs...