This paper describes the design of a supervisory control system for a distributed manufacturing process, which forms part of a wider manufacturing system. The focus of the paper is on the design of a verifiable discrete event controller using a UML based method. The approach adopted involves (i) using Petri net models instead of conventional Statecharts to provide analytic Dynamic Models; and (...

An adaptive fuzzy control system with supervisory controller is proposed to improve dynamic performance of three-phase active power filter APF . The proposed adaptive fuzzy controller for APF does not build an accuratemathematical model but approximates the nonlinear characteristics of APF using fuzzy approximation. The adaptive law based on the Lyapunov analysis can adaptively adjust the fuzzy...

This paper presents a new supervisory control scheme, which is based on a control-relevant switching logic. Unlike most of the existing switching methods considering only estimator performance, the proposed scheme takes both estimator and controller performance into account. As an index to the controller performance, an iISS (integral-Input-to-State Stability) Lyapunov function is employed; it ...

Recent results on receding horizon control of linear systems with state and input constraints have shown that the optimal receding horizon controller is piecewise affine and continuous, with the resulting value function being piecewise quadratic and continuously differentiable. The purpose of this note is to exploit these results to show that the controller renders the closed-loop system global...

A review was conducted of separation assurance and collision avoidance operational concepts for the next generation air transportation system. The concepts can be distributed along two axes: the degree to which responsibility for separation assurance and collision avoidance is assigned to the controller verses the pilot(s), and the degree to which automation augments or replaces controller and ...

In this paper we present an approach for QoS management that can be applied for a general class of real-time distributed computation systems. In this paper, the QoS adaptation problem is formulated based on a utility function that measures the relative performance of the system. A limited-horizon online supervisory controller is used for this purpose. The online controller explores a limited re...

ne way to construct iritelligent controllers is to use an agent0 centered approach in \which the agents themselves determine the global structure of the controller and the inter-agent cooperation methods. To assess this approach, the design and testing of a distributed intelligent coritroller for a laboratory-scale mine refrigeration plant is discussed. Underlying theoretical concepts are brief...

In this paper a dynamic task allocation and controller design methodology for cooperative robot teams is presented. Fuzzy logic based utility functions are derived to quantify each robot’s ability to perform a task. These utility functions are used to allocate tasks in real-time through a limited lookahead control methodology partially based on the basic principles of discrete event supervisory...

This paper presents an indirect adaptive fuzzy control scheme for a class of single-input-single-output (SISO) nonlinear systems. A Takagi-Sugeno (T-S) fuzzy model is employed as a dynamical model of the partially known nonlinear system. Both the structure and the parameters of the T-S model are identified on-line. A T-S model based feedback linearization controller (FLC) is designed and a Lyap...

This paper provides an implementable and energy efficient solution for the problem of manoeuver control of formations of nano-satellites subject to input-saturation constraints and persistent disturbances. The proposed control scheme is based on a supervisory switching logic which, at any time instant, select the most appropriate controller from a bank of pre-computed candidate predictive regul...