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

Situation awareness (SA) is a critical factor for human decision making and performance in dynamic environments. Actually SA is a mental model of the current state of the environment and includes many types of complex systems such as safety supervisory systems. The current paper employs two focus areas including neural network and expert system for maintaining SA in a safety supervisory system....

The paper deals with the supervisory control of a nonlinear uncertain system in which the switching is directed by the recently introduced state-dependent dwell-time switching logic. The proposed supervisory control architecture is shown to regulate to zero the state of the system without requiring the switching to stop in 4nite time. A signi4cant class of systems to which the control architect...

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

In this paper we consider the supervisory control problem through language equation solving. The equation solving approach allows to deal with more general topologies and to find a largest supervisor which can be used as a reservoir for deriving an optimal controller. We introduce the notions of solutions under partial controllability and partial observability, and we show how supervisory contr...

I am particularly glad to introduce the discussions of this panel today. Establishing the banking union constitutes a key step to reinforce the European integration and marks a major milestone in European history. The National Bank of Belgium strongly supports the banking union and its single supervisory mechanism which, if well implemented, will lead to a sound and robust supervisory model and...

microgrid presents an efficient and novel solution for integrating many new energy generating resources with traditional distribution networks. having an appropriate protective scheme is a fundamental challenge in achieving microgrid plans. it is proven that traditional protective plans are not efficient for protecting microgrid, since the network is dynamic and the level of fault current chang...