Differential inclusions and robust control theory

Uncontrolled systems (x) over dot is an element of Ax, where A is a non-empty compact set of matrices, and controlled systems (x) over dot is an element of Ax + Bu are considered. Higher-order systems 0 is an element of Px - Du, where and are sets of differential polynomials, are also studied. It is shown that, under natural conditions commonly occurring in robust control theory, with some mild additional restrictions, asymptotic stability of differential inclusions is guaranteed. The main results are variants of small-gain theorems and the principal technique used is the Krasnosel'skii-Pokrovskii principle of absence of bounded solutions.

Estimates of the real structured radius of stability of linear dynamic systems

A question is examined as to estimates of the norms of perturbations of a linear stable dynamic system, under which the perturbed system remains stable in a situation R:here a perturbation has a fixed structure.

Interference rejection capabilities of different types of array antennas in cellular systems

The suitable use of array antennas in cellular systems results in improvement in the signal-to-interference ratio (StR), This property is the basis for introducing smart or adaptive antenna systems. in general, the SIR depends on the array configuration and is a function of the direction of the desired user and interferers. Here, the SIR performance for linear and circular arrays is analysed and compared.

Integrated control of nitrate recirculation and external carbon addition in a predenitrification system

The integrated control of nitrate recirculation and external carbon addition in a predenitrification biological wastewater treatment system is studied. The proposed control structure consists of four feedback control loops, which manipulate the nitrate recirculation and the carbon dosage flows in a highly coordinated manner such that the consumption of external carbon is minimised while the nitrate discharge limits (based on both grab and composite samples) are met. The control system requires the measurement of the nitrate concentrations at the end of both the anoxic and the aerobic zones. Distinct from ordinary control systems, which typically minimise the variation in the controlled variables, the proposed control system essentially maximises the diurnal variation of the effluent nitrate concentration and through this maximises the use of influent COD for denitrification, thus minimising the requirement for external carbon source. Simulation studies using a commonly accepted simulation benchmark show that the controlled system consistently achieves the designated effluent quality with minimum costs.

Integrating science and management through collaborative learning and better information management

Achieving more sustainable land and water use depends on high-quality information and its improved use. In other words, better linkages are needed between science and management. Since many stakeholders with different relationships to the natural resources are inevitably involved, we suggest that collaborative learning environments and improved information management are prerequisites for integrating science and management. Case studies that deal with resource management issues are presented that illustrate the creation of collaborative learning environments through systems analyses with communities, and an integration of scientific and experiential knowledge of components of the system. This new knowledge needs to be captured and made accessible through innovative information management systems designed collaboratively with users, in forms which fit the users' 'mental models' of how their systems work. A model for linking science and resource management more effectively is suggested. This model entails systems thinking in a collaborative learning environment, and processes to help convergence of views and value systems, and make scientists and different kinds of managers aware of their interdependence. Adaptive management provides a mechanism for applying and refining scientists' and managers' knowledge. Copyright (C) 2003 John Wiley Sons, Ltd.

Classification and analysis of integrating frameworks in multiscale modelling

Chemical engineers are turning to multiscale modelling to extend traditional modelling approaches into new application areas and to achieve higher levels of detail and accuracy. There is, however, little advice available on the best strategy to use in constructing a multiscale model. This paper presents a starting point for the systematic analysis of multiscale models by defining several integrating frameworks for linking models at different scales. It briefly explores how the nature of the information flow between the models at the different scales is influenced by the choice of framework, and presents some restrictions on model-framework compatibility. The concepts are illustrated with reference to the modelling of a catalytic packed bed reactor. (C) 2004 Elsevier Ltd. All rights reserved.

A Framework of Fuzzy Diagnosis

Fault diagnosis has become an important component in intelligent systems, such as intelligent control systems and intelligent eLearning systems. Reiter's diagnosis theory, described by first-order sentences, has been attracting much attention in this field. However, descriptions and observations of most real-world situations are related to fuzziness because of the incompleteness and the uncertainty of knowledge, e. g., the fault diagnosis of student behaviors in the eLearning processes. In this paper, an extension of Reiter's consistency-based diagnosis methodology, Fuzzy Diagnosis, has been proposed, which is able to deal with incomplete or fuzzy knowledge. A number of important properties of the Fuzzy diagnoses schemes have also been established. The computing of fuzzy diagnoses is mapped to solving a system of inequalities. Some special cases, abstracted from real-world situations, have been discussed. In particular, the fuzzy diagnosis problem, in which fuzzy observations are represented by clause-style fuzzy theories, has been presented and its solving method has also been given. A student fault diagnostic problem abstracted from a simplified real-world eLearning case is described to demonstrate the application of our diagnostic framework.

Ontological evaluation of enterprise systems interoperability using ebXML

Enterprise systems interoperability (ESI) is an important topic for business currently. This situation is evidenced, at least in part, by the number and extent of potential candidate protocols for such process interoperation, viz., ebXML, BPML, BPEL, and WSCI. Wide-ranging support for each of these candidate standards already exists. However, despite broad acceptance, a sound theoretical evaluation of these approaches has not yet been provided. We use the Bunge-Wand-Weber (BWW) models, in particular, the representation model, to provide the basis for such a theoretical evaluation. We, and other researchers, have shown the usefulness of the representation model for analyzing, evaluating, and engineering techniques in the areas of traditional and structured systems analysis, object-oriented modeling, and process modeling. In this work, we address the question, what are the potential semantic weaknesses of using ebXML alone for process interoperation between enterprise systems? We find that users will lack important implementation information because of representational deficiencies; due to ontological redundancy, the complexity of the specification is unnecessarily increased; and, users of the specification will have to bring in extra-model knowledge to understand constructs in the specification due to instances of ontological excess.

Adaptive management and its role in managing Great Barrier Reef water quality

Adaptive management is the pathway to effective conservation, use and management of Australia’s coastal catchments and waterways. While the concepts of adaptive management are not new, applications involving both assessment and management responses are indeed limited at the national and regional scales. This paper outlines the components of a systematic framework for linking scientific knowledge, existing tools, planning approaches and participatory processes to achieve healthy regional partnerships between community, industry, government agencies and science providers to overcome institutional barriers and uncoordinated monitoring. The framework developed by the Coastal CRC (www.coastal.crc.org.au/amf/amf_index.htm) is hierarchical in the way it displays information to allow associated frameworks to be integrated, and represents a construct in which processes, information, decision tools and outcomes are brought together in a structured and transparent way for adaptive catchment and coastal management. This paper proposes how an adaptive management approach could be used to benefit the implementation of the Reef Water Quality Protection Plan (RWQPP).

Data mining and simulation: a grey relationship demonstration

Fuzzy data has grown to be an important factor in data mining. Whenever uncertainty exists, simulation can be used as a model. Simulation is very flexible, although it can involve significant levels of computation. This article discusses fuzzy decision-making using the grey related analysis method. Fuzzy models are expected to better reflect decision-making uncertainty, at some cost in accuracy relative to crisp models. Monte Carlo simulation is used to incorporate experimental levels of uncertainty into the data and to measure the impact of fuzzy decision tree models using categorical data. Results are compared with decision tree models based on crisp continuous data.

Optimal control, geometry, and quantum computing

We prove upper and lower bounds relating the quantum gate complexity of a unitary operation, U, to the optimal control cost associated to the synthesis of U. These bounds apply for any optimal control problem, and can be used to show that the quantum gate complexity is essentially equivalent to the optimal control cost for a wide range of problems, including time-optimal control and finding minimal distances on certain Riemannian, sub-Riemannian, and Finslerian manifolds. These results generalize the results of [Nielsen, Dowling, Gu, and Doherty, Science 311, 1133 (2006)], which showed that the gate complexity can be related to distances on a Riemannian manifold.

Anisotropy-based robust performance analysis of finite horizon linear discrete time varying systems

We consider a problem of robust performance analysis of linear discrete time varying systems on a bounded time interval. The system is represented in the state-space form. It is driven by a random input disturbance with imprecisely known probability distribution; this distributional uncertainty is described in terms of entropy. The worst-case performance of the system is quantified by its a-anisotropic norm. Computing the anisotropic norm is reduced to solving a set of difference Riccati and Lyapunov equations and a special form equation.

Formal change impact analyses for emulated control software

Processor emulators are a software tool for allowing legacy computer programs to be executed on a modern processor. In the past emulators have been used in trivial applications such as maintenance of video games. Now, however, processor emulation is being applied to safety-critical control systems, including military avionics. These applications demand utmost guarantees of correctness, but no verification techniques exist for proving that an emulated system preserves the original system’s functional and timing properties. Here we show how this can be done by combining concepts previously used for reasoning about real-time program compilation, coupled with an understanding of the new and old software architectures. In particular, we show how both the old and new systems can be given a common semantics, thus allowing their behaviours to be compared directly.

The attentional demands of preferred and non-preferred gait patterns

The purpose of this study was to determine the attentional demands of natural and imposed gait, as well as the attentional costs of transitions between the walking and running co-ordination patterns. Seven healthy young men and four healthy young women undertook an auditory probe reaction time task concurrently with self-selected gait (Experiment 1) and imposed walking and running (Experiment 2) at different speeds on a motor-driven treadmill. In Experiment 1, where participants were free to choose their own movement pattern to match the speed of travel of the treadmill, normal gait control was shown to have a significant attentional cost, and hence not be automatic in the classical sense. However, this attentional cost did not differ between the two gait modes or at the transition point. In Experiment 2, where participants were required to maintain specific gait modes regardless of the treadmill speed, the maintenance of walking at speeds normally associated with running was found to have an attentional cost whereas this was not the case for running at normal walking speeds. Collectively the findings support a model of gait control in which the normal switching between gait modes is determined with minimal attention demand and in which it is possible to sustain non-preferred gait modes although, in the case of walking, only at a significant attentional/cognitive cost. © 2002 Elsevier Science B.V. All rights reserved.