The proceedings of the 4th Stability and Control Processes Conference are focused on modern applied mathematics, stability theory, and control processes. The conference was held in recognition of the 90th birthday of Professor Vladimir Ivanovich Zubov (1930-2000). This selection of papers reflects the wide-ranging nature of V. I. Zubov's work, which included contributions to the development of the qualitative theory of differential equations, the theory of rigid body motion, optimal control theory, and the theory of electromagnetic fields. It helps to advance many aspects of the theory of control systems, including questions of motion stability, nonlinear oscillations in control systems, navigation and reliability of control devices, vibration theory, and quantization of orbits. The disparate applications covered by the book - in mechanical systems, game theory, solid-state physics, socio-economic systems and medical and biological systems, control automata and navigation - are developments from Professor Zubov's in-depth studies on the theory of stability of motion, the theory of automatic control and the theory of the motions of optimal processes. Stability and Control Processes presents research continuing the legacy of V. I. Zubov and updates it with sections focused on intelligence-based control. These proceedings will be of interest to academics, professionals working in industry and researchers alike.

The book provides a systematic and in-depth introduction to distributed event-triggered cooperative control for multi-agent systems from a theoretical perspective, which will be of particular interest to the readers. The included major research topics include: a unified design and analysis framework for centralized, clustered and distributed event-triggered schemes; fully distributed design for event/self-triggered schemes; resilient event-triggered control under malicious attacks; and various methods to aovid Zeno behavior. The comprehensive and systematic treatment of event-triggered communication and control in multi-agent system is one of the major features of the book, which is particularly suited for readers who are interested in learning principles and methods to deal with communication constraints in multi-agent systems and to design energy-saving control protocols. The book can benefit researchers, engineers, and graduate students in the fields of complex networks, smart grids, applied mathematics, electrical and electronic engineering, and computer engineering, etc.

To a large extent, our lives on this earth depend on systems that operate auto matically. Manysuchsystems can be found in nature and others are man made. These systems can be biological, electrical, mechanical, chemical, or ecological, to namejust a few categories. Our human body is full ofsystems whose conti nued automatic operation is vital for our existence. On a daily basis we come in contact with man made systems whose automatic operation ensures increa sed productivity, promotes economic development and improves the quality of life. A primary component that is responsible for the automatic operation of a system is a device or mechanism called the controller. In man made systems one must first design and then implement such a controller either as a piece of hardware or as software code in a computer. The safe and efficient automatic operation of such systems is testimony to the success of control theorists and practitioners over the years. This book presents new methods {or controller design. The process ofdeveloping a controller or control strategy can be dramatically improved if one can generate an appropriate dynamic model for the system under consideration. Robust control design deals with the question of how to develop such controllers for system models with uncertainty. In many cases dynamic models can be expressed in terms oflinear, time invariant differential equations or transfer functions."

This comprehensive book is primarily intended for researchers, engineers, mathematicians and computer security specialists who are interested in multimedia security, steganography, encryption, and related research fields. It is also a valuable reference resource for postgraduate and senior undergraduate students who are studying multimedia, multimedia security, and information security, as well as for professionals in the IT industry.

This book introduces a passivity-based approach which simplifies the controller design task for AC-motors. It presents the application of this novel approach to several classes of AC motors, magnetic levitation systems, microelectromechanical systems (MEMS) and rigid robot manipulators actuated by AC motors. The novel passivity-based approach exploits the fact that the natural energy exchange existing between the mechanical and the electrical subsystems allows the natural cancellation of several high order terms during the stability analysis. This allows the authors to present some of the simplest controllers proposed in scientific literature, but provided with formal stability proofs. These simple control laws will be of use to practitioners as they are robust with respect to numerical errors and noise amplification, and are provided with tuning guidelines. Energy-based Control of Electromechanical Systems is intended for both theorists and practitioners. Therefore, the stability proofs are not based on abstract mathematical ideas but Lyapunov stability theory. Several interpretations of the proofs are given along the body of the book using simple energy ideas and the complete proofs are included in appendices. The complete modeling of each motor studied is also presented, allowing for a thorough understanding. 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 offers a systematic and rigorous treatment of continuous-time Markov decision processes, covering both theory and possible applications to queueing systems, epidemiology, finance, and other fields. Unlike most books on the subject, much attention is paid to problems with functional constraints and the realizability of strategies. Three major methods of investigations are presented, based on dynamic programming, linear programming, and reduction to discrete-time problems. Although the main focus is on models with total (discounted or undiscounted) cost criteria, models with average cost criteria and with impulsive controls are also discussed in depth. The book is self-contained. A separate chapter is devoted to Markov pure jump processes and the appendices collect the requisite background on real analysis and applied probability. All the statements in the main text are proved in detail. Researchers and graduate students in applied probability, operational research, statistics and engineering will find this monograph interesting, useful and valuable.

In this short monograph Newton-like and other similar numerical methods with applications to solving multivariate equations are developed, which involve Caputo type fractional mixed partial derivatives and multivariate fractional Riemann-Liouville integral operators. These are studied for the first time in the literature. The chapters are self-contained and can be read independently. An extensive list of references is given per chapter. The book's results are expected to find applications in many areas of applied mathematics, stochastics, computer science and engineering. As such this short monograph is suitable for researchers, graduate students, to be used in graduate classes and seminars of the above subjects, also to be in all science and engineering libraries.

This book focuses on distributed and economic Model Predictive Control (MPC) with applications in different fields. MPC is one of the most successful advanced control methodologies due to the simplicity of the basic idea (measure the current state, predict and optimize the future behavior of the plant to determine an input signal, and repeat this procedure ad infinitum) and its capability to deal with constrained nonlinear multi-input multi-output systems. While the basic idea is simple, the rigorous analysis of the MPC closed loop can be quite involved. Here, distributed means that either the computation is distributed to meet real-time requirements for (very) large-scale systems or that distributed agents act autonomously while being coupled via the constraints and/or the control objective. In the latter case, communication is necessary to maintain feasibility or to recover system-wide optimal performance. The term economic refers to general control tasks and, thus, goes beyond the typically predominant control objective of set-point stabilization. Here, recently developed concepts like (strict) dissipativity of optimal control problems or turnpike properties play a crucial role. The book collects research and survey articles on recent ideas and it provides perspectives on current trends in nonlinear model predictive control. Indeed, the book is the outcome of a series of six workshops funded by the German Research Foundation (DFG) involving early-stage career scientists from different countries and from leading European industry stakeholders.

This book covers some selected problems of the descriptor integer and fractional order positive continuous-time and discrete-time systems. The book consists of 3 chapters, 4 appendices and the list of references. Chapter 1 is devoted to descriptor integer order continuous-time and discrete-time linear systems. In Chapter 2, descriptor fractional order continuous-time and discrete-time linear systems are considered. Chapter 3 is devoted to the stability of descriptor continuous-time and discrete-time systems of integer and fractional orders. In Appendix A, extensions of the Cayley-Hamilton theorem for descriptor linear systems are given. Some methods for computation of the Drazin inverse are presented in Appendix B. In Appendix C, some basic definitions and theorems on Laplace transforms and Z-transforms are given. Some properties of the nilpotent matrices are given in Appendix D.

This thesis focuses on experimental studies on collective motion using swimming bacteria as model active-matter systems. It offers comprehensive reviews of state-of-the-art theories and experiments on collective motion from the viewpoint of nonequilibrium statistical physics. The author presents his experimental studies on two major classes of collective motion that had been well studied theoretically. Firstly, swimming filamentous bacteria in a thin fluid layer are shown to exhibit true, long-range orientational order and anomalously strong giant density fluctuations, which are considered universal and landmark signatures of collective motion by many numerical and theoretical works but have never been observed in real systems. Secondly, chaotic bacterial turbulence in a three-dimensional dense suspension without any long-range order as described in the first half is demonstrated to be capable of achieving antiferromagnetic vortex order by imposing a small number of constraints with appropriate periodicity. The experimental results presented significantly advance our fundamental understanding of order and fluctuations in collective motion of motile elements and their future applications.

RDF-based knowledge graphs require additional formalisms to be fully context-aware, which is presented in this book. This book also provides a collection of provenance techniques and state-of-the-art metadata-enhanced, provenance-aware, knowledge graph-based representations across multiple application domains, in order to demonstrate how to combine graph-based data models and provenance representations. This is important to make statements authoritative, verifiable, and reproducible, such as in biomedical, pharmaceutical, and cybersecurity applications, where the data source and generator can be just as important as the data itself. Capturing provenance is critical to ensure sound experimental results and rigorously designed research studies for patient and drug safety, pathology reports, and medical evidence generation. Similarly, provenance is needed for cyberthreat intelligence dashboards and attack maps that aggregate and/or fuse heterogeneous data from disparate data sources to differentiate between unimportant online events and dangerous cyberattacks, which is demonstrated in this book. Without provenance, data reliability and trustworthiness might be limited, causing data reuse, trust, reproducibility and accountability issues. This book primarily targets researchers who utilize knowledge graphs in their methods and approaches (this includes researchers from a variety of domains, such as cybersecurity, eHealth, data science, Semantic Web, etc.). This book collects core facts for the state of the art in provenance approaches and techniques, complemented by a critical review of existing approaches. New research directions are also provided that combine data science and knowledge graphs, for an increasingly important research topic.

The research presented in this book shows how combining deep neural networks with a special class of fuzzy logical rules and multi-criteria decision tools can make deep neural networks more interpretable - and even, in many cases, more efficient. Fuzzy logic together with multi-criteria decision-making tools provides very powerful tools for modeling human thinking. Based on their common theoretical basis, we propose a consistent framework for modeling human thinking by using the tools of all three fields: fuzzy logic, multi-criteria decision-making, and deep learning to help reduce the black-box nature of neural models; a challenge that is of vital importance to the whole research community.

This innovative monograph explores a new mathematical formalism in higher-order temporal logic for proving properties about the behavior of systems. Developed by the authors, the goal of this novel approach is to explain what occurs when multiple, distinct system components interact by using a category-theoretic description of behavior types based on sheaves. The authors demonstrate how to analyze the behaviors of elements in continuous and discrete dynamical systems so that each can be translated and compared to one another. Their temporal logic is also flexible enough that it can serve as a framework for other logics that work with similar models. The book begins with a discussion of behavior types, interval domains, and translation invariance, which serves as the groundwork for temporal type theory. From there, the authors lay out the logical preliminaries they need for their temporal modalities and explain the soundness of those logical semantics. These results are then applied to hybrid dynamical systems, differential equations, and labeled transition systems. A case study involving aircraft separation within the National Airspace System is provided to illustrate temporal type theory in action. Researchers in computer science, logic, and mathematics interested in topos-theoretic and category-theory-friendly approaches to system behavior will find this monograph to be an important resource. It can also serve as a supplemental text for a specialized graduate topics course.

The main theme of this book is recent progress in structure-preserving algorithms for solving initial value problems of oscillatory differential equations arising in a variety of research areas, such as astronomy, theoretical physics, electronics, quantum mechanics and engineering. It systematically describes the latest advances in the development of structure-preserving integrators for oscillatory differential equations, such as structure-preserving exponential integrators, functionally fitted energy-preserving integrators, exponential Fourier collocation methods, trigonometric collocation methods, and symmetric and arbitrarily high-order time-stepping methods. Most of the material presented here is drawn from the recent literature. Theoretical analysis of the newly developed schemes shows their advantages in the context of structure preservation. All the new methods introduced in this book are proven to be highly effective compared with the well-known codes in the scientific literature. This book also addresses challenging problems at the forefront of modern numerical analysis and presents a wide range of modern tools and techniques.

This book explores the genesis of ransomware and how the parallel emergence of encryption technologies has elevated ransomware to become the most prodigious cyber threat that enterprises are confronting. It also investigates the driving forces behind what has been dubbed the 'ransomware revolution' after a series of major attacks beginning in 2013, and how the advent of cryptocurrencies provided the catalyst for the development and increased profitability of ransomware, sparking a phenomenal rise in the number and complexity of ransomware attacks. This book analyzes why the speed of technology adoption has been a fundamental factor in the continued success of financially motivated cybercrime, and how the ease of public access to advanced encryption techniques has allowed malicious actors to continue to operate with increased anonymity across the internet. This anonymity has enabled increased collaboration between attackers, which has aided the development of new ransomware attacks, and led to an increasing level of technical complexity in ransomware attacks. This book highlights that the continuous expansion and early adoption of emerging technologies may be beyond the capacity of conventional risk managers and risk management frameworks. Researchers and advanced level students studying or working in computer science, business or criminology will find this book useful as a reference or secondary text. Professionals working in cybersecurity, cryptography, information technology, financial crime (and other related topics) will also welcome this book as a reference.

Design automation of electronic and hybrid systems is a steadily growing field of interest and a permanent challenge for researchers in Electronics, Computer Engineering and Computer Science. System Design Automation presents some recent results in design automation of different types of electronic and mechatronic systems. It deals with various topics of design automation, ranging from high level digital system synthesis, through analogue and heterogeneous system analysis and design, up to system modeling and simulation. Design automation is treated from the aspects of its theoretical fundamentals, its basic approach and its methods and tools. Several application cases are presented in detail. The book consists of three chapters: High-Level System Synthesis (Digital Hardware/Software Systems). Here embedded systems, distributed systems and processor arrays as well as hardware-software codesign are treated. Also three special application cases are discussed in detail; Analog and Heterogeneous System Design (System Approach and Methodology). This chapter copes with the analysis and design of hybrid systems comprised of analog and digital, electronic and mechanical components; System Simulation and Evaluation (Methods and Tools). In this chapter object-oriented Modelling, analog system simulation including fault-simulation, parameter optimization and system validation are regarded. The contents of the book are based on material presented at the Workshop System Design Automation (SDA 2000) organised by the Sonderforschungsbereich 358 of the Deutsche Forschungsgemeinschaft at TU Dresden.

This book extrapolates many of the concepts that are well defined for discrete-time deterministic sliding-mode control for use with discrete-time stochastic systems. It details sliding-function designs for various categories of linear time-invariant systems and its application for control. The resulting sliding-mode control addresses robustness issues and the functional-observer approach reduces the observer order substantially. Sliding-mode control (SMC) is designed for discrete-time stochastic systems, extended so that states lie within a specified band, and able to deal with incomplete information. Functional-observer-based SMC is designed for various clauses of stochastic systems: discrete-time; discrete-time with delay; state time-delayed; and those with parametric uncertainty. Stability considerations arising because of parametric uncertainty are taken into account and, where necessary, the effects of unmatched uncertainties mitigated. A simulation example is used to explain the use of the functional-observer approach to SMC design. Discrete-Time Stochastic Sliding-Mode Control Using Functional Observation will interest all researchers working in sliding-mode control and will be of particular assistance to graduate students in understanding the changes in design philosophy that arise when changing from continuous- to discrete-time systems. It helps to pave the way for further progress in applications of discrete-time SMC.

This book highlights research and survey articles dedicated to big data techniques for cyber-physical system (CPS), which addresses the close interactions and feedback controls between cyber components and physical components. The book first discusses some fundamental big data problems and solutions in large scale distributed CPSs. The book then addresses the design and control challenges in multiple CPS domains such as vehicular system, smart city, smart building, and digital microfluidic biochips. This book also presents the recent advances and trends in the maritime simulation system and the flood defence system.

This book focuses on how the BOXES Methodology, which is based on the work of Donald Michie, is applied to ill-defined real-time control systems with minimal a priori knowledge of the system. The method is applied to a variety of systems including the familiar pole and cart. This second edition includes a new section that covers some further observations and thoughts, problems, and evolutionary extensions that the reader will find useful in their own implementation of the method. This second edition includes a new section on how to handle jittering about a system boundary which in turn causes replicated run times to become part of the learning mechanism. It also addresses the aging of data values using a forgetfulness factor that causes wrong values of merit to be calculated. Another question that is addressed is "Should a BOXES cell ever be considered fully trained and, if so, excluded from further dynamic updates". Finally, it expands on how system boundaries may be shifted using data from many runs using an evolutionary paradigm.

This proceedings book presents state-of-the-art developments in theory, methodology, and applications of network analysis across sociology, computational science, education research, literature studies, political science, international relations, social media research, and urban studies. The papers comprising this collection were presented at the Fifth 'Networks in the Global World' conference organized by the Centre for German and European Studies of St. Petersburg University and Bielefeld University and held on July 7-9, 2020. This biannual conference series revolves around key interdisciplinary issues in the focus of network analysts, such as the multidimensional approach to social reality, translation of theories and methods across disciplines, and mixing of data and methods. The distinctive features of this book are the emphasis on in-depth linkages between theory, method, and applications, the blend of qualitative and quantitative methods, and the joint consideration of different network levels, types, and contexts. The topics covered by the papers include interrelation of social and cultural structures, constellations of power, and patterns of interaction in areas ranging from various types of communities (local, international, educational, political, and so on) to social media and literature. The book is useful for practicing researchers, graduate and postgraduate students, and educators interested in network analysis of social relations, politics, economy, and culture. Features that set the book apart from others in the field: * The book offers a unique cross-disciplinary blend of computational and ethnographic network analyses applied to a diverse spectrum of spheres, from literature and education to urban planning and policymaking. * Embracing conceptual, methodological, and empirical works, the book is among the few in network analysis to emphasize connections between theory, method, and applications. * The book brings together authors and empirical contexts from all over the globe, with a particular emphasis on European societies.

This monograph explores the design of controllers that suppress oscillations and instabilities in congested traffic flow using PDE backstepping methods. The first part of the text is concerned with basic backstepping control of freeway traffic using the Aw-Rascle-Zhang (ARZ) second-order PDE model. It begins by illustrating a basic control problem - suppressing traffic with stop-and-go oscillations downstream of ramp metering - before turning to the more challenging case for traffic upstream of ramp metering. The authors demonstrate how to design state observers for the purpose of stabilization using output-feedback control. Experimental traffic data are then used to calibrate the ARZ model and validate the boundary observer design. Because large uncertainties may arise in traffic models, adaptive control and reinforcement learning methods are also explored in detail. Part II then extends the conventional ARZ model utilized until this point in order to address more complex traffic conditions: multi-lane traffic, multi-class traffic, networks of freeway segments, and driver use of routing apps. The final chapters demonstrate the use of the Lighthill-Whitham-Richards (LWR) first-order PDE model to regulate congestion in traffic flows and to optimize flow through a bottleneck. In order to make the text self-contained, an introduction to the PDE backstepping method for systems of coupled first-order hyperbolic PDEs is included. Traffic Congestion Control by PDE Backstepping is ideal for control theorists working on control of systems modeled by PDEs and for traffic engineers and applied scientists working on unsteady traffic flows. It will also be a valuable resource for researchers interested in boundary control of coupled systems of first-order hyperbolic PDEs.

"Fault-Tolerant Process Control" focuses on the development of general, yet practical, methods for the design of advanced fault-tolerant control systems; these ensure an efficient fault detection and a timely response to enhance fault recovery, prevent faults from propagating or developing into total failures, and reduce the risk of safety hazards. To this end, methods are presented for the design of advanced fault-tolerant control systems for chemical processes which explicitly deal with actuator/controller failures and sensor faults and data losses. Specifically, the book puts forward:

.A framework for detection, isolation and diagnosis of actuator and sensor faults for nonlinear systems;

. Controller reconfiguration and safe-parking-based fault-handling methodologies;

. Integrated-data- and model-based fault-detection and isolation and fault-tolerant control methods;

. Methods for handling sensor faults and data losses; and

. Methods for monitoring the performance of low-level PID loops.

The methodologies proposed employ nonlinear systems analysis, Lyapunov techniques, optimization, statistical methods and hybrid systems theory and are predicated upon the idea of integrating fault-detection, local feedback control, and supervisory control. The applicability and performance of the methods are demonstrated through a number of chemical process examples. "Fault-Tolerant Process Control" is a valuable resource for academic researchers, industrial practitioners as well as graduate students pursuing research in this area."

This book emphasizes those topological methods (of dynamical systems) and theories that are useful in the study of different classes of nonautonomous evolutionary equations. The content is developed over six chapters, providing a thorough introduction to the techniques used in the Chapters III-VI described by Chapter I-II. The author gives a systematic treatment of the basic mathematical theory and constructive methods for Nonautonomous Dynamics. They show how these diverse topics are connected to other important parts of mathematics, including Topology, Functional Analysis and Qualitative Theory of Differential/Difference Equations. Throughout the book a nice balance is maintained between rigorous mathematics and applications (ordinary differential/difference equations, functional differential equations and partial difference equations). The primary readership includes graduate and PhD students and researchers in in the field of dynamical systems and their applications (control theory, economic dynamics, mathematical theory of climate, population dynamics, oscillation theory etc).

We will never know the precise identity of America's first political consultant. It is likely that candidates were seeking favorable coverage in colonial newspapers as early as 1704; it is also likely that by 1745 candidates were using handbills and pamphlets to augment press coverage of campaigns; and we know that one successful candidate, George Washington in 1758, purchased refreshments for potential voters. These traditional approaches to winning votes have in recent years been amplified by consultants who have shown how cable networks, videocassettes, modems, faxes, focus groups, and other means of communication can be put to partisan use. In this book, Robert V. Friedenberg examines all of the communication techniques used in contemporary political campaigning.

After providing a history of political consulting, Friedenberg examines the principal communication specialities used in contemporary campaigns. Throughout, political consultants discuss their approaches and evaluate the benefits and shortcomings of these methods. An invaluable text for what is arguably the most rapidly changing field of applied communication, this work is must reading for students and researchers of American politics, applied communication, and contemporary political theory.