This book provides a new perspective on modeling cyber-physical systems (CPS), using a data-driven approach. The authors cover the use of state-of-the-art machine learning and artificial intelligence algorithms for modeling various aspect of the CPS. This book provides insight on how a data-driven modeling approach can be utilized to take advantage of the relation between the cyber and the physical domain of the CPS to aid the first-principle approach in capturing the stochastic phenomena affecting the CPS. The authors provide practical use cases of the data-driven modeling approach for securing the CPS, presenting novel attack models, building and maintaining the digital twin of the physical system. The book also presents novel, data-driven algorithms to handle non- Euclidean data. In summary, this book presents a novel perspective for modeling the CPS.

Cooperative Control of Nonlinear Networked Systems is concerned with the distributed cooperative control of multiple networked nonlinear systems in the presence of unknown non-parametric uncertainties and non-vanishing disturbances under certain communication conditions. It covers stability analysis tools and distributed control methods for analyzing and synthesizing nonlinear networked systems. The book presents various solutions to cooperative control problems of multiple networked nonlinear systems on graphs. The book includes various examples with segments of MATLAB (R) codes for readers to verify, validate, and replicate the results. The authors present a series of new control results for nonlinear networked systems subject to both non-parametric and non-vanishing uncertainties, including the cooperative uniformly ultimately bounded (CUUB) result, finite-time stability result, and finite-time cooperative uniformly ultimately bounded (FT-CUUB) result. With some mathematical tools, such as algebraic graph theory and certain aspects of matrix analysis theory introduced by the authors, the readers can obtain a deeper understanding of the roles of matrix operators as mathematical machinery for cooperative control design for multi-agent systems. Cooperative Control of Nonlinear Networked Systems is a valuable source of information for researchers and engineers in cooperative adaptive control, as its technical contents are presented with examples in full analytical and numerical detail, and graphically illustrated for easy-to-understand results. Scientists in research institutes and academics in universities working on nonlinear systems, adaptive control and distributed control will find the book of interest, as it contains multi-disciplinary problems and covers different areas of research.

This book provides a series of systematic theoretical results and numerical solution algorithms for dynamic optimization problems of switched systems within infinite-dimensional inequality path constraints. Dynamic optimization of path-constrained switched systems is a challenging task due to the complexity from seeking the best combinatorial optimization among the system input, switch times and switching sequences. Meanwhile, to ensure safety and guarantee product quality, path constraints are required to be rigorously satisfied (i.e., at an infinite number of time points) within a finite number of iterations. Several novel methodologies are presented by using dynamic optimization and semi-infinite programming techniques. The core advantages of our new approaches lie in two folds: i) The system input, switch times and the switching sequence can be optimized simultaneously. ii) The proposed algorithms terminate within finite iterations while coming with a certification of feasibility for the path constraints. In this book, first, we provide brief surveys on dynamic optimization of path-constrained systems and switched systems. For switched systems with a fixed switching sequence, we propose a bi-level algorithm, in which the input is optimized at the inner level, and the switch times are updated at the outer level by using the gradient information of the optimal value function calculated at the optimal input. We then propose an efficient single-level algorithm by optimizing the input and switch times simultaneously, which greatly reduces the number of nonlinear programs and the computational burden. For switched systems with free switching sequences, we propose a solution framework for dynamic optimization of path-constrained switched systems by employing the variant 2 of generalized Benders decomposition technique. In this framework, we adopt two different system formulations in the primal and master problem construction and explicitly characterize the switching sequences by introducing a binary variable. Finally, we propose a multi-objective dynamic optimization algorithm for locating approximated local Pareto solutions and quantitatively analyze the approximation optimality of the obtained solutions. This book provides a unified framework of dynamic optimization of path-constrained switched systems. It can therefore serve as a useful book for researchers and graduate students who are interested in knowing the state of the art of dynamic optimization of switched systems, as well as recent advances in path-constrained optimization problems. It is a useful source of up-to-date optimization methods and algorithms for researchers who study switched systems and graduate students of control theory and control engineering. In addition, it is also a useful source for engineers who work in the control and optimization fields such as robotics, chemical engineering and industrial processes.

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 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 investigates the disagreement behavior analysis problems for signed networks in the presence of both cooperative and antagonistic interactions among agents. Owing to the existing antagonistic interactions, signed networks exhibit a variety of disagreement behaviors subject to different topology conditions, especially in comparison with commonly considered unsigned networks involving only cooperative interactions among agents. Since signed networks are generally adopted to describe the dynamics of some practical network systems, they have attracted much attention in many areas, such as biology, sociology, economics, and politics. By focusing on agents with the first-order linear dynamics, the book establishes the systematic behavior analysis frameworks for signed networks, under which diverse disagreement behaviors have been disclosed, including both convergence and fluctuation behaviors, regardless of static or dynamic network topologies. In particular, a class of dynamic signed networks has been introduced, together with the associated dynamic distributed controller design and disagreement behavior analysis of agents. This book is intended for undergraduate and graduate students, engineers, and researchers who are interested in control of network systems, multi-agent systems, social networks, and so on.

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 provides an overview of emerging topics in the field of hardware security, such as artificial intelligence and quantum computing, and highlights how these technologies can be leveraged to secure hardware and assure electronics supply chains. The authors are experts in emerging technologies, traditional hardware design, and hardware security and trust. Readers will gain a comprehensive understanding of hardware security problems and how to overcome them through an efficient combination of conventional approaches and emerging technologies, enabling them to design secure, reliable, and trustworthy hardware.

This MATLAB exercise book accompanies the textbook Control Engineering, providing a platform for students to practice problem solving in the analysis and design of continuous and discrete control problems reflected in the main textbook. The book starts off with a brief introduction to MATLAB, control toolbox and Simulink. Subsequent chapters include a short theoretical summary of the topic followed by exercises on solving complex problems using MATLAB commands. These exercises are ideal for students in computer laboratory classes.

This book contains a derivation of the subset of stabilizing controllers for analog and digital linear time-invariant multivariable feedback control systems that insure stable system errors and stable controller outputs for persistent deterministic reference inputs that are trackable and for persistent deterministic disturbance inputs that are rejectable. For this subset of stabilizing controllers, the Wiener-Hopf methodology is then employed to obtain the optimal controller for which a quadratic performance measure is minimized. This is done for the completely general standard configuration and methods that enable the trading off of optimality for an improved stability margin and/or reduced sensitivity to plant model uncertainty are described. New and novel results on the optimal design of decoupled (non-interacting) systems are also presented. The results are applied in two examples: the one- and three-degree-of-freedom configurations. These demonstrate that the standard configuration is one encompassing all possible feedback configurations. Each chapter is completed by a group of worked examples, which reveal additional insights and extensions of the theory presented in the chapter. Three of the examples illustrate the application of the theory to two physical cases: the depth and pitch control of a submarine and the control of a Rosenbrock process. In the latter case, designs with and without decoupling are compared. This book provides researchers and graduate students working in feedback control with a valuable reference for Wiener-Hopf theory of multivariable design. Basic knowledge of linear systems and matrix theory is required.

Ordinal Computability discusses models of computation obtained by generalizing classical models, such as Turing machines or register machines, to transfinite working time and space. In particular, recognizability, randomness, and applications to other areas of mathematics are covered.

This book introduces the space community to the novel SpaceFibre protocol, developed under the guidance of the European Space Agency (ESA) as the forthcoming, high speed (Gbps) communication protocol for satellite on-board communication. Since SpaceFibre is expected to follow the success of its predecessor SpaceWire protocol (Mbps), the authors provide a system-level perspective for the end-user willing to adopt this latest technology for future space missions. The authors provide a complete view of the SpaceFibre protocol, together with an analysis of all the necessary hardware and software components to integrate this technology onboard a satellite. The text guides potential system adopters toward understanding the protocol, analyzing strengths, weaknesses and performances. Practical design examples and prototype performance measurements in reference scenarios are also included.

This monograph provides the reader with a systematic treatment of robust filter design, a key issue in systems, control and signal processing, because of the fact that the inevitable presence of uncertainty in system and signal models often degrades the filtering performance and may even cause instability. The methods described are therefore not subject to the rigorous assumptions of traditional Kalman filtering. The monograph is concerned with robust filtering for various dynamical systems with parametric uncertainties and focuses on parameter-dependent approaches to filter design. Classical filtering schemes, like "H"2 filtering and "H"Y filtering, are addressed and emerging issues such as robust filtering with constraints on communication channels and signal frequency characteristics are discussed. The text features:

. design approaches to robust filters arranged according to varying complexity level and emphasizing robust filtering in the parameter-dependent framework for the first time;

. guidance on the use of special realistic phenomena or factors to describe problems more accurately and to improve filtering performance;

. a unified linear matrix inequality formulation of design approaches for easy and effective filter design;

. demonstration of the techniques of matrix decoupling technique, the generalized Kalman Yakubovich Popov lemma, the free weighting matrix technique and the delay modelling approach, in robust filtering;

. numerous easy-to-follow simulation examples, graphical and tabular illustrations to help the reader understand the filter design approaches developed; and

. an account of emerging issues on robust filtering for research to inspire future investigation.

"Robust Filtering for Uncertain Systems" will be of interest to academic researchers specializing in linear, robust and optimal control and estimation and to practitioners working in tracking and network control or signal filtering, detection and estimation. Graduate students learning control and systems theory, signal processing or applied mathematics will also find the book to be a valuable resource.

"

This book introduces a cross-layer design to achieve security and resilience for CPSs (Cyber-Physical Systems). The authors interconnect various technical tools and methods to capture the different properties between cyber and physical layers. Part II of this book bridges the gap between cryptography and control-theoretic tools. It develops a bespoke crypto-control framework to address security and resiliency in control and estimation problems where the outsourcing of computations is possible. Part III of this book bridges the gap between game theory and control theory and develops interdependent impact-aware security defense strategies and cyber-aware resilient control strategies. With the rapid development of smart cities, there is a growing need to integrate the physical systems, ranging from large-scale infrastructures to small embedded systems, with networked communications. The integration of the physical and cyber systems forms Cyber-Physical Systems (CPSs), enabling the use of digital information and control technologies to improve the monitoring, operation, and planning of the systems. Despite these advantages, they are vulnerable to cyber-physical attacks, which aim to damage the physical layer through the cyber network. This book also uses case studies from autonomous systems, communication-based train control systems, cyber manufacturing, and robotic systems to illustrate the proposed methodologies. These case studies aim to motivate readers to adopt a cross-layer system perspective toward security and resilience issues of large and complex systems and develop domain-specific solutions to address CPS challenges. A comprehensive suite of solutions to a broad range of technical challenges in secure and resilient control systems are described in this book (many of the findings in this book are useful to anyone working in cybersecurity). Researchers, professors, and advanced-level students working in computer science and engineering will find this book useful as a reference or secondary text. Industry professionals and military workers interested in cybersecurity will also want to purchase this book.

This book is in honor of Yasuhiko Takahara, a first-class researcher who has been active for some 50 years at the global level in systems research. Researchers and practitioners from Japan and other countries who have been influenced by Takahara have come together from far and wide to contribute their major research masterpieces in the field of systems research in the broadest sense. While the roots of Takahara's systems research are in general systems theory and systems control theory, he developed his research and teaching in diverse directions such as management information science, engineering, social simulation, and systems thinking. As a result, many of the researchers and practitioners he supervised or influenced have established their own positions and are now active around the world in a wide range of systems research. Volume I is a collection of their masterpieces or representative works in the field of systems theory and modeling.

The papers presented in this open access book address diverse challenges in decarbonizing energy systems, ranging from operational to investment planning problems, from market economics to technical and environmental considerations, from distribution grids to transmission grids, and from theoretical considerations to data provision concerns and applied case studies. While most papers have a clear methodological focus, they address policy-relevant questions at the same time. The target audience therefore includes academics and experts in industry as well as policy makers, who are interested in state-of-the-art quantitative modelling of policy relevant problems in energy systems. The 2nd International Symposium on Energy System Optimization (ISESO 2018) was held at the Karlsruhe Institute of Technology (KIT) under the symposium theme "Bridging the Gap Between Mathematical Modelling and Policy Support" on October 10th and 11th 2018. ISESO 2018 was organized by the KIT, the Heidelberg Institute for Theoretical Studies (HITS), the Heidelberg University, the German Aerospace Center and the University of Stuttgart.

The book of nature is written in the language of mathematics Galileo Galilei, 1623 Metrology strives to supervise the ?ow of the measurand's true values throughconsecutive,arbitrarilyinterlockingseriesofmeasurements.Tohi- light this feature the term traceability has been coined. Traceability is said to be achieved, given the true values of each of the physical quantities entering and leaving the measurement are localized by speci?ed measu- ment uncertainties. The classical Gaussian error calculus is known to be con?ned to the tre- ment of random errors. Hence, there is no distinction between the true value of a measurand on the one side and the expectation of the respective es- mator on the other. This became apparent not until metrologists considered the e?ect of so-called unknown systematic errors. Unknown systematic errors are time-constant quantities unknown with respect to magnitude and sign. While random errors are treated via distribution densities, unknown syst- atic errors can only be assessed via intervals of estimated lengths. Unknown systematic errors were, in fact, addressed and discussed by Gauss himself. Gauss, however, argued that it were up to the experimenter to eliminate their causes and free the measured values from their in?uence.

For over a decade, complex networks have steadily grown as an important tool across a broad array of academic disciplines, with applications ranging from physics to social media. A tightly organized collection of carefully-selected papers on the subject, Towards an Information Theory of Complex Networks: Statistical Methods and Applications presents theoretical and practical results about information-theoretic and statistical models of complex networks in the natural sciences and humanities. The book's major goal is to advocate and promote a combination of graph-theoretic, information-theoretic, and statistical methods as a way to better understand and characterize real-world networks. This volume is the first to present a self-contained, comprehensive overview of information-theoretic models of complex networks with an emphasis on applications. As such, it marks a first step toward establishing advanced statistical information theory as a unified theoretical basis of complex networks for all scientific disciplines and can serve as a valuable resource for a diverse audience of advanced students and professional scientists. While it is primarily intended as a reference for research, the book could also be a useful supplemental graduate text in courses related to information science, graph theory, machine learning, and computational biology, among others.

Estimating unknown parameters based on observation data conta- ing information about the parameters is ubiquitous in diverse areas of both theory and application. For example, in system identification the unknown system coefficients are estimated on the basis of input-output data of the control system; in adaptive control systems the adaptive control gain should be defined based on observation data in such a way that the gain asymptotically tends to the optimal one; in blind ch- nel identification the channel coefficients are estimated using the output data obtained at the receiver; in signal processing the optimal weighting matrix is estimated on the basis of observations; in pattern classifi- tion the parameters specifying the partition hyperplane are searched by learning, and more examples may be added to this list. All these parameter estimation problems can be transformed to a root-seeking problem for an unknown function. To see this, let - note the observation at time i. e. , the information available about the unknown parameters at time It can be assumed that the parameter under estimation denoted by is a root of some unknown function This is not a restriction, because, for example, may serve as such a function.

This comprehensive treatment of network information theory and its applications provides the first unified coverage of both classical and recent results. With an approach that balances the introduction of new models and new coding techniques, readers are guided through Shannon's point-to-point information theory, single-hop networks, multihop networks, and extensions to distributed computing, secrecy, wireless communication, and networking. Elementary mathematical tools and techniques are used throughout, requiring only basic knowledge of probability, whilst unified proofs of coding theorems are based on a few simple lemmas, making the text accessible to newcomers. Key topics covered include successive cancellation and superposition coding, MIMO wireless communication, network coding, and cooperative relaying. Also covered are feedback and interactive communication, capacity approximations and scaling laws, and asynchronous and random access channels. This book is ideal for use in the classroom, for self-study, and as a reference for researchers and engineers in industry and academia.

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 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 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 volume presents selected aspects of non-integer, or fractional order systems, whose analysis, synthesis and applications have increasingly become a real challenge for various research communities, ranging from science to engineering. The spectrum of applications of the fractional order calculus has incredibly expanded, in fact it would be hard to find a science/engineering-related subject area where the fractional calculus had not been incorporated. The content of the fractional calculus is ranged from pure mathematics to engineering implementations and so is the content of this volume. The volume is subdivided into six parts, reflecting particular aspects of the fractional order calculus. The first part contains a single invited paper on a new formulation of fractional-order descriptor observers for fractional-order descriptor continous LTI systems. The second part provides new elements to the mathematical theory of fractional-order systems. In the third part of this volume, a bunch of new results in approximation, modeling and simulations of fractional-order systems is given. The fourth part presents new solutions to some problems in controllability and control of non-integer order systems, in particular fractional PID-like control. The fifth part analyzes the stability of non-integer order systems and some new results are offered in this important respect, in particular for discrete-time systems. The final, sixth part of this volume presents a spectrum of applications of the noninteger order calculus, ranging from bi-fractional filtering, in particular of electromyographic signals, through the thermal diffusion and advection diffusion processes to the SIEMENS platform implementation. This volume's papers were all subjected to stimulating comments and discussions from the active audience of the RRNR'2014, the 6th Conference on Non-integer Order Calculus and Its Applications that was organized by the Department of Electrical, Control and Computer Engineering, Opole University of Technology, Opole, Poland.