Inequalities play a fundamental role in Functional Analysis and it is widely recognized that finding them, especially sharp estimates, is an art. E. H. Lieb has discovered a host of inequalities that are enormously useful in mathematics as well as in physics. His results are collected in this book which should become a standard source for further research. Together with the mathematical proofs the author also presents numerous applications to the calculus of variations and to many problems of quantum physics, in particular to atomic physics.

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

Energy is one of the world`s most challenging problems, and power systems are an important aspect of energy related issues. This handbook contains state-of-the-art contributions on power systems modeling and optimization. The book is separated into two volumes with six sections, which cover the most important areas of energy systems. The first volume covers the topics operations planning and expansion planning while the second volume focuses on transmission and distribution modeling, forecasting in energy, energy auctions and markets, as well as risk management. The contributions are authored by recognized specialists in their fields and consist in either state-of-the-art reviews or examinations of state-of-the-art developments. The articles are not purely theoretical, but instead also discuss specific applications in power systems.

The area of adaptive systems, which encompasses recursive identification, adaptive control, filtering, and signal processing, has been one of the most active areas of the past decade. Since adaptive controllers are fundamentally nonlinear controllers which are applied to nominally linear, possibly stochastic and time-varying systems, their theoretical analysis is usually very difficult. Nevertheless, over the past decade much fundamental progress has been made on some key questions concerning their stability, convergence, performance, and robustness. Moreover, adaptive controllers have been successfully employed in numerous practical applications, and have even entered the marketplace.

Logic and Complexity looks at basic logic as it is used in Computer Science, and provides students with a logical approach to Complexity theory. With plenty of exercises, this book presents classical notions of mathematical logic, such as decidability, completeness and incompleteness, as well as new ideas brought by complexity theory such as NP-completeness, randomness and approximations, providing a better understanding for efficient algorithmic solutions to problems. Divided into three parts, it covers: - Model Theory and Recursive Functions - introducing the basic model theory of propositional, 1st order, inductive definitions and 2nd order logic. Recursive functions, Turing computability and decidability are also examined. - Descriptive Complexity - looking at the relationship between definitions of problems, queries, properties of programs and their computational complexity. - Approximation - explaining how some optimization problems and counting problems can be approximated according to their logical form. Logic is important in Computer Science, particularly for verification problems and database query languages such as SQL. Students and researchers in this field will find this book of great interest.

Scheduling theory is an important branch of operations research. Problems studied within the framework of that theory have numerous applications in various fields of human activity. As an independent discipline scheduling theory appeared in the middle of the fifties, and has attracted the attention of researchers in many countries. In the Soviet Union, research in this direction has been mainly related to production scheduling, especially to the development of automated systems for production control. In 1975 Nauka ("Science") Publishers, Moscow, issued two books providing systematic descriptions of scheduling theory. The first one was the Russian translation of the classical book Theory of Scheduling by American mathematicians R. W. Conway, W. L. Maxwell and L. W. Miller. The other one was the book Introduction to Scheduling Theory by Soviet mathematicians V. S. Tanaev and V. V. Shkurba. These books well complement each other. Both. books well represent major results known by that time, contain an exhaustive bibliography on the subject. Thus, the books, as well as the Russian translation of Computer and Job-Shop Scheduling Theory edited by E. G. Coffman, Jr., (Nauka, 1984) have contributed to the development of scheduling theory in the Soviet Union. Many different models, the large number of new results make it difficult for the researchers who work in related fields to follow the fast development of scheduling theory and to master new methods and approaches quickly.

The aim of Stability of Finite and Infinite Dimensional Systems is to provide new tools for specialists in control system theory, stability theory of ordinary and partial differential equations, and differential-delay equations. Stability of Finite and Infinite Dimensional Systems is the first book that gives a systematic exposition of the approach to stability analysis which is based on estimates for matrix-valued and operator-valued functions, allowing us to investigate various classes of finite and infinite dimensional systems from the unified viewpoint. This book contains solutions to the problems connected with the Aizerman and generalized Aizerman conjectures and presents fundamental results by A. Yu. Levin for the stability of nonautonomous systems having variable real characteristic roots. Stability of Finite and Infinite Dimensional Systems is intended not only for specialists in stability theory, but for anyone interested in various applications who has had at least a first-year graduate-level course in analysis.

Discrete Event Systems: Analysis and Control is the proceedings of WODES2000 (the 5th Workshop on Discrete Event Systems, held in Ghent, Belgium, on August 21-23, 2000). This book provides a survey of the current state of the art in the field of modeling, analysis and control synthesis of discrete event systems, lecture notes for a mini course on sensitivity analysis for performance evaluation of timed discrete event systems, and 48 carefully selected papers covering all areas of discrete event theory and the most important applications domains. Topics include automata theory and supervisory control (12); Petri net based models for discrete event systems, and their control synthesis (11); (max, +) and timed automata models (9); applications papers related to scheduling, failure detection, and implementation of supervisory controllers (7); formal description of PLCs (6); and finally, stochastic models of discrete event systems (3).

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

Entropy optimization is a useful combination of classical engineering theory (entropy) with mathematical optimization. The resulting entropy optimization models have proved their usefulness with successful applications in areas such as image reconstruction, pattern recognition, statistical inference, queuing theory, spectral analysis, statistical mechanics, transportation planning, urban and regional planning, input-output analysis, portfolio investment, information analysis, and linear and nonlinear programming. While entropy optimization has been used in different fields, a good number of applicable solution methods have been loosely constructed without sufficient mathematical treatment. A systematic presentation with proper mathematical treatment of this material is needed by practitioners and researchers alike in all application areas. The purpose of this book is to meet this need. Entropy Optimization and Mathematical Programming offers perspectives that meet the needs of diverse user communities so that the users can apply entropy optimization techniques with complete comfort and ease. With this consideration, the authors focus on the entropy optimization problems in finite dimensional Euclidean space such that only some basic familiarity with optimization is required of the reader.

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

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.

Semi-infinite optimization is a vivid field of active research. Recently semi infinite optimization in a general form has attracted a lot of attention, not only because of its surprising structural aspects, but also due to the large number of applications which can be formulated as general semi-infinite programs. The aim of this book is to highlight structural aspects of general semi-infinite programming, to formulate optimality conditions which take this structure into account, and to give a conceptually new solution method. In fact, under certain assumptions general semi-infinite programs can be solved efficiently when their bi-Ievel structure is exploited appropriately. After a brief introduction with some historical background in Chapter 1 we be gin our presentation by a motivation for the appearance of standard and general semi-infinite optimization problems in applications. Chapter 2 lists a number of problems from engineering and economics which give rise to semi-infinite models, including (reverse) Chebyshev approximation, minimax problems, ro bust optimization, design centering, defect minimization problems for operator equations, and disjunctive programming."

This book is the result of over ten (10) years of research and development in flexible robots and structures at Sandia National Laboratories. The authors de cided to collect this wealth of knowledge into a set of viewgraphs in order to teach a graduate class in Flexible Robot Dynamics and Controls within the Mechanical En gineering Department at the University of New Mexico (UNM). These viewgraphs, encouragement from several students, and many late nights have produced a book that should provide an upper-level undergraduate and graduate textbook and a reference for experienced professionals. The content of this book spans several disciplines including structural dynam ics, system identification, optimization, and linear, digital, and nonlinear control theory which are developed from several points of view including electrical, me chanical, and aerospace engineering as well as engineering mechanics. As a result, the authors believe that this book demonstrates the value of solid applied theory when developing hardware solutions to real world problems. The reader will find many real world applications in this book and will be shown the applicability of these techniques beyond flexible structures which, in turn, shows the value of mul tidisciplinary education and teaming.

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.

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.

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

Most books on inventory theory use the item approach to determine stock levels, ignoring the impact of unit cost, echelon location, and hardware indenture. Optimal Inventory Modeling of Systems is the first book to take the system approach to inventory modeling. The result has been dramatic reductions in the resources to operate many systems - fleets of aircraft, ships, telecommunications networks, electric utilities, and the space station. Although only four chapters and appendices are totally new in this edition, extensive revisions have been made in all chapters, adding numerous worked-out examples. Many new applications have been added including commercial airlines, experience gained during Desert Storm, and adoption of the Windows interface as a standard for personal computer models.

During the last four decades there has been a remarkable development in optimization and optimal control. Due to its wide variety of applications, many scientists and researchers have paid attention to fields of optimization and optimal control. A huge number of new theoretical, algorithmic, and computational results have been observed in the last few years. This book gives the latest advances, and due to the rapid development of these fields, there are no other recent publications on the same topics.

Key features:

Provides a collection of selected contributions giving a state-of-the-art account of recent developments in the field

Covers a broad range of topics in optimization and optimal control, including unique applications

Includes chapters written by experts in their respective disciplines

Appeals to a broad audience of researchers, practitioners, and advanced graduate students in applied mathematics and engineering

This work is a revised and enlarged edition of a book with the same title published in Romanian by the Publishing House of the Romanian Academy in 1989. It grew out of lecture notes for a graduate course given by the author at the University if Ia i and was initially intended for students and readers primarily interested in applications of optimal control of ordinary differential equations. In this vision the book had to contain an elementary description of the Pontryagin maximum principle and a large number of examples and applications from various fields of science. The evolution of control science in the last decades has shown that its meth ods and tools are drawn from a large spectrum of mathematical results which go beyond the classical theory of ordinary differential equations and real analy ses. Mathematical areas such as functional analysis, topology, partial differential equations and infinite dimensional dynamical systems, geometry, played and will continue to play an increasing role in the development of the control sciences. On the other hand, control problems is a rich source of deep mathematical problems. Any presentation of control theory which for the sake of accessibility ignores these facts is incomplete and unable to attain its goals. This is the reason we considered necessary to widen the initial perspective of the book and to include a rigorous mathematical treatment of optimal control theory of processes governed by ordi nary differential equations and some typical problems from theory of distributed parameter systems."

The main purpose of this handbook is to summarize and to put in order the ideas, methods, results and literature on the theory of random evolutions and their applications to the evolutionary stochastic systems in random media, and also to present some new trends in the theory of random evolutions and their applications. In physical language, a random evolution ( RE ) is a model for a dynamical sys tem whose state of evolution is subject to random variations. Such systems arise in all branches of science. For example, random Hamiltonian and Schrodinger equations with random potential in quantum mechanics, Maxwell's equation with a random refractive index in electrodynamics, transport equations associated with the trajec tory of a particle whose speed and direction change at random, etc. There are the examples of a single abstract situation in which an evolving system changes its "mode of evolution" or "law of motion" because of random changes of the "environment" or in a "medium." So, in mathematical language, a RE is a solution of stochastic operator integral equations in a Banach space. The operator coefficients of such equations depend on random parameters. Of course, in such generality, our equation includes any homogeneous linear evolving system. Particular examples of such equations were studied in physical applications many years ago. A general mathematical theory of such equations has been developed since 1969, the Theory of Random Evolutions."

Variational calculus has been the basis of a variety of powerful methods in the ?eld of mechanics of materials for a long time. Examples range from numerical schemes like the ?nite element method to the determination of effective material properties via homogenization and multiscale approaches. In recent years, however, a broad range of novel applications of variational concepts has been developed. This c- prises the modeling of the evolution of internal variables in inelastic materials as well as the initiation and development of material patterns and microstructures. The IUTAM Symposium on "Variational Concepts with Applications to the - chanics of Materials" took place at the Ruhr-University of Bochum, Germany, on September 22-26, 2008. The symposium was attended by 55 delegates from 10 countries. Altogether 31 lectures were presented. The objective of the symposium was to give an overview of the new dev- opments sketched above, to bring together leading experts in these ?elds, and to provide a forum for discussing recent advances and identifying open problems to work on in the future. The symposium focused on the developmentof new material models as well as the advancement of the corresponding computational techniques. Speci?c emphasis is put on the treatment of materials possessing an inherent - crostructure and thus exhibiting a behavior which fundamentally involves multiple scales. Among the topics addressed at the symposium were: 1. Energy-based modeling of material microstructures via envelopes of n- quasiconvex potentials and applications to plastic behavior and pha- transformations.

This IMA Volume in Mathematics and its Applications ESSAYS ON MATHEMATICAL ROBOTICS is based on the proceedings of a workshop that was an integral part of the 1992-93 IMA program on "Control Theory." The workshop featured a mathematicalintroductionto kinematics and fine motion planning; dynam- ics and control of kinematically redundant robot arms including snake-like robots, multi-fingered robotic hands; methods of non-holonomic motion planning for space robots, multifingered robot hands and mobile robots; new techniques in analytical mechanics for writing the dynamics of com- plicated multi-body systems subject to constraints on angular momentum or other non-holonomic constraints. In addition to papers representing proceedings of the Workshop, this volume contains several longer papers surveying developments of the intervening years. We thank John Baillieul, Shankar S. Sastry, and Hector J. Sussmann for organizing the workshop and editing the proceedings. We also take this opportunity to thank the National Science Foundation and the Army Research Office, whose financial support made the workshop possible. Avner Friedman Willard Miller, Jr.