Controlled stochastic processes with discrete time form a very interest ing and meaningful field of research which attracts widespread attention. At the same time these processes are used for solving of many applied problems in the queueing theory, in mathematical economics. in the theory of controlled technical systems, etc. . In this connection, methods of the theory of controlled processes constitute the every day instrument of many specialists working in the areas mentioned. The present book is devoted to the rather new area, that is, to the optimal control theory with functional constraints. This theory is close to the theory of multicriteria optimization. The compromise between the mathematical rigor and the big number of meaningful examples makes the book attractive for professional mathematicians and for specialists who ap ply mathematical methods in different specific problems. Besides. the book contains setting of many new interesting problems for further invf'stigatioll. The book can form the basis of special courses in the theory of controlled stochastic processes for students and post-graduates specializing in the ap plied mathematics and in the control theory of complex systf'ms. The grounding of graduating students of mathematical department is sufficient for the perfect understanding of all the material. The book con tains the extensive Appendix where the necessary knowledge ill Borel spaces and in convex analysis is collected. All the meaningful examples can be also understood by readers who are not deeply grounded in mathematics.

An open process of restandardization, conducted by the IEEE, has led to the definitions of the new VHDL standard. The changes make VHDL safer, more portable, and more powerful. VHDL also becomes bigger and more complete. The canonical simulator of VHDL is enriched by new mechanisms, the predefined environment is more complete, and the syntax is more regular and flexible. Discrepancies and known bugs of VHDL'87 have been fixed. However, the new VHDL'92 is compatible with VHDL'87, with some minor exceptions. This book presents the new VHDL'92 for the VHDL designer. New features ar explained and classified. Examples are provided, each new feature is given a rationale and its impact on design methodology, and performance is analysed. Where appropriate, pitfalls and traps are explained. The VHDL designer will quickly be able to find the feature needed to evaluate the benefits it brings, to modify previous VHDL'87 code to make it more efficient, more portable, and more flexible. VHDL'92 is the essential update for all VHDL designers and managers involved in electronic design.

This book presents new approaches to constructing fuzzy models for model-based control. Simulated examples and real-world applications from chemical and process engineering illustrate the main methods and techniques. Supporting MATLAB and Simulink files create a computational platform for exploration of the concepts and algorithms.

The International Conference on Linear Statistical Inference LINSTAT'93 was held in Poznan, Poland, from May 31 to June 4, 1993. The purpose of the confer ence was to enable scientists, from various countries, engaged in the diverse areas of statistical sciences and practice to meet together and exchange views and re sults related to the current research on linear statistical inference in its broadest sense. Thus, the conference programme included sessions on estimation, prediction and testing in linear models, on robustness of some relevant statistical methods, on estimation of variance components appearing in linear models, on certain gen eralizations to nonlinear models, on design and analysis of experiments, including optimality and comparison of linear experiments, and on some other topics related to linear statistical inference. Within the various sessions 22 invited papers and 37 contributed papers were presented, 12 of them as posters. The conference gathered 94 participants from eighteen countries of Europe, North America and Asia. There were 53 participants from abroad and 41 from Poland. The conference was the second of this type, devoted to linear statistical inference. The first was held in Poznan in June, 4-8, 1984. Both belong to the series of confer ences on mathematical statistics and probability theory organized under the auspices of the Committee of Mathematics of the Polish Academy of Sciences, due to the ini tiative and efforts of its Mathematical Statistics Section. In the years 1973-1993 there were held in Poland nineteen such conferences, some of them international."

Information theory, cybernetics and the theory of finite automata are used to model learning-by-doing, bounded rationality, routine behavior, and the formation of teams. The non-neoclassical characterization of production developed in this book ignores the usual quantitative relationships between inputs and outputs and instead views production strictly as a problem of control and communication. The motivation for this unconventional characterization of production comes from Schumpeter's critique of neoclassical economic theory. Schumpeter argued that neoclassical economic theory, and the habits of thought engendered by it, was the major obstacle to acquiring an understanding of technological change. The non-neoclassical characterization of production developed in this book is in keeping with how economic historians describe specific technological changes and how they write technological histories about particular machines, firms or industries.

The aim of the book is to present the state of the art of the theory of symmetric (Hermitian) matrix Riccati equations and to contribute to the development of the theory of non-symmetric Riccati equations as well as to certain classes of coupled and generalized Riccati equations occurring in differential games and stochastic control. The volume offers a complete treatment of generalized and coupled Riccati equations. It deals with differential, discrete-time, algebraic or periodic symmetric and non-symmetric equations, with special emphasis on those equations appearing in control and systems theory. Extensions to Riccati theory allow to tackle robust control problems in a unified approach.

The book is intended to make available classical and recent results to engineers and mathematicians alike. It is accessible to graduate students in mathematics, applied mathematics, control engineering, physics or economics. Researchers working in any of the fields where Riccati equations are used can find the main results with the proper mathematical background.

"This volume is a textbook on linear control systems with an emphasis on stochastic optimal control with solution methods using spectral factorization in line with the original approach of N. Wiener. Continuous-time and discrete-time versions are presented in parallel.... Two appendices introduce functional analytic concepts and probability theory, and there are 77 references and an index. The chapters (except for the last two) end with problems.... [T]he book presents in a clear way important concepts of control theory and can be used for teaching." -Zentralblatt Math "This is a textbook intended for use in courses on linear control and filtering and estimation on (advanced) levels. Its major purpose is an introduction to both deterministic and stochastic control and estimation. Topics are treated in both continuous time and discrete time versions.... Each chapter involves problems and exercises, and the book is supplemented by appendices, where fundamentals on Hilbert and Banach spaces, operator theory, and measure theoretic probability may be found. The book will be very useful for students, but also for a variety of specialists interested in deterministic and stochastic control and filtering." -Applications of Mathematics "The strength of the book under review lies in the choice of specialized topics it contains, which may not be found in this form elsewhere. Also, the first half would make a good standard course in linear control." -Journal of the Indian Institute of Science

Robust Modal Control covers most classical multivariable modal control design techniques that were shown to be effective in practice, and in addition proposes several new tools. The proposed new tools include: minimum energy eigenvector selection, low order observer-based control design, conversion to observer-based controllers, a new multimodel design technique, and modal analysis. The text is accompanied by a CD-ROM containing MATLAB(r) software for the implementation of the proposed techniques. The software is in use in aeronautical industry and has proven to be effective and functional.
For more detail, please visit the author's webpage at http: //www.cert.fr/dcsd/idco/perso/Magni/booksandtb.html

Hidenori Kimura, renowned system and control theorist, turned 60 years of age in November, 2001. To celebrate this memorable occasion, his friends, collaborators, and former students gathered from all over the world and held a symposium in his honor on November 1 and 2, 2001, at the Sanjo Conference Hall at the University of Tokyo. Reflecting his current research interests, the symposium was entitled "Cybernetics in the 21st Century: Information and Complexity in Control Theory," and it drew nearly 150 attendees. There were twenty-five lectures, on which the present volume is based. Hidenori Kimura was born on November 3, 1941, in Tokyo, just prior to the outbreak of the Second World War. It is not hard to imagine, then, that his early days, like those of so many of his contemporaries, must have been difficult. Fortunately, the war ended in 1945, and his generation found itself thoroughly occupied with the rebuilding effort and with Japan's uphill journey in the last half-century. He entered the University of Tokyo in 1963, received a B. S. in 1965, an M. S. in 1967, and, in 1970, a Ph. D. degree for his dissertation "A Study of Differential Games. " After obtaining his doctorate, he joined the Department of Control En gineering at Osaka University as a research associate, and in 1973 he was promoted to an associate professor.

Saturation nonlinearities are ubiquitous in engineering systems. In control systems, every physical actuator or sensor is subject to saturation owing to its maximum and minimum limits. A digital filter is subject to saturation if it is implemented in a finite word length format. Saturation nonlinearities are also purposely introduced into engineering systems such as control sys tems and neural network systems. Regardless of how saturation arises, the analysis and design of a system that contains saturation nonlinearities is an important problem. Not only is this problem theoretically challenging, but it is also practically imperative. This book intends to study control systems with actuator saturation in a systematic way. It will also present some related results on systems with state saturation or sensor saturation. Roughly speaking, there are two strategies for dealing with actuator sat uration. The first strategy is to neglect the saturation in the first stage of the control design process, and then to add some problem-specific schemes to deal with the adverse effects caused by saturation. These schemes, known as anti-windup schemes, are typically introduced using ad hoc modifications and extensive simulations. The basic idea behind these schemes is to intro duce additional feedbacks in such a way that the actuator stays properly within its limits. Most of these schemes lead to improved performance but poorly understood stability properties."

With contributions by specialists in optimization and practitioners in the fields of aerospace engineering, chemical engineering, and fluid and solid mechanics, the major themes include an assessment of the state of the art in optimization algorithms as well as challenging applications in design and control, in the areas of process engineering and systems with partial differential equation models.

Small noise is a good noise. In this work, we are interested in the problems of estimation theory concerned with observations of the diffusion-type process Xo = Xo, 0 ~ t ~ T, (0. 1) where W is a standard Wiener process and St(') is some nonanticipative smooth t function. By the observations X = {X , 0 ~ t ~ T} of this process, we will solve some t of the problems of identification, both parametric and nonparametric. If the trend S(-) is known up to the value of some finite-dimensional parameter St(X) = St((}, X), where (} E e c Rd , then we have a parametric case. The nonparametric problems arise if we know only the degree of smoothness of the function St(X), 0 ~ t ~ T with respect to time t. It is supposed that the diffusion coefficient c is always known. In the parametric case, we describe the asymptotical properties of maximum likelihood (MLE), Bayes (BE) and minimum distance (MDE) estimators as c --+ 0 and in the nonparametric situation, we investigate some kernel-type estimators of unknown functions (say, StO,O ~ t ~ T). The asymptotic in such problems of estimation for this scheme of observations was usually considered as T --+ 00 , because this limit is a direct analog to the traditional limit (n --+ 00) in the classical mathematical statistics of i. i. d. observations. The limit c --+ 0 in (0. 1) is interesting for the following reasons.

This book is concerned with Intelligent Control methods and applications. The field of intelligent control has been expanded very much during the recent years and a solid body of theoretical and practical results are now available. These results have been obtained through the synergetic fusion of concepts and techniques from a variety of fields such as automatic control, systems science, computer science, neurophysiology and operational research. Intelligent control systems have to perform anthropomorphic tasks fully autonomously or interactively with the human under known or unknown and uncertain environmental conditions. Therefore the basic components of any intelligent control system include cognition, perception, learning, sensing, planning, numeric and symbolic processing, fault detection/repair, reaction, and control action. These components must be linked in a systematic, synergetic and efficient way. Predecessors of intelligent control are adaptive control, self-organizing control, and learning control which are well documented in the literature. Typical application examples of intelligent controls are intelligent robotic systems, intelligent manufacturing systems, intelligent medical systems, and intelligent space teleoperators. Intelligent controllers must employ both quantitative and qualitative information and must be able to cope with severe temporal and spatial variations, in addition to the fundamental task of achieving the desired transient and steady-state performance. Of course the level of intelligence required in each particular application is a matter of discussion between the designers and users. The current literature on intelligent control is increasing, but the information is still available in a sparse and disorganized way.

In this volume the investigations of filtering problems, a start on which has been made in 55], are being continued and are devoted to theoretical problems of processing stochastic fields. The derivation of the theory of processing stochastic fields is similar to that of the theory extensively developed for stochastic processes ('stochastic fields with a one-dimensional domain'). Nevertheless there exist essential distinctions between these cases making a construction of the theory for the multi-dimensional case in such a way difficult. Among these are the absence of the notion of the 'past-future' in the case of fields, which plays a fundamental role in constructing stochastic processes theory. So attempts to introduce naturally the notion of the causality (non-anticipativity) when synthesising stable filters designed for processing fields have not met with success. Mathematically, principal distinctions between multi-dimensional and one-dimensional cases imply that the set of roots of a multi-variable polyno mial does not necessary consist of a finite number of isolated points. From the main theorem of algebra it follows that in the one-dimensional case every poly nomial of degree n has just n roots (considering their multiplicity) in the com plex plane. As a consequence, in particular, an arbitrary rational function cents(."

High Performance Computing in the Geosciences surveys the state of the art of programs presently being developed which require high performance computing for their implementation, provides a guide for decision making in regard to computing directions in future numerical models, and provides an overview of future developments in massively parallel processing and their implications for numerical modelling in the geosciences.

Engineering Intelligent Hybrid Multi-Agent Systems is about building intelligent hybrid systems. Included is coverage of applications and design concepts related to fusion systems, transformation systems and combination systems. These applications are in areas involving hybrid configurations of knowledge-based systems, case-based reasoning, fuzzy systems, artificial neural networks, genetic algorithms, and in knowledge discovery and data mining. Through examples and applications a synergy of these subjects is demonstrated. The authors introduce a multi-agent architectural theory for engineering intelligent associative hybrid systems. The architectural theory is described at both the task structure level and the computational level. This problem-solving architecture is relevant for developing knowledge agents and information agents. An enterprise-wide system modeling framework is outlined to facilitate forward and backward integration of systems developed in the knowledge, information, and data engineering layers of an organization. In the modeling process, software engineering aspects like agent oriented analysis, design and reuse are developed and described. Engineering Intelligent Hybrid Multi-Agent Systems is the first book in the field to provide details of a multi-agent architecture for building intelligent hybrid systems.

Significant vulnerability of water systems to drought is a common issue of water resources management in Mediterranean regions. This is due both to the increasing occurrence and severity of drought events and to the growing demand for municipal, tourist, and agricultural uses. The INCO-DC project entitled "A Decision Support System for Mitigation of Drought Impacts in the Mediterranean Regions" (DSS DROUGHT) addresses this issue, contributing to an improved management of water supply systems for irrigation, which represents the most consumptive sector of water resources uses in the Mediterranean region. In order to develop a comprehensive approach toward improved operation of irrigation systems under drought conditions, the project was developed around the following five main, strictly interconnected tasks: Identification of drought characteristics at a site and over a region Modelling irrigation management under conditions of water scarcity Modelling operation of water supply systems under drought conditions Integration of the developed methodologies within a Decision Support System software package Definition of requisites for Drought Watch Systems The research resulted in an advancement of knowledge through in-depth analysis of innovative methodologies, the development of tools to help decision-makers in coping with droughts through the implementation of the developed procedures in software packages, and the application of these tools to the case-studies identified by partners in their countries."

'Et moi, ..., si j'avait su comment en revenir, One service mathematics has rendered the je n'y serais point alIe.' human race. It has put common sense back Jules Verne where it belongs, on the topmost shelf next to the dusty canister labelled 'discarded non The series is divergent; therefore we may be sense'. able to do something with it. Eric T. Bell O. Heaviside Mathematics is a tool for thought. A highly necessary tool in a world where both feedback and non linearities abound. Similarly, all kinds of parts of mathematics serve as tools for other parts and for other sciences. Applying a simple rewriting rule to the quote on the right above one finds such statements as: 'One service topology has rendered mathematical physics .. .'; 'One service logic has rendered com puter science .. .'; 'One service category theory has rendered mathematics .. .'. All arguably true. And all statements obtainable this way form part of the raison d'etre of this series."

One criterion for classifying books is whether they are written for a single purpose or for multiple purposes. This book belongs to the category of multipurpose books, but one of its roles is predominant-it is primarily a textbook. As such, it can be used for a variety of courses at the first-year graduate or upper-division undergraduate level. A common characteristic of these courses is that they cover fundamental systems concepts, major categories of systems problems, and some selected methods for dealing with these problems at a rather general level. A unique feature of the book is that the concepts, problems, and methods are introduced in the context of an architectural formulation of an expert system referred to as the general systems problem solver or GSPS-whose aim is to provide users of all kinds with computer-based systems knowledge and methodology. The GSPS architecture, which is developed throughout the book, facilitates a framework that is conducive to a coherent, comprehensive, and pragmatic coverage of systems fundamentals--concepts, problems, and methods. A course that covers systems fundamentals is now offered not only in systems cience, information science, or systems engineering programs, but in many programs in other disciplines as well. Although the level of coverage for systems science or engineering students is surely different from that used for students in other disciplines, this book is designed to serve both of these needs."

It is a truism that turbulence is an unsolved problem, whether in scientific, engin eering or geophysical terms. It is strange that this remains largely the case even though we now know how to solve directly, with the help of sufficiently large and powerful computers, accurate approximations to the equations that govern tur bulent flows. The problem lies not with our numerical approximations but with the size of the computational task and the complexity of the solutions we gen erate, which match the complexity of real turbulence precisely in so far as the computations mimic the real flows. The fact that we can now solve some turbu lence in this limited sense is nevertheless an enormous step towards the goal of full understanding. Direct and large-eddy simulations are these numerical solutions of turbulence. They reproduce with remarkable fidelity the statistical, structural and dynamical properties of physical turbulent and transitional flows, though since the simula tions are necessarily time-dependent and three-dimensional they demand the most advanced computer resources at our disposal. The numerical techniques vary from accurate spectral methods and high-order finite differences to simple finite-volume algorithms derived on the principle of embedding fundamental conservation prop erties in the numerical operations. Genuine direct simulations resolve all the fluid motions fully, and require the highest practical accuracy in their numerical and temporal discretisation. Such simulations have the virtue of great fidelity when carried out carefully, and repre sent a most powerful tool for investigating the processes of transition to turbulence.

Techniques of optimization are applied in many problems in economics, automatic control, engineering, etc. and a wealth of literature is devoted to this subject. The first computer applications involved linear programming problems with simp- le structure and comparatively uncomplicated nonlinear pro- blems: These could be solved readily with the computational power of existing machines, more than 20 years ago. Problems of increasing size and nonlinear complexity made it necessa- ry to develop a complete new arsenal of methods for obtai- ning numerical results in a reasonable time. The lineariza- tion method is one of the fruits of this research of the last 20 years. It is closely related to Newton's method for solving systems of linear equations, to penalty function me- thods and to methods of nondifferentiable optimization. It requires the efficient solution of quadratic programming problems and this leads to a connection with conjugate gra- dient methods and variable metrics. This book, written by one of the leading specialists of optimization theory, sets out to provide - for a wide readership including engineers, economists and optimization specialists, from graduate student level on - a brief yet quite complete exposition of this most effective method of solution of optimization problems.

Quality of Communication-Based Systems presents the research results of students of the Graduiertenkolleg Communication-Based Systems' to an international community. To stimulate the scientific discussion, renowned experts have been invited to give their views on the research areas: Formal specification and mathematical foundations of distributed systems using process algebra, graph transformations, process calculi and temporal logics Performance evaluation, dependability modelling and analysis of real-time systems with different kinds of timed Petri-nets Specification and analysis of communication protocols Reliability, security and dependability in distributed systems Object orientation in distributed systems architecture Software development and concepts for distributed applications Computer network architecture and management Language concepts for distributed systems.

he problem of analyzing sequences of images to extract three-dimensional T motion and structure has been at the heart of the research in computer vi sion for many years. It is very important since its success or failure will determine whether or not vision can be used as a sensory process in reactive systems. The considerable research interest in this field has been motivated at least by the following two points: 1. The redundancy of information contained in time-varying images can over come several difficulties encountered in interpreting a single image. 2. There are a lot of important applications including automatic vehicle driv ing, traffic control, aerial surveillance, medical inspection and global model construction. However, there are many new problems which should be solved: how to effi ciently process the abundant information contained in time-varying images, how to model the change between images, how to model the uncertainty inherently associated with the imaging system and how to solve inverse problems which are generally ill-posed. There are of course many possibilities for attacking these problems and many more remain to be explored. We discuss a few of them in this book based on work carried out during the last five years in the Computer Vision and Robotics Group at INRIA (Institut National de Recherche en Informatique et en Automatique)."

Strategies for Quasi-Monte Carlo builds a framework to design and analyze strategies for randomized quasi-Monte Carlo (RQMC). One key to efficient simulation using RQMC is to structure problems to reveal a small set of important variables, their number being the effective dimension, while the other variables collectively are relatively insignificant. Another is smoothing. The book provides many illustrations of both keys, in particular for problems involving Poisson processes or Gaussian processes. RQMC beats grids by a huge margin. With low effective dimension, RQMC is an order-of-magnitude more efficient than standard Monte Carlo. With, in addition, certain smoothness - perhaps induced - RQMC is an order-of-magnitude more efficient than deterministic QMC. Unlike the latter, RQMC permits error estimation via the central limit theorem. For random-dimensional problems, such as occur with discrete-event simulation, RQMC gets judiciously combined with standard Monte Carlo to keep memory requirements bounded. This monograph has been designed to appeal to a diverse audience, including those with applications in queueing, operations research, computational finance, mathematical programming, partial differential equations (both deterministic and stochastic), and particle transport, as well as to probabilists and statisticians wanting to know how to apply effectively a powerful tool, and to those interested in numerical integration or optimization in their own right. It recognizes that the heart of practical application is algorithms, so pseudocodes appear throughout the book. While not primarily a textbook, it is suitable as a supplementary text for certain graduate courses. As a reference, it belongs on the shelf of everyone with a serious interest in improving simulation efficiency. Moreover, it will be a valuable reference to all those individuals interested in improving simulation efficiency with more than incremental increases.

This book is the result of our teaching over the years an undergraduate course on Linear Optimal Systems to applied mathematicians and a first-year graduate course on Linear Systems to engineers. The contents of the book bear the strong influence of the great advances in the field and of its enormous literature. However, we made no attempt to have a complete coverage. Our motivation was to write a book on linear systems that covers finite dimensional linear systems, always keeping in mind the main purpose of engineering and applied science, which is to analyze, design, and improve the performance of phy sical systems. Hence we discuss the effect of small nonlinearities, and of perturbations of feedback. It is our on the data; we face robustness issues and discuss the properties hope that the book will be a useful reference for a first-year graduate student. We assume that a typical reader with an engineering background will have gone through the conventional undergraduate single-input single-output linear systems course; an elementary course in control is not indispensable but may be useful for motivation. For readers from a mathematical curriculum we require only familiarity with techniques of linear algebra and of ordinary differential equations.