Switched linear systems have enjoyed a particular growth in interest since the 1990s. The large amount of data and ideas thus generated have, until now, lacked a co-ordinating framework to focus them effectively on some of the fundamental issues such as the problems of robust stabilizing switching design, feedback stabilization and optimal switching.

This deficiency is resolved by this book which features: nucleus of constructive design approaches based on canonical decomposition and forming a sound basis for the systematic treatment of secondary results; theoretical exploration and logical association of several independent but pivotal concerns in control design as they pertain to switched linear systems: controllability and observability, feedback stabilization, optimization and periodic switching; a reliable foundation for further theoretical research as well as design guidance for real life engineering applications through the integration of novel ideas, fresh insights and rigorous results.

THIRTY FIVE YEARS OF AUTOMATING MATHEMATICS: DEDICATED TO 35 YEARS OF DE BRUIJN'S AUTOMATH N. G. de Bruijn was a well established mathematician before deciding in 1967 at the age of 49 to work on a new direction related to Automating Mathematics. By then, his contributions in mathematics were numerous and extremely influential. His book on advanced asymptotic methods, North Holland 1958, was a classic and was subsequently turned into a book in the well known Dover book series. His work on combinatorics yielded influential notions and theorems of which we mention the de Bruijn-sequences of 1946 and the de Bruijn-Erdos theorem of 1948. De Bruijn's contributions to mathematics also included his work on generalized function theory, analytic number theory, optimal control, quasicrystals, the mathematical analysis of games and much more. In the 1960s de Bruijn became fascinated by the new computer technology and as a result, decided to start the new AUTOMATH project where he could check, with the help of the computer, the correctness of books of mathematics. In each area that de Bruijn approached, he shed a new light and was known for his originality and for making deep intellectual contributions. And when it came to automating mathematics, he again did it his way and introduced the highly influential AUTOMATH. In the past decade he has also been working on theories of the human brain."

The editors and authors dedicate this book to Bernhard Korte on the occasion of his seventieth birthday. We, the editors, are happy about the overwhelming feedback to our initiative to honor him with this book and with a workshop in Bonn on November 3-7,2008.Althoughthiswouldbeareasontolookback, wewouldratherliketolook forward and see what are the interesting research directions today. This book is written by leading experts in combinatorial optimization. All - pers were carefully reviewed, and eventually twenty-three of the invited papers were accepted for this book. The breadth of topics is typical for the eld: combinatorial optimization builds bridges between areas like combinatorics and graph theory, submodular functions and matroids, network ows and connectivity, approximation algorithms and mat- matical programming, computational geometry and polyhedral combinatorics. All these topics are related, and they are all addressed in this book. Combi- torial optimization is also known for its numerous applications. To limit the scope, however, this book is not primarily about applications, although some are mentioned at various places. Most papers in this volume are surveys that provide an excellent overview of an activeresearcharea, butthisbookalsocontainsmanynewresults.Highlightingmany of the currently most interesting research directions in combinatorial optimization, we hope that this book constitutes a good basis for future research in these area

A collection of 28 refereed papers grouped according to four broad topics: duality and optimality conditions, optimization algorithms, optimal control, and variational inequality and equilibrium problems. Suitable for researchers, practitioners and postgrads.

The primary aim of this book is to present a coherent introduction to graph theory, suitable as a textbook for advanced undergraduate and beginning graduate students in mathematics and computer science. It provides a systematic treatment of the theory of graphs without sacrificing its intuitive and aesthetic appeal. Commonly used proof techniques are described and illustrated. The book also serves as an introduction to research in graph theory.

Approximation theory and numerical analysis are central to the creation of accurate computer simulations and mathematical models. Research in these areas can influence the computational techniques used in a variety of mathematical and computational sciences.

This collection of contributed chapters, dedicated to renowned mathematician Gradimir V. Milovanovi, represent the recent work of experts in the fields of approximation theory and numerical analysis. These invited contributions describe new trends in these important areas of research including theoretic developments, new computational algorithms, and multidisciplinary applications.

Special features of this volume:

- Presents results and approximation methods in various computational settings including: polynomial and orthogonal systems, analytic functions, and differential equations.

- Provides a historical overview of approximation theory and many of its subdisciplines;

- Contains new results from diverse areas of research spanning mathematics, engineering, and the computational sciences.

"Approximation and Computation" is intended for mathematicians and researchers focusing on approximation theory and numerical analysis, but can also be a valuable resource to students and researchers in the computational and applied sciences."

physics

This text develops the mathematical implications of barriers to the geometrical and analytical characteristics of continuous location problems. The book will appeal to those working in operations research and management science, and mathematicians interested in optimization theory and its applications.

The Summer School has been dedicated to one of the proponents and ?rst Chairman of the Strategy Board of MACSI-net, the late Jacques Louis Lions (see the dedication by Roland Glowinski). MACSI-net is a European Network of Excellence, where both enterprises and university institutions co-operate to solve challenging problems to their mutual bene?t. In particular the network focuses on strategies to enhance interactions between industry and academia. The aim is to help industry (in particular SMEs) alert academia about industrial needs in terms of advanced mathematical and computational methods and tools. The network is mul- disciplinary oriented, combining the power of applied mathematics, scienti?c computing and engineering, for modeling and simulation. It was set up by a joint e?ort of ECCOMAS and ECMI European associations. Thisparticularevent,occurredduringMarch17-22,2003,wasajointe?ort ofthe TrainingCommittee (chairedby VC)andIndustrialRelationsComm- tee (chairedby JP)to alert both Academia and Industry about the increasing role of Multidisciplinary Methods and Tools for the design of complex pr- uctsinvariousareasofindustrialinterest.Thisincreasingcomplexityisdriven by societal constraints to be satis? ed in a simultaneous and a?ordable way. The mastering of complexity implies the sharing of di?erent tools by di?erent actors which require much higher level of communication between culturally di?erent people. The school o?ered to young researchers the opportunity to be exposed to the presentation of real industrial and societal problems and the relevant innovative methods used; the need of further contributions from mathematics to improve or provide better solutions had also been considered.

The numerical optimization of practical applications has been an issue of major importance for the last 10 years. It allows us to explore reliable non-trivial configurations, differing widely from all known solutions. The purpose of this book is to introduce the state-of-the-art concerning this issue and many complementary applications are presented.

Although modern location theory is now more than 90 years old, the focus of researchers in this area has been mainly problem oriented. However, a common theory, which keeps the essential characteristics of classical location models, is still missing.

This monograph addresses this issue. A flexible location problem called the Ordered Median Problem (OMP) is introduced. For all three main subareas of location theory (continuous, network and discrete location) structural properties of the OMP are presented and solution approaches provided. Numerous illustrations and examples help the reader to become familiar with this new location model.

By using OMP classical results of location theory can be reproved in a more general and sometimes even simpler way. Algorithms enable the reader to solve very flexible location models with a single implementation. In addition, the code of some algorithms is available for download.

- Collection of results of multicriteria optimization, including nonlinear, linear and combinatorial optimization problems

- Includes numerous illustrations, examples and problems

Computer Aided Tolerancing (CAT) is an important topic in any field of design and production where parts move relative to one another and/or are assembled together. Geometric variations from specified dimensions and form always occur when parts are manufactured. Improvements in production systems can cause the amounts of the variations to become smaller, but their presence does not disappear. To shorten the time from concept to market of a product, it has been increasingly important to take clearances and the tolerancing of manufacturing variations into consideration right from the beginning, at the stage of design. Hence, geometric models are defined that represent both the complete array of geometric variations possible during manufacture and also the influence of geometry on the function of individual parts and on assemblies of them.

The contents of this book originate from a collection of selected papers presented at the 9th CIRP International Seminar on CAT that was held from April 10-12, 2005 at Arizona State University, USA. The CIRP (College International pour la Recherche en Production or International Institution for Production Engineering Research) plans this seminar every two years, and the book is one in a series of Proceedings on CAT. The book is organized into seven parts: Models for Tolerance Representation and Specification, Tolerance Analysis, Tolerance Synthesis, Computational Metrology and Verification, Tolerances in Manufacturing, Applications to Machinery, and Incorporating Elasticity in Tolerance Models."

Substantially revised, reorganised and updated, the second edition now comprises eighteen chapters, carefully arranged in a straightforward and logical manner, with many new results and open problems.

As well as covering the theoretical aspects of the subject, with detailed proofs of many important results, the authors present a number of algorithms, and whole chapters are devoted to topics such as branchings, feedback arc and vertex sets, connectivity augmentations, sparse subdigraphs with prescribed connectivity, and also packing, covering and decompositions of digraphs. Throughout the book, there is a strong focus on applications which include quantum mechanics, bioinformatics, embedded computing, and the travelling salesman problem.

Detailed indices and topic-oriented chapters ease navigation, and more than 650 exercises, 170 figures and 150 open problems are included to help immerse the reader in all aspects of the subject.

Mathematical optimization encompasses both a rich and rapidly evolving body of fundamental theory, and a variety of exciting applications in science and engineering. The present book contains a careful selection of articles on recent advances in optimization theory, numerical methods, and their applications in engineering. It features in particular new methods and applications in the fields of optimal control, PDE-constrained optimization, nonlinear optimization, and convex optimization. The authors of this volume took part in the 14th Belgian-French-German Conference on Optimization (BFG09) organized in Leuven, Belgium, on September 14-18, 2009. The volume contains a selection of reviewed articles contributed by the conference speakers as well as three survey articles by plenary speakers and two papers authored by the winners of the best talk and best poster prizes awarded at BFG09. Researchers and graduate students in applied mathematics, computer science, and many branches of engineering will find in this book an interesting and useful collection of recent ideas on the methods and applications of optimization.

Optimization is everywhere. It is human nature to seek the best option among all that are available. Nature, too, seems to be guided by optimization-many laws of nature have a variational character. Among geometric gures in the plane with a xed perimeter, the circle has the greatest area. Such isoperim- ric problems involving geometric gures date back to ancient Greece. Fermat's principle, discovered in 1629, stating that the tangent line is horizontal at a minimum point, seems to have in uenced the development of calculus. The proofs of Rolle's theorem and the mean value theorem in calculus use the Weierstrass theorem on the existence of maximizers and minimizers. The - troduction of the brachistochrone problem in 1696 by Johann Bernoulli had a tremendous impact on the development of the calculus of variations and in uenced the development of functional analysis. The variational character of laws of mechanics and optics were discovered in the seventeenth and ei- teenth centuries. Euler and Lagrange forged the foundations of the calculus of variations in the eighteenth century. In the nineteenth century, Riemann used Dirichlet's principle, which has a variational character, in his investigations in complex analysis. The simplex method for linear programming was disc- ered shortly after the advent of computers in the 1940s, and in uenced the subsequent development of mathematical programming. The emergence of the theory of optimal control in the 1950s was in response to the need for contr- ling space vehicles and various industrial processes.

A long long time ago, echoing philosophical and aesthetic principles that existed since antiquity, William of Ockham enounced the principle of parsimony, better known today as Ockham's razor: "Entities should not be multiplied without neces sity. " This principle enabled scientists to select the "best" physical laws and theories to explain the workings of the Universe and continued to guide scienti?c research, leadingtobeautifulresultsliketheminimaldescriptionlength approachtostatistical inference and the related Kolmogorov complexity approach to pattern recognition. However, notions of complexity and description length are subjective concepts anddependonthelanguage"spoken"whenpresentingideasandresults. The?eldof sparse representations, that recently underwent a Big Bang like expansion, explic itly deals with the Yin Yang interplay between the parsimony of descriptions and the "language" or "dictionary" used in them, and it became an extremely exciting area of investigation. It already yielded a rich crop of mathematically pleasing, deep and beautiful results that quickly translated into a wealth of practical engineering applications. You are holding in your hands the ?rst guide book to Sparseland, and I am sure you'll ?nd in it both familiar and new landscapes to see and admire, as well as ex cellent pointers that will help you ?nd further valuable treasures. Enjoy the journey to Sparseland! Haifa, Israel, December 2009 Alfred M. Bruckstein vii Preface This book was originally written to serve as the material for an advanced one semester (fourteen 2 hour lectures) graduate course for engineering students at the Technion, Israel.

Optimization is a field important in its own right but is also integral to numerous applied sciences, including operations research, management science, economics, finance and all branches of mathematics-oriented engineering. Constrained optimization models are one of the most widely used mathematical models in operations research and management science.

This book gives a modern and well-balanced presentation of the subject, focusing on theory but also including algorithims and examples from various real-world applications. The text is easy to read and accessible to anyone with a knowledge of multi-dimensional calculus, linear algebra and basic numerical methods. Detailed examples and counter-examples are provided--as are exercises, solutions and helpful hints, and Matlab/Maple supplements.

The intended readership is advanced undergraduates, graduates, and professionals in any of the applied fields.

What is the shortest possible route for a traveling salesman seeking to visit each city on a list exactly once and return to his city of origin? It sounds simple enough, yet the traveling salesman problem is one of the most intensely studied puzzles in applied mathematics--and it has defied solution to this day. In this book, William Cook takes readers on a mathematical excursion, picking up the salesman's trail in the 1800s when Irish mathematician W. R. Hamilton first defined the problem, and venturing to the furthest limits of today's state-of-the-art attempts to solve it. He also explores its many important applications, from genome sequencing and designing computer processors to arranging music and hunting for planets.

"In Pursuit of the Traveling Salesman" travels to the very threshold of our understanding about the nature of complexity, and challenges you yourself to discover the solution to this captivating mathematical problem.

Our understanding of information and information dynamics has outgrown classical information theory. The theory does not account for the value or influence of information within the context of a system or network and does not explain how these properties might influence how information flows though and interacts with a system. The invited chapters in this collection present new theories, methods, and applications that address some of these limitations.

Dynamics of Information Systems presents state-of-the-art research explaining the importance of information in the evolution of a distributed or networked system. This book presents techniques for measuring the value or significance of information within the context of a system. Each chapter reveals a unique topic or perspective from experts in this exciting area of research.

These newly developed techniques have numerous applications including: the detection of terrorist networks, the design of highly functioning businesses and computer systems, modeling the distributed sensory and control physiology of animals, quantum entanglement and genome modeling, multi-robotic systems design, as well as industrial and manufacturing safety.

This volume collects the expanded notes of four series of lectures given on the occasion of the CIME course on Nonlinear Optimization held in Cetraro, Italy, from July 1 to 7, 2007. The Nonlinear Optimization problem of main concern here is the problem n of determining a vector of decision variables x ? R that minimizes (ma- n mizes) an objective function f(.): R ? R, when x is restricted to belong n to some feasible setF? R, usually described by a set of equality and - n n m equality constraints: F = {x ? R: h(x)=0, h(.): R ? R; g(x) ? 0, n p g(.): R ? R }; of course it is intended that at least one of the functions f, h, g is nonlinear. Although the problem canbe stated in verysimpleterms, its solution may result very di?cult due to the analytical properties of the functions involved and/or to the number n, m, p of variables and constraints. On the other hand, the problem has been recognized to be of main relevance in engineering, economics, and other applied sciences, so that a great lot of e?ort has been devoted to develop methods and algorithms able to solve the problem even in its more di?cult and large instances. The lectures have been given by eminent scholars, who contributed to a great extent to the development of Nonlinear Optimization theory, methods and algorithms. Namely, they are: - Professor Immanuel M."

Practical Goal Programming is intended to allow academics and practitioners to be able to build effective goal programming models, to detail the current state of the art, and to lay the foundation for its future development and continued application to new and varied fields. Suitable as both a text and reference, its nine chapters first provide a brief history, fundamental definitions, and underlying philosophies, and then detail the goal programming variants and define them algebraically. Chapter 3 details the step-by-step formulation of the basic goal programming model, and Chapter 4 explores more advanced modeling issues and highlights some recently proposed extensions.

Chapter 5 then details the solution methodologies of goal programming, concentrating on computerized solution by the Excel Solver and LINGO packages for each of the three main variants, and includes a discussion of the viability of the use of specialized goal programming packages. Chapter 6 discusses the linkages between Pareto Efficiency and goal programming. Chapters 3 to 6 are supported by a set of ten exercises, and an Excel spreadsheet giving the basic solution of each example is available at an accompanying website.

Chapter 7 details the current state of the art in terms of the integration of goal programming with other techniques, and the text concludes with two case studies which were chosen to demonstrate the application of goal programming in practice and to illustrate the principles developed in Chapters 1 to 7. Chapter 8 details an application in healthcare, and Chapter 9 describes applications in portfolio selection.

In many decision problems, e.g. from the area of production and logistics manage ment, the evaluation of alternatives and the determination of an optimal or at least suboptimal solution is an important but dif?cult task. For most such problems no ef?cient algorithm is known and classical approaches of Operations Research like Mixed Integer Linear Programming or Dynamic Pro gramming are often of limited use due to excessive computation time. Therefore, dedicated heuristic solution approaches have been developed which aim at providing good solutions in reasonable time for a given problem. However, such methods have two major drawbacks: First, they are tailored to a speci?c prob lem and their adaption to other problems is dif?cult and in many cases even impos sible. Second, they are typically designed to "build" one single solution in the most effective way, whereas most decision problems have a vast number of feasible solu tions. Hence usually the chances are high that there exist better ones. To overcome these limitations, problem independent search strategies, in particular metaheuris tics, have been proposed. This book provides an elementary step by step introduction to metaheuristics focusing on the search concepts they are based on. The ?rst part demonstrates un derlying concepts of search strategies using a simple example optimization problem.

Contains case studies from engineering and operations research

Includes commented literature for each chapter

The results presented in this book originate from the last decade research work of the author in the ?eld of duality theory in convex optimization. The reputation of duality in the optimization theory comes mainly from the major role that it plays in formulating necessary and suf?cient optimality conditions and, consequently, in generatingdifferent algorithmic approachesfor solving mathematical programming problems. The investigations made in this work prove the importance of the duality theory beyond these aspects and emphasize its strong connections with different topics in convex analysis, nonlinear analysis, functional analysis and in the theory of monotone operators. The ?rst part of the book brings to the attention of the reader the perturbation approach as a fundamental tool for developing the so-called conjugate duality t- ory. The classical Lagrange and Fenchel duality approaches are particular instances of this general concept. More than that, the generalized interior point regularity conditions stated in the past for the two mentioned situations turn out to be p- ticularizations of the ones given in this general setting. In our investigations, the perturbationapproachrepresentsthestartingpointforderivingnewdualityconcepts for several classes of convex optimization problems. Moreover, via this approach, generalized Moreau-Rockafellar formulae are provided and, in connection with them, a new class of regularity conditions, called closedness-type conditions, for both stable strong duality and strong duality is introduced. By stable strong duality we understand the situation in which strong duality still holds whenever perturbing the objective function of the primal problem with a linear continuous functional.