A fundamental problem in control theory is concerned with the stability of a given linear system. The design of a control system is generally based on a simplified model. The true values of the physical parameters may differ from the assumed values.
Robust Stability and Convexity addresses stability problems for linear systems with parametric uncertainty. The application of convexity techniques leads to new computationally tractable stability criteria for families of characteristic functions with nonlinear dependence on the parameters. Stability results as well as stability...

These conference proceedings cover topics such as: the impact of active databases on commercial practice; the optimization of active database transactions; the need for better language, compiler and tool support for real-time databases; and more.

This book outlines a new approach to constructing optimal feedback controls for linear control systems that are under the influence of constantly acting bounded perturbations. The optimal synthesis problem is solved by using discrete time systems obtained from continuous ones. Feedback and output feedback are also examined within this context. In cases where only incomplete or imprecise data are available, algorithms for optimal estimators as well as algorithms of optimal identifiers are described. Algorithms for optimal controllers are also constructed. An algorithm for optimal stabilization...

With major structural changes will need to be thoroughly reexamined. This book discusses decision making for problems where a particular decision affects the options available at the next decision time. The deregulation of the electric utility industry will shift the emphasis from a cost-based to a price-based approach; the resulting occuring in the electric power industry, many long-standing ways of operation increase in uncertainty requires that a stochastic approach be adopted for optimal decision-making. This monograph covers a wide range of topics including dynamic programming, ordinal...

Networked and Distributed Predictive Control presents rigorous, yet practical, methods for the design of networked and distributed predictive control systems - the first book to do so. The design of model predictive control systems using Lyapunov-based techniques accounting for the influence of asynchronous and delayed measurements is followed by a treatment of networked control architecture development. This shows how networked control can augment dedicated control systems in a natural way and takes advantage of additional, potentially asynchronous and delayed measurements to maintain closed...

Rationale Software engineering aims to develop software by using approaches which en able large and complex program suites to be developed in a systematic way. However, it is well known that it is difficult to obtain the level of assurance of correctness required for safety critical software using old fashioned program ming techniques. The level of safety required becomes particularly high in software which is to function without a break for long periods of time, since the software cannot be restarted and errors can accumulate. Consequently programming for mission critical systems, for...

In practical control problems, many constraints have to be handled in order to design controllers which operate in a real environment. By combining results on robust control and saturating control, this book attempts to provide positive help for practical situations and, as one of the first books to merge the two control fields, it should generate considerable interest in scientific/acad emic circles. The ten chapters, which deal with stabilization and control of both linear and nonlinear systems, are each independent in their approach - some deal purely with theoretical results whilst others...

Although the last decade has witnessed significant advances in control theory for finite and infinite dimensional systems, the stability and control of time-delay systems have not been fully investigated. Many problems exist in this field that are still unresolved, and there is a tendency for the numerical methods available either to be too general or too specific to be applied accurately across a range of problems. This monograph brings together the latest trends and new results in this field, with the aim of presenting methods covering a large range of techniques. Particular emphasis is...

This volume presents an introduction to the B Abstract Machine Notation, and how it can be used to support formal specification and development of high integrity systems. Emphasis is placed on the use of B in the context of existing software development methods.