The book of Professor Evtushenko describes both the theoretical foundations and the range of applications of many important methods for solving nonlinear programs. Particularly emphasized is their use for the solution of optimal control problems for ordinary differential equations. These methods were instrumented in a library of programs for an interactive system (DISO) at the Computing Center of the USSR Academy of Sciences, which can be used to solve a given complicated problem by a combination of appropriate methods in the interactive mode. Many examples show the strong as well the weak points of particular methods and illustrate the advantages gained by their combination. In fact, it is the central aim of the author to pOint out the necessity of using many techniques interactively, in order to solve more dif ficult problems. A noteworthy feature of the book for the Western reader is the frequently unorthodox analysis of many known methods in the great tradition of Russian mathematics. J. Stoer PREFACE Optimization methods are finding ever broader application in sci ence and engineering. Design engineers, automation and control systems specialists, physicists processing experimental data, eco nomists, as well as operations research specialists are beginning to employ them routinely in their work. The applications have in turn furthered vigorous development of computational techniques and engendered new directions of research. Practical implementa tion of many numerical methods of high computational complexity is now possible with the availability of high-speed large-memory digital computers."

Over the last two decades, the search for a compact, high-power semiconductor source has produced many designs and concepts for monolithic diode-laser arrays and optical amplifiers. However, only a few design approaches have emerged with the potential for producing high-power, high-brightness monolithic sources. Although semiconductor-diode lasers are the most compact, highest gain and most efficient laser sources, challenges remain in developing structures that will produce high-quality, diffraction-limited output beams. This book presents and analyzes the results of work performed over the last twenty years in the development of high-brightness diode-laser arrays.

This book contains the edited version of lectures and selected papers presented at the NATO ADVANCED STUDY INSTITUTE ON COMPUTER AIDED OPTIMAL DESIGN: Structural and Mechanical Systems, held in Tr6ia, Portugal, 29th June to 11th July 1986, and organized by CEMUL -Center of Mechanics and Materials of the Technical University of Lisbon. The Institute was attended by 120 participants from 21 countries, including leading scientists and engineers from universities, research institutions and industry, and Ph.D. students. Some participants presented invited and contributed papers during the Institute and almost all participated actively in discussions on scientific aspects during the Institute. The Advanced Study Institute provided a forum for interaction among eminent scientists and engineers from different schools of thought and young reseachers. The Institute addressed the foundations and current state of the art of essential techniques related to computer aided optimal design of structural and mechanical systems, namely: Vari ational and Finite Element Methods in Optimal Design, Numerical Optimization Techniques, Design Sensitivity Analysis, Shape Optimal Design, Adaptive Finite Element Methods in Shape Optimization, CAD Technology, Software Development Techniques, Integrated Computer Aided Design and Knowledge Based Systems. Special topics of growing importance were also pre sented."

Probability has been an important part of mathematics for more than three centuries. Moreover, its importance has grown in recent decades, since the computing power now widely available has allowed probabilistic and stochastic techniques to attack problems such as speech and image processing, geophysical exploration, radar, sonar, etc. -- all of which are covered here. The book contains three exceptionally clear expositions on wavelets, frames and their applications. A further extremely active current research area, well covered here, is the relation between probability and partial differential equations, including probabilistic representations of solutions to elliptic and parabolic PDEs. New approaches, such as the PDE method for large deviation problems, and stochastic optimal control and filtering theory, are beginning to yield their secrets. Another topic dealt with is the application of probabilistic techniques to mathematical analysis. Finally, there are clear explanations of normal numbers and dynamic systems, and the influence of probability on our daily lives.

Historically, one of the basic issues in control systems design has been robustness: the ability of a controlled plant to withstand variations in or lack of knowledge of its dynamics. Even if the dynamics of a system are accurately known for purposes of implementation, it is often desirable to design a control system based on a simplified model. Consequently it is essential to be able to guarantee a reasonable performance not only for the nominal plant, but also for its neighbouring perturbations: this is the issue of robustness. Since the beginning of this decade major advances have been made in this area, notably using the H -approach; this term is meant to cover the solution of sensitivity reduction, approximation and model reduction, robustness and related control design problems using the mathematics of Hardy spaces and related areas in Harmonic Analysis. This book contains the proceedings of the NATO Advanced Research Workshop on "Modelling, Robustness and Sensitivity Reduction in Control Systems," which was held at the University of Groningen, December 1986. Its aim was to explore the development of H -design techniques and its ramifications in Systems Theory in a unified and systematic way with the emphasis on recent advances and future directions in this fast developing area. In particular the following inter-related aspects were addressed: H -mathematical foundations, model approximation and robustness in control design, optimal sensitivity reduction, modelling and system identification and signal processing.

Within 50 years computers could have capabilities rivaling that of the human brain. Effective utilization of such new technologies poses a significant challenge to the computer science community, which finds an ever increasing number of complex applications within its technological grasp. In addition to increased complexity, most, if not all, of these applications are also accompanied by an inherent increase in the consequences associated with their failure, resulting in the construction of increasingly high consequence complex systems. Systems that fall within this domain are beyond the ability to construct in a brute force manner. There are two major challenges in developing such systems: manage complexity and provide sufficient evidence that the system satisfies dependability constraints. Society is tacitly relying on the research community to solve these problems on a timetable satisfying the needs of industry. While impressive results have been obtained, the research community is still, to some extent, hamstrung by the lack of realistic case study problems against which to benchmark new techniques and approaches.The purpose of High Integrity Software is to explore a cross-section of some of the most promising areas of research in the construction of high consequence complex systems, for example, a case study involving the Bay Area Rapid Transit (BART) system. Because of its scope and complexity, the BART case study is being recognized by many in the formal methods community as one of the definitive case study problems, and as such provides a valuable insight into the challenges that must be faced in the upcoming years. High Integrity Software is suitable as a secondary text for a graduate level course, and as a reference for researchers and practitioners in industry.

This book is the result of the 11 th International Conference on Information Systems Development -Methods and Tools, Theory and Practice, held in Riga, Latvia, September 12-14,2002. The purpose of this conference was to address issues facing academia and industry when specifying, developing, managing, reengineering and improving information systems. Recently many new concepts and approaches have emerged in the Information Systems Development (ISD) field. Various theories, methodologies, methods and tools available to system developers also created new problems, such as choosing the most effective approach for a specific task, or solving problems of advanced technology integration into information systems. This conference provides a meeting place for ISD researchers and practitioners from Eastern and Western Europe as well as from other parts of the world. Main objectives of this conference are to share scientific knowledge and interests and to establish strong professional ties among the participants. The 11th International Conference on Information Systems Development (ISD'02) continues the tradition started with the first Polish-Scandinavian Seminar on Current Trends in Information Systems Development Methodologies, held in Gdansk, Poland in 1988. Through the years this Seminar has evolved into the International Conference on Information Systems Development. ISD'02 is the first ISD conference held in Eastern Europe, namely, in Latvia, one of the three Baltic countries.

Interacting many-body systems are the main subjects of research in theoretical condensed matter physics, and they are the source of both the interest and the difficulty in this field. In order to understand the macroscopic properties of matter in terms of macroscopic knowledge, many analytic and approximate methods have been introduced. The contributions to this proceedings volume focus on the most recent developments of computational approaches in condensed matter physics. Monte Carlo methods and molecular dynamics simulations applied to strongly correlated classical and quantum systems such as electron systems, quantum spin systems, spin glassss, coupled map systems, polymers and other random and comlex systems are reviewed. Comprising easy to follow introductions to each field covered and also more specialized contributions, this proceedings volume explains why computational approaches are necessary and how different fields are related to each other.

Applied and Computational Control, Signals, and Circuits: Recent Developments is an interdisciplinary book blending mathematics, computational mathematics, scientific computing and software engineering with control and systems theory, signal processing, and circuit simulations. The material consists of seven state-of-the-art review chapters, each written by a leading expert in that field. Each of the technical chapters deals exclusively with some of the recent developments involving applications and computations of control, signals and circuits. Also included is a Chapter focusing on the newly developed Fortran-based software library, called SLICOT, for control systems design and analysis. This collection will be an excellent reference work for research scientists, practicing engineers, and graduate level students of control and systems, circuit design, power systems and signal processing.

It is with great pleasure that I offer my reflections on Professor Anthony N. Michel's retirement from the University of Notre Dame. I have known Tony since 1984 when he joined the University of Notre Dame's faculty as Chair of the Depart ment of Electrical Engineering. Tony has had a long and outstanding career. As a researcher, he has made im portant contributions in several areas of systems theory and control theory, espe cially stability analysis of large-scale dynamical systems. The numerous awards he received from the professional societies, particularly the Institute of Electrical and Electronics Engineers (IEEE), are a testament to his accomplishments in research. He received the IEEE Control Systems Society's Best Transactions Paper Award (1978), and the IEEE Circuits and Systems Society's Guillemin-Cauer Prize Paper Award (1984) and Myril B. Reed Outstanding Paper Award (1993), among others. In addition, he was a Fulbright Scholar (1992) and received the Alexander von Hum boldt Forschungspreis (Alexander von Humboldt Research Award for Senior U.S. Scientists) from the German government (1997). To date, he has written eight books and published over 150 archival journal papers. Tony is also an effective administrator who inspires high academic standards.

Bionics evolved in the 1960s as a framework to pursue the development of artificial systems based on the study of biological systems. Numerous disciplines and technologies, including artificial intelligence and learningdevices, information processing, systems architecture and control, perception, sensory mechanisms, and bioenergetics, contributed to bionics research. This volume is based on a NATO Advanced Research Workshop within the Special Programme on Sensory Systems for Robotic Control, held in Il Ciocco, Italy, in June 1989. A consensus emerged at the workshop, and is reflected in the book, on the value of learning from nature in order to derive guidelines for the design of intelligent machines which operate in unstructured environments. The papers in the book are grouped into seven chapters: vision and dynamic systems, hands and tactile perception, locomotion, intelligent motor control, design technologies, interfacing robots to nervous systems, and robot societies and self-organization.

Using relevant mathematical proofs and case studies illustrating design and application issues, this book demonstrates this powerful technique in the light of research on neural networks, which allow the identification of nonlinear models without the complicated and costly development of models based on physical laws.

This volume contains papers presented at the Thirteenth Taniguchi Symposium on the Theory of Condensed Matter, which was held at Kashikojima (in Ise Shima National Park), Japan, from 6th to 9th November, 1990. The topic of the symposium was Molecular Dynamics Simulations. The general objective of this series of the Taniguchi Symposia is to encour age developing fields of great promise in condensed matter physics. Our theme, molecular dynamics (MD) simulations, certainly fulfills this requirement, be cause the field is developing at a remarkable pace and its future is considered almost boundless. It was in the 1950s that the original idea of the MD methods was first pro posed and applied to the study of physical systems composed of many particles. In fact, the invention of the MD techniques occurred soon after the construction of the first computers. For almost 35 years since then, MD methods, together with Monte Carlo methods, have played major parts in the drama of computer simulations. The triumph of MD simulations is not confined to numerical aspects of detailed analyses of physical systems. MD simulations have verified some un expected facts and introduced some new concepts, all of which had never been predicted previously from analytical theories. The occurrence of the Alder tran sition in a system of repulsive particles and the behavior of the long-time tails of the velocity autocorrelation function for a liquid are just two examples of the results achieved by means of MD studies."

Parallel Processing Applications for Jet Engine Control is a volume in the new Advances in Industrial Control series, edited by Professor M.J. Grimble and Dr. M.A. Johnson of the Industrial Control Unit, University of Strathclyde. The book describes the mapping and load balancing of gas turbine engine and controller simulations onto arrays of transputers. It compares the operating system for transputers and the Uniform System upon the Butterfly Plus computer. The problem of applying formal methods to parallel asychronous processors is addressed, implementing novel fault tolerant systems to meet real-time flight control requirements. The book presents real-time closed-loop results highlighting the advantages and disadvantages of Occam and the transputer. Readers will find that this book provides valuable material for researchers in both academia and the aerospace industry.

The contribution of computer simulation studies to our understanding of the prop erties of a wide range of condensed matter systems is now weIl established. The Center for Simulational Physics of the University of Georgia has been hosting a series of annual workshops with the intent of bringing together experienced prac titioners in the field, as weIl as relative newcomers, to provide a forum for the exchange of ideas and recent results. This year's workshop, the third in the series, was held February 12-16, 1990. These proceedings are arecord of the workshop and are published with the goal of timely dissemination of the papers to a wider audience. The proceedings are divided into four parts. The first contains invited pa pers dealing with simulational studies of classical systems and also includes an introduction to some new simulation techniques. Aseparate section is devoted to invited papers on quantum systems, including new results for strongly correlated electron and quantum spin models believed to be important for the description of high-Tc superconductors. The third part consists of a single invited paper, which presents a comprehensive treatment of issues associated with high perfor mance computing, including differences in architectures and a discussion of access strategies. The contributed papers constitute the final part.

The design of nonlinear controllers for mechanical systems has been an ex tremely active area of research in the last two decades. From a theoretical point of view, this attention can be attributed to their interesting dynamic behavior, which makes them suitable benchmarks for nonlinear control the oreticians. On the other hand, recent technological advances have produced many real-world engineering applications that require the automatic con trol of mechanical systems. the mechanism for de Often, Lyapunov-based techniques are utilized as veloping different nonlinear control structures for mechanical systems. The allure of the Lyapunov-based framework for mechanical system control de sign can most likely be assigned to the fact that Lyapunov function candi dates can often be crafted from physical insight into the mechanics of the system. That is, despite the nonlinearities, couplings, and/or the flexible effects associated with the system, Lyapunov-based techniques can often be used to analyze the stability of the closed-loop system by using an energy like function as the Lyapunov function candidate. In practice, the design procedure often tends to be an iterative process that results in the death of many trees. That is, the controller and energy-like function are often constructed in concert to foster an advantageous stability property and/or robustness property. Fortunately, over the last 15 years, many system the ory and control researchers have labored in this area to produce various design tools that can be applied in a variety of situations.

Information theory is an exceptional field in many ways. Technically, it is one of the rare fields in which mathematical results and insights have led directly to significant engineering payoffs. Professionally, it is a field that has sustained a remarkable degree of community, collegiality and high standards. James L. Massey, whose work in the field is honored here, embodies the highest standards of the profession in his own career. The book covers the latest work on: block coding, convolutional coding, cryptography, and information theory. The 44 contributions represent a cross-section of the world's leading scholars, scientists and researchers in information theory and communication. The book is rounded off with an index and a bibliography of publications by James Massey.

There have been significant developments in the theory and practice of combinatorial optimization in the last 15 years. This progress has been evidenced by a continuously increasing number of international and local conferences, books and papers in this area. This book is also another contribution to this burgeoning area of operations research and optimization. This volume contains the contributions of the participants of the recent NATO Ad vanced Study Institute, New Frontiers in the Theory and Practice of Combinatorial Op timization, which was held at the campus of Bilkent University, in Ankara, Turkey, July 16-29, 1990. In this conference, we brought many prominent researchers and young and promising scientists together to discuss current and future trends in the theory and prac tice of combinatorial optimization. The Bilkent campus was an excellent environment for such an undertaking. Being outside of Ankara, the capital of Turkey, Bilkent University gave the participants a great opportunity for exchanging ideas and discussing new theories and applications without much distraction. One of the primary goals of NATO ASIs is to bring together a group of scientists and research scientists primarily from the NATO countries for the dissemination of ad vanced scientific knowledge and the promotion of international contacts among scientists. We believe that we accomplished this mission very successfully by bringing together 15 prominent lecturers and 45 promising young scientists from 12 countries, in a university environment for 14 days of intense lectures, presentations and discussions.

The Eighth International Symposium of Robotics Research was held in Shonan near Kamakura, Japan from October 4 to 7, 1997, organized by the International Foundation of Robotics Research (IFRR). The goal of the Symposium was to bring together active, leading robotics researchers from academia and industry to assess the state of art of Advanced Robotics and to discuss future research directions. The Symposium was held in an informal setting with fifty nine participants. Attendance was limited in order to maximize interaction. The selection of participants was made by the Program Committee using a process of nomination and voting. The Program Committee consisted of the seventeen officers of the IFRR: (University of Pennsylvania, USA) Ruzena Bajcy (Oxford University, UK) Andrew Blake (SRI International, USA) Robert Bolles (Scuola Superiore Sant' Anna, Pis a, Italy) Paolo Dario (Katholieke Universiteit, Leuven, Belgium) Joris De Schutter (LAAS-CNRS, France), Secretary Georges Giralt (DLR, Germany) Gerd Hirzinger (Tokyo Institute of Technology, Japan) Shigeo Hirose (University of Tokyo, Japan), President Hirochika Inoue (Monash University, Australia) Ray Jarvis (CMU, USA), Treasurer Takeo Kanade (University of Michigan, USA) Dan Koditschek (University of Tokyo, Japan) Hirofumi Miura (University of Pennsylvania, USA) Richard Paul (Stanford University, USA) Bernie Roth Y oshiaki Shirai (Osaka University, Japan) Tsuneo Yoshikawa (Kyoto University, Japan) While a limited number of participants were nominated in each area by the Program Committee members of the area, a call for papers was issued in order to include researchers who had made

Radar Array Processing presents modern techniques and methods for processingradar signals received by an array of antenna elements. With the recent rapid growth of the technology of hardware for digital signal processing, itis now possible to apply this to radar signals and thus to enlist the full power of sophisticated computational algorithms. Topics covered in detail here include: super-resolution methods of array signal processing as applied to radar, adaptive beam forming for radar, and radar imaging. This book will be of interest to researchers and studentsin the radar community and also in related fields such as sonar, seismology, acoustics and radio astronomy.

Scientific visualization is a new and rapidly growing area in which efforts from computer graphics research and many scientific and engineering disciplines are integrated. Its aim is to enhance interpretation and understanding by scientists of large amounts of data from measurements or complex computer simulations, using computer generated images and animation sequences. It exploits the power of human visual perception to identify trends and structures, and recognize shapes and patterns. Development of new numerical simulation methods in many areas increasingly depends on visualization as an effective way to obtain an intuitive understanding of a problem. This book contains a selection of papers presented at the second Eurographics workshop on Visualization in Scientific Computing, held in Delft, the Netherlands, in April 1991. Theissues addressed are visualization tool and system design, new presentation techniques for volume data and vector fields, and numerous case studies in scientific visualization. Application areas include geology, medicine, fluid dynamics, molecular science, and environmental protection. The book will interest researchers and students in computer graphics and scientists from many disciplines interested in recent results in visual data analysis and presentation. It reflects the state of the art in visualization research and shows a wide variety of experimental systems and imaginative applications.

In 1945, Dr. Ernst Weber founded, and was the first Director of, the Microwave Research Institute (MRI) at POLYTECHNIC UNIVERSITY (at that time named the Polytechnic Institute of Brooklyn). MRI gained world-wide recognition in the 50's and 60's for its research in electromagnetic theory, antennas and radiation, network theory and microwave networks, microwave components and devices. It was also known through its series of topical symposia and the widely distributed hard bound MRI Symposium Proceedings. Rededicated as the Weber Research Institute (WRI) in 1986, the research focus today is on such areas as electromagnetic propagation and antennas, ultra broadband electromagnetics, pulse power, acoustics, gaseous electronics, plasma physics, solid state materials, quantum electronics, electromagnetic launchers, and networks. Following the MRI tradition, WRI has launched its own series of in-depth topical conferences with published proceedings. The first conference was held in October, 1990 and was entitled Directions in Electromagnetic Wave Modeling. The proceedings of the conference were published under that title by Plenum Press. This volume constitutes the Proceedings of the second WRI International Conference dealing with Ultra*Wideband Short*Pulse Electromagnetics.

This book contains the written record of the NATO Advanced Research Workshop on Traditional and Non-Traditional Robotic Sensors held in the Hotel Villa del Mare, Maratea, Italy, August 28 - September 1, 1989. This workshop was organized under the auspicies of the NATO Special Program on Sensory Systems for Robotic Control. Professor Frans Groen from the University of Amsterdam and Dr. Gert Hirzinger from the German Aerospace Research Establishment (DLR) served as members of the organizing committee for this workshop. Research in the area of robotic sensors is necessary in order to support a wide range of applications, including: industrial automation, space robotics, image analysis, microelectronics, and intelligent sensors. This workshop focused on the role of traditional and non-traditional sensors in robotics. In particular, the following three topics were explored: - Sensor development and technology, - Multisensor integration techniques, - Application area requirements which motivate sensor development directions. This workshop'brought together experts from NATO countries to discuss recent developments in these three areas. Many new directions (or new directions on old problems) were proposed. Existing sensors should be pushed into new application domains such as medical robotics and space robotics.

One of the basic tenets of science is that deterministic systems are completely predictable-given the initial condition and the equations describing a system, the behavior of the system can be predicted 1 for all time. The discovery of chaotic systems has eliminated this viewpoint. Simply put, a chaotic system is a deterministic system that exhibits random behavior. Though identified as a robust phenomenon only twenty years ago, chaos has almost certainly been encountered by scientists and engi neers many times during the last century only to be dismissed as physical noise. Chaos is such a wide-spread phenomenon that it has now been reported in virtually every scientific discipline: astronomy, biology, biophysics, chemistry, engineering, geology, mathematics, medicine, meteorology, plasmas, physics, and even the social sci ences. It is no coincidence that during the same two decades in which chaos has grown into an independent field of research, computers have permeated society. It is, in fact, the wide availability of inex pensive computing power that has spurred much of the research in chaotic dynamics. The reason is simple: the computer can calculate a solution of a nonlinear system. This is no small feat. Unlike lin ear systems, where closed-form solutions can be written in terms of the system's eigenvalues and eigenvectors, few nonlinear systems and virtually no chaotic systems possess closed-form solutions."

The NATO Advanced Study Institute on "Computer algorithms for solving linear algebraic equations: the state of the art" was held September 9-21, 1990, at II Ciocco, Barga, Italy. It was attended by 68 students (among them many well known specialists in related fields!) from the following countries: Belgium, Brazil, Canada, Czechoslovakia, Denmark, France, Germany, Greece, Holland, Hungary, Italy, Portugal, Spain, Turkey, UK, USA, USSR, Yugoslavia. Solving linear equations is a fundamental task in most of computational mathematics. Linear systems which are now encountered in practice may be of very large dimension and their solution can still be a challenge in terms of the requirements of accuracy or reasonable computational time. With the advent of supercomputers with vector and parallel features, algorithms which were previously formulated in a framework of sequential operations often need a completely new formulation, and algorithms that were not recommended in a sequential framework may become the best choice. The aim of the ASI was to present the state of the art in this field. While not all important aspects could be covered (for instance there is no presentation of methods using interval arithmetic or symbolic computation), we believe that most important topics were considered, many of them by leading specialists who have contributed substantially to the developments in these fields.