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

The activated sludge process –the main biological technology usually applied to wastewater treatment plants (WWTP)– directly depends on live beings (microorganisms), and therefore, on unforeseen changes experimented by them. It could be possible to get a good plant operation if the supervisory control system is able to react to the changes and deviations of the system and can take the necessary...

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

While the goal of verification is to check whether a model of the system under consideration has a desired property, supervisory control achieves correctness by adding a so-called supervisor that prevents the occurrence of incorrect behaviors to the original system. Supervisory control methods are appealing because they can be much more tractable than the corresponding verification problems. He...

Supervisory control of the mobile robot navigation system has critical importance. The supervisory control software development of mobile robot navigation can be performed in an unknown environment or for controlled robots in a known environment. Finite automata and graph theory are functional tools in modeling the robot navigation system through discrete environment. This research has emphasis...

A supervisory fuzzy neural network (FNN) control system is designed to track periodic reference inputs in this study. The control system is composed of a permanent magnet (PM) synchronous servo motor drive with a supervisory FNN position controller. The supervisory FNN controller comprises a supervisory controller, which is designed to stabilize the system states around a defined bound region a...