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

In this monograph the authors solve the modern scientific problems connected with A.C. motors and generators, based first on the detailed consideration of their physical phenomena. The authors describe the theory and investigative methods they developed and applied in practice, which are considered to be of essential interest for specialists in the field of the electrical engineering industry in European countries, the USA, Argentina, and Brazil, as well as in such countries as India, China, and Iran. This book will be of interest to engineers specialized in the field of the manufacture, operation, and repair of A.C. machines (motors and generators) as well as electric drives; to professors, lecturers, and post-graduate students of technical universities, who are specializing in the field of electric machine engineering and electric drives; and to students who are engaged in the field of high current techniques, electric drives, and electric machine engineering.

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

Mismatch or best match? This book demonstrates that best matching of individual entities to each other is essential to ensure smooth conduct and successful competitiveness in any distributed system, natural and artificial. Interactions must be optimized through best matching in planning and scheduling, enterprise network design, transportation and construction planning, recruitment, problem solving, selective assembly, team formation, sensor network design, and more. Fundamentals of best matching in distributed and collaborative systems are explained by providing: Methodical analysis of various multidimensional best matching processes Comprehensive taxonomy, comparing different best matching problems and processes Systematic identification of systems' hierarchy, nature of interactions, and distribution of decision-making and control functions Practical formulation of solutions based on a library of best matching algorithms and protocols, ready for direct applications and apps development. Designed for both academics and practitioners, oriented to systems engineers and applied operations researchers, diverse types of best matching processes are explained in production, manufacturing, business and service, based on a new reference model developed at Purdue University PRISM Center: "The PRISM Taxonomy of Best Matching". The book concludes with major challenges and guidelines for future basic and applied research in the area of best matching.

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.

Theory of Electroelasticity analyzes the stress, strain, electric field and electric displacement in electroelastic structures such as sensors, actuators and other smart materials and structures. This book also describes new theories such as the physical variational principle and the inertial entropy theory. It differs from the traditional method by using the physical variational principle to derive the governing equations of the piezoelectric material, whereas the Maxwell stress is obtained automatically. By using the inertial entropy theory, the temperature wave equation is obtained very easily. The book is intended for scientists, researchers and engineers in the areas of mechanics, physics, smart material and control engineering as well as mechanical, aeronautical and civil engineering, etc. Zhen-Bang Kuang is a professor at Shanghai Jiao Tong University.

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.

Motion Coordination for VTOL Unmanned Aerial Vehicles develops new control design techniques for the distributed coordination of a team of autonomous unmanned aerial vehicles. In particular, it provides new control design approaches for the attitude synchronization of a formation of rigid body systems. In addition, by integrating new control design techniques with some concepts from nonlinear control theory and multi-agent systems, it presents a new theoretical framework for the formation control of a class of under-actuated aerial vehicles capable of vertical take-off and landing. Several practical problems related to the systems' inputs, states measurements, and restrictions on the interconnection topology between the aerial vehicles in the team are addressed. Worked examples with sufficient details and simulation results are provided to illustrate the applicability and effectiveness of the theoretical results discussed in the book. The material presented is primarily intended for researchers and industrial engineers from robotics, control engineering and aerospace communities. It also serves as a complementary reading for graduate students involved in research related to flying robotics, aerospace, control of under-actuated systems, and nonlinear control theory

This book introduces the fundamentals of DCS, and shows how to include wireless technology in their design while guaranteeing the desired operation characteristics. The text also presents insights and results gained from extensive practical experience in implementing and testing systems within a specific industrial setting. Features: examines the operations that the DCS implements, covering human-machine interfaces, diagnostics and maintenance interfaces, and controllers; discusses industrial control system and wireless network protocols; reviews scheduling in wireless sensor networks; describes a latency model for heterogeneous DCS with wired and wireless parts, that predicts monitoring, command, and closed loop latencies; explains how to plan operation timings systematically; introduces measures and metrics for performance monitoring and debugging, and describes how to add these to a system; presents experimental results to validate the planning approach, based on an application test-bed.

The book offers a snapshot of the theories and applications of soft computing in the area of complex systems modeling and control. It presents the most important findings discussed during the 5th International Conference on Modelling, Identification and Control, held in Cairo, from August 31-September 2, 2013. The book consists of twenty-nine selected contributions, which have been thoroughly reviewed and extended before their inclusion in the volume. The different chapters, written by active researchers in the field, report on both current theories and important applications of soft-computing. Besides providing the readers with soft-computing fundamentals, and soft-computing based inductive methodologies/algorithms, the book also discusses key industrial soft-computing applications, as well as multidisciplinary solutions developed for a variety of purposes, like windup control, waste management, security issues, biomedical applications and many others. It is a perfect reference guide for graduate students, researchers and practitioners in the area of soft computing, systems modeling and control.

The book conclusively solves problems associated with the control and estimation of nonlinear and chaotic dynamics in financial systems when these are described in the form of nonlinear ordinary differential equations. It then addresses problems associated with the control and estimation of financial systems governed by partial differential equations (e.g. the Black-Scholes partial differential equation (PDE) and its variants). Lastly it an offers optimal solution to the problem of statistical validation of computational models and tools used to support financial engineers in decision making. The application of state-space models in financial engineering means that the heuristics and empirical methods currently in use in decision-making procedures for finance can be eliminated. It also allows methods of fault-free performance and optimality in the management of assets and capitals and methods assuring stability in the functioning of financial systems to be established. Covering the following key areas of financial engineering: (i) control and stabilization of financial systems dynamics, (ii) state estimation and forecasting, and (iii) statistical validation of decision-making tools, the book can be used for teaching undergraduate or postgraduate courses in financial engineering. It is also a useful resource for the engineering and computer science community

Increasing performance demands in integrated circuits, together with limited energy budgets, force IC designers to find new ways of saving power. One innovative way is the presented adaptive voltage scaling scheme, which tunes the supply voltage according to the present process, voltage and temperature variations as well as aging. The voltage is adapted "on the fly" by means of in-situ delay monitors to exploit unused timing margin, produced by state-of-the-art worst-case designs. This book discusses the design of the enhanced in-situ delay monitors and the implementation of the complete control-loop comprising the monitors, a control-logic and an on-chip voltage regulator. An analytical Markov-based model of the control-loop is derived to analyze its robustness and stability. Variation-Aware Adaptive Voltage Scaling for Digital CMOS Circuits provides an in-depth assessment of the proposed voltage scaling scheme when applied to an arithmetic and an image processing circuit. This book is written for engineers interested in adaptive techniques for low-power CMOS circuits.

A critical part of ensuring that systems are advancing alongside technology without complications is problem solving. Practical applications of problem-solving theories can model conflict and cooperation and aid in creating solutions to real-world problems. Soft-Computing-Based Nonlinear Control Systems Design is a critical scholarly publication that examines the practical applications of control theory and its applications in problem solving to fields including economics, environmental management, and financial modelling. Featuring a wide range of topics, such as fuzzy logic, nature-inspired algorithms, and cloud computing, this book is geared toward academicians, researchers, and students seeking relevant research on control theory and its practical applications.

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.

Much work on fuzzy control, covering research, development and applications, has been developed in Europe since the 90's. Nevertheless, the existing books in the field are compilations of articles without interconnection or logical structure or they express the personal point of view of the author. This book compiles the developments of researchers with demonstrated experience in the field of fuzzy control following a logic structure and a unified the style. The first chapters of the book are dedicated to the introduction of the main fuzzy logic techniques, where the following chapters focus on concrete applications. This book is supported by the EUSFLAT and CEA-IFAC societies, which include a large number of researchers in the field of fuzzy logic and control. The central topic of the book, Fuzzy Control, is one of the main research and development lines covered by these associations.

Collaboration in highly distributed organizations of people, robots, and autonomous systems is and must be revolutionized by engineering augmentation. The aim is to augment humans' abilities at work and, through this augmentation, improve organizations' abilities to accomplish their missions. This book establishes the theoretical foundations and design principles of collaborative e-Work, e-Business and e-Service, their models and applications, design and implementation techniques. The fundamental premise is that without effective e-Work and e-Services, the potential of emerging activities, such as e-Commerce, virtual manufacturing, tele-robotic medicine, automated construction, smart energy grid, cyber-supported agriculture, and intelligent transportation cannot be fully materialized. Typically, workers and managers of such value networks are frustrated with complex information systems, originally designed and built to simplify and improve performance. Even if the human-computer interface for such systems is well designed, the information and task overloads can be overwhelming. Effective delivery of expected outcomes may not occur. Challenges and emerging solutions in the context of the recently developed CCT, Collaborative Control Theory, are described, with emphasis on issues of computer-supported and communication-enabled integration, coordination and augmented collaboration. Research results and analyses of engineering design methods and complex systems management techniques are explained and illustrated.

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.

Data-Based Controller Design presents a comprehensive analysis of data-based control design. It brings together the different data-based design methods that have been presented in the literature since the late 1990's. To the best knowledge of the author, these data-based design methods have never been collected in a single text, analyzed in depth or compared to each other, and this severely limits their widespread application. In this book these methods will be presented under a common theoretical framework, which fits also a large family of adaptive control methods: the MRAC (Model Reference Adaptive Control) methods. This common theoretical framework has been developed and presented very recently.

The book is primarily intended for PhD students and researchers - senior or junior - in control systems. It should serve as teaching material for data-based and adaptive control courses at the graduate level, as well as for reference material for PhD theses. It should also be useful for advanced engineers willing to apply data-based design. As a matter of fact, the concepts in this book are being used, under the author's supervision, for developing new software products in a automation company. The book will present simulation examples along the text. Practical applications of the concepts and methodologies will be presented in a specific chapter.

The book presents a coherent description of distributed manufacturing, providing a solid base for further research on the subject as well as smart implementations in companies. It provides a guide for those researching and working in a range of fields, such as smart manufacturing, cloud computing, RFID tracking, distributed automation, cyber physical production and global design anywhere, manufacture anywhere solutions. Foundations & Principles of Distributed Manufacturing anticipates future advances in the fields of embedded systems, the Internet of Things and cyber physical systems, outlining how adopting these innovations could rapidly bring about improvements in key performance indicators, which could in turn generate competition pressure by rendering successful business models obsolete. In laying the groundwork for powerful theoretical models, high standards for the homogeneity and soundness of the suggested setups are applied. The book especially elaborates on the upcoming competition in online manufacturing operations and respective control procedures. By outlining encapsulation and evolving decision-making principles, Foundations & Principles of Distributed Manufacturing fully conceptualizes the view of manufacturing networks as sets of loosely coupled interacting smart factory objects. Moreover, the book provides concrete approaches to a number of future fields, where distributed manufacturing might be applied. Both researchers and professionals will profit from the authors' broad experience in Distributed Manufacturing and Fractal Enterprise implementations, where they initiated and completed a number of successful research projects: within the global Intelligent Manufacturing Systems (IMS) scheme, within the European Research Area frameworks as well as national contexts, and both in industry and at leading research institutions. This background ensures well-founded theory on one hand and valuable practical results on the other in a fascinating area that is still under intensive research. Readers will acquire essential insights as well as useful guidance for categorizing and specifying extended distributed manufacturing solutions and their professional implementations.

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.

In recent years, there has been growing interest in industrial systems, especially in robotic manipulators and mobile robot systems. As the cost of robots goes down and become more compact, the number of industrial applications of robotic systems increases. Moreover, there is need to design industrial systems with intelligence, autonomous decision making capabilities, and self-diagnosing properties. Intelligent Industrial Systems: Modeling, Automation and Adaptive Behavior analyzes current trends in industrial systems design, such as intelligent, industrial, and mobile robotics, complex electromechanical systems, fault diagnosis and avoidance of critical conditions, optimization, and adaptive behavior. This book discusses examples from major areas of research for engineers and researchers, providing an extensive background on robotics and industrial systems with intelligence, autonomy, and adaptive behavior giving emphasis to industrial systems design.