This book presents essential studies and applications in the context of sliding mode control, highlighting the latest findings from interdisciplinary theoretical studies, ranging from computational algorithm development to representative applications. Readers will learn how to easily tailor the techniques to accommodate their ad hoc applications. To make the content as accessible as possible, the book employs a clear route in each paper, moving from background to motivation, to quantitative development (equations), and lastly to case studies/illustrations/tutorials (simulations, experiences, curves, tables, etc.). Though primarily intended for graduate students, professors and researchers from related fields, the book will also benefit engineers and scientists from industry.

This book introduces readers to the navigation, guidance and control technologies involved in single-spacecraft, double-spacecraft, and multiple-spacecraft tasks in elliptical orbits. It comprehensively covers the key technologies of guidance, navigation and control (GNC) system design for spacecraft in elliptical orbits, including the orbit design, formation configuration design and maintenance, autonomous navigation technology and relative navigation technology, as well as autonomous rendezvous technology. The methods that this book introduces are very close to actual practical engineering applications and presented in an accessible style. The book can serve as reference teaching material for senior undergraduates and postgraduates with space navigation related majors, while also providing essential information and guidance for research personnel and engineering technical personnel engaged in the development of GNC systems for spacecraft.

This book presents approaches to address key challenges based on a vehicle level view and with a special emphasis on Drive-by-Wire systems. The design and testing of modern vehicle electronics are becoming more and more demanding due to increasing interdependencies among components and the safety criticality of tasks. The development towards Drive-by-Wire functionalities in vehicles with multiple actuators for vehicle control further increases the challenge. The book explicitly takes into account the interactions between components and aims at bridging the gap between the need to generate additional customer benefits and the effort to achieve functional safety. The book follows a twofold approach: on the one side, it presents a toolchain to support efficient further development of novel functionalities for Drive-by-Wire vehicles. The toolchain comprises appropriate software tools and scaled and full-scale experimental vehicles. On the other side, development towards functionally safe and flexible Drive-by-Wire vehicles is addressed by proposing a top-down designed architecture for vehicle electronics that is enabled by suitable mechanisms. The resulting goal achievement with regard to functional safety is evaluated based on a novel hierarchical approach.

This book introduces state-of-the-art verification techniques for real-time embedded systems, based on the inverse method for parametric timed automata. It reviews popular formalisms for the specification and verification of timed concurrent systems and, in particular, timed automata as well as several extensions such as timed automata equipped with stopwatches, linear hybrid automata and affine hybrid automata.The inverse method is introduced, and its benefits for guaranteeing robustness in real-time systems are shown. Then, it is shown how an iteration of the inverse method can solve the good parameters problem for parametric timed automata by computing a behavioral cartography of the system. Different extensions are proposed particularly for hybrid systems and applications to scheduling problems using timed automata with stopwatches. Various examples, both from the literature and industry, illustrate the techniques throughout the book.Various parametric verifications are performed, in particular of abstractions of a memory circuit sold by the chipset manufacturer ST-Microelectronics, as well as of the prospective flight control system of the next generation of spacecraft designed by ASTRIUM Space Transportation.

Contents:

1. Parametric Timed Automata.2. The Inverse Method for Parametric Timed Automata.3. The Inverse Method in Practice: Application to Case Studies.4. Behavioral Cartography of Timed Automata.5. Parameter Synthesis for Hybrid Automata.6. Application to the Robustness Analysis of Scheduling Problems.7. Conclusion and Perspectives.

About the Authors

etienne Andre is Associate Professor in the Laboratoire d'Informatique de Paris Nord, in the University of Paris 13 (Sorbonne Paris Cite) in France. His current research interests focus on the verification of real-time systems.Romain Soulat is currently completing his PhD at the LSV laboratory at ENS-Cachan in France, focusing on the modeling and verification of hybrid temporal systems.

This monograph shows the reader how to avoid the burdens of sensor cost, reduced internal physical space, and system complexity in the control of AC motors. Many applications fields-electric vehicles, wind- and wave-energy converters and robotics, among them-will benefit. Sensorless AC Electric Motor Control describes the elimination of physical sensors and their replacement with observers, i.e., software sensors. Robustness is introduced to overcome problems associated with the unavoidable imperfection of knowledge of machine parameters-resistance, inertia, and so on-encountered in real systems. The details of a large number of speed- and/or position-sensorless ideas for different types of permanent-magnet synchronous motors and induction motors are presented along with several novel observer designs for electrical machines. Control strategies are developed using high-order, sliding-mode and quasi-continuous-sliding-mode techniques and two types of observer-controller schemes based on backstepping and sliding-mode techniques are described. Experimental results validate the performance of these observer and controller configurations with test trajectories of significance in difficult sensorless-AC-machine problems. Control engineers working with AC motors in a variety of industrial environments will find the space-and-cost-saving ideas detailed in Sensorless AC Electric Motor Control of much interest. Academic researchers and graduate students from electrical, mechanical and control-engineering backgrounds will be able to see how advanced theoretical control can be applied in meaningful real systems.

Cyber-physical systems (CPS) are characterized as a combination of physical (physical plant, process, network) and cyber (software, algorithm, computation) components whose operations are monitored, controlled, coordinated, and integrated by a computing and communicating core. The interaction between both physical and cyber components requires tools allowing analyzing and modeling both the discrete and continuous dynamics. Therefore, many CPS can be modeled as hybrid dynamic systems in order to take into account both discrete and continuous behaviors as well as the interactions between them. Guaranteeing the security and safety of CPS is a challenging task because of the inherent interconnected and heterogeneous combination of behaviors (cyber/physical, discrete/continuous) in these systems. This book presents recent and advanced approaches and tech-niques that address the complex problem of analyzing the diagnosability property of cyber physical systems and ensuring their security and safety against faults and attacks. The CPS are modeled as hybrid dynamic systems using different model-based and data-driven approaches in different application domains (electric transmission networks, wireless communication networks, intrusions in industrial control systems, intrusions in production systems, wind farms etc.). These approaches handle the problem of ensuring the security of CPS in presence of attacks and verifying their diagnosability in presence of different kinds of uncertainty (uncertainty related to the event occurrences, to their order of occurrence, to their value etc.).

This book focuses on unhealthy cyber-physical systems. Consisting of 14 chapters, it discusses recognizing the beginning of the fault, diagnosing the appearance of the fault, and stopping the system or switching to a special control mode known as fault-tolerant control. Each chapter includes the background, motivation, quantitative development (equations), and case studies/illustration/tutorial (simulations, experiences, curves, tables, etc.). Readers can easily tailor the techniques presented to accommodate their ad hoc applications.

Praise for the Series:
"This book will be a useful reference to control engineers and researchers. The papers contained cover well the recent advances in the field of modern control theory."
-IEEE Group Correspondence
"This book will help all those researchers who valiantly try to keep abreast of what is new in the theory and practice of optimal control."
--Control

This book presents advanced control techniques that use neural networks to deal with grid disturbances in the context renewable energy sources, and to enhance low-voltage ride-through capacity, which is a vital in terms of ensuring that the integration of distributed energy resources into the electrical power network. It presents modern control algorithms based on neural identification for different renewable energy sources, such as wind power, which uses doubly-fed induction generators, solar power, and battery banks for storage. It then discusses the use of the proposed controllers to track doubly-fed induction generator dynamics references: DC voltage, grid power factor, and stator active and reactive power, and the use of simulations to validate their performance. Further, it addresses methods of testing low-voltage ride-through capacity enhancement in the presence of grid disturbances, as well as the experimental validation of the controllers under both normal and abnormal grid conditions. The book then describes how the proposed control schemes are extended to control a grid-connected microgrid, and the use of an IEEE 9-bus system to evaluate their performance and response in the presence of grid disturbances. Lastly, it examines the real-time simulation of the entire system under normal and abnormal conditions using an Opal-RT simulator.

This thesis provides a systematic and integral answer to an open problem concerning the universality of dynamic fuzzy controllers. It presents a number of novel ideas and approaches to various issues including universal function approximation, universal fuzzy models, universal fuzzy stabilization controllers, and universal fuzzy integral sliding mode controllers. The proposed control design criteria can be conveniently verified using the MATLAB toolbox. Moreover, the thesis provides a new, easy-to-use form of fuzzy variable structure control. Emphasis is given to the point that, in the context of deterministic/stochastic systems in general, the authors are in fact discussing non-affine nonlinear systems using a class of generalized T-S fuzzy models, which offer considerable potential in a wide range of applications.

This book collects papers from the 8th Conference on Non-Integer Order Calculus and Its Applications that have been held on September 20-21, 2016 in Zakopane, Poland. The preceding two conferences were held in Szczecin, Poland in 2015, and in Opole, Poland, in 2014. This conference provides a platform for academic exchange on the theory and application of fractional calculus between domestic and international universities, research institutes, corporate experts and scholars. The Proceedings of the 8th Conference on Non-Integer Order Calculus and Its Applications 2016 brings together rigorously reviewed contributions from leading international experts. The included papers cover novel various important aspects of mathematical foundations of fractional calculus, modeling and control of fractional systems as well as controllability, detectability, observability and stability problems for this systems.

This contributed volume covers all relevant aspects of road vehicle automation including societal impacts, legal matters, and technology innovation from the perspectives of a multitude of public and private actors. It is based on an expert workshop organized by the Transportation Research Board at Stanford University in July 2013. The target audience primarily comprises academic researchers, but the book may also be of interest to practitioners and professionals. Higher levels of road vehicle automation are considered beneficial for road safety, energy efficiency, productivity, convenience and social inclusion. The necessary key technologies in the fields of object-recognition systems, data processing and infrastructure communication have been consistently developed over the recent years and are mostly available on the market today. However, there is still a need for substantial research and development, e.g. with interactive maps, data processing, functional safety and the fusion of different data sources. Driven by stakeholders in the IT industry, intensive efforts to accelerate the introduction of road vehicle automation are currently underway.

This book presents a comprehensive report on the evolution of Fuzzy Logic since its formulation in Lotfi Zadeh's seminal paper on "fuzzy sets," published in 1965. In addition, it features a stimulating sampling from the broad field of research and development inspired by Zadeh's paper. The chapters, written by pioneers and prominent scholars in the field, show how fuzzy sets have been successfully applied to artificial intelligence, control theory, inference, and reasoning. The book also reports on theoretical issues; features recent applications of Fuzzy Logic in the fields of neural networks, clustering, data mining and software testing; and highlights an important paradigm shift caused by Fuzzy Logic in the area of uncertainty management. Conceived by the editors as an academic celebration of the fifty years' anniversary of the 1965 paper, this work is a must-have for students and researchers willing to get an inspiring picture of the potentialities, limitations, achievements and accomplishments of Fuzzy Logic-based systems.

This volume is the first of the new series Advances in Dynamics and Delays. It offers the latest advances in the research of analyzing and controlling dynamical systems with delays, which arise in many real-world problems. The contributions in this series are a collection across various disciplines, encompassing engineering, physics, biology, and economics, and some are extensions of those presented at the IFAC (International Federation of Automatic Control) conferences since 2011. The series is categorized in five parts covering the main themes of the contributions: * Stability Analysis and Control Design * Networks and Graphs * Time Delay and Sampled-Data Systems * Computational and Software Tools * Applications This volume will become a good reference point for researchers and PhD students in the field of delay systems, and for those willing to learn more about the field, and it will also be a resource for control engineers, who will find innovative control methodologies for relevant applications, from both theory and numerical analysis perspectives.

This book explores the outcomes on flow control research activities carried out within the framework of two EU-funded projects focused on training-through-research of Marie Sklodowska-Curie doctoral students. The main goal of the projects described in this monograph is to assess the potential of the passive- and active-flow control methods for reduction of fuel consumption by a helicopter. The research scope encompasses the fields of structural dynamics, fluid flow dynamics, and actuators with control. Research featured in this volume demonstrates an experimental and numerical approach with a strong emphasis on the verification and validation of numerical models. The book is ideal for engineers, students, and researchers interested in the multidisciplinary field of flow control.

This book presents a novel framework, known as Active Robust Optimization, which provides the tools for evaluating, comparing and optimizing changeable products. Since any product that can change its configuration during normal operation may be considered a "changeable product," the framework is widely applicable. Further, the methodology enables designers to use adaptability to deal with uncertainties and so avoid over-conservative designs. Offering a comprehensive overview of the framework, including its unique features, such as its ability to optimally respond to uncertain situations, the book also defines a new class of optimization problem and examines the effects of changes in various parameters on their solution. Lastly, it discusses innovative approaches for solving the problem and demonstrates these with two examples from different fields in engineering design: optimization of an optical table and optimization of a gearbox.

This book presents the proceedings of the International Science and Technology Conference "FarEastCon 2019," which took place on October 1-4, 2019, in Vladivostok, Russian Federation. The conference provided a platform for gathering expert opinions on projects and initiatives aimed at the implementation of far-sighted scientific research and development, and allowed current theoretical and practical advances to be shared with the broader research community. Featuring selected papers from the conference, this book will be of interest to experts in various fields whose work involves developing innovative solutions and increasing the efficiency of economic activities.

This book focuses on the design of decentralized optimization methods applied to charging strategies for large-scale PEVs in electrical power systems. It studies several classes of charging coordination problems in large-scale PEVs by considering the distinct characteristics of PEV populations and electrical power systems, and subsequently designs decentralized methods based on distinct optimization schemes - such as non-cooperative games, mean-field games, and auction games - to achieve optimal/nearly optimal charging strategies. In closing, several performance aspects of the proposed algorithms, such as their convergence, computational complexity and optimality etc., are rigorously verified and demonstrated in numerical simulations. Given its scope, the book will benefit researchers, engineers, and graduate students in the fields of optimization, game theory, auction games, electrical power systems, etc., and help them design decentralized methods to implement optimal charging strategies in large-scale PEVs.

This edited book analyses and discusses the current issues of integration of wind energy systems in the power systems. It collects recent studies in the area, focusing on numerous issues including unbalanced grid voltages, low-voltage ride-through and voltage stability of the grid. It also explores the impact of the emerging technologies of wind turbines and power converters in the integration of wind power systems in power systems. This book utilizes the editors' expertise in the energy sector to provide a comprehensive text that will be of interest to researchers, graduate students and industry professionals.

Guaranteeing a high system performance over a wide operating range is an important issue surrounding the design of automatic control systems with successively increasing complexity. As a key technology in the search for a solution, advanced fault detection and identification (FDI) is receiving considerable attention. This book introduces basic model-based FDI schemes, advanced analysis and design algorithms, and mathematical and control-theoretic tools.
This second edition of Model-Based Fault Diagnosis Techniques contains:
new material on fault isolation and identification and alarm management;
extended and revised treatment of systematic threshold determination for systems with both deterministic unknown inputs and stochastic noises;
addition of the continuously-stirred tank heater as a representative process-industrial benchmark; and
enhanced discussion of residual evaluation which now deals with stochastic processes.
Model-based Fault Diagnosis Techniques will interest academic researchers working in fault identification and diagnosis and as a text it is suitable for graduate students in a formal university-based course or as a self-study aid for practising engineers working with automatic control or mechatronic systems from backgrounds as diverse as chemical process and power engineering.

This edited monograph contains research contributions on a wide range of topics such as stochastic control systems, adaptive control, sliding mode control and parameter identification methods. The book also covers applications of robust and adaptice control to chemical and biotechnological systems. This collection of papers commemorates the 70th birthday of Dr. Alexander S. Poznyak.

Whereas power systems have traditionally been designed with a focus on protecting them from routine component failures and atypical user demand, we now also confront the fact that deliberate attack intended to cause maximum disruption is a real possibility. In response to this changing environment, new concepts and tools have emerged that address many of the issues facing power system operation today. This book is aimed at introducing these ideas to practicing power systems engineers, control systems engineers interested in power systems, and graduate students in these areas. The ideas are examined with an emphasis on how they can be applied to improve our understanding of power system behavior and help design better control systems. The book is supplemented by a Mathematica package enabling readers to work out nontrivial examples and problems. Also included is a set of Mathematica tutorial notebooks providing detailed solutions of the worked examples in the text. In addition to Mathematica, simulations are carried out using Simulink with Stateflow.

This book is the first major work covering applications in thermal engineering and offering a comprehensive introduction to optimal control theory, which has applications in mechanical engineering, particularly aircraft and missile trajectory optimization. The book is organized in three parts: The first part includes a brief presentation of function optimization and variational calculus, while the second part presents a summary of the optimal control theory. Lastly, the third part describes several applications of optimal control theory in solving various thermal engineering problems. These applications are grouped in four sections: heat transfer and thermal energy storage, solar thermal engineering, heat engines and lubrication.Clearly presented and easy-to-use, it is a valuable resource for thermal engineers and thermal-system designers as well as postgraduate students.

This book systematically introduces readers to the core algorithms of battery management system (BMS) for electric vehicles. These algorithms cover most of the technical bottlenecks encountered in BMS applications, including battery system modeling, state of charge (SOC) and state of health (SOH) estimation, state of power (SOP) estimation, remaining useful life (RUL) prediction, heating at low temperature, and optimization of charging. The book not only presents these algorithms, but also discusses their background, as well as related experimental and hardware developments. The concise figures and program codes provided make the calculation process easy to follow and apply, while the results obtained are presented in a comparative way, allowing readers to intuitively grasp the characteristics of different algorithms. Given its scope, the book is intended for researchers, senior undergraduate and graduate students, as well as engineers in the fields of electric vehicles and energy storage.

This book presents a finite and instantaneous screw theory for the development of robotic mechanisms. It addresses the analytical description and algebraic computation of finite motion, resulting in a generalized type synthesis approach. It then discusses the direct connection between topology and performance models, leading to an integrated performance analysis and design framework. The book then explores parameter uncertainty and multiple performance requirements for reliable, optimal design methods, and describes the error accumulation principle and parameter identification algorithm, to increase robot accuracy. It proposes a unified and generic methodology, and appliesto the invention, analysis, design, and calibration of robotic mechanisms. The book is intended for researchers, graduate students and engineers in the fields of robotic mechanism and robot design and applications.