This book presents up-to-date research developments and novel methodologies on semi-Markovian jump systems (S-MJS). It presents solutions to a series of problems with new approaches for the control and filtering of S-MJS, including stability analysis, sliding mode control, dynamic output feedback control, robust filter design, and fault detection. A set of newly developed techniques such as piecewise analysis method, positively invariant set approach, event-triggered method, and cone complementary linearization approaches are presented. Control and Filtering for Semi-Markovian Jump Systems is a comprehensive reference for researcher and practitioners working in control engineering, system sciences and applied mathematics, and is also a useful source of information for senior undergraduates and graduates in these areas. The readers will benefit from some new concepts, new models and new methodologies with practical significance in control engineering and signal processing.

This book provides a self-contained presentation of the physical and mathematical laws governing complex systems. Complex systems arising in natural, engineering, environmental, life and social sciences are approached from a unifying point of view using an array of methodologies such as microscopic and macroscopic level formulations, deterministic and probabilistic tools, modeling and simulation. The book can be used as a textbook by graduate students, researchers and teachers in science, as well as non- experts who wish to have an overview of one of the most open, markedly interdisciplinary and fast-growing branches of present-day science.

This book deals with a combination of two main problems for the first time. They are saturation on control and on the rate (or increment) of the control, and the solution of unsymmetrical saturation on the control by LMIs. It treats linear systems in state space form, in both the continuous- and discrete-time domains. Necessary and sufficient conditions are derived for autonomous linear systems with constrained state increment or rate, such that the system evolves respecting incremental or rate constraints if any. A pole assignment technique is then used to solve the problem, giving stabilizing state feedback controllers that respect non-symmetrical constraints on control alone or on both control and its increment or rate. Illustrative examples show the application of these methods on academic examples or on such real plant models as the double integrator system. This problem is then extended to various others including: systems with constraints and perturbations; singular systems with constrained control; systems with unsymmetrical saturations; saturated systems with delay, and 2-D systems with saturations. The solutions obtained are of two types: necessary and sufficient conditions solved with linear programming techniques; and sufficient conditions under LMIs. A new approach extends existing techniques for dealing with symmetrical saturations to take direct account of unsymmetrical saturations into account with LMIs. This tool enables the authors to obtain new results on continuous- and discrete-time systems. The book uses illustrative examples and figures and provides many comparisons with existing results. Systems theoreticians interested in multidimensional systems and practitioners working with saturated and constrained controllers will find the research and background presented in Saturated Control of Linear Systems to be of considerable interest in helping them overcome problems with their plant and in stimulating further research.

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

This book offers a short and concise introduction to the many facets of chaos theory. While the study of chaotic behavior in nonlinear, dynamical systems is a well-established research field with ramifications in all areas of science, there is a lot to be learnt about how chaos can be controlled and, under appropriate conditions, can actually be constructive in the sense of becoming a control parameter for the system under investigation, stochastic resonance being a prime example. The present work stresses the latter aspects and, after recalling the paradigm changes introduced by the concept of chaos, leads the reader skillfully through the basics of chaos control by detailing the relevant algorithms for both Hamiltonian and dissipative systems, among others. The main part of the book is then devoted to the issue of synchronization in chaotic systems, an introduction to stochastic resonance, and a survey of ratchet models. In this second, revised and enlarged edition, two more chapters explore the many interfaces of quantum physics and dynamical systems, examining in turn statistical properties of energy spectra, quantum ratchets, and dynamical tunneling, among others. This text is particularly suitable for non-specialist scientists, engineers, and applied mathematical scientists from related areas, wishing to enter the field quickly and efficiently. From the reviews of the first edition: This book is an excellent introduction to the key concepts and control of chaos in (random) dynamical systems [...] The authors find an outstanding balance between main physical ideas and mathematical terminology to reach their audience in an impressive and lucid manner. This book is ideal for anybody who would like to grasp quickly the main issues related to chaos in discrete and continuous time. Henri Schurz, Zentralblatt MATH, Vol. 1178, 2010.

This volume contains the proceedings of the 5th International Conference on Frontier Computing (FC 2016), Tokyo, Japan, July 13-15, 2016. This international meeting provided a forum for researchers to share current understanding of recent advances and emergence in information technology, science, and engineering, with themes in the scope of Communication Networks, Business Intelligence and Knowledge Management, Web Intelligence, and any related fields that further the development of information technology. The articles presented cover a wide spectrum of topics: database and data mining, networking and communications, web and internet of things, embedded system, soft computing, social network analysis, security and privacy, optics communication, and ubiquitous/pervasive computing. Many papers report results of great academic potential and value, and in addition, indicate promising directions of research in the focused realm of this conference series. Readers, including students, academic researchers, and professionals, will benefit from the results presented in this book. It also provides an overview of current research and can be used as a guidebook for those new to the field.

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.

With contributions from a number of pioneering researchers in the field, this collection is aimed not only at researchers and scientists in nonlinear dynamics but also at a broader audience interested in understanding and exploring how modern chaos theory has developed since the days of Poincare. This book was motivated by and is an outcome of the CHAOS 2015 meeting held at the Henri Poincare Institute in Paris, which provided a perfect opportunity to gain inspiration and discuss new perspectives on the history, development and modern aspects of chaos theory. Henri Poincare is remembered as a great mind in mathematics, physics and astronomy. His works, well beyond their rigorous mathematical and analytical style, are known for their deep insights into science and research in general, and the philosophy of science in particular. The Poincare conjecture (only proved in 2006) along with his work on the three-body problem are considered to be the foundation of modern chaos theory.

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

This book presents a snapshot of the state-of-art in the field of turbulence modeling, with an emphasis on numerical methods. Topics include direct numerical simulations, large eddy simulations, compressible turbulence, coherent structures, two-phase flow simulation and many more. It includes both theoretical contributions and experimental works, as well as chapters derived from keynote lectures, presented at the fourth Turbulence and Interactions Conference (TI 2015), which was held on June 11-14 in Cargese, Corsica, France. This multifaceted collection, which reflects the conferences emphasis on the interplay of theory, experiments and computing in the process of understanding and predicting the physics of complex flows and solving related engineering problems, offers a timely guide for students, researchers and professionals in the field of applied computational fluid dynamics, turbulence modeling and related areas.

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.

The set of papers in this handbook reflect the varied theory and wide range of applications of network models. Two of the most vibrant applications areas of network models are telecommunications and transportation. Several chapters explicitly model issues arising in these problem domains. Research on network models has been closely aligned with the field of computer science both in developing data structures for efficiently implementing network algorithms and in analyzing the complexity of network problems and algorithms. The basic structure underlying all network problems is a graph. Thus, historically, there have been strong ties between network models and graph theory. A companion volume in the "Handbook" series, entitled "Network Routing", examines problems related to the movement of commodities over a network. The problems treated arise in several application areas including logistics, telecommunications, facility location, VLSI design, and economics.

The proceedings of the 2017 Symposium on Chaos, Complexity and Leadership illuminate current research results and academic work from the fields of physics, mathematics, education, economics, as well as management and social sciences. The text explores chaotic and complex systems, as well as chaos and complexity theory in view of their applicability to management and leadership. This proceedings explores non-linearity as well as data-modelling and simulation in order to uncover new approaches and perspectives. Effort will not be spared in bringing theory into practice while exploring leadership and management-laden concepts. This book will cover the analysis of different chaotic developments from different fields within the concepts of chaos and complexity theory. Researchers and students in the field will find answers to questions surrounding these intertwined and compelling fields.

Control of Discrete-Time Descriptor Systems takes an anisotropy-based approach to the explanation of random input disturbance with an information-theoretic representation. It describes the random input signal more precisely, and the anisotropic norm minimization included in the book enables readers to tune their controllers better through the mathematical methods provided. The book contains numerous examples of practical applications of descriptor systems in various fields, from robotics to economics, and presents an information-theoretic approach to the mathematical description of coloured noise. Anisotropy-based analysis and design for descriptor systems is supplied along with proofs of basic statements, which help readers to understand the algorithms proposed, and to undertake their own numerical simulations. This book serves as a source of ideas for academic researchers and postgraduate students working in the control of discrete-time systems. The control design procedures outlined are numerically effective and easily implementable in MATLAB (R)

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