{"title":"Optimal Stealthy Deterministic Attack Strategies on Cyber-Physical Systems","authors":"Donny Cheng;Jun Shang;Tongwen Chen","doi":"10.1109/TCNS.2024.3445581","DOIUrl":"10.1109/TCNS.2024.3445581","url":null,"abstract":"In this article, we study optimal stealthy attacks on both the actuator and output communication channels of cyber-physical control systems. Using a deterministic attack framework, we ensure that the attacks are difficult for innovation-based detectors to perceive. In order to determine the maximum performance degradation that the attacks may cause, a general optimization problem that can be solved numerically is formulated for a finite attack length. For nondivergent systems over an infinite horizon, the optimal constant and alternating attacks are derived analytically for any system configuration. Characteristics of a novel low-dimensional sinusoidal class of attacks are investigated and procedures for optimization are given. Furthermore, a condition is provided for constant and alternating attacks to be superior to most or all sinusoidal attacks. Finally, numerical simulations are used to demonstrate the theoretical results.","PeriodicalId":56023,"journal":{"name":"IEEE Transactions on Control of Network Systems","volume":"12 1","pages":"152-164"},"PeriodicalIF":4.0,"publicationDate":"2024-08-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"142202385","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"Stabilization of Highly Nonlinear Time-Varying Coupled Systems With Regime Switching via Intermittent Discrete-Time Observation Control","authors":"Wenhua Wang;Mingrui Leng;Xiaoling Zou;Wenxue Li","doi":"10.1109/TCNS.2024.3431729","DOIUrl":"10.1109/TCNS.2024.3431729","url":null,"abstract":"In this article, we solve the problem of the practical stabilization of highly nonlinear time-varying coupled systems with regime switching (HTCSR) via periodically intermittent discrete-time observation control (PIDTOC). It is noteworthy that the coefficients in HTCSR satisfy the polynomial growth condition, which makes the model more practical. Meanwhile, PIDTOC is applied to achieve the practical stabilization of the system for the first time. By integrating the Lyapunov method and the graph theory, we have derived the moment boundedness of the global solution for HTCSR and sufficient conditions that ensure the practical stabilization of HTCSR. Finally, an application of the improved FitzHugh–Nagumo model and the corresponding numerical simulations are given to demonstrate the effectiveness of the theoretical results.","PeriodicalId":56023,"journal":{"name":"IEEE Transactions on Control of Network Systems","volume":"12 1","pages":"1018-1028"},"PeriodicalIF":4.0,"publicationDate":"2024-07-31","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141863934","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Jin Chen;Bayu Jayawardhana;Hector Garcia de Marina
{"title":"Distributed Distance-Based Formation-Motion Control of Unicycle Agents Without Orientation Measurements","authors":"Jin Chen;Bayu Jayawardhana;Hector Garcia de Marina","doi":"10.1109/TCNS.2024.3435148","DOIUrl":"10.1109/TCNS.2024.3435148","url":null,"abstract":"In this article, we present a distance-based distributed control law to simultaneously reach a desired rigid formation shape and to reach a constant consensus velocity where the whole group moves in unison. The local control law in each agent uses only local relative positions defined in a local coordinate frame, without the need to measure the orientation of its neighbors nor to exchange local state information with the neighbors. Using transversally exponential stability analysis, we establish the local exponential convergence of the closed-loop systems to the desired formation shape and consensus group motion. Numerical simulations are presented to show the effectiveness of our proposed method.","PeriodicalId":56023,"journal":{"name":"IEEE Transactions on Control of Network Systems","volume":"12 1","pages":"144-151"},"PeriodicalIF":4.0,"publicationDate":"2024-07-29","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141863935","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"Resilient Adaptive Stabilization for Nonlinear CPSs Dealing With Deception Attacks","authors":"Xinjun Wang;Ye Cao;Ben Niu;Huanqing Wang;Guangdeng Zong;Xudong Zhao","doi":"10.1109/TCNS.2024.3433968","DOIUrl":"10.1109/TCNS.2024.3433968","url":null,"abstract":"It is still an open problem to output feedback stabilization with input quantizations and deception attacks for nonlinear cyber-physical systems subject to mismatched parametric uncertainties via backstepping design. This is because: first, the system contains mismatched uncertainties; second the output is corrupted by an additional attack signal, making the conventional recursive control design strategy using traditional error surfaces unsuitable; and third, since only the compromised output signal is available, the impacts of nonlinear items related to unknown attack weights become difficult to be explicitly addressed in the existing available output feedback control results. In this article, we present a solution to circumvent these obstacles by constructing a set of new <inline-formula><tex-math>$K$</tex-math></inline-formula>-filters using compromised output only, which, together with a coordinate transformation involving the attacked output and filter variables, allow a new form of state-observer-based resilient adaptive control scheme to be developed. Meanwhile, a novel compensation term is incorporated into the real controller to eliminate the effect of quantization on the system stability. It is shown that, by establishing Lyapunov functions appropriately, the original output of the system converges to zero, and all the signals in the closed-loop system are globally uniformly bounded. A practice example is provided to confirm the effectiveness of the proposed strategy.","PeriodicalId":56023,"journal":{"name":"IEEE Transactions on Control of Network Systems","volume":"12 1","pages":"135-143"},"PeriodicalIF":4.0,"publicationDate":"2024-07-26","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141778254","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Jijun Qu;Zhijian Ji;Jirong Wang;Yungang Liu;Chong Lin
{"title":"Consensus Protocol-Based Reachable Nodes in the Controllability of Directed Graphs","authors":"Jijun Qu;Zhijian Ji;Jirong Wang;Yungang Liu;Chong Lin","doi":"10.1109/TCNS.2024.3432950","DOIUrl":"10.1109/TCNS.2024.3432950","url":null,"abstract":"In this article, we discuss the controllability of reachable nodes in directed graphs over consensus protocol. A node is called a reachable node if there is a path from an input to this node, otherwise unreachable node. The rows in the controllability matrix associated with unreachable nodes are shown to be zero rows, and a prerequisite for controllability is that all nodes are reachable. A method for constructing controllable directed graphs is provided later in this article. If the in-degrees of all nodes are distinct, and there are neither sibling nodes nor unreachable nodes, the system is controllable. A subsystem composed of reachable nodes is called a reachable subsystem. All reachable nodes are proved to be controllable if and only if the reachable subsystem is controllable. For a reachable subsystem with a tree graph, a necessary and sufficient condition for controllability is given. Besides, if the reachable subsystem with a tree graph is uncontrollable, a graphical method is given to identify the dimension of controllable subspace.","PeriodicalId":56023,"journal":{"name":"IEEE Transactions on Control of Network Systems","volume":"12 1","pages":"96-103"},"PeriodicalIF":4.0,"publicationDate":"2024-07-24","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141778260","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"Distributed Optimal Control of Multiagent Systems Under Control Variation Cost","authors":"Qingyun Zhang;Fei Chen;Jing Yuan;Zhongxin Liu;Gang Feng","doi":"10.1109/TCNS.2024.3432948","DOIUrl":"10.1109/TCNS.2024.3432948","url":null,"abstract":"In this article, we aim at developing distributed optimal control for multiagent systems over an undirected network topology. The distinguishing feature of this work in comparison to the existing literature is that the cost of control variation is taken into account, which is expected to yield a better control strategy for engineering applications. The inclusion of control variation in the cost function presents significant challenges in both the design of the corresponding distributed optimal control and the convergence analysis of the resulting closed-loop system. By properly designing the network cost, it is shown that the optimal control law always exists, and the explicit expression of the optimal control gain is given. These results offer some useful insights into the distributed optimal control of multiagent systems, in terms of the tuning of control parameters and design of network topologies. A numerical example is provided to validate the theoretical findings.","PeriodicalId":56023,"journal":{"name":"IEEE Transactions on Control of Network Systems","volume":"12 1","pages":"104-113"},"PeriodicalIF":4.0,"publicationDate":"2024-07-24","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141778257","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"Data-Driven Distributed Spectrum Estimation for Linear Time-Invariant Systems","authors":"Shenyu Liu;Jorge Cortés;Sonia Martínez","doi":"10.1109/TCNS.2024.3432816","DOIUrl":"10.1109/TCNS.2024.3432816","url":null,"abstract":"This article tackles spectrum estimation of a linear time-invariant system by a multiagent network using data. We consider a group of agents that communicate over a strongly connected, aperiodic graph and do not have any knowledge of the system dynamics. Each agent only measures some signals that are linear functions of the system states or inputs, and does not know the functional form of this dependence. The proposed distributed algorithm consists of two steps that rely on the collected data: first, the identification of an unforced trajectory of the system, and second, the estimation of the coefficients of the characteristic polynomial of the system matrix using this unforced trajectory. We show that each step can be formulated as a problem of finding a common solution to a set of linear algebraic equations, which are amenable to distributed algorithmic solutions. We prove that under mild assumptions on the collected data, when the initial condition of the system is random, the proposed distributed algorithm accurately estimates the spectrum with probability 1.","PeriodicalId":56023,"journal":{"name":"IEEE Transactions on Control of Network Systems","volume":"12 1","pages":"1125-1136"},"PeriodicalIF":4.0,"publicationDate":"2024-07-24","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141778255","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"Resilient Event-Triggered Containment Control of Multiagent Systems Under Asynchronous DoS Attacks and Disturbances","authors":"Mohammad Mousavian;Hajar Atrianfar","doi":"10.1109/TCNS.2024.3432951","DOIUrl":"10.1109/TCNS.2024.3432951","url":null,"abstract":"The distributed event-triggered controller is proposed for the containment control of linear multiagent systems under asynchronous denial of service (DoS) cyber-attacks and external disturbances. Using disturbance observer, event-triggered containment control under DoS attacks and disturbance is guaranteed. It is assumed that separate attacks occurred on the control channels and the communication channels. Moreover, when effective DoS attacks occur, it becomes impossible to communicate data through a communication network, and if the DoS attack is ineffective, the topology graph has a united directed spanning tree. Our method does not require the continuous sharing of state information between neighboring agents; rather, at event times, information is sent to reduce the consumption of communication resources. Using state estimators, trigger times are determined according to the estimator's data without any continuous information of the neighbor's state. Using accurate analysis of the time and frequency of DoS attacks, the resilient conditions are obtained, and then, exponential stability of containment behavior under asynchronous attacks is proved by Lyapunov analysis. Moreover, the obtained strictly positive minimal interevent time for agents prevents Zeno behavior. Finally, the performance of the proposed method is shown by simulation.","PeriodicalId":56023,"journal":{"name":"IEEE Transactions on Control of Network Systems","volume":"12 1","pages":"85-95"},"PeriodicalIF":4.0,"publicationDate":"2024-07-24","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141778256","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"Robustness Study for Networked Event-Based Control System Under Regular Quantization With Hysteresis Sampling","authors":"Oscar Miguel-Escrig;Julio-Ariel Romero-Pérez","doi":"10.1109/TCNS.2024.3432949","DOIUrl":"10.1109/TCNS.2024.3432949","url":null,"abstract":"In this article, the robustness against the apparition of limit cycle oscillations induced by a class of event-based sampling used in networked control systems is analyzed. Concretely, the regular quantization with hysteresis sampling strategy is considered in this article. A robustness measure is proposed to characterize the apparition of limit cycle oscillations. This measure allows analyzing the stability of networked control systems in the frequency domain, which enables to use it in combination with other analysis and design tools available in this field. In this sense, this article shows the applicability of the proposed margin to evaluate the performance of some well-known proportional integral derivative (PID) design methods when applied to networked control systems. This article also includes an experimental part in which the validity of the proposed study is proved.","PeriodicalId":56023,"journal":{"name":"IEEE Transactions on Control of Network Systems","volume":"12 1","pages":"125-134"},"PeriodicalIF":4.0,"publicationDate":"2024-07-24","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://ieeexplore.ieee.org/stamp/stamp.jsp?tp=&arnumber=10608451","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141778258","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"OA","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"A Decentralized Polytopic Control Design for a Nonlinear Grid-Forming Inverter Model","authors":"Yemi Ojo;Khaled Laib","doi":"10.1109/TCNS.2024.3432814","DOIUrl":"10.1109/TCNS.2024.3432814","url":null,"abstract":"Autonomous inverter-based microgrids present new operational challenges, as the stabilizing inertia of synchronous generators is absent. The design of efficient control policies for grid-forming inverters is, however, a nontrivial problem where multiple control objectives need to be satisfied. We consider the problem of designing a controller that achieves desirable objectives. We propose in this article a decentralized polytopic control design that yields a state feedback voltage controller that stabilizes the inverters in the presence of droop-like controllers aiming to achieve power sharing. The voltage controller is synthesized via a convex optimization problem that uses a detailed nonlinear inverter model, where the nonlinearities are taken into account via a quasi-linear parameter-varying formulation. Our control design guarantees stability and plug-and-play capability via a decentralized condition with passivity properties, and appropriate performance specifications are satisfied, including voltage tracking capability, restricted control input, and robustness to state deviations. Our approach allows using a user-defined operating point, and through the polytopic control design, it allows us to take into account the bounds on the inverter state deviations. The performance of the controller is illustrated via simulations with detailed nonlinear models in a realistic setting.","PeriodicalId":56023,"journal":{"name":"IEEE Transactions on Control of Network Systems","volume":"12 1","pages":"1163-1175"},"PeriodicalIF":4.0,"publicationDate":"2024-07-24","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141778262","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}