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 thoroughly investigates the underlying theoretical basis of membrane computing models, and reveals their latest applications. In addition, to date there have been no illustrative case studies or complex real-life applications that capitalize on the full potential of the sophisticated membrane systems computational apparatus; gaps that this book remedies. By studying various complex applications - including engineering optimization, power systems fault diagnosis, mobile robot controller design, and complex biological systems involving data modeling and process interactions - the book also extends the capabilities of membrane systems models with features such as formal verification techniques, evolutionary approaches, and fuzzy reasoning methods. As such, the book offers a comprehensive and up-to-date guide for all researchers, PhDs and undergraduate students in the fields of computer science, engineering and the bio-sciences who are interested in the applications of natural computing models.

This standard text gives a unified treatment of passivity and L2-gain theory for nonlinear state space systems, preceded by a compact treatment of classical passivity and small-gain theorems for nonlinear input-output maps. The synthesis between passivity and L2-gain theory is provided by the theory of dissipative systems. Specifically, the small-gain and passivity theorems and their implications for nonlinear stability and stabilization are discussed from this standpoint. The connection between L2-gain and passivity via scattering is detailed. Feedback equivalence to a passive system and resulting stabilization strategies are discussed. The passivity concepts are enriched by a generalised Hamiltonian formalism, emphasising the close relations with physical modeling and control by interconnection, and leading to novel control methodologies going beyond passivity. The potential of L2-gain techniques in nonlinear control, including a theory of all-pass factorizations of nonlinear systems, and of parametrization of stabilizing controllers, is demonstrated. The nonlinear H-infinity optimal control problem is also treated and the book concludes with a geometric analysis of the solution sets of Hamilton-Jacobi inequalities and their relation with Riccati inequalities for the linearization. * L2-Gain and Passivity Techniques in Nonlinear Control (third edition) is thoroughly updated, revised, reorganized and expanded. Among the changes, readers will find: * updated and extended coverage of dissipative systems theory * substantial new material regarding converse passivity theorems and incremental/shifted passivity * coverage of recent developments on networks of passive systems with examples * a completely overhauled and succinct introduction to modeling and control of port-Hamiltonian systems, followed by an exposition of port-Hamiltonian formulation of physical network dynamics * updated treatment of all-pass factorization of nonlinear systems The book provides graduate students and researchers in systems and control with a compact presentation of a fundamental and rapidly developing area of nonlinear control theory, illustrated by a broad range of relevant examples stemming from different application areas.

This book analyzes the updated principles and applications of nonlinear approaches to solve engineering and physics problems. The knowledge on nonlinearity and the comprehension of nonlinear approaches are inevitable to future engineers and scientists, making this an ideal book for engineers, engineering students, and researchers in engineering, physics, and mathematics. Chapters are of specific interest to readers who seek expertise in optimization, nonlinear analysis, mathematical modeling of complex forms, and non-classical engineering problems. The book covers methodologies and applications from diverse areas such as vehicle dynamics, surgery simulation, path planning, mobile robots, contact and scratch analysis at the micro and nano scale, sub-structuring techniques, ballistic projectiles, and many more.

This monograph presents an application of concepts and methods from algebraic topology to models of concurrent processes in computer science and their analysis. Taking well-known discrete models for concurrent processes in resource management as a point of departure, the book goes on to refine combinatorial and topological models. In the process, it develops tools and invariants for the new discipline directed algebraic topology, which is driven by fundamental research interests as well as by applications, primarily in the static analysis of concurrent programs. The state space of a concurrent program is described as a higher-dimensional space, the topology of which encodes the essential properties of the system. In order to analyse all possible executions in the state space, more than "just" the topological properties have to be considered: Execution paths need to respect a partial order given by the time flow. As a result, tools and concepts from topology have to be extended to take privileged directions into account. The target audience for this book consists of graduate students, researchers and practitioners in the field, mathematicians and computer scientists alike.

This book focuses on the latest applications of nonlinear approaches in engineering and addresses a range of scientific problems. Examples focus on issues in automotive technology, including automotive dynamics, control for electric and hybrid vehicles, and autodriver algorithm for autonomous vehicles. Also included are discussions on renewable energy plants, data modeling, driver-aid methods, and low-frequency vibration. Chapters are based on invited contributions from world-class experts who advance the future of engineering by discussing the development of more optimal, accurate, efficient, cost, and energy effective systems. This book is appropriate for researchers, students, and practising engineers who are interested in the applications of nonlinear approaches to solving engineering and science problems. Presents a broad range of practical topics and approaches; Explains approaches to better, safer, and cheaper systems; Emphasises automotive applications, physical meaning, and methodologies.

This book explains the fundamentals of control theory for Internet of Things (IoT) systems and smart grids and its applications. It discusses the challenges imposed by large-scale systems, and describes the current and future trends and challenges in decision-making for IoT in detail, showing the ongoing industrial and academic research in the field of smart grid domain applications. It presents step-by-step design guidelines for the modeling, design, customisation and calibration of IoT systems applied to smart grids, in which the challenges increase with each system's increasing complexity. It also provides solutions and detailed examples to demonstrate how to use the techniques to overcome these challenges, as well as other problems related to decision-making for successful implementation. Further, it anaylses the features of decision-making, such as low-complexity and fault-tolerance, and uses open-source and publicly available software tools to show readers how they can design, implement and customise their own system control instantiations. This book is a valuable resource for power engineers and researchers, as it addresses the analysis and design of flexible decision-making mechanisms for smart grids. It is also of interest to students on courses related to control of large-scale systems, since it covers the use of state-of-the-art technology with examples and solutions in every chapter. And last but not least, it offers practical advice for professionals working with smart grids.

This book focuses on the finite-time control of attitude stabilization, attitude tracking for individual spacecraft, and finite-time control of attitude synchronization. It discusses formation reconfiguration for multiple spacecraft in complex networks, and provides a new fast nonsingular terminal sliding mode surface (FNTSMS). Further, it presents newly designed controllers and several control laws to enhance the performance of spacecraft systems and meet related demands, such as strong disturbance rejection and high-precision control. As such, the book establishes a fundamental framework for these topics, while also highlighting the importance of integrated analysis. It is a useful resource for all researchers and students who are interested in this field, as well as engineers whose work involves designing flight vehicles.

This book is a concise navigator across the history of cybernetics, its state-of-the-art and prospects. The evolution of cybernetics (from N. Wiener to the present day) and the reasons of its ups and downs are presented. The correlation of cybernetics with the philosophy and methodology of control, as well as with system theory and systems analysis is clearly demonstrated. The book presents a detailed analysis focusing on the modern trends of research in cybernetics. A new development stage of cybernetics (the so-called cybernetics 2.0) is discussed as a science on general regularities of systems organization and control. The author substantiates the topicality of elaborating a new branch of cybernetics, i.e. organization theory which studies an organization as a property, process and system. The book is intended for theoreticians and practitioners, as well as for students, postgraduates and doctoral candidates. In the first place, the target audience includes tutors and lecturers preparing courses on cybernetics, control theory and systems science.

This book introduces characteristic features of the protein structure prediction (PSP) problem. It focuses on systematic selection and improvement of the most appropriate metaheuristic algorithm to solve the problem based on a fitness landscape analysis, rather than on the nature of the problem, which was the focus of methodologies in the past. Protein structure prediction is concerned with the question of how to determine the three-dimensional structure of a protein from its primary sequence. Recently a number of successful metaheuristic algorithms have been developed to determine the native structure, which plays an important role in medicine, drug design, and disease prediction. This interdisciplinary book consolidates the concepts most relevant to protein structure prediction (PSP) through global non-convex optimization. It is intended for graduate students from fields such as computer science, engineering, bioinformatics and as a reference for researchers and practitioners.

This book develops a set of reference methods capable of modeling uncertainties existing in membership functions, and analyzing and synthesizing the interval type-2 fuzzy systems with desired performances. It also provides numerous simulation results for various examples, which fill certain gaps in this area of research and may serve as benchmark solutions for the readers. Interval type-2 T-S fuzzy models provide a convenient and flexible method for analysis and synthesis of complex nonlinear systems with uncertainties.

This book presents a differential geometric method for designing nonlinear observers for multiple types of nonlinear systems, including single and multiple outputs, fully and partially observable systems, and regular and singular dynamical systems. It is an exposition of achievements in nonlinear observer normal forms. The book begins by discussing linear systems, introducing the concept of observability and observer design, and then explains the difficulty of those problems for nonlinear systems. After providing foundational information on the differential geometric method, the text shows how to use the method to address observer design problems. It presents methods for a variety of systems. The authors employ worked examples to illustrate the ideas presented. Observer Design for Nonlinear Dynamical Systems will be of interest to researchers, graduate students, and industrial professionals working with control of mechanical and dynamical systems.

This book presents new efficient methods for optimization in realistic large-scale, multi-agent systems. These methods do not require the agents to have the full information about the system, but instead allow them to make their local decisions based only on the local information, possibly obtained during communication with their local neighbors. The book, primarily aimed at researchers in optimization and control, considers three different information settings in multi-agent systems: oracle-based, communication-based, and payoff-based. For each of these information types, an efficient optimization algorithm is developed, which leads the system to an optimal state. The optimization problems are set without such restrictive assumptions as convexity of the objective functions, complicated communication topologies, closed-form expressions for costs and utilities, and finiteness of the system's state space.

This book highlights cutting-edge research in the field of network science, offering scientists, researchers, students and practitioners a unique update on the latest advances in theory and a multitude of applications. It presents the peer-reviewed proceedings of the IX International Conference on Complex Networks and their Applications (COMPLEX NETWORKS 2020). The carefully selected papers cover a wide range of theoretical topics such as network models and measures; community structure, network dynamics; diffusion, epidemics and spreading processes; resilience and control as well as all the main network applications, including social and political networks; networks in finance and economics; biological and neuroscience networks and technological networks.

This book presents an Introduction and 11 independent chapters, which are devoted to various new approaches of intelligent image processing and analysis. The book also presents new methods, algorithms and applied systems for intelligent image processing, on the following basic topics: Methods for Hierarchical Image Decomposition; Intelligent Digital Signal Processing and Feature Extraction; Data Clustering and Visualization via Echo State Networks; Clustering of Natural Images in Automatic Image Annotation Systems; Control System for Remote Sensing Image Processing; Tissue Segmentation of MR Brain Images Sequence; Kidney Cysts Segmentation in CT Images; Audio Visual Attention Models in Mobile Robots Navigation; Local Adaptive Image Processing; Learning Techniques for Intelligent Access Control; Resolution Improvement in Acoustic Maps. Each chapter is self-contained with its own references. Some of the chapters are devoted to the theoretical aspects while the others are presenting the practical aspects and the analysis of the modeling of the developed algorithms in different application areas.

This book provides a thorough discussion about fundamental questions regarding urban theories and modeling. It is a curated collection of contributions to a workshop held in Paris on October 12th and 13th 2017 at the Institute of Complex Systems by the team of ERC GeoDiverCity. There are several chapters conveying the answers given by single authors to problems of conceptualization and modeling and others in which scholars reply to their conception and question them. Even, the chapters transcribing keynote presentations were rewritten according to contributions from the respective discussions. The result is a complete "state of the art" of what is our knowledge about urban processes and their possible formalization.

This book proposes probabilistic machine learning models that represent the hardware properties of the device hosting them. These models can be used to evaluate the impact that a specific device configuration may have on resource consumption and performance of the machine learning task, with the overarching goal of balancing the two optimally. The book first motivates extreme-edge computing in the context of the Internet of Things (IoT) paradigm. Then, it briefly reviews the steps involved in the execution of a machine learning task and identifies the implications associated with implementing this type of workload in resource-constrained devices. The core of this book focuses on augmenting and exploiting the properties of Bayesian Networks and Probabilistic Circuits in order to endow them with hardware-awareness. The proposed models can encode the properties of various device sub-systems that are typically not considered by other resource-aware strategies, bringing about resource-saving opportunities that traditional approaches fail to uncover. The performance of the proposed models and strategies is empirically evaluated for several use cases. All of the considered examples show the potential of attaining significant resource-saving opportunities with minimal accuracy losses at application time. Overall, this book constitutes a novel approach to hardware-algorithm co-optimization that further bridges the fields of Machine Learning and Electrical Engineering.

This work is motivated by the ongoing open question of how information in the outside world is represented and processed by the brain. Consequently, several novel methods are developed. A new mathematical formulation is proposed for the encoding and decoding of analog signals using integrate-and-fire neuron models. Based on this formulation, a novel algorithm, significantly faster than the state-of-the-art method, is proposed for reconstructing the input of the neuron. Two new identification methods are proposed for neural circuits comprising a filter in series with a spiking neuron model. These methods reduce the number of assumptions made by the state-of-the-art identification framework, allowing for a wider range of models of sensory processing circuits to be inferred directly from input-output observations. A third contribution is an algorithm that computes the spike time sequence generated by an integrate-and-fire neuron model in response to the output of a linear filter, given the input of the filter encoded with the same neuron model.

This book describes a unified framework for networked teleoperation systems involving multiple research fields: networked control systems for linear and nonlinear forms, bilateral teleoperation, trilateral teleoperation, multilateral teleoperation and cooperative teleoperation. It closely examines networked control as a field at the intersection of systems & control and robotics and presents a number of experimental case studies on testbeds for robotic systems, including networked haptic devices, robotic network systems and sensor network systems. The concepts and results outlined are easy to understand, even for readers fairly new to the subject. As such, the book offers a valuable reference work for researchers and engineers in the fields of systems & control and robotics.

The study of network theory is a highly interdisciplinary field, which has emerged as a major topic of interest in various disciplines ranging from physics and mathematics, to biology and sociology. This book promotes the diverse nature of the study of complex networks by balancing the needs of students from very different backgrounds. It references the most commonly used concepts in network theory, provides examples of their applications in solving practical problems, and clear indications on how to analyse their results. In the first part of the book, students and researchers will discover the quantitative and analytical tools necessary to work with complex networks, including the most basic concepts in network and graph theory, linear and matrix algebra, as well as the physical concepts most frequently used for studying networks. They will also find instruction on some key skills such as how to proof analytic results and how to manipulate empirical network data. The bulk of the text is focused on instructing readers on the most useful tools for modern practitioners of network theory. These include degree distributions, random networks, network fragments, centrality measures, clusters and communities, communicability, and local and global properties of networks. The combination of theory, example and method that are presented in this text, should ready the student to conduct their own analysis of networks with confidence and allow teachers to select appropriate examples and problems to teach this subject in the classroom.

"Impulsive Control in Continuous and Discrete-Continuous Systems" is an up-to-date introduction to the theory of impulsive control in nonlinear systems. This is a new branch of the Optimal Control Theory, which is tightly connected to the Theory of Hybrid Systems. The text introduces the reader to the interesting area of optimal control problems with discontinuous solutions, discussing the application of a new and effective method of discontinuous time-transformation. With a large number of examples, illustrations, and applied problems arising in the area of observation control, this book is excellent as a textbook or reference for a senior or graduate-level course on the subject, as well as a reference for researchers in related fields.

This book provides a synthesis of recent developments in Axiomatic Design theory and its application in large complex systems. Introductory chapters provide concise tutorial materials for graduate students and new practitioners, presenting the fundamentals of Axiomatic Design and relating its key concepts to those of model-based systems engineering. A mathematical exposition of design axioms is also provided. The main body of the book, which represents a concentrated treatment of several applications, is divided into three parts covering work on: complex products; buildings; and manufacturing systems. The book shows how design work in these areas can benefit from the scientific and systematic underpinning provided by Axiomatic Design, and in so doing effectively combines the state of the art in design research with practice. All contributions were written by an international group of leading proponents of Axiomatic Design. The book concludes with a call to action motivating further research into the engineering design of large complex systems.

This book offers a comprehensive view on resilience based upon state-of-the-science theories and methodological applications that resilience may fill. Specifically, this text provides a compendium of knowledge on the theory, methods, and practice of resilience across a variety of country and case contexts, and demonstrates how a resilience-based approach can help further improved infrastructure, vibrant societies, and sustainable environments and ecologies, among many others. Resilience is a term with thousands of years of history. Only recently has resilience been applied to the management of complex interconnected systems, yet its impact as a governing philosophy and an engineering practice has been pronounced. Colloquially, resilience has been used as a synonym for 'bouncing back'. Philosophically and methodologically, however, it is much more. In a world defined by interconnected and interdependent systems such as water, food, energy, transportation, and the internet, a sudden and unexpected disruption to one critical system can lead to significant challenges for many others. The Science and Practice of Resilience is beneficial for those seeking to gain a rich knowledge of the resilience world, as well as for practitioners looking for methods and tools by which resilience may be applied in real-world contexts.

This book is a self-contained elementary study for nonsmooth analysis and optimization, and their use in solution of nonsmooth optimal control problems. The first part of the book is concerned with nonsmooth differential calculus containing necessary tools for nonsmooth optimization. The second part is devoted to the methods of nonsmooth optimization and their development. A proximal bundle method for nonsmooth nonconvex optimization subject to nonsmooth constraints is constructed. In the last part nonsmooth optimization is applied to problems arising from optimal control of systems covered by partial differential equations. Several practical problems, like process control and optimal shape design problems are considered.

The world in which classical positivistic science and technology obtained great success has vanished. However, the way of thinking promoted by that epoch still lingers in our social consciousness, sometimes as a burden. To conquer the short-comings of classical analytical science in the modern, ever more complex world, systems theory and its applications within systems science present an alternative to old paradigms.

Systems theorists see common principles in the structure and operation of systems of all kinds and sizes. They promote an interdisciplinary science adapted for a universal application with a common language and area of concepts. This approach is seen as a means of not only overcoming the fragmentation of knowledge and the isolation of the specialist, but also finding new solutions to problems created by the earlier "solution of problems".

This book introduces the systemic alternative. It is divided into two parts. The first is devoted to the historical background of the systems movement, and presents pioneering thoughts and theories of the area. Basic concepts of general systems theory with well-known laws and principles are discussed, as well as related topics like cybernetics and information theory.

The second part deals with some of the common applications of systems theory within systems science, such as artificial intelligence, management information systems and informatics. An attempt is made to predict the future of systems theory in a world apparently becoming fragmented and integrated at the same time.

To engage oneself in systems theory and its striving towards an applied universal science is a highly cross-scientific occupation. The reader will come intocontact with many different academic disciplines, and consequently the possibility of an all-round education -- something particularly needed in our over-specialized world.