Environmental Systems Engineering explains how to use new computerized tools to tackle problems in systems engineering. This book covers: expert systems, fuzzy logic, networks, process dynamics, control and statistical approaches to systems analysis. Computer simulation, mathematical models, and newer methods that apply artificial intelligence and neural networks to environmental problems are emphasized. Each book topic is supported by an interactive web site featuring computer graphics, teaching games and navigational aids. Topics are developed through the use of computer exercises using practical problems as examples.

Ad ap tive Contro l provid es tec hniques for aut omatic adjustment in real t ime of cont roller parameter s in order to achieve or to maintain a desired level for the performance of cont rol systems when the dyn amic param et ers of t he process are unknown and/or var y in time. These techniques have as a main feature t he abilit y to ext ract significant information from real dat a in ord er to tune the cont roller and they feature a me chanism for adjust ing parameter s (of a plant model or of a cont roller). While the history of Adaptive Control is lon g, significant progr ess in under - standing and applying Adaptive Con trol began in the early sevent ies. The growing availability of digital com puters have also contributed to the devel- opment of the field . The earlier applicat ions in the sevent ies and beginning of the eight ies, provided important feedback for the development of the field . Theoretical developments allowed a number of basic problems to be solved . The aim of this book is to provide a coherent and comprehensive treatment of the field . The presentation takes the read er from the basic problem formu- lation to the analytical solutions who se prac tical significance is illustrated by applications.

The field of Computational Economics is a fast growing area. Due to the limitations in analytical modeling, more and more researchers apply numerical methods as a means of problem solving. In tum these quantitative results can be used to make qualitative statements. This volume of the Advanced Series in Theoretical and Applied and Econometrics comprises a selected number of papers in the field of computational economics presented at the Annual Meeting of the Society Economic Dynamics and Control held in Minneapolis, June 1990. The volume covers ten papers dealing with computational issues in Econo metrics, Economics and Optimization. The first five papers in these proceedings are dedicated to numerical issues in econometric estimation. The following three papers are concerned with computational issues in model solving and optimization. The last two papers highlight some numerical techniques for solving micro models. We are sure that Computational Economics will become an important new trend in Economics in the coming decade. Hopefully this volume can be one of the first contributions highlighting this new trend. The Editors H.M. Amman et a1. (eds), Computational Economics and Econometrics, vii. (c) 1992 Kluwer Academic Publishers. PART ONE ECONOMETRICS LIKELIHOOD EVALUATION FOR DYNAMIC LATENT VARIABLES 1 MODELS DAVID F. HENDRY Nuffield College, Oxford, U.K. and JEAN-FRANc;mS RICHARD ISDS, Pittsburgh University, Pittsburgh, PA, U.S.A."

One service mathematics has rendered the 'Bt mm, ... si j'avait su comment en revenir, human race. It has put common sense back je n'y serais point alIe.' 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'. Eric T. Bell able to do something with it. O. Heavisidc 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."

This book aims to rethink systemic intervention to enhance its relevance for supporting social change in the 21st century. It offers a new systems philosophy and methodology, focusing upon the fundamental importance of exploring value and boundary judgements as part of the intervention process. It includes four detailed examples of the practice of systemic intervention.

Inspired by the eternal beauty and truth of the laws governing the run of stars on heavens over his head, and spurred by the idea to catch, perhaps for the smallest fraction of the shortest instant, the Eternity itself, man created such masterpieces of human intellect like the Platon's world of ideas manifesting eternal truths, like the Euclidean geometry, or like the Newtonian celestial me chanics. However, turning his look to the sub-lunar world of our everyday efforts, troubles, sorrows and, from time to time but very, very seldom, also our successes, he saw nothing else than a world full of uncertainty and tem porariness. One remedy or rather consolation was that of the deep and sage resignation offered by Socrates: I know, that I know nothing. But, happy or unhappy enough, the temptation to see and to touch at least a very small por tion of eternal truth also under these circumstances and behind phenomena charged by uncertainty was too strong. Probability theory in its most sim ple elementary setting entered the scene. It happened in the same, 17th and 18th centuries, when celestial mechanics with its classical Platonist paradigma achieved its greatest triumphs. The origins of probability theory were inspired by games of chance like roulettes, lotteries, dices, urn schemata, etc. and probability values were simply defined by the ratio of successful or winning results relative to the total number of possible outcomes.

A Paradigm for Decentralized Process Modeling presents a novel approach to decentralized process modeling that combines both trends and suggests a paradigm for decentralized PCEs, supporting concerted efforts among geographically-dispersed teams - each local individual or team with its own autonomous process - with emphasis on flexible control over the degree of collaboration versus autonomy provided. A key guideline in this approach is to supply abstraction mechanisms whereby pre-existing processes (or workflows) can be encapsulated and retain security of their internal artifacts and status data, while agreeing with other processes on formal interfaces through which all their interactions are conducted on intentionally shared information. This book is primarily intended to provide an in-depth discussion of decentralized process modeling and enactment technology, covering both high-level concepts and a full-blown realization of these concepts in a concrete system. Either the whole book or selected chapters could be used in a graduate course on software engineering, software process, or software development environments, or even for a course on workflow systems outside computer science (e.g., in a classical engineering department for engineering design, or in a business school for business practices or enterprise-wide management, or in the medical informatics department of a health science institution concerned with computer-assistance for managed care). Selected portions of the book, such as section 2.2 on Marvel, could also be employed as a case study in advanced undergraduate software engineering courses. A Paradigm for Decentralized Process Modeling is a valuable resource for both researchers and practitioners, particularly in software engineering, software development environments, and software process and workflow management, but also in electrical, mechanical, civil and other areas of engineering which have analogous needs for design processes, environmental support and concurrent engineering, and beyond to private and public sector workflow management and control, groupware support, and heterogeneous distributed systems in general.

Since their inception, fuzzy sets and fuzzy logic became popular. The reason is that the very idea of fuzzy sets and fuzzy logic attacks an old tradition in science, namely bivalent (black-or-white, all-or-none) judg ment and reasoning and the thus resulting approach to formation of scientific theories and models of reality. The idea of fuzzy logic, briefly speaking, is just the opposite of this tradition: instead of full truth and falsity, our judgment and reasoning also involve intermediate truth values. Application of this idea to various fields has become known under the term fuzzy approach (or graded truth approach). Both prac tice (many successful engineering applications) and theory (interesting nontrivial contributions and broad interest of mathematicians, logicians, and engineers) have proven the usefulness of fuzzy approach. One of the most successful areas of fuzzy methods is the application of fuzzy relational modeling. Fuzzy relations represent formal means for modeling of rather nontrivial phenomena (reasoning, decision, control, knowledge extraction, systems analysis and design, etc. ) in the pres ence of a particular kind of indeterminacy called vagueness. Models and methods based on fuzzy relations are often described by logical formulas (or by natural language statements that can be translated into logical formulas). Therefore, in order to approach these models and methods in an appropriate formal way, it is desirable to have a general theory of fuzzy relational systems with basic connections to (formal) language which enables us to describe relationships in these systems.

A modern mechanical structure must work at high speed and with high precision in space and time, in cooperation with other machines and systems. All this requires accurate dynamic modelling, for instance, recognizing Coriolis and centrifugal forces, strong coupling effects, flexibility of links, large angles articulation. This leads to a motion equation which must be highly nonlinear to describe the reality. r1oreover, work on the manufacturing floor requires coordination between nachines, between each machine and a conveyor, and demands robustness of the controllers against uncertainty in payload, gravity, external perturbations etc. This requires adaptive controllers and system coordination, and perhaps a self organizing structure. The machines become complex, strongly nonlinear and strongly coupled mechanical systems with many degrees of freedom, controlled by sophisticated mathematical programs. The design of such systems needs basic research in Control and System Dynamics, as well as in Decision Making Theory (Dynamic Games), not only in the use of these disciplines, but in their adjustment to the present demand. This in turn generates the need to prepare engineering students for the job by the teaching of more sophisti cated techniques in control and Mechanics than those contained in previous curricula. On the other hand, all that was mentioned above regarding the design of machines applies equally well to other presently designed and used mechan ical structures or systems."

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.

Books on computation in the marketplace tend to discuss the topics within specific fields. Many computational algorithms, however, share common roots. Great advantages emerge if numerical methodologies break the boundaries and find their uses across disciplines. Interdisciplinary Computing In Java Programming Language introduces readers of different backgrounds to the beauty of the selected algorithms. Serious quantitative researchers, writing customized codes for computation, enjoy cracking source codes as opposed to the black-box approach. Most C and Fortran programs, despite being slightly faster in program execution, lack built-in support for plotting and graphical user interface. This book selects Java as the platform where source codes are developed and applications are run, helping readers/users best appreciate the fun of computation. Interdisciplinary Computing In Java Programming Language is designed to meet the needs of a professional audience composed of practitioners and researchers in science and technology. This book is also suitable for senior undergraduate and graduate-level students in computer science, as a secondary text.

Noise is a rich concept playing an underlying role in human activity. Consideration of the noise phenomenon in arts and sciences, respectively, makes the distinction between both domains more obvious. Artists create "deliberate noise"; the masterpieces of literature, music, modern fine art etc. are those where a clear idea, traditionally related to such concepts as love, is presented under a skilful veil of "deliberate noise." On the contrary, sciences fight against noise; a scientific discovery is a law of nature extracted from a noisy medium and refined.

This book discusses the methods of fighting against noise. It can be regarded as a mathematical view of specific engineering problems with known and new methods of control and estimation in noisy media.

The main feature of this book is the investigation of stochastic optimal control and estimation problems with the noise processes acting dependently on the state (or signal) and observation systems. While multiple early and recent findings on the subject have been obtained and challenging problems remain to be solved, this subject has not yet been dealt with systematically nor properly investigated. The discussion is given for infinite dimensional systems, but within the linear quadratic framework for continuous and finite time horizon. In order to make this book self-contained, some background material is provided.

Consequently, the target readers of this book are both applied mathematicians and theoretically oriented engineers who are designing new technology, as well as students of the related branches. The book may also be used as a reference manual in that part of functional analysis that is needed for problems of infinite dimensional linear systems theory.

This book contains the edited versions of the papers presented at the Second International Workshop on Electric and Magnetic Fields held at the Katholieke Universiteit van Leuven (Belgium) in May 1994. This Workshop deals with numerical solutions of electromagnetic problems in real life applications. The topics include coupled problems (thermal, mechanical, electric circuits), CAD & CAM applications, 3D eddy current and high frequency problems, optimisation and application oriented numerical problems. This workshop was organised jointly by the AIM (Association of Engineers graduated from de Montefiore Electrical Institute) together with the Departments of Electrical Engineering of the Katholieke Universiteit van Leuven (Prof. R. Belmans), the University of Gent (Prof. J. Melkebbek) and the University of Liege (Prof. W. Legros). These laboratories are working together in the framework of the Pole d'Attraction Interuniversitaire - Inter-University Attractie-Pole 51 - on electromagnetic systems led by the University of Liege and the research work they perform covers most of the topics of the Workshop. One of the principal aims of this Workshop was to provide a bridge between the electromagnetic device designers, mainly industrialists, and the electromagnetic field computation developers. Therefore, this book contains a continuous spectrum of papers from application of electromagnetic models in industrial design to presentation of new theoretical developments.

One criterion for classifying books is whether they are written for a single pur pose 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 ofcourses 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 aSPS-whose aim is to provide users ofall kinds with computer-based systems knowledge and methodo logy. Theasps architecture, which is developed throughout the book, facilitates a framework that is conducive to acoherent, comprehensive, and pragmaticcoverage ofsystems fundamentals-concepts, problems, and methods. A course that covers systems fundamentals is now offered not only in sys tems science, information science, or systems engineering programs, but in many programs in other disciplines as well. Although the level ofcoverage 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."

Most of the time series analysis methods applied today rely heavily on the key assumptions of linearity, Gaussianity and stationarity. Natural time series, including hydrologic, climatic and environmental time series, which satisfy these assumptions seem to be the exception rather than the rule. Nevertheless, most time series analysis is performed using standard methods after relaxing the required conditions one way or another, in the hope that the departure from these assumptions is not large enough to affect the result of the analysis.
A large amount of data is available today after almost a century of intensive data collection of various natural time series. In addition to a few older data series such as sunspot numbers, sea surface temperatures, etc., data obtained through dating techniques (tree-ring data, ice core data, geological and marine deposits, etc.), are available. With the advent of powerful computers, the use of simplified methods can no longer be justified, especially with the success of these methods in explaining the inherent variability in natural time series.
This book presents a number of new techniques that have been discussed in the literature during the last two decades concerning the investigation of stationarity, linearity and Gaussianity of hydrologic and environmental times series. These techniques cover different approaches for assessing nonstationarity, ranging from time domain analysis, to frequency domain analysis, to the combined time-frequency and time-scale analyses, to segmentation analysis, in addition to formal statistical tests of linearity and Gaussianity. It is hoped that this endeavor would facilitate further research into this important area.

Anyone seeking a gentle introduction to the methods of modern control theory and engineering, written at the level of a first-year graduate course, should consider this book seriously. It contains: * A generous historical overview of automatic control, from Ancient Greece to the 1970s, when this discipline matured into an essential field for electrical, mechanical, aerospace, chemical, and biomedical engineers, as well as mathematicians, and more recently, computer scientists; * A balanced presentation of the relevant theory: the main state-space methods for description, analysis, and design of linear control systems are derived, without overwhelming theoretical arguments; * Over 250 solved and exercise problems for both continuous- and discrete-time systems, often including MATLAB simulations; and * Appendixes on MATLAB, advanced matrix theory, and the history of mathematical tools such as differential calculus, transform methods, and linear algebra.Another noteworthy feature is the frequent use of an inverted pendulum on a cart to illustrate the most important concepts of automatic control, such as: * Linearization and discretization; * Stability, controllability, and observability; * State feedback, controller design, and optimal control; and * Observer design, reduced order observers, and Kalman filtering. Most of the problems are given with solutions or MATLAB simulations. Whether the book is used as a textbook or as a self-study guide, the knowledge gained from it will be an excellent platform for students and practising engineers to explore further the recent developments and applications of control theory.

Limit theorems for random sequences may conventionally be divided into two large parts, one of them dealing with convergence of distributions (weak limit theorems) and the other, with almost sure convergence, that is to say, with asymptotic prop erties of almost all sample paths of the sequences involved (strong limit theorems). Although either of these directions is closely related to another one, each of them has its own range of specific problems, as well as the own methodology for solving the underlying problems. This book is devoted to the second of the above mentioned lines, which means that we study asymptotic behaviour of almost all sample paths of linearly transformed sums of independent random variables, vectors, and elements taking values in topological vector spaces. In the classical works of P.Levy, A.Ya.Khintchine, A.N.Kolmogorov, P.Hartman, A.Wintner, W.Feller, Yu.V.Prokhorov, and M.Loeve, the theory of almost sure asymptotic behaviour of increasing scalar-normed sums of independent random vari ables was constructed. This theory not only provides conditions of the almost sure convergence of series of independent random variables, but also studies different ver sions of the strong law of large numbers and the law of the iterated logarithm. One should point out that, even in this traditional framework, there are still problems which remain open, while many definitive results have been obtained quite recently."

Driven by the request for increased productivity, flexibility, and competitiveness, modern civilization increasingly has created high-performance discrete event dynamic systems (DEDSs). These systems exhibit concurrent, sequential, competitive activities among their components. They are often complex and large in scale, and necessarily flexible and thus highly capital-intensive. Examples of systems are manufacturing systems, communication networks, traffic and logistic systems, and military command and control systems. Modeling and performance evaluation play a vital role in the design and operation of such high-performance DEDSs and thus have received widespread attention from researchers over the past two decades. One methodology resulting from this effort is based on timed Petri nets and related graphical and mathematical tools. The popularity that Petri nets have been gaining in modeling of DEDSs is due to their powerful representational ability of concurrency and synchronization; however these properties of DEDSs cannot be expressed easily in traditional formalisms developed for analysis of `classical' systems with sequential behaviors. This book introduces the theories and applications of timed Petri nets systematically. Moreover, it also presents many practical applications in addition to theoretical developments, together with the latest research results and industrial applications of timed Petri nets. Timed Petri Nets: Theory and Application is intended for use by researchers and practitioners in the area of Discrete Event Dynamic Systems.

Surface Acoustic Waves in Inhomogeneous Media covers almost all important problems of the interaction of different types of surface acoustic waves with surface inhomogeneities. The problems of surface acoustic wave interaction with periodic topographic gratings widely used in filters and resonators are under careful consideration. The most important results of surface wave scattering by local defects such as grooves, random roughness, elastic wedges are given. Different theoretical approaches and practical rules for solving the surface wave problems are presented.

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.

This book is motivated largely by a desire to solve shape optimization prob lems that arise in applications, particularly in structural mechanics and in the optimal control of distributed parameter systems. Many such problems can be formulated as the minimization of functionals defined over a class of admissible domains. Shape optimization is quite indispensable in the design and construction of industrial structures. For example, aircraft and spacecraft have to satisfy, at the same time, very strict criteria on mechanical performance while weighing as little as possible. The shape optimization problem for such a structure consists in finding a geometry of the structure which minimizes a given functional (e. g. such as the weight of the structure) and yet simultaneously satisfies specific constraints (like thickness, strain energy, or displacement bounds). The geometry of the structure can be considered as a given domain in the three-dimensional Euclidean space. The domain is an open, bounded set whose topology is given, e. g. it may be simply or doubly connected. The boundary is smooth or piecewise smooth, so boundary value problems that are defined in the domain and associated with the classical partial differential equations of mathematical physics are well posed. In general the cost functional takes the form of an integral over the domain or its boundary where the integrand depends smoothly on the solution of a boundary value problem."

The purpose of this monograph is to give the broad aspects of nonlinear identification and control using neural networks. It uses a number of simulated and industrial examples throughout, to demonstrate the operation of nonlinear identification and control techniques using neural networks.

Over the last thirty years an abundance of papers have been writ ten on adaptive dynamic control systems. Nevertheless, now it may be predicted with confidence that the adaptive mechanics, a new division, new line of inquiry in one of the violently developing fields of cybernetic mechanics, is emerging. The birth process falls far short of being com pleted. There appear new problems and methods of their solution in the framework of adaptive nonlinear dynamics. Therefore, the present work cannot be treated as a certain polished, brought-to-perfection school textbook. More likely, this is an attempt to show a number of well known scientific results in the parametric synthesis of nonlinear systems (this, strictly speaking, accounts for the availability of many reviews), as well as to bring to notice author's developments on this question undoubtedly modern and topical. The nonlinear, and practically La grangian, systems cover a wide class of classical objects in theoretical mechanics, and primarily solid-body (robotic, gyroscopic, rocket-cosmic, and other) systems. And what is rather important, they have a direct trend to practical application. To indicate this discussion, I should like to notice that it does not touch upon the questions concerned with the linear and stochastic con trolobjects. Investigated are only nonlinear deterministic systems being in the conditions when some system parameters are either unknown or beyond the reach of measurement, or they execute an unknown limited and fairly smooth drift in time.

In view of the importance of system identification, the International Federation of Automatic Control (IFAC) and the International Federation of Operational Research Societies (IFORS) hold symposia on this topic every three years. Interest in continuous time approaches to system identification has been growing in recent years. This is evident from the fact that the of invited sessions on continuous time systems has increased from one in the 8th number Symposium that was held in Beijing in 1988 to three in the 9th Symposium in Budapest in 1991. It was during the 8th Symposium in August 1988 that the idea of bringing together important results on the topic of Identification of continuous time systems was conceived. Several distinguished colleagues, who were with us in Beijing at that time, encouraged us by promising on the spot to contribute to a comprehensive volume of collective work. Subsequently, we contacted colleagues all over the world, known for their work in this area, with a formal request to contribute to the proposed volume. The response was prompt and overwhelmingly encouraging. We sincerely thank all the authors for their valuable contributions covering various aspects of identification of continuous time systems.

The aim of this Book is to give an overview, based on the results of nearly three decades of intensive research, of transient chaos. One belief that motivates us to write this book is that, transient chaos may not have been appreciated even within the nonlinear-science community, let alone other scientific disciplines.