Focusing on applications to science and engineering, this book presents the results of the ITN-FP7 SADCO network’s innovative research in optimization and control in the following interconnected topics: optimality conditions in optimal control, dynamic programming approaches to optimal feedback synthesis and reachability analysis, and computational developments in model predictive control. The novelty of the book resides in the fact that it has been developed by early career researchers, providing a good balance between clarity and scientific rigor. Each chapter features an introduction addressed to PhD students and some original contributions aimed at specialist researchers. Requiring only a graduate mathematical background, the book is self-contained. It will be of particular interest to graduate and advanced undergraduate students, industrial practitioners and to senior scientists wishing to update their knowledge.
This book contains extended, in-depth presentations of the plenary talks from the 16th French-German-Polish Conference on Optimization, held in Kraków, Poland in 2013. Each chapter in this book exhibits a comprehensive look at new theoretical and/or application-oriented results in mathematical modeling, optimization, and optimal control. Students and researchers involved in image processing, partial differential inclusions, shape optimization, or optimal control theory and its applications to medical and rehabilitation technology, will find this book valuable. The first chapter by Martin Burger provides an overview of recent developments related to Bregman distances, which is an important tool in inverse problems and image processing. The chapter by Piotr Kalita studies the operator version of a first order in time partial differential inclusion and its time discretization. In the chapter by Günter Leugering, Jan Sokołowski and Antoni Żochowski, nonsmooth shape optimization problems for variational inequalities are considered. The next chapter, by Katja Mombaur is devoted to applications of optimal control and inverse optimal control in the field of medical and rehabilitation technology, in particular in human movement analysis, therapy and improvement by means of medical devices. The final chapter, by Nikolai Osmolovskii and Helmut Maurer provides a survey on no-gap second order optimality conditions in the calculus of variations and optimal control, and a discussion of their further development.
A resurgence of interest in network synthesis in the last decade, motivated in part by the introduction of the inerter, has led to the need for a better understanding of the most economical way to realize a given passive impedance. This monograph outlines the main contributions to the field of passive network synthesis and presents new research into the enumerative approach and the classification of networks of restricted complexity. Passive Network Synthesis: An Approach to Classification serves as both an ideal introduction to the topic and a definitive treatment of the Ladenheim catalogue. In particular, the authors provide a new analysis and classification of the Ladenheim catalogue, building on recent work, to obtain an improved understanding of the structure and realization power of the class within the biquadratic positive-real functions. This book is intended for researchers in systems and control, real algebraic geometry, electrical and mechanical networks, and dynamics and vibration.
This book introduces transfinite interpolation as a generalization of interpolation of data prescribed at a finite number of points to data prescribed on a geometrically structured set, such as a piece of curve, surface, or submanifold. The time-independent theory is readily extended to a moving/deforming data set whose dynamics is specified in a Eulerian or Lagrangian framework. The resulting innovative tools cover a very broad spectrum of applications in fluid mechanics, geometric optimization, and imaging. The authors chose to focus on the dynamical mesh updating in fluid mechanics and the construction of velocity fields from the boundary expression of the shape derivative. Transfinite Interpolations and Eulerian/Lagrangian Dynamics is a self-contained graduate-level text that integrates theory, applications, numerical approximations, and computational techniques. It applies transfinite interpolation methods to finite element mesh adaptation and ALE fluid-structure interaction. Specialists in applied mathematics, physics, mechanics, computational sciences, imaging sciences, and engineering will find this book of interest.
Many things around us have properties that depend on their shape?for example, the drag characteristics of a rigid body in a flow. This self-contained overview of differential geometry explains how to differentiate a function (in the calculus sense) with respect to a ?shape variable.? This approach, which is useful for understanding mathematical models containing geometric partial differential equations (PDEs), allows readers to obtain formulas for geometric quantities (such as curvature) that are clearer than those usually offered in differential geometry texts. Readers will learn how to compute sensitivities with respect to geometry by developing basic calculus tools on surfaces and combining them with the calculus of variations. Several applications that utilize shape derivatives and many illustrations that help build intuition are included.
Extremum Seeking through Delays and PDEs, the first book on the topic, expands the scope of applicability of the extremum seeking method, from static and finite-dimensional systems to infinite-dimensional systems. Readers will find numerous algorithms for model-free real-time optimization are developed and their convergence guaranteed, extensions from single-player optimization to noncooperative games, under delays and PDEs, are provided, the delays and PDEs are compensated in the control designs using the PDE backstepping approach, and stability is ensured using infinite-dimensional versions of averaging theory, and accessible and powerful tools for analysis. This book is intended for control engineers in all disciplines (electrical, mechanical, aerospace, chemical), mathematicians, physicists, biologists, and economists. It is appropriate for graduate students, researchers, and industrial users.
This is the first comprehensive book on the AIMD algorithm, the most widely used method for allocating a limited resource among competing agents without centralized control. The authors offer a new approach that is based on positive switched linear systems. It is used to develop most of the main results found in the book, and fundamental results on stochastic switched nonnegative and consensus systems are derived to obtain these results. The original and best known application of the algorithm is in the context of congestion control and resource allocation on the Internet, and readers will find details of several variants of the algorithm in order of increasing complexity, including deterministic, random, linear, and nonlinear versions. In each case, stability and convergence results are derived based on unifying principles. Basic and fundamental properties of the algorithm are described, examples are used to illustrate the richness of the resulting dynamical systems, and applications are provided to show how the algorithm can be used in the context of smart cities, intelligent transportation systems, and the smart grid.
This book is about nonlinear observability. It provides a modern theory of observability based on a new paradigm borrowed from theoretical physics and the mathematical foundation of that paradigm. In the case of observability, this framework takes into account the group of invariance that is inherent to the concept of observability, allowing the reader to reach an intuitive derivation of significant results in the literature of control theory. The book provides a complete theory of observability and, consequently, the analytical solution of some open problems in control theory. Notably, it presents the first general analytic solution of the nonlinear unknown input observability (nonlinear UIO), a very complex open problem studied in the 1960s. Based on this solution, the book provides examples with important applications for neuroscience, including a deep study of the integration of multiple sensory cues from the visual and vestibular systems for self-motion perception. Observability: A New Theory Based on the Group of Invariance is the only book focused solely on observability. It provides readers with many applications, mostly in robotics and autonomous navigation, as well as complex examples in the framework of vision-aided inertial navigation for aerial vehicles. For these applications, it also includes all the derivations needed to separate the observable part of the system from the unobservable, an analysis with practical importance for obtaining the basic equations for implementing any estimation scheme or for achieving a closed-form solution to the problem. This book is intended for researchers in robotics and automation, both in academia and in industry. Researchers in other engineering disciplines, such as information theory and mechanics, will also find the book useful.