This book collects a series of contributions addressing the various contexts in which the theory of Lie groups is applied. A preliminary chapter serves the reader both as a basic reference source and as an ongoing thread that runs through the subsequent chapters. From representation theory and Gerstenhaber algebras to control theory, from differential equations to Finsler geometry and Lepage manifolds, the book introduces young researchers in Mathematics to a wealth of different topics, encouraging a multidisciplinary approach to research. As such, it is suitable for students in doctoral courses, and will also benefit researchers who want to expand their field of interest.

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 offers a timely snapshot of soft computing methodologies and their applications to various problems related to sustainability, including electric energy consumption; fault diagnosis; vessel fuel consumption; determining the best sites for new malls; maritime port projects; and ad-hoc vehicular networks. Further, it demonstrates how metaheuristics and machine learning methods, fuzzy linear programming, neural networks, computing with words, linguistic models and other soft computing methods can be efficiently used to solve real-world problems. Intended as a practice-oriented guide for students, researchers, and professionals working at the interface between computer science, industrial engineering, naval engineering, agriculture, and sustainable development / climate change research, it provides readers with a set of intelligent solutions, helping them answer a range of emerging questions related to sustainability.

This book is aimed at undergraduate and graduate students in applied mathematics or computer science, as a tool for solving real-world design problems. The present work covers fundamentals in multi-objective optimization and applications in mathematical and engineering system design using a new optimization strategy, namely the Self-Adaptive Multi-objective Optimization Differential Evolution (SA-MODE) algorithm. This strategy is proposed in order to reduce the number of evaluations of the objective function through dynamic update of canonical Differential Evolution parameters (population size, crossover probability and perturbation rate). The methodology is applied to solve mathematical functions considering test cases from the literature and various engineering systems design, such as cantilevered beam design, biochemical reactor, crystallization process, machine tool spindle design, rotary dryer design, among others.

Providing an introduction to stochastic optimal control in infinite dimension, this book gives a complete account of the theory of second-order HJB equations in infinite-dimensional Hilbert spaces, focusing on its applicability to associated stochastic optimal control problems. It features a general introduction to optimal stochastic control, including basic results (e.g. the dynamic programming principle) with proofs, and provides examples of applications. A complete and up-to-date exposition of the existing theory of viscosity solutions and regular solutions of second-order HJB equations in Hilbert spaces is given, together with an extensive survey of other methods, with a full bibliography. In particular, Chapter 6, written by M. Fuhrman and G. Tessitore, surveys the theory of regular solutions of HJB equations arising in infinite-dimensional stochastic control, via BSDEs. The book is of interest to both pure and applied researchers working in the control theory of stochastic PDEs, and in PDEs in infinite dimension. Readers from other fields who want to learn the basic theory will also find it useful. The prerequisites are: standard functional analysis, the theory of semigroups of operators and its use in the study of PDEs, some knowledge of the dynamic programming approach to stochastic optimal control problems in finite dimension, and the basics of stochastic analysis and stochastic equations in infinite-dimensional spaces.

Consisting of two parts, the first part of this volume is an essentially self-contained exposition of the geometric aspects of local and global regularity theory for the Monge-Ampere and linearized Monge-Ampere equations. As an application, we solve the second boundary value problem of the prescribed affine mean curvature equation, which can be viewed as a coupling of the latter two equations. Of interest in its own right, the linearized Monge-Ampere equation also has deep connections and applications in analysis, fluid mechanics and geometry, including the semi-geostrophic equations in atmospheric flows, the affine maximal surface equation in affine geometry and the problem of finding Kahler metrics of constant scalar curvature in complex geometry. Among other topics, the second part provides a thorough exposition of the large time behavior and discounted approximation of Hamilton-Jacobi equations, which have received much attention in the last two decades, and a new approach to the subject, the nonlinear adjoint method, is introduced. The appendix offers a short introduction to the theory of viscosity solutions of first-order Hamilton-Jacobi equations.

This edited volume includes thoroughly collected on sensing and control for autonomous vehicles. Guidance, navigation and motion control systems for autonomous vehicles are increasingly important in land-based, marine and aerial operations. Autonomous underwater vehicles may be used for pipeline inspection, light intervention work, underwater survey and collection of oceanographic/biological data. Autonomous unmanned aerial systems can be used in a large number of applications such as inspection, monitoring, data collection, surveillance, etc. At present, vehicles operate with limited autonomy and a minimum of intelligence. There is a growing interest for cooperative and coordinated multi-vehicle systems, real-time re-planning, robust autonomous navigation systems and robust autonomous control of vehicles. Unmanned vehicles with high levels of autonomy may be used for safe and efficient collection of environmental data, for assimilation of climate and environmental models and to complement global satellite systems. The target audience primarily comprises research experts in the field of control theory, but the book may also be beneficial for graduate students.

With this brief, the authors present algorithms for model-free stabilization of unstable dynamic systems. An extremum-seeking algorithm assigns the role of a cost function to the dynamic system's control Lyapunov function (clf) aiming at its minimization. The minimization of the clf drives the clf to zero and achieves asymptotic stabilization. This approach does not rely on, or require knowledge of, the system model. Instead, it employs periodic perturbation signals, along with the clf. The same effect is achieved as by using clf-based feedback laws that profit from modeling knowledge, but in a time-average sense. Rather than use integrals of the systems vector field, we employ Lie-bracket-based (i.e., derivative-based) averaging. The brief contains numerous examples and applications, including examples with unknown control directions and experiments with charged particle accelerators. It is intended for theoretical control engineers and mathematicians, and practitioners working in various industrial areas and in robotics.

By establishing an alternative foundation of control theory, this thesis represents a significant advance in the theory of control systems, of interest to a broad range of scientists and engineers. While common control strategies for dynamical systems center on the system state as the object to be controlled, the approach developed here focuses on the state trajectory. The concept of precisely realizable trajectories identifies those trajectories that can be accurately achieved by applying appropriate control signals. The resulting simple expressions for the control signal lend themselves to immediate application in science and technology. The approach permits the generalization of many well-known results from the control theory of linear systems, e.g. the Kalman rank condition to nonlinear systems. The relationship between controllability, optimal control and trajectory tracking are clarified. Furthermore, the existence of linear structures underlying nonlinear optimal control is revealed, enabling the derivation of exact analytical solutions to an entire class of nonlinear optimal trajectory tracking problems. The clear and self-contained presentation focuses on a general and mathematically rigorous analysis of controlled dynamical systems. The concepts developed are visualized with the help of particular dynamical systems motivated by physics and chemistry.

This book presents a method for solving linear ordinary differential equations based on the factorization of the differential operator. The approach for the case of constant coefficients is elementary, and only requires a basic knowledge of calculus and linear algebra. In particular, the book avoids the use of distribution theory, as well as the other more advanced approaches: Laplace transform, linear systems, the general theory of linear equations with variable coefficients and variation of parameters. The case of variable coefficients is addressed using Mammana's result for the factorization of a real linear ordinary differential operator into a product of first-order (complex) factors, as well as a recent generalization of this result to the case of complex-valued coefficients.

This volume focuses on contributions from both the mathematics and life science community surrounding the concepts of time and dynamicity of nature, two significant elements which are often overlooked in modeling process to avoid exponential computations. The book is divided into three distinct parts: dynamics of genomes and genetic variation, dynamics of motifs, and dynamics of biological networks. Chapters included in dynamics of genomes and genetic variation analyze the molecular mechanisms and evolutionary processes that shape the structure and function of genomes and those that govern genome dynamics. The dynamics of motifs portion of the volume provides an overview of current methods for motif searching in DNA, RNA and proteins, a key process to discover emergent properties of cells, tissues, and organisms. The part devoted to the dynamics of biological networks covers networks aptly discusses networks in complex biological functions and activities that interpret processes in cells. Moreover, chapters in this section examine several mathematical models and algorithms available for integration, analysis, and characterization. Once life scientists began to produce experimental data at an unprecedented pace, it become clear that mathematical models were necessary to interpret data, to structure information with the aim to unveil biological mechanisms, discover results, and make predictions. The second annual "Bringing Maths to Life" workshop held in Naples, Italy October 2015, enabled a bi-directional flow of ideas from and international group of mathematicians and biologists. The venue allowed mathematicians to introduce novel algorithms, methods, and software that may be useful to model aspects of life science, and life scientists posed new challenges for mathematicians.

The European Conference on Numerical Mathematics and Advanced Applications (ENUMATH), held every 2 years, provides a forum for discussing recent advances in and aspects of numerical mathematics and scientific and industrial applications. The previous ENUMATH meetings took place in Paris (1995), Heidelberg (1997), Jyvaskyla (1999), Ischia (2001), Prague (2003), Santiago de Compostela (2005), Graz (2007), Uppsala (2009), Leicester (2011) and Lausanne (2013). This book presents a selection of invited and contributed lectures from the ENUMATH 2015 conference, which was organised by the Institute of Applied Mathematics (IAM), Middle East Technical University, Ankara, Turkey, from September 14 to 18, 2015. It offers an overview of central recent developments in numerical analysis, computational mathematics, and applications in the form of contributions by leading experts in the field.

This book systematically describes the concepts and principles for multi-satellite relative motion, passive and near passive formation designs, trajectory planning and control for fuel optimal formation maneuvers, and formation flying maintenance control design. As such, it provides a sound foundation for researchers and engineers in this field to develop further theories and pursue their implementations. Though satellite formation flying is widely considered to be a major advance in space technology, there are few systematic treatments of the topic in the literature. Addressing that gap, the book offers a valuable resource for academics, researchers, postgraduate students and practitioners in the field of satellite science and engineering.

The description of many interesting phenomena in science and engineering leads to infinite-dimensional minimization or evolution problems that define nonlinear partial differential equations. While the development and analysis of numerical methods for linear partial differential equations is nearly complete, only few results are available in the case of nonlinear equations. This monograph devises numerical methods for nonlinear model problems arising in the mathematical description of phase transitions, large bending problems, image processing, and inelastic material behavior. For each of these problems the underlying mathematical model is discussed, the essential analytical properties are explained, and the proposed numerical method is rigorously analyzed. The practicality of the algorithms is illustrated by means of short implementations.

This book discusses recent advances in the estimation and control of networked systems with unacknowledged packet losses: systems usually known as user-datagram-protocol-like. It presents both the optimal and sub-optimal solutions in the form of algorithms, which are designed to be implemented easily by computer routines. It also provides MATLAB (R) routines for the key algorithms. It shows how these methods and algorithms can solve estimation and control problems effectively, and identifies potential research directions and ideas to help readers grasp the field more easily. The novel auxiliary estimator method, which is able to deal with estimators that consist of exponentially increasing terms, is developed to analyze the stability and convergence of the optimal estimator. The book also explores the structure and solvability of the optimal control, i.e. linear quadratic Gaussian control. It develops various sub-optimal but efficient solutions for estimation and control for industrial and practical applications, and analyzes their stability and performance. This is a valuable resource for researchers studying networked control systems, especially those related to non-TCP-like networks. The practicality of the ideas included makes it useful for engineers working with networked control.

This two volume set presents over 50 of the most groundbreaking contributions of Menahem M Schiffer. All of the reprints of Schiffer's works herein have extensive annotation and invited commentaries, giving new clarity and insight into the impact and legacy of Schiffer's work. A complete bibliography and brief biography make this a rounded and invaluable reference.

This book presents comprehensive state-of-the-art theoretical analysis of the fundamental Newtonian and Newtonian-related approaches to solving optimization and variational problems. A central focus is the relationship between the basic Newton scheme for a given problem and algorithms that also enjoy fast local convergence. The authors develop general perturbed Newtonian frameworks that preserve fast convergence and consider specific algorithms as particular cases within those frameworks, i.e., as perturbations of the associated basic Newton iterations. This approach yields a set of tools for the unified treatment of various algorithms, including some not of the Newton type per se. Among the new subjects addressed is the class of degenerate problems. In particular, the phenomenon of attraction of Newton iterates to critical Lagrange multipliers and its consequences as well as stabilized Newton methods for variational problems and stabilized sequential quadratic programming for optimization. This volume will be useful to researchers and graduate students in the fields of optimization and variational analysis.

Initial training in pure and applied sciences tends to present problem-solving as the process of elaborating explicit closed-form solutions from basic principles, and then using these solutions in numerical applications. This approach is only applicable to very limited classes of problems that are simple enough for such closed-form solutions to exist. Unfortunately, most real-life problems are too complex to be amenable to this type of treatment. Numerical Methods - a Consumer Guide presents methods for dealing with them. Shifting the paradigm from formal calculus to numerical computation, the text makes it possible for the reader to * discover how to escape the dictatorship of those particular cases that are simple enough to receive a closed-form solution, and thus gain the ability to solve complex, real-life problems; * understand the principles behind recognized algorithms used in state-of-the-art numerical software; * learn the advantages and limitations of these algorithms, to facilitate the choice of which pre-existing bricks to assemble for solving a given problem; and * acquire methods that allow a critical assessment of numerical results. Numerical Methods - a Consumer Guide will be of interest to engineers and researchers who solve problems numerically with computers or supervise people doing so, and to students of both engineering and applied mathematics.

This volume is a collection of articles presented at the Workshop for Nonlinear Analysis held in Joao Pessoa, Brazil, in September 2012. The influence of Bernhard Ruf, to whom this volume is dedicated on the occasion of his 60th birthday, is perceptible throughout the collection by the choice of themes and techniques. The many contributors consider modern topics in the calculus of variations, topological methods and regularity analysis, together with novel applications of partial differential equations. In keeping with the tradition of the workshop, emphasis is given to elliptic operators inserted in different contexts, both theoretical and applied. Topics include semi-linear and fully nonlinear equations and systems with different nonlinearities, at sub- and supercritical exponents, with spectral interactions of Ambrosetti-Prodi type. Also treated are analytic aspects as well as applications such as diffusion problems in mathematical genetics and finance and evolution equations related to electromechanical devices.

This volume collects research papers addressing topical issues in economics and management with a particular focus on dynamic models which allow to analyze and foster the decision making of firms in dynamic complex environments. The scope of the contributions ranges from daily operational challenges firms face to strategic choices in dynamic industry environments and the analysis of optimal growth paths. The volume also highlights recent methodological developments in the areas of dynamic optimization, dynamic games and meta-heuristics, which help to improve our understanding of (optimal) decision making in a fast evolving economy.

The book presents new developments in the dynamic modeling and optimization methods in environmental economics and provides a huge range of applications dealing with the economics of natural resources, the impacts of climate change and of environmental pollution, and respective policy measures. The interrelationship between economic activities and environmental quality, the development of cleaner technologies, the switch from fossil to renewable resources and the proper use of policy instruments play an important role along the path towards a sustainable future. Biological, physical and economic processes are naturally involved in the subject, and postulate the main modelling, simulation and decision-making tools: the methods of dynamic optimization and dynamic games.

Optimization in Science and Engineering is dedicated in honor of the 60th birthday of Distinguished Professor Panos M. Pardalos. Pardalos's past and ongoing work has made a significant impact on several theoretical and applied areas in modern optimization. As tribute to the diversity of Dr. Pardalos's work in Optimization, this book comprises a collection of contributions from experts in various fields of this rich and diverse area of science. Topics highlight recent developments and include: Deterministic global optimization Variational inequalities and equilibrium problems Approximation and complexity in numerical optimization Non-smooth optimization Statistical models and data mining Applications of optimization in medicine, energy systems, and complex network analysis This volume will be of great interest to graduate students, researchers, and practitioners, in the fields of optimization and engineering.

Honoring Andrei Agrachev's 60th birthday, this volume presents recent advances in the interaction between Geometric Control Theory and sub-Riemannian geometry. On the one hand, Geometric Control Theory used the differential geometric and Lie algebraic language for studying controllability, motion planning, stabilizability and optimality for control systems. The geometric approach turned out to be fruitful in applications to robotics, vision modeling, mathematical physics etc. On the other hand, Riemannian geometry and its generalizations, such as sub-Riemannian, Finslerian geometry etc., have been actively adopting methods developed in the scope of geometric control. Application of these methods has led to important results regarding geometry of sub-Riemannian spaces, regularity of sub-Riemannian distances, properties of the group of diffeomorphisms of sub-Riemannian manifolds, local geometry and equivalence of distributions and sub-Riemannian structures, regularity of the Hausdorff volume, etc.

This textbook is distinguished from other texts on the subject by the depth of the presentation and the discussion of the calculus of moving surfaces, which is an extension of tensor calculus to deforming manifolds. Designed for advanced undergraduate and graduate students, this text invites its audience to take a fresh look at previously learned material through the prism of tensor calculus. Once the framework is mastered, the student is introduced to new material which includes differential geometry on manifolds, shape optimization, boundary perturbation and dynamic fluid film equations. The language of tensors, originally championed by Einstein, is as fundamental as the languages of calculus and linear algebra and is one that every technical scientist ought to speak. The tensor technique, invented at the turn of the 20th century, is now considered classical. Yet, as the author shows, it remains remarkably vital and relevant. The author's skilled lecturing capabilities are evident by the inclusion of insightful examples and a plethora of exercises. A great deal of material is devoted to the geometric fundamentals, the mechanics of change of variables, the proper use of the tensor notation and the discussion of the interplay between algebra and geometry. The early chapters have many words and few equations. The definition of a tensor comes only in Chapter 6 - when the reader is ready for it. While this text maintains a consistent level of rigor, it takes great care to avoid formalizing the subject. The last part of the textbook is devoted to the Calculus of Moving Surfaces. It is the first textbook exposition of this important technique and is one of the gems of this text. A number of exciting applications of the calculus are presented including shape optimization, boundary perturbation of boundary value problems and dynamic fluid film equations developed by the author in recent years. Furthermore, the moving surfaces framework is used to offer new derivations of classical results such as the geodesic equation and the celebrated Gauss-Bonnet theorem.

This volume presents five surveys with extensive bibliographies and six original contributions on set optimization and its applications in mathematical finance and game theory. The topics range from more conventional approaches that look for minimal/maximal elements with respect to vector orders or set relations, to the new complete-lattice approach that comprises a coherent solution concept for set optimization problems, along with existence results, duality theorems, optimality conditions, variational inequalities and theoretical foundations for algorithms. Modern approaches to scalarization methods can be found as well as a fundamental contribution to conditional analysis. The theory is tailor-made for financial applications, in particular risk evaluation and [super-]hedging for market models with transaction costs, but it also provides a refreshing new perspective on vector optimization. There is no comparable volume on the market, making the book an invaluable resource for researchers working in vector optimization and multi-criteria decision-making, mathematical finance and economics as well as [set-valued] variational analysis.