This book is dedicated to the analysis and modelling of fractional behaviours that mainly result from physical stochastic phenomena (diffusion, adsorption or aggregation, etc.) of a population (ions, molecules, people, etc.) in a constrained environment and that can be found in numerous areas. It breaks with the usual approaches based on fractional models since it proposes to use unusual models which have the advantage of overcoming some of the limitations of fractional models. This book is dedicated to postgraduated students and to researchers in the field or those who wish to learn with a fresh perspective. After a review of fractional models and their limitations, it proposes and demonstrates the interest of four other modelling tools to capture fractional behaviours: new kernels in integral operators, Volterra equations, nonlinear models and partial differential equations with spatially variable coefficients. Several applications on real data and devices illustrate their efficiency.

This book develops analytical methods for studying the dynamical chaos, synchronization, and dynamics of structures in various models of coupled rotators. Rotators and their systems are defined in a cylindrical phase space, and, unlike oscillators, which are defined in Rn, they have a wider "range" of motion: There are vibrational and rotational types for cyclic variables, as well as their combinations (rotational-vibrational) if the number of cyclic variables is more than one. The specificity of rotator phase space poses serious challenges in terms of selecting methods for studying the dynamics of related systems. The book chiefly focuses on developing a modified form of the method of averaging, which can be used to study the dynamics of rotators. In general, the book uses the "language" of the qualitative theory of differential equations, point mappings, and the theory of bifurcations, which helps authors to obtain new results on dynamical chaos in systems with few degrees of freedom. In addition, a special section is devoted to the study and classification of dynamic structures that can occur in systems with a large number of interconnected objects, i.e. in lattices of rotators and/or oscillators. Given its scope and format, the book can be used both in lectures and courses on nonlinear dynamics, and in specialized courses on the development and operation of relevant systems that can be represented by a large number of various practical systems: interconnected grids of various mechanical systems, various types of networks including not only mechanical but also biological systems, etc.

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 fascinating book examines some of the characteristics of technological/engineering models that are likely to be unfamiliar to those who are interested primarily in the history and philosophy of science and mathematics, and which differentiate technological models from scientific and mathematical ones. Themes that are highlighted include:
the role of language: the models developed for engineering design have resulted in new ways of talking about technological systems
communities of practice: related to the previous point, particular engineering communities have particular ways of sharing and developing knowledge
graphical (re)presentation: engineers have developed many ways of reducing quite complex mathematical models to more simple representations
reification: highly abstract mathematical models are turned into 'objects' that can be manipulated almost like components of a physical system
machines: not only the currently ubiquitous digital computer, but also older analogue devices - slide rules, physical models, wind tunnels and other small-scale simulators, as well as mechanical, electrical and electronic analogue computers
mathematics and modelling as a bridging tool between disciplines
This book studies primarily modelling in technological practice. It is worth noting that models of the type considered in the book are not always highly valued in formal engineering education at university level, which often takes an "applied science" approach close to that of the natural sciences (something that can result in disaffection on the part of students). Yet in an informal context, such as laboratories, industrial placements, and so on, a very different situation obtains. A number of chapters considers such epistemological aspects, as well as the status of different types of models within the engineering education community.
The book will be of interest to practising engineers and technologists; sociologists of science and technology; and historians and philosophers of science and mathematics. It will also be written in a way that will be accessible to non-specialists."

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.

Perturbation Methods in Science and Engineering provides the fundamental and advanced topics in perturbation methods in science and engineering, from an application viewpoint. This book bridges the gap between theory and applications, in new as well as classical problems. The engineers and graduate students who read this book will be able to apply their knowledge to a wide range of applications in different engineering disciplines. The book begins with a clear description on limits of mathematics in providing exact solutions and goes on to show how pioneers attempted to search for approximate solutions of unsolvable problems. Through examination of special applications and highlighting many different aspects of science, this text provides an excellent insight into perturbation methods without restricting itself to a particular method. This book is ideal for graduate students in engineering, mathematics, and physical sciences, as well as researchers in dynamic systems.

How to draw plausible conclusions from uncertain and conflicting sources of evidence is one of the major intellectual challenges of Artificial Intelligence. It is a prerequisite of the smart technology needed to help humans cope with the information explosion of the modern world. In addition, computational modelling of uncertain reasoning is a key to understanding human rationality. Previous computational accounts of uncertain reasoning have fallen into two camps: purely symbolic and numeric. This book represents a major advance by presenting a unifying framework which unites these opposing camps. The Incidence Calculus can be viewed as both a symbolic and a numeric mechanism. Numeric values are assigned indirectly to evidence via the possible worlds in which that evidence is true. This facilitates purely symbolic reasoning using the possible worlds and numeric reasoning via the probabilities of those possible worlds. Moreover, the indirect assignment solves some difficult technical problems, like the combinat ion of dependent sources of evidcence, which had defeated earlier mechanisms. Weiru Liu generalises the Incidence Calculus and then compares it to a succes sion of earlier computational mechanisms for uncertain reasoning: Dempster-Shafer Theory, Assumption-Based Truth Maintenance, Probabilis tic Logic, Rough Sets, etc. She shows how each of them is represented and interpreted in Incidence Calculus. The consequence is a unified mechanism which includes both symbolic and numeric mechanisms as special cases. It provides a bridge between symbolic and numeric approaches, retaining the advantages of both and overcoming some of their disadvantages."

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.

First book on the subject, illustrative examples, some original results, self-contained material, a reference book.

This book offers a timely overview of nonlinear control methods applied to a set of vehicles and their applications to study vehicle dynamics. The first part on the book presents the mathematical models used for describing motion of three class of vehicles such as underwater vehicles, hovercrafts and airships. In turn, each model is expressed in terms of Inertial Quasi-Velocities. Various control strategies from the literature, including model-free ones, are then analyzed. The second part and core of the book guides readers to developing model-based control algorithms using Inertial Quasi-Velocities. Both non-adaptive and adaptive versions are covered. Each controller is validated through simulation tests, which are reported in detail. In turn, this part shows how to use the controllers to gain information about vehicle dynamics, thus describing an important relationship between the dynamics of the moving object and its motion control. The effects of mechanical couplings between variables describing vehicle motion due to inertial forces are also discussed. All in all, this book offers a timely guide and extensive information on nonlinear control schemes for unmanned marine and aerial vehicles. It covers specifically the simulation tests and is therefore meant as a starting point for engineers and researchers that would like to verify experimentally the suitability of the proposed models in real vehicles. Further, it also supports advanced-level students and educators in their courses on vehicle dynamics, control engineering and robotics.

Why is it that many large public projects run out of control in terms of scope, budget and time? How can it be explained that urban regeneration programs are highly successful in one neighborhood but fail to deliver in an adjacent neighborhood? Why is it that public policies can return unexpected and sometimes even unwanted outcomes, despite meticulous planning? Why is public decision-making such a complex affair? The world is an erratic place, full of surprises, some of which are wanted and others are unwanted. Public decision-making in this world is like punching clouds: considerable energy is put into the punching but the cloud goes its own way, despite the punches. Recent ideas and insights from the complexity sciences improve our understanding of the intricate nature of public decision-making. This book offers a bridge between the study of public decision-making in the domain of Public Administration on the one hand, and the complexity sciences on the other hand. It is aimed at (doctoral) students and scholars in Public Administration who are curious about how the complexity sciences can inform the analysis and understanding of public decision-making. The book introduces important concepts such as systems, non-linear dynamics, self-organization and coevolution, and discusses their relevance to public decision-making. It also proposes a case-based research method for researching this complexity. Lasse Gerrits, Ph.D. is associate professor in Public Administration at the Erasmus University Rotterdam (the Netherlands) and member of the research group Governance of Complex Systems.

This contributed volume explores innovative research in the modeling, simulation, and control of crowd dynamics. Chapter authors approach the topic from the perspectives of mathematics, physics, engineering, and psychology, providing a comprehensive overview of the work carried out in this challenging interdisciplinary research field. In light of the recent COVID-19 pandemic, special consideration is given to applications of crowd dynamics to the prevention of the spreading of contagious diseases. Some of the specific topics covered in this volume include: - Impact of physical distancing on the evacuation of crowds- Generalized solutions of opinion dynamics models- Crowd dynamics coupled with models for infectious disease spreading- Optimized strategies for leaders in controlling the dynamics of a crowd Crowd Dynamics, Volume 3 is ideal for mathematicians, engineers, physicists, and other researchers working in the rapidly growing field of modeling and simulation of human crowds.

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 book aims to systematically review and design different intelligent control algorithms for the small-signal stability assessment of HPS. With the growing consciousness of global warming and the fast depletion of natural power generation resources, the existing power system is on the verge of transitions to a "hybrid power system (HPS)" integrated with distributed energy resources. The recent results and requirements for the developments of intelligent control algorithms have motivated the authors to introduce this book for extensively analyzing the performance of HPS against unknown/uncertain disturbances. This book introduces fractional-order resilient control methodologies for arresting small-signal instability of HPS. The prospective investigation has been performed on the MATLAB platform. This book is helpful for undergraduate, postgraduate students, and research scholars working in power system stability, control applications, and soft computing in particular.

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

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 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 II is a collection of their masterpieces or representative works in the fields of systems management theory and practice.

This book highlights recent research on interval methods for solving nonlinear constraint satisfaction, optimization and similar problems. Further, it presents a comprehensive survey of applications in various branches of robotics, artificial intelligence systems, economics, control theory, dynamical systems theory, and others. Three appendices, on the notation, representation of numbers used as intervals' endpoints, and sample implementations of the interval data type in several programming languages, round out the coverage.

In this modern era of mathematical modeling, applications have become increasingly complicated. As the complexity grows, it becomes more and more difficult to draw meaningful conclusions about the behavior of theoretical models and their relations to reality. Alongside methods that emphasize quantitative properties and the testing of scientific details, there is a need for approaches that are more qualitative. These techniques attempt to cover whole families of models in one bold stroke, in a manner that allows robust conclusions to be drawn about them.

Loop analysis and time averaging provide a means of interpreting the properties of systems from the network of interactions within the system. The authors' methodology concentrates on graphical representation to guide experimental design, to identify sources of external variability from the statistical pattern of variables, and to make management decisions.

Although most of the examples are drawn from ecology, the methods are relevant to all of the pure and applied sciences. This relevance is enhanced by case studies from such diverse areas as physiology, resource management, the behavioral sciences, and social epidemiology. The book will be useful to a broad readership from the biological and social sciences as well as the physical sciences and technology. It will interest undergraduate and graduate students along with researchers active in these disciplines. Here the reader will find a strong rationale for maintaining a holistic approach, revealing what insights and advantages are retained by the broader perspective and, more explicitly, by the synergistic effects that cannot be discerned by reducing systems to their smallest parts.

In concurrent and distributed systems, processes can complete tasks together by playing their parts in a joint plan. The plan, or protocol, can be written as a choreography: a formal description of overall behaviour that processes should collaborate to implement, like authenticating a user or purchasing an item online. Formality brings clarity, but not only that: choreographies can contribute to important safety and liveness properties. This book is an ideal introduction to theory of choreographies for students, researchers, and professionals in computer science and applied mathematics. It covers languages for writing choreographies, their semantics, and principles for implementing choreographies correctly. The text treats the study of choreographies as a discipline in its own right, following a systematic approach that starts from simple foundations and proceeds to more advanced features in incremental steps. Each chapter includes examples and exercises aimed at helping with understanding the theory and its relation to practice.

This book analyzes the secure problems of cyber-physical systems from both the adversary and defender sides. Targeting the challenging security problems of cyber-physical systems under malicious attacks, this book presents some recent novel secure state estimation and control algorithms, in which moving target defense scheme, zero-sum game-theoretical approach, reinforcement learning, neural networks, and intelligent control are adopted. Readers will find not only the valuable secure state estimation and control schemes combined with the approaches aforementioned, but also some vital conclusions for securing cyber-physical systems, for example, the critical value of allowed attack probability, the maximum number of sensors to be attacked, etc. The book also provides practical applications, example of which are unmanned aerial vehicles, interruptible power system, and robot arm to validate the proposed secure algorithms. Given its scope, it offers a valuable resource for undergraduate and graduate students, academics, scientists, and engineers who are working in this field.

This book explores event-based estimation problems. It shows how several stochastic approaches are developed to maintain estimation performance when sensors perform their updates at slower rates only when needed. The self-contained presentation makes this book suitable for readers with no more than a basic knowledge of probability analysis, matrix algebra and linear systems. The introduction and literature review provide information, while the main content deals with estimation problems from four distinct angles in a stochastic setting, using numerous illustrative examples and comparisons. The text elucidates both theoretical developments and their applications, and is rounded out by a review of open problems. This book is a valuable resource for researchers and students who wish to expand their knowledge and work in the area of event-triggered systems. At the same time, engineers and practitioners in industrial process control will benefit from the event-triggering technique that reduces communication costs and improves energy efficiency in wireless automation applications.

This book presents collaborative research presented by experts in the field of nonlinear science provides the reader with contemporary, cutting-edge, research works that bridge the gap between theory and device realizations of nonlinear phenomena. The conference provides a unique forum for applications of nonlinear systems while solving practical problems in science and engineering. Topics include: chaos gates, social networks, communication, sensors, lasers, molecular motors, biomedical anomalies, and stochastic resonance. This book provides a comprehensive report of the various research projects presented at the International Conference on Applications in Nonlinear Dynamics (ICAND 2018) held in Maui, Hawaii, 2018. It can be a valuable tool for scientists and engineering interested in connecting ideas and methods in nonlinear dynamics with actual design, fabrication and implementation of engineering applications or devices.

This book presents a new methodology with reduced time impact to address the problem of analog integrated circuit (IC) yield estimation by means of Monte Carlo (MC) analysis, inside an optimization loop of a population-based algorithm. The low time impact on the overall optimization processes enables IC designers to perform yield optimization with the most accurate yield estimation method, MC simulations using foundry statistical device models considering local and global variations. The methodology described by the authors delivers on average a reduction of 89% in the total number of MC simulations, when compared to the exhaustive MC analysis over the full population. In addition to describing a newly developed yield estimation technique, the authors also provide detailed background on automatic analog IC sizing and optimization.