This book offers advanced parallel and distributed algorithms and experimental laboratory prototypes of unconventional shortest path solvers. In addition, it presents novel and unique algorithms of solving shortest problems in massively parallel cellular automaton machines. The shortest path problem is a fundamental and classical problem in graph theory and computer science and is frequently applied in the contexts of transport and logistics, telecommunication networks, virtual reality and gaming, geometry, and social networks analysis. Software implementations include distance-vector algorithms for distributed path computation in dynamics networks, parallel solutions of the constrained shortest path problem, and application of the shortest path solutions in gathering robotic swarms. Massively parallel algorithms utilise cellular automata, where a shortest path is computed either via matrix multiplication in automaton arrays, or via the representation of data graphs in automaton lattices and using the propagation of wave-like patterns. Unconventional shortest path solvers are presented in computer models of foraging behaviour and protoplasmic network optimisation by the slime mould Physarum polycephalum and fluidic devices, while experimental laboratory prototypes of path solvers using chemical media, flows and droplets, and electrical current are also highlighted. The book will be a pleasure to explore for readers from all walks of life, from undergraduate students to university professors, from mathematicians, computers scientists and engineers to chemists and biologists.

This open access proceedings volume brings selected, peer-reviewed contributions presented at the Stochastic Transport in Upper Ocean Dynamics (STUOD) 2021 Workshop, held virtually and in person at the Imperial College London, UK, September 20-23, 2021. The STUOD project is supported by an ERC Synergy Grant, and led by Imperial College London, the National Institute for Research in Computer Science and Automatic Control (INRIA) and the French Research Institute for Exploitation of the Sea (IFREMER). The project aims to deliver new capabilities for assessing variability and uncertainty in upper ocean dynamics. It will provide decision makers a means of quantifying the effects of local patterns of sea level rise, heat uptake, carbon storage and change of oxygen content and pH in the ocean. Its multimodal monitoring will enhance the scientific understanding of marine debris transport, tracking of oil spills and accumulation of plastic in the sea. All topics of these proceedings are essential to the scientific foundations of oceanography which has a vital role in climate science. Studies convened in this volume focus on a range of fundamental areas, including: Observations at a high resolution of upper ocean properties such as temperature, salinity, topography, wind, waves and velocity; Large scale numerical simulations; Data-based stochastic equations for upper ocean dynamics that quantify simulation error; Stochastic data assimilation to reduce uncertainty. These fundamental subjects in modern science and technology are urgently required in order to meet the challenges of climate change faced today by human society. This proceedings volume represents a lasting legacy of crucial scientific expertise to help meet this ongoing challenge, for the benefit of academics and professionals in pure and applied mathematics, computational science, data analysis, data assimilation and oceanography.

This text contributes to the field of sequential optimization for finite-state machines, introducing several new provably-optimal algorithms, presenting practical software implementations of each of these algorithms and introducing a complete new CAD package, called MINIMALIST. Real-world industrial designs are used as benchmark circuits throughout.

The widespread interest this book has found among professors, scientists and stu dents working in a variety of fields has made a new edition necessary. I have used this opportunity to add three new chapters on recent developments. One of the most fascinating fields of modern science is cognitive science which has become a meet ing place of many disciplines ranging from mathematics over physics and computer science to psychology. Here, one of the important links between these fields is the concept of information which, however, appears in various disguises, be it as Shan non information or as semantic information (or as something still different). So far, meaning seemed to be exorcised from Shannon information, whereas meaning plays a central role in semantic (or as it is sometimes called "pragmatic") information. In the new chapter 13 it will be shown, however, that there is an important interplay between Shannon and semantic information and that, in particular, the latter plays a decisive role in the fixation of Shannon information and, in cognitive processes, al lows a drastic reduction of that information. A second, equally fascinating and rapidly developing field for mathematicians, computer scientists and physicists is quantum information and quantum computa tion. The inclusion of these topics is a must for any modern treatise dealing with in formation. It becomes more and more evident that the abstract concept of informa tion is inseparably tied up with its realizations in the physical world."

This book highlights the capabilities and limitations of radar and air navigation. It discusses issues related to the physical principles of an electromagnetic field, the structure of radar information, and ways to transmit it. Attention is paid to the classification of radio waves used for transmitting radar information, as well as to the physical description of their propagation media. The third part of the book addresses issues related to the current state of navigation systems used in civil aviation and the prospects for their development in the future, as well as the history of satellite radio navigation systems. The book may be useful for schoolchildren, interested in the problems of radar and air navigation.

This book focuses on approximations under the presence of ordinary and fractional smoothness, presenting both the univariate and multivariate cases. It also explores approximations under convexity and a new trend in approximation theory -approximation by sublinear operators with applications to max-product operators, which are nonlinear and rational providing very fast and flexible approximations. The results presented have applications in numerous areas of pure and applied mathematics, especially in approximation theory and numerical analysis in both ordinary and fractional senses. As such this book is suitable for researchers, graduate students, and seminars of the above disciplines, and is a must for all science and engineering libraries.

Autonomous manipulation is a challenge in robotic technologies. It refers to the capability of a mobile robot system with one or more manipulators that performs intervention tasks requiring physical contacts in unstructured environments and without continuous human supervision. Achieving autonomous manipulation capability is a quantum leap in robotic technologies as it is currently beyond the state of the art in robotics.

This book addresses issues with the complexity of the problems encountered in autonomous manipulation including representation and modeling of robotic structures, kinematic and dynamic robotic control, kinematic and algorithmic singularity avoidance, dynamic task priority, workspace optimization and environment perception. Further development in autonomous manipulation should be able to provide robust improvements of the solutions for all of the above issues. The book provides an extensive tract on sensory-based autonomous manipulation for intervention tasks in unstructured environments. After presenting the theoretical foundations for kinematic and dynamic modelling as well as task-priority based kinematic control of multi-body systems, the work is focused on one of the most advanced underwater vehicle-manipulator system, SAUVIM (Semi-Autonomous Underwater Vehicle for Intervention Missions). Solutions to the problem of target identification and localization are proposed, a number of significant case studies are discussed and practical examples and experimental/simulation results are presented. The book may inspire the robot research community to further investigate critical issues in autonomous manipulation and to develop robot systems that can profoundly impact our society for the better."

This monograph presents new model-based design methods for trajectory planning, feedback stabilization, state estimation, and tracking control of distributed-parameter systems governed by partial differential equations (PDEs). Flatness and backstepping techniques and their generalization to PDEs with higher-dimensional spatial domain lie at the core of this treatise. This includes the development of systematic late lumping design procedures and the deduction of semi-numerical approaches using suitable approximation methods. Theoretical developments are combined with both simulation examples and experimental results to bridge the gap between mathematical theory and control engineering practice in the rapidly evolving PDE control area. The text is divided into five parts featuring: - a literature survey of paradigms and control design methods for PDE systems - the first principle mathematical modeling of applications arising in heat and mass transfer, interconnected multi-agent systems, and piezo-actuated smart elastic structures - the generalization of flatness-based trajectory planning and feedforward control to parabolic and biharmonic PDE systems defined on general higher-dimensional domains - an extension of the backstepping approach to the feedback control and observer design for parabolic PDEs with parallelepiped domain and spatially and time varying parameters - the development of design techniques to realize exponentially stabilizing tracking control - the evaluation in simulations and experiments Control of Higher-Dimensional PDEs - Flatness and Backstepping Designs is an advanced research monograph for graduate students in applied mathematics, control theory, and related fields. The book may serve as a reference to recent developments for researchers and control engineers interested in the analysis and control of systems governed by PDEs.

This book describes the practical application of artificial intelligence (AI) methods using time series data in system control. This book consistently discusses the application of machine learning to the analysis and modelling of time series data of physical quantities to be controlled in the field of system control. Since dynamic systems are not stable steady states but changing transient states, the changing transient states depend on the state history before the change. In other words, it is essential to predict the change from the present to the future based on the time history of each variable in the target system, and to manipulate the system to achieve the desired change. In short, time series is the key to the application of AI machine learning to system control. This is the philosophy of this book: "time series data" + "AI machine learning" = "new practical control methods". This book can give my helps to undergradate or graduate students, institute researchers and senior engineers whose scientific background are engineering, mathematics, physics and other natural sciences.

Autonomy Oriented Computing is a comprehensive reference for scientists, engineers, and other professionals concerned with this promising development in computer science. It can also be used as a text in graduate/undergraduate programs in a broad range of computer-related disciplines, including Robotics and Automation, Amorphous Computing, Image Processing, Programming Paradigms, Computational Biology, etc.

Part One describes the basic concepts and characteristics of an AOC system and enumerates the critical design and engineering issues faced in AOC system development. Part Two gives detailed analyses of methodologies and case studies to evaluate AOC used in problem solving and complex system modeling. The final chapter outlines possibilities for future research and development.

Numerous illustrative examples, experimental case studies, and exercises at the end of each chapter of Autonomy Oriented Computing help particularize and consolidate the methodologies and theories presented.

The book focuses on analysis and design for positive stochastic jump systems. By using multiple linear co-positive Lyapunov function method and linear programming technique, a basic theoretical framework is formed toward the issues of analysis and design for positive stochastic jump systems. This is achieved by providing an in-depth study on several major topics such as stability, time delay, finite-time control, observer design, filter design, and fault detection for positive stochastic jump systems. The comprehensive and systematic treatment of positive systems is one of the major features of the book, which is particularly suited for readers who are interested to learn non-negative theory. By reading this book, the reader can obtain the most advanced analysis and design techniques for positive stochastic jump systems.

This is the first book devoted to radiowave propagation over land and sea. Researchers and engineers involved in propagation studies and applications in communications, broadcasting, radar and remote sensing will find this volume invaluable.

This book has a rather strange history. It began in spring 1989, thirteen years after our Systems Science Department at SUNY-Binghamton was established, when I was asked by a group of students in our doctoral program to have a meeting with them. The spokesman of the group, Cliff Joslyn, opened our meeting by stating its purpose. I can closely paraphrase what he said: "We called this meeting to discuss with you, as Chairman of the Department, a fundamental problem with our systems science curriculum. In general, we consider it a good curriculum: we learn a lot of concepts, principles, and methodological tools, mathematical, computational, heu ristic, which are fundamental to understanding and dealing with systems. And, yet, we learn virtually nothing about systems science itself. What is systems science? What are its historical roots? What are its aims? Where does it stand and where is it likely to go? These are pressing questions to us. After all, aren't we supposed to carry the systems science flag after we graduate from this program? We feel that a broad introductory course to systems science is urgently needed in the curriculum. Do you agree with this assessment?" The answer was obvious and, yet, not easy to give: "I agree, of course, but I do not see how the situation could be alleviated in the foreseeable future."

How do we design a self-organizing system? Is it possible to validate and control non-deterministic dynamics? What is the right balance between the emergent patterns that bring robustness, adaptability and scalability, and the traditional need for verification and validation of the outcomes? The last several decades have seen much progress from original ideas of "emergent functionality" and "design for emergence", to sophisticated mathematical formalisms of "guided self-organization". And yet the main challenge remains, attracting the best scientific and engineering expertise to this elusive problem. This book presents state-of-the-practice of successfully engineered self-organizing systems, and examines ways to balance design and self-organization in the context of applications. As demonstrated in this second edition of Advances in Applied Self-Organizing Systems, finding this balance helps to deal with practical challenges as diverse as navigation of microscopic robots within blood vessels, self-monitoring aerospace vehicles, collective and modular robotics adapted for autonomous reconnaissance and surveillance, self-managing grids and multiprocessor scheduling, data visualization and self-modifying digital and analog circuitry, intrusion detection in computer networks, reconstruction of hydro-physical fields, traffic management, immunocomputing and nature-inspired computation. Many algorithms proposed and discussed in this volume are biologically inspired, and the reader will also gain an insight into cellular automata, genetic algorithms, artificial immune systems, snake-like locomotion, ant foraging, birds flocking, neuromorphic circuits, amongst others. Demonstrating the practical relevance and applicability of self-organization, Advances in Applied Self-Organizing Systems will be an invaluable tool for advanced students and researchers in a wide range of fields.

The basis for this book is a number of lectures given frequently by the author to third year students of the Department of Economics at Leningrad State University who specialize in economical cybernetics. The main purpose of this book is to provide the student with a relatively simple and easy-to-understand manual containing the basic mathematical machinery utilized in the theory of games. Practical examples (including those from the field of economics) serve mainly as an interpretation of the mathematical foundations of this theory rather than as indications of their actual or potential applicability. The present volume is significantly different from other books on the theory of games. The difference is both in the choice of mathematical problems as well as in the nature of the exposition. The realm of the problems is somewhat limited but the author has tried to achieve the greatest possible systematization in his exposition. Whenever possible the author has attempted to provide a game-theoretical argument with the necessary mathematical rigor and reasonable generality. Formal mathematical prerequisites for this book are quite modest. Only the elementary tools of linear algebra and mathematical analysis are used.

This book is inspired by the development of distributed model predictive control of networked systems to save computation and communication sources. The significant new contribution is to show how to design efficient DMPCs that can be coordinated asynchronously with the increasing effectiveness of the event-triggering mechanism and how to improve the event-triggered DMPC for different requirements improvement of control performance, extension to interconnected networked systems, etc. The book is likely to be of interest to the persons who are engaged in researching control theory in academic institutes, the persons who go in for developing control systems in R&D institutes or companies, the control engineers who are engaged in the implementation of control algorithms, and people who are interested in the distributed MPC.

This book focuses on the nonlinear dynamics based on the vector fields with univariate quadratic functions. This book is a unique monograph for two-dimensional quadratic nonlinear systems. It provides different points of view about nonlinear dynamics and bifurcations of the quadratic dynamical systems. Such a two-dimensional dynamical system is one of simplest dynamical systems in nonlinear dynamics, but the local and global structures of equilibriums and flows in such two-dimensional quadratic systems help us understand other nonlinear dynamical systems, which is also a crucial step toward solving the Hilbert's sixteenth problem. Possible singular dynamics of the two-dimensional quadratic systems are discussed in detail. The dynamics of equilibriums and one-dimensional flows in two-dimensional systems are presented. Saddle-sink and saddle-source bifurcations are discussed, and saddle-center bifurcations are presented. The infinite-equilibrium states are switching bifurcations for nonlinear systems. From the first integral manifolds, the saddle-center networks are developed, and the networks of saddles, source, and sink are also presented. This book serves as a reference book on dynamical systems and control for researchers, students, and engineering in mathematics, mechanical, and electrical engineering.

Cooperative Control Design: A Systematic, Passivity-Based Approach discusses multi-agent coordination problems, including formation control, attitude coordination, and synchronization. The goal of the book is to introduce passivity as a design tool for multi-agent systems, to provide exemplary work using this tool, and to illustrate its advantages in designing robust cooperative control algorithms. The discussion begins with an introduction to passivity and demonstrates how passivity can be used as a design tool for motion coordination. Followed by the case of adaptive redesigns for reference velocity recovery while describing a basic design, a modified design and the parameter convergence problem. Formation control is presented as it relates to relative distance control and relative position control. The coverage is concluded with a comprehensive discussion of agreement and the synchronization problem with an example using attitude coordination.

This book gathers contributions on analytical, numerical, and application aspects of time-delay systems, under the paradigm of control theory, and discusses recent advances in these different contexts, also highlighting the interdisciplinary connections. The book will serve as a useful tool for graduate students and researchers in the fields of dynamical systems, automatic control, numerical methods, and functional analysis.

This monograph is focused on control law design methods for asymptotic tracking and disturbance rejection in the presence of uncertainties. The methods are based on adaptive implementation of the Internal Model Principle (IMP). The monograph shows how this principle can be applied to the problems of asymptotic rejection/tracking of a priori uncertain exogenous signals for linear and nonlinear plants with known and unknown parameters. The book begins by introducing the problems of adaptive control, the challenges that are faced, modern methods and an overview of the IMP. It then introduces special observers for uncertain exogeneous signals affecting linear and nonlinear systems with known and unknown parameters. The basic algorithms of adaptation applied to the canonical closed-loop error models are presented. The authors then address the systematic design of adaptive systems for asymptotic rejection/tracking of a priori uncertain exosignals. The monograph also discusses the adaptive rejection/tracking of a priori uncertain exogenous signals in systems with input delay, the problems of performance improvement in disturbance rejection and reference tracking and the issue of robustness of closed-loop systems. Adaptive Regulation provides a systematic discussion of the IMP applied to a variety of control problems, making it of interest to researchers and industrial practitioners.

This book provides a comprehensive overview of recent developments in network dynamics and control with applications to supply chains, manufacturing and logistics systems. It systemizes these developments in the form of new taxonomies and methodological principles to shape the research domain of supply network dynamics control. Uniquely, the book links the fundamentals of control and system theories and artificial intelligence with supply chain and operations management. It addresses the needs of researchers and practitioners alike, revealing the challenges and opportunities of supply chain and operations management by means of dynamic system analysis.

This book brings together the impact of Prof. John Horton Conway, the playful and legendary mathematician's wide range of contributions in science which includes research areas-Game of Life in cellular automata, theory of finite groups, knot theory, number theory, combinatorial game theory, and coding theory. It contains transcripts where some eminent scientists have shared their first-hand experience of interacting with Conway, as well as some invited research articles from the experts focusing on Game of Life, cellular automata, and the diverse research directions that started with Conway's Game of Life. The book paints a portrait of Conway's research life and philosophical direction in mathematics and is of interest to whoever wants to explore his contribution to the history and philosophy of mathematics and computer science. It is designed as a small tribute to Prof. Conway whom we lost on April 11, 2020.

"Control of Complex Systems: Structural Constraints and Uncertainty" focuses on control design under information structure constraints, with a particular emphasis on large-scale systems. The complexity of such systems poses serious computational challenges and severely restricts the types of feedback laws that can be used in practice. This book systematically addresses the main issues, and provides a number of applications that illustrate potential design methods, most which use Linear Matrix Inequalities (LMIs), which have become a popular design tool over the past two decades. Authors Aleksandar I. Zecevic and Dragoslav D. Siljak use their years of experience in the control field to also:

• Address the issues of large-scale systems as they relate to robust control and linear matrix inequalities
• Discuss a new approach to applying standard LMI techniques to large-scale systems, combining graphic-theoretic decomposition techniques with appropriate low-rank numerical approximations and dramatically reducing the computational effort
• Providing numerous examples and a wide variety of applications, ranging from electric power systems and nonlinear circuits to mechanical problems and dynamic Boolean networks

"Control of Complex Systems: Structural Constraints and Uncertainty" will appeal to practicing engineers, researchers and students working in control design and other related areas.

With the latest advances in shielding technology come questions about techniques, approaches and economic benefits. This single-source volume has the answers professionals need. This complete, up-to-date reference guide covers the fundamentals of electromagnetic compatibility (EMC) and cable shielding.