A mobile agent is a software program with the capability to suspend its execution and resume it on another computer. Agents are a relatively recent development in computer science, which have become a popular and useful methodology for the modelling and implementation of distributed systems, particularly those consisting of a number of largely autonomous components. The extensive use of multi-agent systems in various areas including information management, industrial control and manufacturing systems, suggests that the multi-agent systems methodology may also be appropriate for the design of power system automation systems.

IP Network-based Multi-agent Systems for Industrial Automation: Information Management, Condition Monitoring and Control of Power Systems is the first book to present an introduction to the use of the Internet protocol suite and multi-agent systems for the information management, online monitoring and control of distributed power system substations. It proposes an open architecture for information management and control, based on the concepts of multi-agent systems and mobile agents. In this book, mobile agents are applied to the retrieval and analysis of substation data, and to remote operator intervention. This book also describes a prototype implementation of the architecture, in the form of a substation information management system, which has been demonstrated and evaluated using a substation simulator. The architecture is also evaluated theoretically with respect to its performance, modifiability, functionality and reliability.

As mobile agent technologies are in the early stages the real applications of these technologies are rare; IPNetwork-based Multi-agent Systems for Industrial Automation: Information Management, Condition Monitoring and Control of Power Systems will be an excellent reference for postgraduates, researchers and academics in engineering and computer science, as well as engineers in system automation and managers in distributed industrial systems.

This volume surveys three decades of modern robot control theory and describes how the work of Suguru Arimoto shaped its development. Twelve survey articles written by experts associated with Suguru Arimoto at various stages in his career treat the subject comprehensively. This book provides an important reference for graduate students and researchers, as well as for mathematicians, engineers and scientists whose work involves robot control theory.

In 1960, R. E. Kalman published his celebrated paper on recursive min imum variance estimation in dynamical systems [14]. This paper, which introduced an algorithm that has since been known as the discrete Kalman filter, produced a virtual revolution in the field of systems engineering. Today, Kalman filters are used in such diverse areas as navigation, guid ance, oil drilling, water and air quality, and geodetic surveys. In addition, Kalman's work led to a multitude of books and papers on minimum vari ance estimation in dynamical systems, including one by Kalman and Bucy on continuous time systems [15]. Most of this work was done outside of the mathematics and statistics communities and, in the spirit of true academic parochialism, was, with a few notable exceptions, ignored by them. This text is my effort toward closing that chasm. For mathematics students, the Kalman filtering theorem is a beautiful illustration of functional analysis in action; Hilbert spaces being used to solve an extremely important problem in applied mathematics. For statistics students, the Kalman filter is a vivid example of Bayesian statistics in action. The present text grew out of a series of graduate courses given by me in the past decade. Most of these courses were given at the University of Mas sachusetts at Amherst.

This book reviews the fundamentals of screw theory concerned with velocity analysis of rigid-bodies, confirmed with detailed and explicit proofs. The author additionally investigates acceleration, jerk, and hyper-jerk analyses of rigid-bodies following the trend of the velocity analysis. With the material provided in this book, readers can extend the theory of screws into the kinematics of optional order of rigid-bodies. Illustrative examples and exercises to reinforce learning are provided. Of particular note, the kinematics of emblematic parallel manipulators, such as the Delta robot as well as the original Gough and Stewart platforms are revisited applying, in addition to the theory of screws, new methods devoted to simplify the corresponding forward-displacement analysis, a challenging task for most parallel manipulators.

Verification presents the most time-consuming task in the integrated circuit design process. The increasing similarity between implementation verification and the ever-needed task of providing vectors for manufacturing fault testing is tempting many professionals to combine verification and testing efforts.
This book presents the basis for reusing the test vector generation and simulation for the purpose of implementation verification, to result in a significant timesaving. The book brings the results in the direction of merging manufacturing test vector generation and verification. It first discusses error fault models suitable for approaching the verification by testing methods. Then, it elaborates a proposal for an implicit fault model that uses the Arithmetic Transform representation of a circuit and the faults. Presented is the fundamental link between the error size and the test vector size, which allows parametrizable verification by test vectors. Furthermore, the test vector set is sufficient not only for detecting, but also for diagnosing and correcting the design errors.
The practical use of any such simulation-based verification scheme can be seriously impaired by redundant faults, that otherwise require exhaustive simulations. The redundant fault identification methods are presented that are well suited for the type of faults considered. Finally, the same representation can be used to augment and expand the formal verification schemes that are to be used in conjunction with the simulation-based verification.
The primary audience for Verification by Error Modeling includes researchers in verification and testing, managers in charge of verification of test andpracticing engineers. Due to its comprehensive coverage of background topics, the book can also be used for teaching courses on verification and test topics.

This book reports on the latest findings in the application of the wide area measurement systems (WAMS) in the analysis and control of power systems. The book collects new research ideas and achievements including a delay-dependent robust design method, a wide area robust coordination strategy, a hybrid assessment and choice method for wide area signals, a free-weighting matrices method and its application, as well as the online identification methods for low-frequency oscillations. The main original research results of this book are a comprehensive summary of the authors' latest six-year study. The book will be of interest to academic researchers, R&D engineers and graduate students in power systems who wish to learn the core principles, methods, algorithms, and applications of the WAMS.

The interest in control of nonlinear partial differential equation (PDE) sys tems has been triggered by the need to achieve tight distributed control of transport-reaction processes that exhibit highly nonlinear behavior and strong spatial variations. Drawing from recent advances in dynamics of PDE systems and nonlinear control theory, control of nonlinear PDEs has evolved into a very active research area of systems and control. This book the first of its kind- presents general methods for the synthesis of nonlinear and robust feedback controllers for broad classes of nonlinear PDE sys tems and illustrates their applications to transport-reaction processes of industrial interest. Specifically, our attention focuses on quasi-linear hyperbolic and parabolic PDE systems for which the manipulated inputs and measured and controlled outputs are distributed in space and bounded. We use geometric and Lyapunov-based control techniques to synthesize nonlinear and robust controllers that use a finite number of measurement sensors and control actuators to achieve stabilization of the closed-loop system, output track ing, and attenuation of the effect of model uncertainty. The controllers are successfully applied to numerous convection-reaction and diffusion-reaction processes, including a rapid thermal chemical vapor deposition reactor and a Czochralski crystal growth process. The book includes comparisons of the proposed nonlinear and robust control methods with other approaches and discussions of practical implementation issues."

This volume presents various aspects of non-integer order systems, also known as fractional systems, which have recently attracted an increasing attention in the scientific community of systems science, applied mathematics, control theory. Non-integer systems have become relevant for many fields of science and technology exemplified by the modeling of signal transmission, electric noise, dielectric polarization, heat transfer, electrochemical reactions, thermal processes, acoustics, etc. The content is divided into six parts, every of which considers one of the currently relevant problems. In the first part the Realization problem is discussed, with a special focus on positive systems. The second part considers stability of certain classes of non-integer order systems with and without delays. The third part is focused on such important aspects as controllability, observability and optimization especially in discrete time. The fourth part is focused on distributed systems where non-integer calculus leads to new and interesting results. The next part considers problems of solutions and approximations of non-integer order equations and systems. The final and most extensive part is devoted to applications. Problems from mechatronics, biomedical engineering, robotics and others are all analyzed and solved with tools from fractional systems. This volume came to fruition thanks to high level of talks and interesting discussions at RRNR 2013 - 5th Conference on Non-integer Order Calculus and its Applications that took place at AGH University of Science and Technology in Krakow, Poland, which was organized by the Faculty of Electrical Engineering, Automatics, Computer Science and Biomedical Engineering.

This book is devoted to a novel conceptual theoretical framework of neuro science and is an attempt to show that we can postulate a very small number of assumptions and utilize their heuristics to explain a very large spectrum of brain phenomena. The major assumption made in this book is that inborn and acquired neural automatisms are generated according to the same func tional principles. Accordingly, the principles that have been revealed experi mentally to govern inborn motor automatisms, such as locomotion and scratching, are used to elucidate the nature of acquired or learned automat isms. This approach allowed me to apply the language of control theory to describe functions of biological neural networks. You, the reader, can judge the logic of the conclusions regarding brain phenomena that the book derives from these assumptions. If you find the argument flawless, one can call it common sense and consider that to be the best praise for a chain of logical conclusions. For the sake of clarity, I have attempted to make this monograph as readable as possible. Special attention has been given to describing some of the concepts of optimal control theory in such a way that it will be under standable to a biologist or physician. I have also included plenty of illustra tive examples and references designed to demonstrate the appropriateness and applicability of these conceptual theoretical notions for the neurosciences."

Neural Networks in Robotics is the first book to present an integrated view of both the application of artificial neural networks to robot control and the neuromuscular models from which robots were created. The behavior of biological systems provides both the inspiration and the challenge for robotics. The goal is to build robots which can emulate the ability of living organisms to integrate perceptual inputs smoothly with motor responses, even in the presence of novel stimuli and changes in the environment. The ability of living systems to learn and to adapt provides the standard against which robotic systems are judged. In order to emulate these abilities, a number of investigators have attempted to create robot controllers which are modelled on known processes in the brain and musculo-skeletal system. Several of these models are described in this book. On the other hand, connectionist (artificial neural network) formulations are attractive for the computation of inverse kinematics and dynamics of robots, because they can be trained for this purpose without explicit programming. Some of the computational advantages and problems of this approach are also presented. For any serious student of robotics, Neural Networks in Robotics provides an indispensable reference to the work of major researchers in the field. Similarly, since robotics is an outstanding application area for artificial neural networks, Neural Networks in Robotics is equally important to workers in connectionism and to students for sensormonitor control in living systems.

This book provides a comprehensive treatment of the principles underlying optimal constrained control and estimation. The contents progress from optimisation theory, fixed-horizon discrete optimal control, receding-horizon implementations and stability conditions to explicit solutions and numerical algorithms, moving horizon estimation, and connections between constrained estimation and control. Several case studies and further developments illustrate and expand the core principles.

Specific topics covered include:

a [ An overview of optimisation theory.

a [ Links to optimal control theory, including the discrete-minimum principle.

a [ Linear and nonlinear receding-horizon constrained control including stability.

a [ Constrained control solutions having a finite parameterisation for specific classes of problems.

a [ Numerical procedures for solving constrained optimisation problems.

a [ Output feedback optimal constrained control.

a [ Constrained state estimation.

a [ Duality between constrained estimation and control.

a [ Applications to finite alphabet control and estimation problems, cross-directional control, rudder-roll stabilisation of ships, and control over communication networks.

Constrained Control and Estimation is a self-contained treatment assuming that the reader has a basic background in systems theory, including linear control, stability and state-space methods. It is suitable for use in senior-level courses and as material for reference and self-study. A companion website is continually updated by the authors.

This self-contained book, written by leading experts, offers a cutting-edge, in-depth overview of the filtering and control of wireless networked systems. It addresses the energy constraint and filter/controller gain variation problems, and presents both the centralized and the distributed solutions. The first two chapters provide an introduction to networked control systems and basic information on system analysis. Chapters (3-6) then discuss the centralized filtering of wireless networked systems, presenting different approaches to deal with energy efficiency and filter/controller gain variation problems. The next part (chapters 7-10) explores the distributed filtering of wireless networked systems, addressing the main problems of energy constraint and filter gain variation. The final part (chapters 11-14) focuses on the distributed control of wireless networked systems. In view of the rapid deployment and development of wireless networked systems for communication and control applications, the book represents a timely contribution and provides valuable insights, useful methods and effective algorithms for the analysis and design of wireless networked control systems. It is a valuable resource for researchers in the control and communication communities

Real-Time Systems in Mechatronic Applications brings together in one place important contributions and up-to-date research results in this fast moving area. Real-Time Systems in Mechatronic Applications serves as an excellent reference, providing insight into some of the most challenging research issues in the field.

] Starting with the research of G. Bogelsack in the 1970s, the analysis of biological locomotion andmanipulation systemsandtheirtechnical realizationhas beenan- portant research eld within the Faculty of Mechanical Engineering at the Ilmenau University of Technology. In 1996, the German Research Foundation (DFG) funded the Innovation College "Motion Systems" at the University of Jena in a coope- tion with engineers at the Ilmenau University of Technology. Thus, research was able to be intensi ed and extended. Of course, the whole spectrum of biologically inspired systems is much too wide, so the analysis was still focused on locomotion and manipulation systems. At this stage J. Steigenberger from the Faculty of Mathematics and Natural S- ences at the Ilmenau University of Technology contributed important studies of worm-like locomotion systems with much dedication and technical competence. Moreover, he conceived and carried out a lecture series entitled "Mathematical Basics for Locomotion Systems," which was based on his evaluation of national and international research developments in this eld. I. Zeidis and K. Zimmermann contributed many publications on the mechanics of worm-like locomotion systems based on continuum and rigid-body models as well as asymptotic methods. Since 2004 the German Research Foundation has supported a series of projects led by K. Zimmermann dedicated to biologically inspired robotics. In addition to these activities, the Department of Technical Mechanics and the Department of Computer Application in Mechanical Engineering (M. Weiss) together with masters and doctoral students started the development of mobile robots for the RoboCup Small-Size League in 1998."

The present book includes a set of selected papers from the third "International Conference on Informatics in Control Automation and Robotics" (ICINCO 2006), held in Setubal, Portugal, from 1 to 5 August 2006, sponsored by the Institute for Systems and Technologies of Information, Control and Communication (INSTICC). The conference was organized in three simultaneous tracks: "Intelligent Control Systems and Optimization," "Robotics and Automation" and "Systems Modeling, Signal Processing and Control." The book is based on the same structure. Although ICINCO 2006 received 309 paper submissions, from more than 50 different countries in all continents, only 31 where accepted as full papers. From those, only 23 were selected for inclusion in this book, based on the classifications provided by the Program Committee. The selected papers also reflect the interdisciplinary nature of the conference. The diversity of topics is an important feature of this conference, enabling an overall perception of several important scientific and technological trends. These high quality standards will be maintained and reinforced at ICINCO 2007, to be held in Angers, France, and in future editions of this conference."

This authoritative reference work will provide readers with a complete overview of artificial intelligence (AI), including its historic development and current status, existing and projected AI applications, and present and potential future impact on the United States and the world. Some people believe that artificial intelligence (AI) will revolutionize modern life in ways that improve human existence. Others say that the promise of AI is overblown. Still others contend that AI applications could pose a grave threat to the economic security of millions of people by taking their jobs and otherwise rendering them "obsolete"-or, even worse, that AI could actually spell the end of the human race. This volume will help users understand the reasons AI development has both spirited defenders and alarmed critics; explain theories and innovations like Moore's Law, mindcloning, and Technological Singularity that drive AI research and debate; and give readers the information they need to make their own informed judgment about the promise and peril of this technology. All of this coverage is presented using language and terminology accessible to a lay audience. Introduction explaining the historical evolution of AI Chronology of important AI-related events Authoritative entries on leading pioneers, entrepreneurs, and thinkers; AI concepts and theories; AI's potential impact on different facets of society; and major movies and other cultural touchstones exploring AI technology

Hybrid Computational Intelligent Systems – Modeling, Simulation and Optimization unearths the latest advances in evolving hybrid intelligent modeling and simulation of human-centric data-intensive applications optimized for real-time use, thereby enabling researchers to come up with novel breakthroughs in this ever-growing field. Salient features include the fundamentals of modeling and simulation with recourse to knowledge-based simulation, interaction paradigms, and human factors, along with the enhancement of the existing state of art in a high-performance computing setup. In addition, this book presents optimization strategies to evolve robust and failsafe intelligent system modeling and simulation. The volume also highlights novel applications for different engineering problems including signal and data processing, speech, image, sensor data processing, innovative intelligent systems, and swarm intelligent manufacturing systems. Features: A self-contained approach to integrating the principles of hybrid computational ntelligence with system modeling and simulation Well-versed foundation of computational intelligence and its application to real life engineering problems Elucidates essential background, concepts, definitions, and theories thereby putting forward a complete treatment on the subject Effective modeling of hybrid intelligent systems forms the backbone of almost every operative system in real-life Proper simulation of real-time hybrid intelligent systems is a prerequisite for deriving any real-life system solution Optimized system modeling and simulation enable real-time and failsafe operations of the existing hybrid intelligent system solutions Information presented in an accessible way for researchers, engineers, developers, and practitioners from academia and industry working in all major areas and interdisciplinary areas of hybrid computational intelligence and communication systems to evolve human-centered modeling and simulations of real-time data-intensive intelligent systems.

Real-world supply chains and networks are inherently complex, formed by a large number of self-governing interconnected agents which dynamically update their behavior rules and connections based on context and environment changes. Oftentimes, these complex systems fail, almost inexplicably, due to unforeseen events leading to disruption. Exploration and research of the mechanisms behind the failure of supply chains and networks have revealed that those capable of surviving are not only robust, but resilient. The purpose of this book is to explain the meaning of resilience and its design in the broad context, and with a focus on the design and management of supply chains and supply networks. Written by Dr. Reyes Levalle, an experienced supply chains designer and supply networks engineer, the book is intended for beginners and advanced professionals, students, designers, policy makers, and managers. It is a pioneering effort to base resilience engineering and management on CCT, the collaborative control theory and tools.

While sailing has a long tradition, both as a means of transportation and as a sport, robotic sailing is a fairly new area of research. One of its unique characteristics is the use of wind for propulsion. On the one hand, this allows for long range and long term autonomy. On the other hand, the dependency on changing winds presents a serious challenge for short and long term planning, collision avoidance, and boat control. Moreover, building a robust and seaworthy sailing robot is no simple task, leading to a truly interdisciplinary engineering problem. These proceedings summarize the state of the art as presented at the International Robotic Sailing Conference 2011. Following an overview of the history of autonomous sailing a number of recent boat designs is presented, ranging from small one-design boats to vessels built to cross the Atlantic Ocean. Subsequently, various aspects of system design and validation are discussed, further highlighting the interdisciplinary nature of the field. Finally, methods for collision avoidance, localization and route planning are covered.

Implementation of Smart Healthcare Systems using AI, IoT, and Blockchain provides imperative research on the development of data fusion and analytics for healthcare and their implementation into current issues in a real-time environment. While highlighting IoT, bio-inspired computing, big data, and evolutionary programming, the book explores various concepts and theories of data fusion, IoT, and Big Data Analytics. It also investigates the challenges and methodologies required to integrate data from multiple heterogeneous sources, analytical platforms in healthcare sectors. This book is unique in the way that it provides useful insights into the implementation of a smart and intelligent healthcare system in a post-Covid-19 world using enabling technologies like Artificial Intelligence, Internet of Things, and blockchain in providing transparent, faster, secure and privacy preserved healthcare ecosystem for the masses.

The problem of asymptotic regulation of the output of a dynamical system plays a central role in control theory. An important variant of this problem is the output regulation problem, which can be used in such areas as set-point control, tracking reference signals and rejecting disturbances generated by an external system, controlled synchronization of dynamical systems, and observer design for autonomous systems. This book is one of the first systematic studies on the nonlinear output regulation problem that embraces both the local and global solvability analysis, covering such aspects as solvability conditions, controller design, and practical implementation issues.

The book opens with the development of the mathematical apparatus of convergent systemsa "very useful for studying nonlinear control systemsa "laying the foundation for most of the results presented in the work. The study then proceeds to a new problem statementa "the so-called uniform output regulation problem. A comprehensive solvability analysis of this problem is provided in the next part of the work. Based on the solvability analysis, constructive controller design methods for the global uniform output regulation problem are presented for various classes of nonlinear systems.

In an attempt to bridge the gap between theory and practice, the authors conclude with a presentation of an experimental case study. The experimenta "one of the first in the field of nonlinear output regulationa "deals with control of a translational oscillator with a rotational actuator, illustrating the applicability of the nonlinear output regulation theory in experiments and raising a number of questions to be addressed in futureresearch.

The scope of questions addressed in the book, the uniformity of their treatment, the novelty of the proposed approach, and the obtained results make this volume unique with respect to other works on the problem of nonlinear output regulation. In addition to being an excellent reference for the uniform output regulation problem, the book has a tutorial value on convergent systems. The work will be of interest to control engineers, theorists, and students, and may be used as a textbook for a graduate course on nonlinear control.

H-infinity control theory deals with the minimization of the H-infinity-norm of the transfer matrix from an exogenous disturbance to a pertinent controlled output of a given plant. Robust and H-infinity Control examines both the theoretical and practical aspects of H-infinity control from the angle of the structural properties of linear systems.

Constructive algorithms are provided for finding solutions to:

a [ general singular H-infinity control problems;

a [ general H-infinity almost disturbance decoupling problems;

a [ robust and perfect tracking problems.

The theory presented in the earlier chapters of the text are also subsequently applied to real-life problems with actual implementations: gyro-stabilized mirror targeting; hard-disk-drive servo control and control of a piezoelectric actuator.

Robust and H-infinity Control can be used for graduate courses in robust control and as a reference for academic researchers; the reader should have completed first-year graduate courses in linear systems and multivariable control. It will also be of great value to engineers practising in the process, electronics and aerospace industries.

This volume presents the latest academic research and industrial applications in the area of mechanisms, robotics and dynamics. Contributions cover such topics as biomedical applications, control issues of mechanical systems, dynamics of multi-body systems, experimental mechanics, haptic systems, history of mechanism science, industrial and non-industrial applications, linkages and cams, mechanical transmissions and gears, mechanics of robots and manipulators, theoretical kinematics. Resulting from the 7th European Conference on Mechanism Science, which was held at RWTH Aachen University on September 4-6, 2018, this works comprises an overview on current research activities across Europe. .

Surveillance systems have become increasingly popular. Full involvement of human operators has led to shortcomings, e.g. high labor cost, limited capability for multiple screens, inconsistency in long-duration, etc. Intelligent surveillance systems (ISSs) can supplement or even replace traditional ones. In ISSs, computer vision, pattern recognition, and artificial intelligence technologies are used to identify abnormal behaviours in videos. They present the development of real-time behaviour-based intelligent surveillance systems. The book focuses on the detection of individual abnormal behaviour based on learning and the analysis of dangerous crowd behaviour based on texture and optical flow. Practical systems include a real-time face classification and counting system, a surveillance robot system that utilizes video and audio information for intelligent interaction, and a robust person counting system for crowded environments.