In its thousands of years of history, mathematics has made an extraordinary ca reer. It started from rules for bookkeeping and computation of areas to become the language of science. Its potential for decision support was fully recognized in the twentieth century only, vitally aided by the evolution of computing and communi cation technology. Mathematical optimization, in particular, has developed into a powerful machinery to help planners. Whether costs are to be reduced, profits to be maximized, or scarce resources to be used wisely, optimization methods are available to guide decision making. Opti mization is particularly strong if precise models of real phenomena and data of high quality are at hand - often yielding reliable automated control and decision proce dures. But what, if the models are soft and not all data are around? Can mathematics help as well? This book addresses such issues, e. g. , problems of the following type: - An elevator cannot know all transportation requests in advance. In which order should it serve the passengers? - Wing profiles of aircrafts influence the fuel consumption. Is it possible to con tinuously adapt the shape of a wing during the flight under rapidly changing conditions? - Robots are designed to accomplish specific tasks as efficiently as possible. But what if a robot navigates in an unknown environment? - Energy demand changes quickly and is not easily predictable over time. Some types of power plants can only react slowly.

In the past decades, model reduction has become an ubiquitous tool in analysis and simulation of dynamical systems, control design, circuit simulation, structural dynamics, CFD, and many other disciplines dealing with complex physical models. The aim of this book is to survey some of the most successful model reduction methods in tutorial style articles and to present benchmark problems from several application areas for testing and comparing existing and new algorithms. As the discussed methods have often been developed in parallel in disconnected application areas, the intention of the mini-workshop in Oberwolfach and its proceedings is to make these ideas available to researchers and practitioners from all these different disciplines.

The book at hand presents a careful selection of relevant applications of CI methods for transport, logistics, and supply chain management problems. The chapters illustrate the current state-of-the-art in the application of CI methods in these fields and should help and inspire researchers and practitioners to apply and develop efficient methods. A few contributions in this book are extended versions of papers presented at EvoTransLog2007: The First European Workshop on Evolutionary Computation in Transportation and Logistics which was held in Valencia, Spain, in 2007. The majority of contributions are from additional, specially selected researchers, who have done relevant work in different areas of transport, logistics, and supply chain management. The goal is to broadly cover representative applications in these fields as well as different types of solution approaches. On the application side, the contributions focus on design of traffic and transportation networks, vehicle routing, and other important aspects of supply chain management such as inventory management, lot sizing, and lot scheduling. On the method side, the contributions deal with evolutionary algorithms, local search approaches, and scatter search combined with other CI techniques such as neural networks or fuzzy approaches. The book is structured according to the application domains. Thus, it has three parts dealing with traffic and transportation networks, vehicle routing, and supply chain management.

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.

This book presents general methods for the design of economic model predictive control (EMPC) systems for broad classes of nonlinear systems that address key theoretical and practical considerations including recursive feasibility, closed-loop stability, closed-loop performance, and computational efficiency. Specifically, the book proposes: Lyapunov-based EMPC methods for nonlinear systems; two-tier EMPC architectures that are highly computationally efficient; and EMPC schemes handling explicitly uncertainty, time-varying cost functions, time-delays and multiple-time-scale dynamics. The proposed methods employ a variety of tools ranging from nonlinear systems analysis, through Lyapunov-based control techniques to nonlinear dynamic optimization. The applicability and performance of the proposed methods are demonstrated through a number of chemical process examples. The book presents state-of-the-art methods for the design of economic model predictive control systems for chemical processes.In addition to being mathematically rigorous, these methods accommodate key practical issues, for example, direct optimization of process economics, time-varying economic cost functions and computational efficiency. Numerous comments and remarks providing fundamental understanding of the merging of process economics and feedback control into a single framework are included. A control engineer can easily tailor the many detailed examples of industrial relevance given within the text to a specific application. The authors present a rich collection of new research topics and references to significant recent work making Economic Model Predictive Control an important source of information and inspiration for academics and graduate students researching the area and for process engineers interested in applying its ideas.

Container Terminals (CT) operate as central nodes in worldwide hub-and-spoke networks and link ocean-going vessels with smaller feeder vessels as well as with inbound and outbound hinterland transportation systems using road, rail, or inland waterways. The volume of transcontinental container flows has gained appreciably over the last five decades -- throughput figures of CT reached new records, frequently with double-digit annual growth rates. Stimulated by throughput requirements and stronger competition between terminals settled in the same region or serving a similar hinterland, respectively, cost efficiency and throughput capabilities become more and more important. Nowadays, both terminal capacity and costs have to be regarded as key indicators for CT competitiveness. In respect of this steady growth, this handbook focuses on planning activities being aimed at “order of magnitude improvements” in terminal performance and economic viability. On the one hand the book is intended to provide readership with technological and organizational CT basics for strategic planning. On the other hand this book offers methodical assistance for fundamental dimensioning of CT in terms of 'technique', 'organization' or 'man'. The former primarily considers comprehensive information about container handling technologies representing the state of the art for present terminal operations, while the latter refers to methodological support comprising in particular quantitative solutions and modeling techniques for strategic terminal decisions as well as straightforward design guidelines. The handbook includes an introductory contribution which gives an overview of strategic planning problems at CT and introduces the contributions of the volume with regard to their relationship in this field. Moreover, each paper contains a section or paragraph that describes the impact of findings investigated by the author(s) for problem-solving in long-term planning of CT (as an application domain). The handbook intends to provide solutions and insights that are valuable for both practitioners in industry who need effective planning approaches to overcome problems and weaknesses in terminal design/development and researchers who would like to inform themselves about the state of the art in methodology of strategic terminal planning or be inspired by new ideas. That is to say, the handbook is addressed to terminal planners in practice as well as to students of maritime courses of study and (application oriented) researchers in the maritime field.

This volume contains the papers presented at CP 2009: The 15th International Conference on Principles and Practice of Constraint Programming. It was held from September 20–24, 2009 at the Rectory of the New University of Lisbon, Portugal. Everyone involved with the conference thanks our sponsors for their support. There were 128 submissions to the research track, of which 53 were accepted for a rate of 41.4%. Each submission was reviewed by three reviewers, with a small number of additional reviews obtained in exceptional cases. Each review waseitherbyaProgrammeCommitteemember,orbyacolleagueinvitedtohelp by a committee member thanks to their particular expertise. Papers submitted as long papers were accepted at full length or not at all. It is important to note that papers submitted as short papers were held to the same high standards of qualityas long papers. There is thus no distinction in these proceedings between long and short papers, except of course the number of pages they occupy. As it happens, the acceptancerates of short and long papers wereverysimilar indeed. Therewere13submissionstotheapplicationtrack,ofwhich8wereaccepted, fora rateof61.5%.Papersunderwentthe samereviewprocessasregularpapers, and there was not a separate committee for reviewing application track papers. However, papers in the application track were not required to be original or novel research, but to be original and novel as an application of constraints.

An increasing complexity of models used to predict real-world systems leads to the need for algorithms to replace complex models with far simpler ones, while preserving the accuracy of the predictions. This two-volume handbook covers methods as well as applications. This first volume focuses on real-time control theory, data assimilation, real-time visualization, high-dimensional state spaces and interaction of different reduction techniques.

This reference book can be read at different levels, making it a powerful source of information. It presents most of the aspects of control that can help anyone to have a synthetic view of control theory and possible applications, especially concerning process engineering.

This proceedings book brings together the leading innovations and achievements by leading professionals. It acts as a forum for engineers, scientists, researchers, managers and students from academia and industry to present and discuss progress being made in research and application of computer-aided process engineering.