We study the supervisory control problem for closed languages when the specifications are given in terms of control objectives i.e. a pairing of predicates associated with blocking events. We show that under some conditions the supervisory control problem is decidable for non-regular languages and results in obtaining the least restrictive behavior. The result appears to give an extension of th...

Phasor Based Control is a novel approach to controlling Distributed Energy Resources that aims at relieving various constraints arise in the distribution grid. It two-layer control system with supervisory coordinates distributed controllers reach voltage phasor targets. The use local synchrophasor measurements and operate as feedback controllers. This method currently under development several ...

This paper focuses on issues related to implementing timed discrete-event systems (TDES) supervisors, and the concurrency and timing delay issues involved. In particular, we examine issues related to implementing TDES as sampled-data (SD) controllers. An SD controller is driven by a periodic clock and sees the system as a series of inputs and outputs. On each clock edge (tick event), it samples...

Cyber Physical Systems (CPS) often have continuous components interconnected with systems described by discrete state space. Examples of such discrete components may be supervisory controllers or components implemented in software. To design large scale CPS in a compositional manner it would be useful to define a notion of passivity for these discrete components as well. As a first step towards...

This paper presents a collision-free decentralized hybrid supervisory control approach for the Unmanned Aerial Vehicles (UAVs) that are involved in a leader-follower formation mission. Towards this end, a symbolic motion planning scheme is developed to polarly partition the motion space, which results in a finite state discrete model for the motion dynamics of each UAV. Then, a modular discrete...

Wireless technologies (mobile communications or other radiofrequency transmission methods) represent reliable and efficient solutions for remote data acquisition, supervisory and control systems. The correct selection of the proper transmission method from the wide variety of radio transmission methods and standards represents an important issue. For this reason in the firs part of this paper a...

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