Evaluating holonic control systems: A case study

in the last 10 years many designs and trial implementations of holonic manufacturing systems have been reported in the literature. Few of these have resulted in any industrial take up of the approach and part of this lack of adoption might be attributed to a shortage of evaluations of the resulting designs and implementations and their comparison with more conventional approaches. This paper proposes a simple approach for evaluating the effectiveness of a holonic system design, with particular focus on the ability of the system to support reconfiguration (in the face of change). A case study relating to a laboratory assembly system is provided to demonstrate the evaluation approach. Copyright © 2005 IFAC.

Auto ID based control systems - An overview

This paper will provide a rationale for developing control systems based on the availability of automated identification (Auto ID) information provision. Much of the Auto-ID research has to date focussed on developing the essential infrastructure for dynamically extracting, networking and storing product data. These developments will help to revolutionise the accuracy, quality and timeliness of data acquired by Business Information Systems and should lead to major cost savings and performance improvements as a result. This paper introduces an additional phase of Auto ID research and development in which the nature of control system decisions is reconsidered in the light of the availability of ubiquitous, unique, item-level information. The paper will: (i) Indicate why the availability of ubiquitous, unique, item-level data can enable enhanced and fundamentally different control approaches and highlight potential benefits from control systems incorporating this Auto ID data (ii) Demonstrate what is required to develop control systems based around the availability of Auto ID data. (iii) Outline the research challenges in determining how such systems will be developed.

Representations and algorithms for finite-state bisimulations of linear discrete-time control systems

While a large amount of research over the past two decades has focused on discrete abstractions of infinite-state dynamical systems, many structural and algorithmic details of these abstractions remain unknown. To clarify the computational resources needed to perform discrete abstractions, this paper examines the algorithmic properties of an existing method for deriving finite-state systems that are bisimilar to linear discrete-time control systems. We explicitly find the structure of the finite-state system, show that it can be enormous compared to the original linear system, and give conditions to guarantee that the finite-state system is reasonably sized and efficiently computable. Though constructing the finite-state system is generally impractical, we see that special cases could be amenable to satisfiability based verification techniques. ©2009 IEEE.

A perturbation approach to the stabilization of nonlinear cascade systems with time-delay

The effect of bounded input perturbations on the stability of nonlinear globally asymptotically stable delay differential equations is analyzed. We investigate under which conditions global stability is preserved and if not, whether semi-global stabilization is possible by controlling the size or shape of the perturbation. These results are used to study the stabilization of partially linear cascade systems with partial state feedback.

Trading the stability of finite zeros for global stabilization of nonlinear cascade systems

This paper analyzes the stabilizability properties of nonlinear cascades in which a nonminimum phase linear system is interconnected through its output to a stable nonlinear system. It is shown that the instability of the zeros of the linear system can be traded with the stability of the nonlinear system up to a limit fixed by the growth properties of the cascade interconnection term. Below this limit, global stabilization is achieved by smooth static state feedback. Beyond this limit, various examples illustrate that controllability of the cascade may be lost, making it impossible to achieve large regions of attractions.