Download or read book Robust Model Predictive Control of Resilient Cyber physical Systems written by Qi Sun and published by . This book was released on 2021 with total page pages. Available in PDF, EPUB and Kindle. Book excerpt: Cyber-physical systems (CPS), integrating advanced computation, communication, and control technologies with the physical process, are widely applied in industry applications such as smart production and manufacturing systems, robotic and automotive control systems, and smart grids. Due to possible exposure to unreliable networks and complex physical environments, CPSs may simultaneously face multiple cyber and physical issues including cyber threats (e.g., malicious cyber attacks) and resource constraints (e.g., limited networking resources and physical constraints). As one of the essential topics in designing efficient CPSs, the controller design for CPSs, aiming to achieve secure and resource-aware control objectives under such cyber and physical issues, is very significant yet challenging. Emphasizing optimality and system constraint handling, model predictive control (MPC) is one of the most widely used control paradigms, notably famous for its successful applications in chemical process industry. However, the conventional MPC methods are not specifically tailored to tackle cyber threats and resource constraints, thus the corresponding theory and tools to design the secure and resource-aware controller are lacking and need to be developed. This dissertation focuses on developing MPC-based methodologies to address the i) secure control problem and ii) resource-aware control problem for CPSs subject to cyber threats and resource constraints. In the resource-aware control problem of CPSs, the nonlinear system with additive disturbance is considered. By using an integral-type event-triggered mechanism and an improved robustness constraint, we propose an integral-type event-triggered MPC so that smaller sampling frequency and robustness to the additive disturbance can be obtained. The sufficient conditions for guaranteeing the recursive feasibility and the closed-loop stability are established. For the secure control problem of CPSs, two aspects are considered. Firstly, to achieve the secure control objective, we design a secure dual-mode MPC framework, including a modified initial feasible set and a new positively invariant set, for constrained linear systems subject to Denial-of-Service (DoS) attacks. The exponential stability of the closed-loop system is guaranteed under several conditions. Secondly, to deal with cyber threats and take advantage of the cloud-edge computing technology, we propose a model predictive control as a secure service (MPCaaSS) framework, consisting of a double-layer controller architecture and a secure data transmission protocol, for constrained linear systems in the presence of both cyber threats and external disturbances. The rigorous recursive feasibility and robust stability conditions are established. To simultaneously address the secure and resource-aware control problems, an event-triggered robust nonlinear MPC framework is proposed, where a new robustness constraint is introduced to deal with additive disturbances, and a packet transmission strategy is designed to tackle DoS attacks. Then, an event-triggered mechanism, which accommodates DoS attacks occurring in the communication network, is proposed to reduce the communication cost for resource-constrained CPSs. The recursive feasibility and the closed-loop stability in the sense of input-to-state practical stable (ISpS) are guaranteed under the established sufficient conditions.
Download or read book Robust Model Predictive Control and Scheduling Co design for Networked Cyber physical Systems written by Changxin Liu and published by . This book was released on 2019 with total page pages. Available in PDF, EPUB and Kindle. Book excerpt: In modern cyber-physical systems (CPSs) where the control signals are generally transmitted via shared communication networks, there is a desire to balance the closed-loop control performance with the communication cost necessary to achieve it. In this context, aperiodic real-time scheduling of control tasks comes into being and has received increasing attention recently. It is well known that model predictive control (MPC) is currently widely utilized in industrial control systems and has greatly increased profits in comparison with the proportional integral-derivative (PID) control. As communication and networks play more and more important roles in modern society, there is a great trend to upgrade and transform traditional industrial systems into CPSs, which naturally requires extending conventional MPC to communication-efficient MPC to save network resources. Motivated by this fact, we in this thesis propose robust MPC and scheduling co-design algorithms to networked CPSs possibly affected by both parameter uncertainties and additive disturbances. In Chapter 2, a dynamic event-triggered robust tube-based MPC for constrained linear systems with additive disturbances is developed, where a time-varying pre-stabilizing gain is obtained by interpolating multiple static state feedbacks and the interpolating coefficient is determined via optimization at the time instants when the MPC-based control is triggered. The original constraints are properly tightened to achieve robust constraint optimization and a sequence of dynamic sets used to test events are derived according to the optimized coefficient. We theoretically show that the proposed algorithm is recursively feasible and the closed-loop system is input-to-state stable (ISS) in the attraction region. Numerical results are presented to verify the design. In Chapter 3, a self-triggered min-max MPC strategy is developed for constrained nonlinear systems subject to both parametric uncertainties and additive disturbances, where the robust constraint satisfaction is achieved by considering the worst case of all possible uncertainty realizations. First, we propose a new cost function that relaxes the penalty on the system state in a time period where the controller will not be invoked. With this cost function, the next triggering time instant can be obtained at current time instant by solving a min-max optimization problem where the maximum triggering period becomes a decision variable. The proposed strategy is proved to be input-to-state practical stable (ISpS) in the attraction region at triggering time instants under some standard assumptions. Extensions are made to linear systems with additive disturbances, for which the conditions reduce to a linear matrix inequality (LMI). Comprehensive numerical experiments are performed to verify the correctness of the theoretical results.
Download or read book Advanced Model Predictive Control for Autonomous Marine Vehicles written by Yang Shi and published by Springer Nature. This book was released on 2023-02-13 with total page 210 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book provides a comprehensive overview of marine control system design related to underwater robotics applications. In particular, it presents novel optimization-based model predictive control strategies to solve control problems appearing in autonomous underwater vehicle applications. These novel approaches bring unique features, such as constraint handling, prioritization between multiple design objectives, optimal control performance, and robustness against disturbances and uncertainties, into the control system design. They therefore form a more general framework to design marine control systems and can be widely applied. Advanced Model Predictive Control for Autonomous Marine Vehicles balances theoretical rigor – providing thorough analysis and developing provably-correct design conditions – and application perspectives – addressing practical system constraints and implementation issues. Starting with a fixed-point positioning problem for a single vehicle and progressing to the trajectory-tracking and path-following problem of the vehicle, and then to the coordination control of a large-scale multi-robot team, this book addresses the motion control problems, increasing their level of challenge step-by-step. At each step, related subproblems such as path planning, thrust allocation, collision avoidance, and time constraints for real-time implementation are also discussed with solutions. In each chapter of this book, compact and illustrative examples are provided to demonstrate the design and implementation procedures. As a result, this book is useful for both theoretical study and practical engineering design, and the tools provided in the book are readily applicable for real-world implementation.
Download or read book Optimizing Control of Distributed Cyber Physical Systems written by Zonglin Liu and published by BoD – Books on Demand. This book was released on 2021-01-01 with total page 178 pages. Available in PDF, EPUB and Kindle. Book excerpt: In this thesis, a set of modeling and control strategies are proposed for Cyberphysical systems (CPS), which aim at ensuring a safe, reliable, and highly performant operation of each local subsystem contained in the CPS. Modeling of CPS is challenging since not only must the tight interconnection of continuous and discrete dynamics of local subsystems be exactly represented, but so must also the interleaving structure between different subsystems. Optimal control of CPS, accordingly, should take into account not only the local mixed dynamics by local controller synthesis, but also the influence from other subsystems around.
Download or read book New Directions on Model Predictive Control written by Jinfeng Liu and published by MDPI. This book was released on 2019-01-16 with total page 231 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book is a printed edition of the Special Issue "New Directions on Model Predictive Control" that was published in Mathematics
Download or read book Economic Model Predictive Control written by Matthew Ellis and published by Springer. This book was released on 2016-07-27 with total page 311 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book presents general methods for the design of economic model predictive control (EMPC) systems for broad classes of nonlinear systems that address key theoretical and practical considerations including recursive feasibility, closed-loop stability, closed-loop performance, and computational efficiency. Specifically, the book proposes: Lyapunov-based EMPC methods for nonlinear systems; two-tier EMPC architectures that are highly computationally efficient; and EMPC schemes handling explicitly uncertainty, time-varying cost functions, time-delays and multiple-time-scale dynamics. The proposed methods employ a variety of tools ranging from nonlinear systems analysis, through Lyapunov-based control techniques to nonlinear dynamic optimization. The applicability and performance of the proposed methods are demonstrated through a number of chemical process examples. The book presents state-of-the-art methods for the design of economic model predictive control systems for chemical processes.In addition to being mathematically rigorous, these methods accommodate key practical issues, for example, direct optimization of process economics, time-varying economic cost functions and computational efficiency. Numerous comments and remarks providing fundamental understanding of the merging of process economics and feedback control into a single framework are included. A control engineer can easily tailor the many detailed examples of industrial relevance given within the text to a specific application. The authors present a rich collection of new research topics and references to significant recent work making Economic Model Predictive Control an important source of information and inspiration for academics and graduate students researching the area and for process engineers interested in applying its ideas.
Download or read book Vehicular Platoon System Design written by Hui Zhang and published by Elsevier. This book was released on 2024-08-23 with total page 316 pages. Available in PDF, EPUB and Kindle. Book excerpt: Vehicular Platoon System Design: Fundamentals and Robustness provides a comprehensive introduction to connected and automated vehicular platoon system design. Platoons decrease the distances between cars or trucks using electronic, and possibly mechanical, coupling. This capability allows many cars or trucks to accelerate or brake simultaneously. It also allows for a closer headway between vehicles by eliminating reacting distance needed for human reaction. The book considers the key issues of robustness and cybersecurity, with optimization-based model predictive control schemes applied to control vehicle platoon. In the controller design part, several practical problems, such as constraint handling, optimal control performance, robustness against disturbance, and resilience against cyberattacks are reviewed. In addition, the book provides detailed theoretical analysis of the stability of the platoon under different control schemes. Provides a comprehensive introduction to the state-of-the-art development of connected and automated vehicular platoon systems Covers the advanced, robust and stochastic model predictive control algorithm design methods for constraint handling and robustness improvement Introduces rigorous theoretical stability analysis from the robust tube-based distributedMPC (Model Predictive Control) and stochastic tube-based distributed MPC perspectives Offers various filter-based inter-vehicle attack detection methods and event-based resilient vehicle platoon control design methods
Download or read book Economic Model Predictive Control written by Helen Durand and published by Foundations and Trends (R) in Systems and Control. This book was released on 2018-06-19 with total page 68 pages. Available in PDF, EPUB and Kindle. Book excerpt: Economic Model Predictive Control (EMPC) is a control strategy that moves process operation away from the steady-state paradigm toward a potentially time-varying operating strategy to improve process profitability. The EMPC literature is replete with evidence that this new paradigm may enhance process profits when a model of the chemical process provides a sufficiently accurate representation of the process dynamics. Systems using EMPC often neglect the dynamics associated with equipment and are often neglected when modeling a chemical process. Recent studies have shown they can significantly impact the effectiveness of an EMPC system. Concentrating on valve behavior in a chemical process, this monograph develops insights into the manner in which equipment behavior should impact the design process for EMPC and to provide a perspective on a number of open research topics in this direction. Written in tutorial style, this monograph provides the reader with a full literature review of the topic and demonstrates how these techniques can be adopted in a practical system.
Download or read book Model Based Predictive Control written by J.A. Rossiter and published by CRC Press. This book was released on 2017-07-12 with total page 323 pages. Available in PDF, EPUB and Kindle. Book excerpt: Model Predictive Control (MPC) has become a widely used methodology across all engineering disciplines, yet there are few books which study this approach. Until now, no book has addressed in detail all key issues in the field including apriori stability and robust stability results. Engineers and MPC researchers now have a volume that provides a complete overview of the theory and practice of MPC as it relates to process and control engineering. Model-Based Predictive Control, A Practical Approach, analyzes predictive control from its base mathematical foundation, but delivers the subject matter in a readable, intuitive style. The author writes in layman's terms, avoiding jargon and using a style that relies upon personal insight into practical applications. This detailed introduction to predictive control introduces basic MPC concepts and demonstrates how they are applied in the design and control of systems, experiments, and industrial processes. The text outlines how to model, provide robustness, handle constraints, ensure feasibility, and guarantee stability. It also details options in regard to algorithms, models, and complexity vs. performance issues.
Download or read book Introduction to Cybersecurity in the Internet of Things written by Keke Gai and published by CRC Press. This book was released on 2024-03-14 with total page 645 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book addresses the security challenges facing the rapidly growing Internet of Things (IoT) industry, including the potential threats and risks arising from its complex architecture. The authors discuss the overall IoT architecture, covering networking, computing, and security threats and risks to hardware such as sensors, actuators, and portable devices, as well as infrastructure layers. They cover a range of technical concepts such as cryptography, distributed storage, and data transmission, and offer practical advice on implementing security solutions such as authentication and access control. By exploring the future of cybersecurity in the IoT industry, with insights into the importance of big data and the threats posed by data mining techniques, this book is an essential resource for anyone interested in, or working in, the rapidly evolving field of IoT security.
Download or read book Control of Cyber Physical Systems written by Danielle C. Tarraf and published by Springer. This book was released on 2013-06-30 with total page 379 pages. Available in PDF, EPUB and Kindle. Book excerpt: Cyber-physical systems (CPS) involve deeply integrated, tightly coupled computational and physical components. These systems, spanning multiple scientific and technological domains, are highly complex and pose several fundamental challenges. They are also critically important to society’s advancement and security. The design and deployment of the adaptable, reliable CPS of tomorrow requires the development of a basic science foundation, synergistically drawing on various branches of engineering, mathematics, computer science, and domain specific knowledge. This book brings together 19 invited papers presented at the Workshop on Control of Cyber-Physical Systems, hosted by the Department of Electrical & Computer Engineering at The Johns Hopkins University in March 2013. It highlights the central role of control theory and systems thinking in developing the theory of CPS, in addressing the challenges of cyber-trust and cyber-security, and in advancing emerging cyber-physical applications ranging from smart grids to smart buildings, cars and robotic systems.
Download or read book Secure Control of Cyber Physical Systems written by Ahmed Abdelwahab and published by . This book was released on 2021 with total page 0 pages. Available in PDF, EPUB and Kindle. Book excerpt: Cyber-Physical Systems (CPS) are smart co-engineered interacting networks of physical and computational components. They refer to a large class of technologies and infrastructure in almost all life aspects including, for example, smart grids, autonomous vehicles, Internet of Things (IoT), advanced medical devices, and water supply systems. The development of CPS aims to improve the capabilities of traditional engineering systems by introducing advanced computational capacity and communications among system entities. On the other hand, the adoption of such technologies introduces a threat and exposes the system to cyber-attacks. Given the unique properties of CPSs, i.e. physically interacting with its environment, malicious parties might be interested in exploiting the physical properties of the system in the form of a cyber-physical attack. In a large class of CPSs, the physical systems are controlled using a feedback control loop. In this thesis, we investigate, from many angles, how CPSs' control systems can be prone to cyber-physical attacks and how to defend them against such attacks using arguments drawn from control theory. In our first contribution, by considering Smart Grid applications, we address the problem of designing a Denial of Service (DoS)-resilient controller for recovering the system's transient stability robustly. We propose a Model Predictive Control (MPC) controller based on the set-theoretic (ST) arguments, which is capable of dealing with both model uncertainties, actuator limitations, and DoS. Unlike traditional MPC solutions, the proposed controller has the capability of moving most of the required computations into an offline phase. The online phase requires the solution of a quadratic programming problem, which can be efficiently solved in real-time. Then, stemming from the same ST based MPC controller idea, we propose a novel physical watermarking technique for the active detection of replay attacks in CPSs. The proposed strategy exploits the ST-MPC paradigm to design control inputs that, whenever needed, can be safely and continuously applied to the system for an apriori known number of steps. Such a control scheme enables the design of a physical watermarked control signal. We prove that, in the attack-free case, the generators' transient stability is achieved for all admissible watermarking signals and that the closed-loop system enjoys uniformly ultimately bounded stability. In our second contribution, we address the attacker's ability to collect useful information about the control system in the reconnaissance phase of a cyber-physical attack. By using existing system identification tools, an attacker who has access to the control loop can identify the dynamics of the underlying control system. We develop a decoy-based moving target defense mechanism by leveraging an auxiliary set of virtual state-based decoy systems. Simulation results show that the provided solution degrades the attacker's ability to identify the underlying state-space model of the considered system from the intercepted control inputs and sensor measurements. It also does not impose any penalty on the control performance of the underlying system. Finally, in our third contribution, we introduce a covert channel technique, enabling a compromised networked controller to leak information to an eavesdropper who has access to the measurement channel. We show that this can be achieved without establishing any additional explicit communication channels by properly altering the control logic and exploiting robust reachability arguments. A dual-mode receding horizon MPC strategy is used as an illustrative example to show how such an undetectable covert channel can be established.
Download or read book Operations Research and Enterprise Systems written by Federico Liberatore and published by Springer Nature. This book was released on 2024-01-15 with total page 276 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book includes extended and revised versions of selected papers from the 11th and 12th editions of the International Conference on Operations Research and Enterprise Systems (ICORES 2022 and ICORES 2023). ICORES 2022 was held as a virtual event in February 2022, and ICORES 2023 was held in Lisbon, Portugal, in February 2023. The 5 full papers included in this book were carefully reviewed and selected from the 55 submissions for ICORES 2022, and 8 full papers were reviewed and selected from the 55 submissions for ICORES 2023. The papers are focused on operations research and enterprise systems.
Download or read book Robust Receding Horizon Control for Networked and Distributed Nonlinear Systems written by Huiping Li and published by Springer. This book was released on 2016-10-22 with total page 194 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book offers a comprehensive, easy-to-understand overview of receding-horizon control for nonlinear networks. It presents novel general strategies that can simultaneously handle general nonlinear dynamics, system constraints, and disturbances arising in networked and large-scale systems and which can be widely applied. These receding-horizon-control-based strategies can achieve sub-optimal control performance while ensuring closed-loop stability: a feature attractive to engineers. The authors address the problems of networked and distributed control step-by-step, gradually increasing the level of challenge presented. The book first introduces the state-feedback control problems of nonlinear networked systems and then studies output feedback control problems. For large-scale nonlinear systems, disturbance is considered first, then communication delay separately, and lastly the simultaneous combination of delays and disturbances. Each chapter of this easy-to-follow book not only proposes and analyzes novel control algorithms and/or strategies, but also rigorously develops provably correct design conditions. It also provides concise, illustrative examples to demonstrate the implementation procedure, making it invaluable both for academic researchers and engineering practitioners.
Download or read book Cross Layer Design for Secure and Resilient Cyber Physical Systems written by Quanyan Zhu and published by Springer Nature. This book was released on 2020-11-16 with total page 212 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book introduces a cross-layer design to achieve security and resilience for CPSs (Cyber-Physical Systems). The authors interconnect various technical tools and methods to capture the different properties between cyber and physical layers. Part II of this book bridges the gap between cryptography and control-theoretic tools. It develops a bespoke crypto-control framework to address security and resiliency in control and estimation problems where the outsourcing of computations is possible. Part III of this book bridges the gap between game theory and control theory and develops interdependent impact-aware security defense strategies and cyber-aware resilient control strategies. With the rapid development of smart cities, there is a growing need to integrate the physical systems, ranging from large-scale infrastructures to small embedded systems, with networked communications. The integration of the physical and cyber systems forms Cyber-Physical Systems (CPSs), enabling the use of digital information and control technologies to improve the monitoring, operation, and planning of the systems. Despite these advantages, they are vulnerable to cyber-physical attacks, which aim to damage the physical layer through the cyber network. This book also uses case studies from autonomous systems, communication-based train control systems, cyber manufacturing, and robotic systems to illustrate the proposed methodologies. These case studies aim to motivate readers to adopt a cross-layer system perspective toward security and resilience issues of large and complex systems and develop domain-specific solutions to address CPS challenges. A comprehensive suite of solutions to a broad range of technical challenges in secure and resilient control systems are described in this book (many of the findings in this book are useful to anyone working in cybersecurity). Researchers, professors, and advanced-level students working in computer science and engineering will find this book useful as a reference or secondary text. Industry professionals and military workers interested in cybersecurity will also want to purchase this book.
Download or read book Set Theoretic Methods in Control written by Franco Blanchini and published by Birkhäuser. This book was released on 2015-07-02 with total page 640 pages. Available in PDF, EPUB and Kindle. Book excerpt: The second edition of this monograph describes the set-theoretic approach for the control and analysis of dynamic systems, both from a theoretical and practical standpoint. This approach is linked to fundamental control problems, such as Lyapunov stability analysis and stabilization, optimal control, control under constraints, persistent disturbance rejection, and uncertain systems analysis and synthesis. Completely self-contained, this book provides a solid foundation of mathematical techniques and applications, extensive references to the relevant literature, and numerous avenues for further theoretical study. All the material from the first edition has been updated to reflect the most recent developments in the field, and a new chapter on switching systems has been added. Each chapter contains examples, case studies, and exercises to allow for a better understanding of theoretical concepts by practical application. The mathematical language is kept to the minimum level necessary for the adequate formulation and statement of the main concepts, yet allowing for a detailed exposition of the numerical algorithms for the solution of the proposed problems. Set-Theoretic Methods in Control will appeal to both researchers and practitioners in control engineering and applied mathematics. It is also well-suited as a textbook for graduate students in these areas. Praise for the First Edition "This is an excellent book, full of new ideas and collecting a lot of diverse material related to set-theoretic methods. It can be recommended to a wide control community audience." - B. T. Polyak, Mathematical Reviews "This book is an outstanding monograph of a recent research trend in control. It reflects the vast experience of the authors as well as their noticeable contributions to the development of this field...[It] is highly recommended to PhD students and researchers working in control engineering or applied mathematics. The material can also be used for graduate courses in these areas." - Octavian Pastravanu, Zentralblatt MATH
Download or read book Networked Predictive Control of Systems with Communication Constraints and Cyber Attacks written by Zhong-Hua Pang and published by Springer. This book was released on 2018-06-12 with total page 225 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book presents the latest results on predictive control of networked systems, where communication constraints (e.g., network-induced delays and packet dropouts) and cyber attacks (e.g., deception attacks and denial-of-service attacks) are considered. For the former, it proposes several networked predictive control (NPC) methods based on input-output models and state-space models respectively. For the latter, it designs secure NPC schemes from the perspectives of information security and real-time control. Furthermore, it uses practical experiments to demonstrate the effectiveness and applicability of all the methods, bridging the gap between control theory and practical applications. The book is of interest to academic researchers, R&D engineers, and graduate students in control engineering, networked control systems and cyber-physical systems.
