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.

This book addresses a key technology for digital information processing: Kalman filtering, which is generally considered to be one of the greatest discoveries of the 20th century. It introduces readers to issues concerning various uncertainties in a single plant, and to corresponding solutions based on adaptive estimation. Further, it discusses in detail the issues that arise when Kalman filtering technology is applied in multi-sensor systems and/or multi-agent systems, especially when various sensors are used in systems like intelligent robots, autonomous cars, smart homes, smart buildings, etc., requiring multi-sensor information fusion techniques. Furthermore, when multiple agents (subsystems) interact with one another, it produces coupling uncertainties, a challenging issue that is addressed here with the aid of novel decentralized adaptive filtering techniques.Overall, the book's goal is to provide readers with a comprehensive investigation into the challenging problem of making Kalman filtering work well in the presence of various uncertainties and/or for multiple sensors/components. State-of-art techniques are introduced, together with a wealth of novel findings. As such, it can be a good reference book for researchers whose work involves filtering and applications; yet it can also serve as a postgraduate textbook for students in mathematics, engineering, automation, and related fields.To read this book, only a basic grasp of linear algebra and probability theory is needed, though experience with least squares, navigation, robotics, etc. would definitely be a plus.

This book uses a system-based approach to decipher and organize the concepts and conclusions relevant for creating and capturing value in business. It develops a scientific theory based on systems science and logical reasoning that is commonly employed in mathematics and natural science. The resulting new theory focuses on the organizational nature of the world and the organic and holistic feature of human organizations and their interactions. To this end, this book identifies a few axioms, instead of empirical discoveries, on which it reliably constructs the entire theory.

The main focus of this book is a pair of cooperative control problems: consensus and cooperative output regulation. Its emphasis is on complex multi-agent systems characterized by strong nonlinearity, large uncertainty, heterogeneity, external disturbances and jointly connected switching communication topologies. The cooperative output regulation problem is a generalization of the classical output regulation problem to multi-agent systems and it offers a general framework for handling a variety of cooperative control problems such as consensus, formation, tracking and disturbance rejection. The book strikes a balance between rigorous mathematical proof and engineering practicality. Every design method is systematically presented together with illustrative examples and all the designs are validated by computer simulation. The methods presented are applied to several practical problems, among them the leader-following consensus problem of multiple Euler-Lagrange systems, attitude synchronization of multiple rigid-body systems, and power regulation of microgrids. The book gives a detailed exposition of two approaches to the design of distributed control laws for complex multi-agent systems-the distributed-observer and distributed-internal-model approaches. Mastering both will enhance a reader's ability to deal with a variety of complex real-world problems. Cooperative Control of Multi-agent Systems can be used as a textbook for graduate students in engineering, sciences, and mathematics, and can also serve as a reference book for practitioners and theorists in both industry and academia. Some knowledge of the fundamentals of linear algebra, calculus, and linear systems are needed to gain maximum benefit from this book. Advances in Industrial Control reports and encourages the transfer of technology in control engineering. The rapid development of control technology has an impact on all areas of the control discipline. The series offers an opportunity for researchers to present an extended exposition of new work in all aspects of industrial control.

This book presents selected fault diagnosis and fault-tolerant control strategies for non-linear systems in a unified framework. In particular, starting from advanced state estimation strategies up to modern soft computing, the discrete-time description of the system is employed Part I of the book presents original research results regarding state estimation and neural networks for robust fault diagnosis. Part II is devoted to the presentation of integrated fault diagnosis and fault-tolerant systems. It starts with a general fault-tolerant control framework, which is then extended by introducing robustness with respect to various uncertainties. Finally, it is shown how to implement the proposed framework for fuzzy systems described by the well-known Takagi-Sugeno models.

This research monograph is intended for researchers, engineers, and advanced postgraduate students in control and electrical engineering, computer science, as well as mechanical and chemical engineering.

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.

Appropriate for beginning graduate level courses on linear systems, graduate courses introducing linear control, and for self-study.

The basic theory of linear systems is developed in a unified, accessible, and careful manner, with parallel, independent treatment of continuous-time and discrete-time linear systems. Modest mathematical background is assumed, and the technical presentation is explicit and step-by-step. There are many examples to help the reader, and carefully chosen exercises. Includes extensive, annotated citations. The presentation has been repeatedly class tested and refined.

This book deals with several types of multi-dimensional control problems in the face of data uncertainty for vector cases-multi-dimensional multi-objective control problem with uncertain objective functionals, uncertain constraint functionals, and uncertain objective as well as constraint functionals, uncertain multi-dimensional multi-objective control problem with semi-infinite constraints, uncertain dual multi-dimensional multi-objective variational control problem, and second-order PDE&PDI constrained robust optimization problem. The book provides the solution approaches-an exact l1 penalty function approach, modified objective approach, robust approach-in the simplest way to solve the recent developing optimization problems in the sense of uncertainty.

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.

This book presents the dynamic modeling and attitude control of flexible spacecraft with time-varying parameters. The dynamic characteristics, vibration control methods and attitude stabilization methods for spacecraft are systematically studied in respects of the theoretical modeling, numerical simulation and the ground experiment. Three active control theories in complex mode space are presented for flexible space structures. Optimal slew strategies based on variable amplitudes input shaping methods and coupling control methods are proposed for stabilization of flexible spacecraft. The research provides an important way to solve the problem of high-precision attitude control of flexible spacecraft with time-varying parameters. This book is appropriate for the researchers who focus on the multi-body dynamics, attitude and vibration control of flexible spacecraft.

This book describes a comprehensive approach to applying systems science formally to the deep analysis of a wide variety of complex systems. Detailed 'how-to' examples of the three phases (analysis-modeling-design) of systems science are applied to systems of various types (machines, organic (e.g. ecosystem), and supra-organic (e.g. business organizations and government). The complexity of the global system has reached proportions that seriously challenge our abilities to understand the consequences of our use of technology, modification of natural ecosystems, or even how to govern ourselves. For this reason, complex mathematics is eschewed when simpler structures will suffice, allowing the widest possible audience to apply and benefit from the available tools and concepts of systems science in their own work. The book shows, in detail, how to functionally and structurally deconstruct complex systems using a fundamental language of systems. It shows how to capture the discovered details in a structured knowledge base from which abstract models can be derived for simulation. The knowledge base is also shown to be a basis for generating system design specifications for human-built artifacts, or policy recommendations/policy mechanisms for socio-economic-ecological systems management. The book builds on principles and methods found in the authors' textbook Principles of Systems Science (co-authored with Michael Kalton), but without prerequisites. It will appeal to a broad audience that deals with complex systems every day, from design engineers to economic and ecological systems managers and policymakers.

This monograph explores the analysis and design of model-free optimal control systems based on reinforcement learning (RL) theory, presenting new methods that overcome recent challenges faced by RL. New developments in the design of sensor data efficient RL algorithms are demonstrated that not only reduce the requirement of sensors by means of output feedback, but also ensure optimality and stability guarantees. A variety of practical challenges are considered, including disturbance rejection, control constraints, and communication delays. Ideas from game theory are incorporated to solve output feedback disturbance rejection problems, and the concepts of low gain feedback control are employed to develop RL controllers that achieve global stability under control constraints. Output Feedback Reinforcement Learning Control for Linear Systems will be a valuable reference for graduate students, control theorists working on optimal control systems, engineers, and applied mathematicians.

Written in the 1980s by one of the fathers of chaos theory, Otto E. Roessler, the manuscript presented in this volume eventually never got published. Almost 40 years later, it remains astonishingly at the forefront of knowledge about chaos theory and many of the examples discussed have never been published elsewhere. The manuscript has now been edited by Christophe Letellier - involved in chaos theory for almost three decades himself, as well as being active in the history of sciences - with a minimum of changes to the original text. Finally released for the benefit of specialists and non-specialists alike, this book is equally interesting from the historical and the scientific points of view: an unconventionally modern approach to chaos theory, it can be read as a classic introduction and short monograph as well as a collection of original insights into advanced topics from this field.

This book addresses the COVID-19 pandemic from a quantitative perspective based on mathematical models and methods largely used in nonlinear physics. It aims to study COVID-19 epidemics in countries and SARS-CoV-2 infections in individuals from the nonlinear physics perspective and to model explicitly COVID-19 data observed in countries and virus load data observed in COVID-19 patients. The first part of this book provides a short technical introduction into amplitude spaces given by eigenvalues, eigenvectors, and amplitudes.In the second part of the book, mathematical models of epidemiology are introduced such as the SIR and SEIR models and applied to describe COVID-19 epidemics in various countries around the world. In the third part of the book, virus dynamics models are considered and applied to infections in COVID-19 patients. This book is written for researchers, modellers, and graduate students in physics and medicine, epidemiology and virology, biology, applied mathematics, and computer sciences. This book identifies the relevant mechanisms behind past COVID-19 outbreaks and in doing so can help efforts to stop future COVID-19 outbreaks and other epidemic outbreaks. Likewise, this book points out the physics underlying SARS-CoV-2 infections in patients and in doing so supports a physics perspective to address human immune reactions to SARS-CoV-2 infections and similar virus infections.

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."

This book is a compilation of scientific articles written by recognized researchers, and select students, participating in the Second Conference on the Study of Complex Systems and their Applications (EDIESCA 2021). EDIESCA 2021 arose from the need for academic and research groups that carry out this scientific research to disseminate their results internationally. The study and characterization of systems with non-linear and/or chaotic behavior has been of great interest to researchers around the world, for which many important results have been obtained with various applications. The dynamic study of chaotic oscillators of different models, such as Roessler, Lorenz, and Chua, has generated important advances in understanding of chemical reactions, meteorological behavior, design of electronic devices, and other applications. Topics at the event included applications for communications systems by masking techniques, financial behavior, networks analysis, nonlinear lasers, numerical modeling, electronic design, and other interesting topics in the area of complex systems. Additionally, there are results on numerical simulation and electronic designs to generate complex dynamic behaviors.

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.

Nonlinear Stochastic Processes addresses the frequently-encountered problem of incomplete information. The causes of this problem considered here include: missing measurements; sensor delays and saturation; quantization effects; and signal sampling. Divided into three parts, the text begins with a focus on H filtering and control problems associated with general classes of nonlinear stochastic discrete-time systems. Filtering problems are considered in the second part, and in the third the theory and techniques previously developed are applied to the solution of issues arising in complex networks with the design of sampled-data-based controllers and filters. Among its highlights, the text provides: * a unified framework for filtering and control problems in complex communication networks with limited bandwidth; * new concepts such as random sensor and signal saturations for more realistic modeling; and * demonstration of the use of techniques such as the Hamilton-Jacobi-Isaacs, difference linear matrix, and parameter-dependent matrix inequalities and sums of squares to handle the computational challenges inherent in these systems. The collection of recent research results presented in Nonlinear Stochastic Processes will be of interest to academic researchers in control and signal processing. Graduate students working with communication networks with lossy information and control of stochastic systems will also benefit from reading the book.

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 first book focuses on uncertain graph and network optimization. It covers three different main contents: uncertain graph, uncertain programming and uncertain network optimization. It also presents applications of uncertain network optimization in a lot of real problems such as transportation problems, dispatching medical supplies problems and location problems. The book is suitable for researchers, engineers, teachers and students in the field of mathematics, information science, computer science, decision science, management science and engineering, artificial intelligence, industrial engineering, economics and operations research.

This monograph explores applications of Carleman estimates in the study of stabilization and controllability properties of partial differential equations, including the stabilization property of the damped wave equation and the null-controllability of the heat equation. All analysis is performed in the case of open sets in the Euclidean space; a second volume will extend this treatment to Riemannian manifolds. The first three chapters illustrate the derivation of Carleman estimates using pseudo-differential calculus with a large parameter. Continuation issues are then addressed, followed by a proof of the logarithmic stabilization of the damped wave equation by means of two alternative proofs of the resolvent estimate for the generator of a damped wave semigroup. The authors then discuss null-controllability of the heat equation, its equivalence with observability, and how the spectral inequality allows one to either construct a control function or prove the observability inequality. The final part of the book is devoted to the exposition of some necessary background material: the theory of distributions, invariance under change of variables, elliptic operators with Dirichlet data and associated semigroup, and some elements from functional analysis and semigroup theory.

This book systematically presents the most recent progress in stability and control of impulsive systems with delays. Impulsive systems have recently attracted continued high research interests because they provide a natural framework for mathematical modeling of many real-world processes. It focuses not only on impulsive delayed systems, but also impulsive systems with delayed impulses and impulsive systems with event-triggered mechanism, including their Lyapunov stability, finite-time stability and input-to-state stability synthesis. Special attention is paid to the bilateral effects of the delayed impulses, where comprehensive stability properties are discussed in the framework of time-dependent and state-dependent delays. New original work with event-triggered impulsive control and its applications in multi-agent systems and collective dynamics are also provided. This book will be of use to specialists who are interested in the theory of impulsive differential equations and impulsive control theory, as well as high technology specialists who work in the fields of complex networks and applied mathematics. Also, instructors teaching graduate courses and graduate students will find this book a valuable source of nonlinear system theory.

This book uses rigorous mathematical analysis to advance opinion dynamics models for social networks in three major directions. First, a novel model is proposed to capture how a discrepancy between an individual's private and expressed opinions can develop due to social pressures that arise in group situations or through extremists deliberately shaping public opinion. Detailed theoretical analysis of the final opinion distribution is followed by use of the model to study Asch's seminal experiments on conformity, and the phenomenon of pluralistic ignorance. Second, the DeGroot-Friedkin model for evolution of an individual's social power (self-confidence) is developed in a number of directions. The key result establishes that an individual's initial social power is forgotten exponentially fast, even when the network changes over time; eventually, an individual's social power depends only on the (changing) network structure. Last, a model for the simultaneous discussion of multiple logically interdependent topics is proposed. To ensure that a consensus across the opinions of all individuals is achieved, it turns out that the interpersonal interactions must be weaker than an individual's introspective cognitive process for establishing logical consistency among the topics. Otherwise, the individual may experience cognitive overload and the opinion system becomes unstable. Conclusions of interest to control engineers, social scientists, and researchers from other relevant disciplines are discussed throughout the thesis with support from both social science and control literature.