The focus of these conference proceedings is on research, development, and applications in the fields of numerical geometry, scientific computing and numerical simulation, particularly in mesh generation and related problems. In addition, this year's special focus is on Delaunay triangulations and their applications, celebrating the 130th birthday of Boris Delaunay. In terms of content, the book strikes a balance between engineering algorithms and mathematical foundations. It presents an overview of recent advances in numerical geometry, grid generation and adaptation in terms of mathematical foundations, algorithm and software development and applications. The specific topics covered include: quasi-conformal and quasi-isometric mappings, hyperelastic deformations, multidimensional generalisations of the equidistribution principle, discrete differential geometry, spatial and metric encodings, Voronoi-Delaunay theory for tilings and partitions, duality in mathematical programming and numerical geometry, mesh-based optimisation and optimal control methods. Further aspects examined include iterative solvers for variational problems and algorithm and software development. The applications of the methods discussed are multidisciplinary and include problems from mathematics, physics, biology, chemistry, material science, and engineering.

This book provides a timely and comprehensive overview of current theories and methods in fuzzy logic, as well as relevant applications in a variety of fields of science and technology. Dedicated to Lotfi A. Zadeh on his one year death anniversary, the book goes beyond a pure commemorative text. Yet, it offers a fresh perspective on a number of relevant topics, such as computing with words, theory of perceptions, possibility theory, and decision-making in a fuzzy environment. Written by Zadeh's closest colleagues and friends, the different chapters are intended both as a timely reference guide and a source of inspiration for scientists, developers and researchers who have been dealing with fuzzy sets or would like to learn more about their potential for their future research.

This study aid on numerical optimization techniques is intended for university undergraduate and postgraduate mechanical engineering students. Optimization procedures are becoming more and more important for lightweight design, where weight reduction can, for example in the case of automotive or aerospace industry, lead to lower fuel consumption and a corresponding reduction in operational costs as well as beneficial effects on the environment. Based on the free computer algebra system Maxima, the authors present procedures for numerically solving problems in engineering mathematics as well as applications taken from traditional courses on the strength of materials. The mechanical theories focus on the typical one-dimensional structural elements, i.e., springs, bars, and Euler-Bernoulli beams, in order to reduce the complexity of the numerical framework and limit the resulting design to a low number of variables. The use of a computer algebra system and the incorporated functions, e.g., for derivatives or equation solving, allows a greater focus on the methodology of the optimization methods and not on standard procedures. The book also provides numerous examples, including some that can be solved using a graphical approach to help readers gain a better understanding of the computer implementation.

This book is based on the authors' research on the stabilization and fault-tolerant control of batch processes, which are flourishing topics in the field of control system engineering. It introduces iterative learning control for linear/nonlinear single/multi-phase batch processes; iterative learning optimal guaranteed cost control; delay-dependent iterative learning control; and iterative learning fault-tolerant control for linear/nonlinear single/multi-phase batch processes. Providing important insights and useful methods and practical algorithms that can potentially be applied in batch process control and optimization, it is a valuable resource for researchers, scientists, and engineers in the field of process system engineering and control engineering.

This book brings together carefully selected, peer-reviewed works on mathematical biology presented at the BIOMAT International Symposium on Mathematical and Computational Biology, which was held at the Institute of Numerical Mathematics, Russian Academy of Sciences, in October 2017, in Moscow. Topics covered include, but are not limited to, the evolution of spatial patterns on metapopulations, problems related to cardiovascular diseases and modeled by boundary control techniques in hemodynamics, algebraic modeling of the genetic code, and multi-step biochemical pathways. Also, new results are presented on topics like pattern recognition of probability distribution of amino acids, somitogenesis through reaction-diffusion models, mathematical modeling of infectious diseases, and many others. Experts, scientific practitioners, graduate students and professionals working in various interdisciplinary fields will find this book a rich resource for research and applications alike.

This volume gathers contributions in the field of partial differential equations, with a focus on mathematical models in phase transitions, complex fluids and thermomechanics. These contributions are dedicated to Professor Gianni Gilardi on the occasion of his 70th birthday. It particularly develops the following thematic areas: nonlinear dynamic and stationary equations; well-posedness of initial and boundary value problems for systems of PDEs; regularity properties for the solutions; optimal control problems and optimality conditions; feedback stabilization and stability results. Most of the articles are presented in a self-contained manner, and describe new achievements and/or the state of the art in their line of research, providing interested readers with an overview of recent advances and future research directions in PDEs.

This book highlights the remarkable importance of special functions, operational calculus, and variational methods. A considerable portion of the book is dedicated to second-order partial differential equations, as they offer mathematical models of various phenomena in physics and engineering. The book provides students and researchers with essential help on key mathematical topics, which are applied to a range of practical problems. These topics were chosen because, after teaching university courses for many years, the authors have found them to be essential, especially in the contexts of technology, engineering and economics. Given the diversity topics included in the book, the presentation of each is limited to the basic notions and results of the respective mathematical domain. Chapter 1 is devoted to complex functions. Here, much emphasis is placed on the theory of holomorphic functions, which facilitate the understanding of the role that the theory of functions of a complex variable plays in mathematical physics, especially in the modeling of plane problems. In addition, the book demonstrates the importance of the theories of special functions, operational calculus, and variational calculus. In the last chapter, the authors discuss the basic elements of one of the most modern areas of mathematics, namely the theory of optimal control.

Since nonsmooth optimization problems arise in a diverse range of real-world applications, the potential impact of efficient methods for solving such problems is undeniable. Even solving difficult smooth problems sometimes requires the use of nonsmooth optimization methods, in order to either reduce the problem's scale or simplify its structure. Accordingly, the field of nonsmooth optimization is an important area of mathematical programming that is based on by now classical concepts of variational analysis and generalized derivatives, and has developed a rich and sophisticated set of mathematical tools at the intersection of theory and practice. This volume of ISNM is an outcome of the workshop "Nonsmooth Optimization and its Applications," which was held from May 15 to 19, 2017 at the Hausdorff Center for Mathematics, University of Bonn. The six research articles gathered here focus on recent results that highlight different aspects of nonsmooth and variational analysis, optimization methods, their convergence theory and applications.

This book focuses on the vector Allen-Cahn equation, which models coexistence of three or more phases and is related to Plateau complexes - non-orientable objects with a stratified structure. The minimal solutions of the vector equation exhibit an analogous structure not present in the scalar Allen-Cahn equation, which models coexistence of two phases and is related to minimal surfaces. The 1978 De Giorgi conjecture for the scalar problem was settled in a series of papers: Ghoussoub and Gui (2d), Ambrosio and Cabre (3d), Savin (up to 8d), and del Pino, Kowalczyk and Wei (counterexample for 9d and above). This book extends, in various ways, the Caffarelli-Cordoba density estimates that played a major role in Savin's proof. It also introduces an alternative method for obtaining pointwise estimates. Key features and topics of this self-contained, systematic exposition include: * Resolution of the structure of minimal solutions in the equivariant class, (a) for general point groups, and (b) for general discrete reflection groups, thus establishing the existence of previously unknown lattice solutions. * Preliminary material beginning with the stress-energy tensor, via which monotonicity formulas, and Hamiltonian and Pohozaev identities are developed, including a self-contained exposition of the existence of standing and traveling waves. * Tools that allow the derivation of general properties of minimizers, without any assumptions of symmetry, such as a maximum principle or density and pointwise estimates. * Application of the general tools to equivariant solutions rendering exponential estimates, rigidity theorems and stratification results. This monograph is addressed to readers, beginning from the graduate level, with an interest in any of the following: differential equations - ordinary or partial; nonlinear analysis; the calculus of variations; the relationship of minimal surfaces to diffuse interfaces; or the applied mathematics of materials science.

This book aims at reviewing recent progress in the direction of algebraic and symbolic computation methods for functional systems, e.g. ODE systems, differential time-delay equations, difference equations and integro-differential equations. In the nineties, modern algebraic theories were introduced in mathematical systems theory and in control theory. Combined with real algebraic geometry, which was previously introduced in control theory, the past years have seen a flourishing development of algebraic methods in control theory. One of the strengths of algebraic methods lies in their close connections to computations. The use of the above-mentioned algebraic theories in control theory has been an important source of motivation to develop effective versions of these theories (when possible). With the development of computer algebra and computer algebra systems, symbolic methods for control theory have been developed over the past years. The goal of this book is to propose a partial state of the art in this direction. To make recent results more easily accessible to a large audience, the chapters include materials which survey the main mathematical methods and results and which are illustrated with explicit examples.

This book presents a methodology based on inverse problems for use in solutions for fault diagnosis in control systems, combining tools from mathematics, physics, computational and mathematical modeling, optimization and computational intelligence. This methodology, known as fault diagnosis - inverse problem methodology or FD-IPM, unifies the results of several years of work of the authors in the fields of fault detection and isolation (FDI), inverse problems and optimization. The book clearly and systematically presents the main ideas, concepts and results obtained in recent years. By formulating fault diagnosis as an inverse problem, and by solving it using metaheuristics, the authors offer researchers and students a fresh, interdisciplinary perspective for problem solving in these fields. Graduate courses in engineering, applied mathematics and computing also benefit from this work.

Nonlinear Industrial Control Systems presents a range of mostly optimisation-based methods for severely nonlinear systems; it discusses feedforward and feedback control and tracking control systems design. The plant models and design algorithms are provided in a MATLAB (R) toolbox that enable both academic examples and industrial application studies to be repeated and evaluated, taking into account practical application and implementation problems. The text makes nonlinear control theory accessible to readers having only a background in linear systems, and concentrates on real applications of nonlinear control. It covers: different ways of modelling nonlinear systems including state space, polynomial-based, linear parameter varying, state-dependent and hybrid; design techniques for nonlinear optimal control including generalised-minimum-variance, model predictive control, quadratic-Gaussian, factorised and H design methods; design philosophies that are suitable for aerospace, automotive, marine, process-control, energy systems, robotics, servo systems and manufacturing; steps in design procedures that are illustrated in design studies to define cost-functions and cope with problems such as disturbance rejection, uncertainties and integral wind-up; and baseline non-optimal control techniques such as nonlinear Smith predictors, feedback linearization, sliding mode control and nonlinear PID. Nonlinear Industrial Control Systems is valuable to engineers in industry dealing with actual nonlinear systems. It provides students with a comprehensive range of techniques and examples for solving real nonlinear control design problems.

Building on fundamental results in variational analysis, this monograph presents new and recent developments in the field as well as selected applications. Accessible to a broad spectrum of potential readers, the main material is presented in finite-dimensional spaces. Infinite-dimensional developments are discussed at the end of each chapter with comprehensive commentaries which emphasize the essence of major results, track the genesis of ideas, provide historical comments, and illuminate challenging open questions and directions for future research. The first half of the book (Chapters 1-6) gives a systematic exposition of key concepts and facts, containing basic material as well as some recent and new developments. These first chapters are particularly accessible to masters/doctoral students taking courses in modern optimization, variational analysis, applied analysis, variational inequalities, and variational methods. The reader's development of skills will be facilitated as they work through each, or a portion of, the multitude of exercises of varying levels. Additionally, the reader may find hints and references to more difficult exercises and are encouraged to receive further inspiration from the gems in chapter commentaries. Chapters 7-10 focus on recent results and applications of variational analysis to advanced problems in modern optimization theory, including its hierarchical and multiobjective aspects, as well as microeconomics, and related areas. It will be of great use to researchers and professionals in applied and behavioral sciences and engineering.

This monograph investigates the existence of higher order sliding mode in discrete-time systems and propounds a new concept of discrete-time higher order sliding mode. The authors propose a definition of discrete-time higher order sliding mode and a control law is designed by means of a concept for an uncertain linear-time invariant system, as well as the behavior of the closed-loop system is analyzed. Moreover, the book includes a thorough treatment of the probabilistic and non-deterministic case, i.e. stochastic discrete-time higher order sliding mode. The target audience primarily comprises research experts in control theory but the book may also be beneficial for graduate students alike.

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.

This monograph offers the first systematic account of (metric) regularity theory in variational analysis. It presents new developments alongside classical results and demonstrates the power of the theory through applications to various problems in analysis and optimization theory. The origins of metric regularity theory can be traced back to a series of fundamental ideas and results of nonlinear functional analysis and global analysis centered around problems of existence and stability of solutions of nonlinear equations. In variational analysis, regularity theory goes far beyond the classical setting and is also concerned with non-differentiable and multi-valued operators. The present volume explores all basic aspects of the theory, from the most general problems for mappings between metric spaces to those connected with fairly concrete and important classes of operators acting in Banach and finite dimensional spaces. Written by a leading expert in the field, the book covers new and powerful techniques, which have proven to be highly efficient even in classical settings, and outlines the theory's predominantly quantitative character, leading to a variety of new and unexpected applications. Variational Analysis of Regular Mappings is aimed at graduate students and researchers in nonlinear and functional analysis, especially those working in areas close to optimization and optimal control, and will be suitable to anyone interested in applying new concepts and ideas to operations research, control engineering and numerical analysis.

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.

Contemporary engineering design is heavily based on computer simulations. Accurate, high-fidelity simulations are used not only for design verification but, even more importantly, to adjust parameters of the system to have it meet given performance requirements. Unfortunately, accurate simulations are often computationally very expensive with evaluation times as long as hours or even days per design, making design automation using conventional methods impractical. These and other problems can be alleviated by the development and employment of so-called surrogates that reliably represent the expensive, simulation-based model of the system or device of interest but they are much more reasonable and analytically tractable.

This volume features surrogate-based modeling and optimization techniques, and their applications for solving difficult and computationally expensive engineering design problems. It begins bypresentingthe basic concepts and formulations of the surrogate-based modeling and optimization paradigm and thendiscusses relevant modeling techniques, optimization algorithms and design procedures, as well as state-of-the-art developments. The chapters are self-contained with basic concepts and formulations along with applications and examples. The book will be useful toresearchers in engineering and mathematics, in particular those who employ computationally heavy simulations in their design work.

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.

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.

The goal of this book is to elaborate on the main principles of the theory of the Berge equilibrium by answering the following two questions: What are the basic properties of the Berge equilibrium? Does the Berge equilibrium exist, and how can it be calculated? The Golden Rule of ethics, which appears in Christianity, Judaism, Islam, Buddhism, Confucianism and other world religions, states the following: "Behave towards others as you would like them to behave towards you." In any game, each party of conflict seeks to maximize some payoff. Therefore, for each player, the Golden Rule is implemented through the maximization of his/her payoff by all other players, which matches well with the concept of the Berge equilibrium. The approach presented here will be of particular interest to researchers (including undergraduates and graduates) and economists focused on decision-making under complex conflict conditions. The peaceful resolution of conflicts is the cornerstone of the approach: as a matter of fact, the Golden Rule precludes military clashes and violence. In turn, the new approach requires new methods; in particular, the existence problems are reduced to saddle point design for the Germeier convolution of payoff functions, with further transition to mixed strategies in accordance with the standard procedure employed by E. Borel, J. von Neumann, J. Nash, and their followers. Moreover, this new approach has proven to be efficient and fruitful with regard to a range of other important problems in mathematical game theory, which are considered in the Appendix.

This is the first book to systematically present control theory for stochastic distributed parameter systems, a comparatively new branch of mathematical control theory. The new phenomena and difficulties arising in the study of controllability and optimal control problems for this type of system are explained in detail. Interestingly enough, one has to develop new mathematical tools to solve some problems in this field, such as the global Carleman estimate for stochastic partial differential equations and the stochastic transposition method for backward stochastic evolution equations. In a certain sense, the stochastic distributed parameter control system is the most general control system in the context of classical physics. Accordingly, studying this field may also yield valuable insights into quantum control systems. A basic grasp of functional analysis, partial differential equations, and control theory for deterministic systems is the only prerequisite for reading this book.

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.

This edited monograph contains research contributions on a wide range of topics such as stochastic control systems, adaptive control, sliding mode control and parameter identification methods. The book also covers applications of robust and adaptice control to chemical and biotechnological systems. This collection of papers commemorates the 70th birthday of Dr. Alexander S. Poznyak.

This book presents cutting-edge contributions in the areas of control theory and partial differential equations. Over the decades, control theory has had deep and fruitful interactions with the theory of partial differential equations (PDEs). Well-known examples are the study of the generalized solutions of Hamilton-Jacobi-Bellman equations arising in deterministic and stochastic optimal control and the development of modern analytical tools to study the controllability of infinite dimensional systems governed by PDEs. In the present volume, leading experts provide an up-to-date overview of the connections between these two vast fields of mathematics. Topics addressed include regularity of the value function associated to finite dimensional control systems, controllability and observability for PDEs, and asymptotic analysis of multiagent systems. The book will be of interest for both researchers and graduate students working in these areas.