Information Macrodynamics (IMD) belong to an interdisciplinary science that represents a new theoretical and computer-based methodology for a system informational descriptionand improvement,including various activities in such areas as thinking, intelligent processes, communications, management, and other nonphysical subjects with their mutual interactions, informational superimposition, and theinformation transferredbetweeninteractions. The IMD is based on the implementation of a single concept by a unique mathematical principle and formalism, rather than on an artificial combination of many arbitrary, auxiliary concepts and/or postulates and different mathematical subjects, such as the game, automata, catastrophe, logical operations theories, etc. This concept is explored mathematically using classical mathematics as calculus of variation and the probability theory, which are potent enough, without needing to developnew,specifiedmathematical systemicmethods. The formal IMD model automatically includes the related results from other fields, such as linear, nonlinear, collective and chaotic dynamics, stability theory, theory of information, physical analogies of classical and quantum mechanics, irreversible thermodynamics, andkinetics. The main IMD goal is to reveal the information regularities, mathematically expressed by the considered variation principle (VP), as a mathematical tool to extractthe regularities and define the model, whichdescribes theregularities. The IMD regularities and mechanisms are the results of the analytical solutions and are not retained by logical argumentation, rational introduction, and a reasonable discussion. The IMD's information computer modeling formalism includes a human being (as an observer, carrier and producer ofinformation), with a restoration of the model during the objectobservations.

A. K. TURNER Department of Geology and Geological Engineering Colorado School of Mines Golden, Colorado 80401 USA Geology deals with three-dimensional data. Geoscientists are concerned with three dimensional spatial observations, measurements, and explanations of a great variety of phenomena. The representation of three-dimensional data has always been a problem. Prior to computers, graphical displays involved specialized maps, cross-sections, fence diagrams, and geometrical constructions such as stereonets. All were designed to portray three-dimensional relationships on two-dimensional paper products, and all were time consuming to develop. Until recently, computers were of little assistance to three-dimensional data handling and representation problems. Memory was too expensive to handle the huge amounts of data required by three-dimensional assessments; computational speeds were too slow to perform the necessary calculations within a reasonable time; and graphical displays had too Iowa resolution or were much too expensive to produce useful visualizations. Much experience was gained with two-dimensional geographic information systems (GIS), which were applied to many land-use management and resource assessment problems. The two-dimensional GIS field matured rapidly in the late 1980's and became widely accepted. The advent of the modern computer workstation, with its enhanced memory and graphical capabilities at ever more affordable prices, has largely overcome these earlier constraints.

This unique book is the only recent summary presenting a comprehensive, up-to-date and detailed treatment of relay feedback theory, the use of relay feedback for process identification and the use of identified models for general control design in a single volume.

Control technology is a new learning environment which offers the opportunity to take up the economic and educational challenge of enabling people to adapt to new technologies and use them to solve problems. Giving young children (and also adults) easy access to control technology introduces them to a learning environment where they can build their knowledge across a range of topics. As they build and program their own automata and robots, they learn to solve problems, work incollaboration, and be creative. They also learn more about science, electronics, physics, computer literacy, computer assisted manufacturing, and so on. This book, based on a NATO Advanced Research Workshop in the Special Programme on Advanced Educational Technology, presents a cross-curricular approach to learning about control technology. The recommended methodology is active learning, where the teacher's role is to stimulate the learner to build knowledge by providing him/her with appropriate materials (hardware and software) and suggestions to develop the target skills. The results are encouraging, although more tools are needed to help the learner to generalize from his/her concrete experiment in control technology as well as to evaluate its effect on the target skills. The contributions not only discuss epistemological controversies linked to such learning environments as control technology, but also report on the state of the art and new developments in the field and present some stimulating ideas.

In wntmg this monograph my aim has been to present a "geometric" approach to the structural synthesis of multivariable control systems that are linear, time-invariant and of finite dynamic order. The book is ad dressed to graduate students specializing in control, to engineering scientists involved in control systems research and development, and to mathemati cians interested in systems control theory. The label "geometric" in the title is applied for several reasons. First and obviously, the setting is linear state space and the mathematics chiefly linear algebra in abstract (geometric) style. The basic ideas are the familiar system concepts of controllability and observability, thought of as geometric prop erties of distinguished state subspaces. Indeed, the geometry was first brought in out of revulsion against the orgy of matrix manipulation which linear control theory mainly consisted of, around fifteen years ago. But secondly and of greater interest, the geometric setting rather quickly sug gested new methods of attacking synthesis which have proved to be intuitive and economical; they are also easily reduced to matrix arithmetic as soon as you want to compute. The essence of the "geometric" approach is just this: instead of looking directly for a feedback law (say u = Fx) which would solve your synthesis problem if a solution exists, first characterize solvability as a verifiable property of some constructible state subspace, say Y. Then, if all is well, you may calculate F from Y quite easily."

Environmental Systems Engineering and Economics emphasizes the application of optimization, economics, and systems engineering to problems in environmental resources management. This senior level/graduate textbook introduces optimization theory and algorithms that have been successful in resolving water quality and groundwater management problems. Both linear programming and nonlinear optimization are presented. Multiobjective optimization and the linked simulation-optimization (LSO) methodology are also introduced. The basic principles of economics and engineering economics are also discussed to provide a framework for economic decision making. This text contains numerous example problems. Case studies are presented that address water resources management issues in the north China plain, the control of saltwater intrusion in Jakarta, Indonesia, and groundwater resources management in the Yun Lin basin, Taiwan.

Geometric constraint programming increases flexibility in CAD design specifications and leads to new conceptual design paradigms.
This volume features a collection of work by leading researchers developing the various aspects of constraint-based product modeling.
In an introductory chapter the role of constraints in CAD systems of the future and their implications for the STEP data exchange format are discussed. The main part of the book deals with the application of constraints to conceptual and collaborative design, as well as state-of-the-art mathematical and algorithmic methods for constraint solving.

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.

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.

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

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."

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.

Supervision of Petri Nets presents supervisory control theory for Petri nets with a legal set as the control goal. Petri nets model discrete event systems - dynamic systems whose evolution is completely determined by the occurrence of discrete events. Control laws, which guarantee that the system meets a set of specifications in the presence of uncontrollable and unobservable events, are studied and constructed, using application areas such as automated manufacturing and transportation systems. Supervision of Petri Nets introduces a new and mathematically sound approach to the subject. Existing results are unified by proposing a general mathematical language that makes extensive use of order theoretical ideas, and numerous new results are described, including ready-to-use algorithms that construct supervisory control laws for Petri nets. Supervision of Petri Nets is an excellent reference for researchers, and may also be used as a supplementary text for advanced courses on control theory.

Game theory is a rich and active area of research of which this new volume of the Annals of the International Society of Dynamic Games is yet fresh evidence. Since the second half of the 20th century, the area of dynamic games has man aged to attract outstanding mathematicians, who found exciting open questions requiring tools from a wide variety of mathematical disciplines; economists, so cial and political scientists, who used game theory to model and study competition and cooperative behavior; and engineers, who used games in computer sciences, telecommunications, and other areas. The contents of this volume are primarily based on selected presentation made at the 8th International Symposium of Dynamic Games and Applications, held in Chateau Vaalsbroek, Maastricht, the Netherlands, July 5-8, 1998; this conference took place under the auspices of the International Society of Dynamic Games (ISDG), established in 1990. The conference has been cosponsored by the Control Systems Society of the IEEE, IFAC (International Federation of Automatic Con trol), INRIA (Institute National de Recherche en Informatique et Automatique), and the University of Maastricht. One ofthe activities of the ISDG is the publica tion of the Annals. Every paper that appears in this volume has passed through a stringent reviewing process, as is the case with publications for archival journals.

"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

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."

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."

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(."

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.

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."

The main part of the book is based on a one semester graduate course for students in mathematics. I have attempted to develop the theory of hyperbolic systems of differen tial equations in a systematic way, making as much use as possible ofgradient systems and their algebraic representation. However, despite the strong sim ilarities between the development of ideas here and that found in a Lie alge bras course this is not a book on Lie algebras. The order of presentation has been determined mainly by taking into account that algebraic representation and homomorphism correspondence with a full rank Lie algebra are the basic tools which require a detailed presentation. I am aware that the inclusion of the material on algebraic and homomorphism correspondence with a full rank Lie algebra is not standard in courses on the application of Lie algebras to hyperbolic equations. I think it should be. Moreover, the Lie algebraic structure plays an important role in integral representation for solutions of nonlinear control systems and stochastic differential equations yelding results that look quite different in their original setting. Finite-dimensional nonlin ear filters for stochastic differential equations and, say, decomposability of a nonlinear control system receive a common understanding in this framework."

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)."