首页 > 最新文献

IEEE Transactions on Control of Network Systems最新文献

英文 中文
A Predictive Control Strategy for Remotely Maneuvered Wheeled Mobile Robots Enabling Setpoint Attack Detection 基于设定值攻击检测的远程机动轮式移动机器人预测控制策略
IF 5 3区 计算机科学 Q2 AUTOMATION & CONTROL SYSTEMS Pub Date : 2025-03-18 DOI: 10.1109/TCNS.2025.3552474
Cristian Tiriolo;Mattia Cersullo;Giuseppe Franzè;Walter Lucia
In this article, we consider remotely maneuvered differential-drive robots whose tracking controller is implemented on-board while the desired reference signal is generated by a remote control center and transmitted using a wireless communication channel potentially prone to cyber-attacks. Here, we develop a novel networked control architecture that allows the robot to track a given reference signal while enabling, on the robot's side, the detection of false data injections on the setpoint (reference) signal. The proposed solution takes advantage of a feedback linearized model of the vehicle kinematic model, a detector unit, and the coupled actions of two distributed predictive command governor modules installed at the two ends of the communication channel. We show that the resulting architecture guarantees constraints fulfillment and the absence of stealthy setpoint attacks. Laboratory experiments on a Khepera IV robot testify to the effectiveness of the proposed solution.
在本文中,我们考虑了远程操纵的差速驱动机器人,其跟踪控制器实现在车载,而所需的参考信号由远程控制中心产生,并使用可能容易受到网络攻击的无线通信信道传输。在这里,我们开发了一种新颖的网络控制架构,使机器人能够跟踪给定的参考信号,同时在机器人方面能够检测设定值(参考)信号上的假数据注入。该方案利用了车辆运动学模型的反馈线性化模型、检测器单元以及安装在通信信道两端的两个分布式预测命令调控模块的耦合作用。我们证明了所得到的架构保证了约束的实现和不存在隐形设定值攻击。在Khepera IV机器人上的实验室实验证明了所提出的解决方案的有效性。
{"title":"A Predictive Control Strategy for Remotely Maneuvered Wheeled Mobile Robots Enabling Setpoint Attack Detection","authors":"Cristian Tiriolo;Mattia Cersullo;Giuseppe Franzè;Walter Lucia","doi":"10.1109/TCNS.2025.3552474","DOIUrl":"https://doi.org/10.1109/TCNS.2025.3552474","url":null,"abstract":"In this article, we consider remotely maneuvered differential-drive robots whose tracking controller is implemented on-board while the desired reference signal is generated by a remote control center and transmitted using a wireless communication channel potentially prone to cyber-attacks. Here, we develop a novel networked control architecture that allows the robot to track a given reference signal while enabling, on the robot's side, the detection of false data injections on the setpoint (reference) signal. The proposed solution takes advantage of a feedback linearized model of the vehicle kinematic model, a detector unit, and the coupled actions of two distributed predictive command governor modules installed at the two ends of the communication channel. We show that the resulting architecture guarantees constraints fulfillment and the absence of stealthy setpoint attacks. Laboratory experiments on a Khepera IV robot testify to the effectiveness of the proposed solution.","PeriodicalId":56023,"journal":{"name":"IEEE Transactions on Control of Network Systems","volume":"12 3","pages":"2077-2087"},"PeriodicalIF":5.0,"publicationDate":"2025-03-18","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"145315450","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}
引用次数: 0
Distributed Aggregative Optimization Algorithm for Solving Multirobot Formation Problem 求解多机器人编队问题的分布式聚合优化算法
IF 5 3区 计算机科学 Q2 AUTOMATION & CONTROL SYSTEMS Pub Date : 2025-03-18 DOI: 10.1109/TCNS.2025.3552468
Jingyi Huang;Chuanhai Yang;Shuang Wu;Qingshan Liu
This article investigates a distributed aggregative optimization problem, focusing on formation control within local constraint sets over a multirobot system. Each robot's local objective function is influenced by its specific decision variables and an aggregation information that incorporates the decision variables of all robots. In the multirobot system, each robot has messages pertaining to its individual constraints and objective function, along with the formation configuration information that interacts with the formation reference center. Drawing on gradient tracking technique and projection method, a fixed-step distributed optimization algorithm is proposed to solve the multirobot formation problem. Utilizing the Lyapunov method, the asymptotic convergence of the algorithm is rigorously analyzed. Furthermore, the proposed algorithm is integrated with the Hungarian algorithm to develop the distributed aggregative task assignment and formation (DA-TAF) algorithm, which addresses formation and task allocation problems in multirobot systems. Finally, the performance of the DA-TAF algorithm is demonstrated through numerical simulations and formation control experiments implemented using automated guided vehicle platforms.
本文研究了一个分布式聚合优化问题,重点研究了多机器人系统局部约束集合下的群体控制问题。每个机器人的局部目标函数受其特定决策变量和包含所有机器人决策变量的聚合信息的影响。在多机器人系统中,每个机器人都有与其个体约束和目标函数相关的信息,以及与编队参考中心交互的编队配置信息。利用梯度跟踪技术和投影法,提出了一种求解多机器人编队问题的固定步长分布式优化算法。利用Lyapunov方法,严格分析了该算法的渐近收敛性。此外,该算法与匈牙利算法相结合,开发了分布式聚合任务分配和编队(DA-TAF)算法,解决了多机器人系统中的编队和任务分配问题。最后,通过数值模拟和在自动制导车辆平台上实施的编队控制实验,验证了DA-TAF算法的性能。
{"title":"Distributed Aggregative Optimization Algorithm for Solving Multirobot Formation Problem","authors":"Jingyi Huang;Chuanhai Yang;Shuang Wu;Qingshan Liu","doi":"10.1109/TCNS.2025.3552468","DOIUrl":"https://doi.org/10.1109/TCNS.2025.3552468","url":null,"abstract":"This article investigates a distributed aggregative optimization problem, focusing on formation control within local constraint sets over a multirobot system. Each robot's local objective function is influenced by its specific decision variables and an aggregation information that incorporates the decision variables of all robots. In the multirobot system, each robot has messages pertaining to its individual constraints and objective function, along with the formation configuration information that interacts with the formation reference center. Drawing on gradient tracking technique and projection method, a fixed-step distributed optimization algorithm is proposed to solve the multirobot formation problem. Utilizing the Lyapunov method, the asymptotic convergence of the algorithm is rigorously analyzed. Furthermore, the proposed algorithm is integrated with the Hungarian algorithm to develop the distributed aggregative task assignment and formation (DA-TAF) algorithm, which addresses formation and task allocation problems in multirobot systems. Finally, the performance of the DA-TAF algorithm is demonstrated through numerical simulations and formation control experiments implemented using automated guided vehicle platforms.","PeriodicalId":56023,"journal":{"name":"IEEE Transactions on Control of Network Systems","volume":"12 3","pages":"2102-2114"},"PeriodicalIF":5.0,"publicationDate":"2025-03-18","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"145315436","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}
引用次数: 0
Consensus Controllability for Node and Edge Multiagent Systems 节点和边缘多智能体系统的一致性可控性
IF 5 3区 计算机科学 Q2 AUTOMATION & CONTROL SYSTEMS Pub Date : 2025-03-18 DOI: 10.1109/TCNS.2025.3552471
Lifan Kang;Zhijian Ji;Yungang Liu;Chong Lin
The multiagent controllability of both node and edge dynamics depends on the communication topology, leader selection, as well as the weight adjustments. This article deals with the controllability relationship between node dynamics and edge dynamics using an edge dynamics model that describes the states of nodes and edges. According to the number of nodes $N$ and edges $M$, topology graphs are divided into three categories: $N>M$, $N=M$, and $N< M$. Sufficient and necessary conditions are derived for determining the controllability relationship between node and edge dynamics, under which a large number of general, special, and mixed topology graphs are analyzed and verified. In cases where $N>M$, the uncontrollable node and edge dynamics are converted to a controllable situation by adding leaders or adjusting weights. Finally, algorithms are provided to validate the effectiveness of the outcomes.
节点和边缘动态的多智能体可控制性取决于通信拓扑、leader选择和权值调整。本文使用描述节点和边缘状态的边缘动力学模型来处理节点动力学和边缘动力学之间的可控性关系。根据节点数$N$和边数$M$,拓扑图分为$N>;M$、$N=M$和$N<; M$三类。导出了确定节点与边缘动态可控性关系的充分必要条件,并在此条件下对大量的一般、特殊和混合拓扑图进行了分析和验证。在$N>;M$的情况下,通过添加leader或调整权值,将不可控的节点和边缘动态转换为可控的情况。最后,给出了验证结果有效性的算法。
{"title":"Consensus Controllability for Node and Edge Multiagent Systems","authors":"Lifan Kang;Zhijian Ji;Yungang Liu;Chong Lin","doi":"10.1109/TCNS.2025.3552471","DOIUrl":"https://doi.org/10.1109/TCNS.2025.3552471","url":null,"abstract":"The multiagent controllability of both node and edge dynamics depends on the communication topology, leader selection, as well as the weight adjustments. This article deals with the controllability relationship between node dynamics and edge dynamics using an edge dynamics model that describes the states of nodes and edges. According to the number of nodes <inline-formula><tex-math>$N$</tex-math></inline-formula> and edges <inline-formula><tex-math>$M$</tex-math></inline-formula>, topology graphs are divided into three categories: <inline-formula><tex-math>$N&gt;M$</tex-math></inline-formula>, <inline-formula><tex-math>$N=M$</tex-math></inline-formula>, and <inline-formula><tex-math>$N&lt; M$</tex-math></inline-formula>. Sufficient and necessary conditions are derived for determining the controllability relationship between node and edge dynamics, under which a large number of general, special, and mixed topology graphs are analyzed and verified. In cases where <inline-formula><tex-math>$N&gt;M$</tex-math></inline-formula>, the uncontrollable node and edge dynamics are converted to a controllable situation by adding leaders or adjusting weights. Finally, algorithms are provided to validate the effectiveness of the outcomes.","PeriodicalId":56023,"journal":{"name":"IEEE Transactions on Control of Network Systems","volume":"12 3","pages":"2088-2101"},"PeriodicalIF":5.0,"publicationDate":"2025-03-18","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"145315444","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}
引用次数: 0
Distributed Safety-Critical Optimal Flocking Control Algorithm With Feasibility Enhancement of High-Order Control Barrier Function 基于高阶控制屏障函数增强的分布式安全临界最优群集控制算法
IF 5 3区 计算机科学 Q2 AUTOMATION & CONTROL SYSTEMS Pub Date : 2025-03-18 DOI: 10.1109/TCNS.2025.3552452
Yeongho Song;Ngo Phong Nguyen;Hwi-Sung Park;Youngbin You;Min Lee;Hyondong Oh
This article proposes a distributed safety-critical optimal flocking control algorithm for the multiagent system. In general, safety (i.e., collision avoidance) could be guaranteed by the use of a control barrier function (CBF) as constraints in the optimal control problem. However, the existence of conflicting safety constraints from multiple agents could lead to a feasibility problem (i.e., the absence of a feasible control command) in distributed optimal flocking control algorithms. To deal with this issue, we propose two effective feasibility enhancement approaches. First, we develop a high-order CBF associated with the collision risk to alleviate the burden of distributed safety constraints on agents with a high risk of collision. Second, to enhance feasibility, a relaxation method is used to enlarge the allowable control space of agents. In particular, to decrease the number of optimization variables in the relaxation method, a selective strategy is adopted. This involves applying the relaxation method only to specific CBF based on the decision variable related to the overlap of admissible control spaces among agents. Numerical simulations demonstrate the superiority and validity of the proposed optimal flocking algorithm compared with existing approaches.
针对多智能体系统,提出了一种分布式安全关键型最优群集控制算法。一般来说,安全(即避免碰撞)可以通过使用控制障碍函数(CBF)作为最优控制问题的约束来保证。然而,在分布式最优群集控制算法中,由于多个智能体存在相互冲突的安全约束,导致缺乏可行的控制命令。针对这一问题,我们提出了两种有效的可行性增强途径。首先,我们开发了一个与碰撞风险相关的高阶CBF,以减轻分布式安全约束对具有高碰撞风险的agent的负担。其次,为了提高可行性,采用松弛法扩大智能体的允许控制空间。特别地,为了减少松弛法中优化变量的数量,采用了选择性策略。这涉及到基于与智能体之间可接受控制空间重叠相关的决策变量,将松弛方法仅应用于特定的CBF。数值仿真结果表明,该算法与现有算法相比具有优越性和有效性。
{"title":"Distributed Safety-Critical Optimal Flocking Control Algorithm With Feasibility Enhancement of High-Order Control Barrier Function","authors":"Yeongho Song;Ngo Phong Nguyen;Hwi-Sung Park;Youngbin You;Min Lee;Hyondong Oh","doi":"10.1109/TCNS.2025.3552452","DOIUrl":"https://doi.org/10.1109/TCNS.2025.3552452","url":null,"abstract":"This article proposes a distributed safety-critical optimal flocking control algorithm for the multiagent system. In general, safety (i.e., collision avoidance) could be guaranteed by the use of a control barrier function (CBF) as constraints in the optimal control problem. However, the existence of conflicting safety constraints from multiple agents could lead to a feasibility problem (i.e., the absence of a feasible control command) in distributed optimal flocking control algorithms. To deal with this issue, we propose two effective feasibility enhancement approaches. First, we develop a high-order CBF associated with the collision risk to alleviate the burden of distributed safety constraints on agents with a high risk of collision. Second, to enhance feasibility, a relaxation method is used to enlarge the allowable control space of agents. In particular, to decrease the number of optimization variables in the relaxation method, a selective strategy is adopted. This involves applying the relaxation method only to specific CBF based on the decision variable related to the overlap of admissible control spaces among agents. Numerical simulations demonstrate the superiority and validity of the proposed optimal flocking algorithm compared with existing approaches.","PeriodicalId":56023,"journal":{"name":"IEEE Transactions on Control of Network Systems","volume":"12 3","pages":"2052-2063"},"PeriodicalIF":5.0,"publicationDate":"2025-03-18","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"145315372","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}
引用次数: 0
Input-to-State Stability of Nonlinear Time-Delay Coupled Systems on Networks With Delay-Dependent Impulses 时滞相关脉冲网络上非线性时滞耦合系统的输入状态稳定性
IF 5 3区 计算机科学 Q2 AUTOMATION & CONTROL SYSTEMS Pub Date : 2025-03-16 DOI: 10.1109/TCNS.2025.3570929
Hongxiao Hu;Hong Yang;Liguang Xu;Zhengtao Ding
In this article, the input-to-state stable (ISS) problem is addressed for nonlinear delayed coupled systems on networks (CSNs) with delay-dependent impulses. Utilizing graph theory and Lyapunov–Krasovskii method, an ISS Lyapunov function for the entire network is formulated built upon the ISS Lyapunov functions of individual vertex systems, and sufficient conditions of ISS for general nonlinear delayed impulsive CSNs are obtained. It is shown that, when every continuous vertex system is ISS, the nonlinear delayed impulsive coupled systems according to a directed graph can still maintain the ISS property provided destabilizing impulses occur infrequently. Compared with the existing results on impulsive CSNs, our results are more general and easier to verify. In addition, we provide a simulation example to demonstrate the usefulness of the obtained results.
本文研究了具有时滞相关脉冲的网络(csn)上的非线性延迟耦合系统的输入状态稳定问题。利用图论和Lyapunov - krasovskii方法,在单个顶点系统的ISS Lyapunov函数的基础上,构造了整个网络的ISS Lyapunov函数,得到了一般非线性延迟脉冲cns存在ISS的充分条件。结果表明,当每个连续顶点系统都是ISS时,如果不稳定脉冲不频繁出现,根据有向图的非线性延迟脉冲耦合系统仍然保持ISS性质。与已有的脉冲cns结果相比,我们的结果更具有通用性,也更易于验证。此外,我们还提供了一个仿真示例来证明所得结果的有效性。
{"title":"Input-to-State Stability of Nonlinear Time-Delay Coupled Systems on Networks With Delay-Dependent Impulses","authors":"Hongxiao Hu;Hong Yang;Liguang Xu;Zhengtao Ding","doi":"10.1109/TCNS.2025.3570929","DOIUrl":"https://doi.org/10.1109/TCNS.2025.3570929","url":null,"abstract":"In this article, the input-to-state stable (ISS) problem is addressed for nonlinear delayed coupled systems on networks (CSNs) with delay-dependent impulses. Utilizing graph theory and Lyapunov–Krasovskii method, an ISS Lyapunov function for the entire network is formulated built upon the ISS Lyapunov functions of individual vertex systems, and sufficient conditions of ISS for general nonlinear delayed impulsive CSNs are obtained. It is shown that, when every continuous vertex system is ISS, the nonlinear delayed impulsive coupled systems according to a directed graph can still maintain the ISS property provided destabilizing impulses occur infrequently. Compared with the existing results on impulsive CSNs, our results are more general and easier to verify. In addition, we provide a simulation example to demonstrate the usefulness of the obtained results.","PeriodicalId":56023,"journal":{"name":"IEEE Transactions on Control of Network Systems","volume":"12 3","pages":"2437-2446"},"PeriodicalIF":5.0,"publicationDate":"2025-03-16","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"145110299","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}
引用次数: 0
Distributed Fault-Tolerant Formation Tracking of Networked Quadrotors Using Cascade Estimators 基于级联估计的网络四旋翼机分布式容错编队跟踪
IF 5 3区 计算机科学 Q2 AUTOMATION & CONTROL SYSTEMS Pub Date : 2025-03-16 DOI: 10.1109/TCNS.2025.3570924
Kewei Xia;Jiahan Peng;Yao Zou;Zongyu Zuo
This article presents a distributed fault-tolerant control strategy that consists of a fully distributed position controller and an attitude constrained controller for the leader–follower formation of networked quadrotor autonomous aerial vehicle systems in the presence of actuator fault and external disturbance. A distributed position controller is first developed for each follower quadrotor to ensure the formation tracking to the leader, where cascade estimators consisting of a filter-based dynamics estimator and a fixed-time estimator are exploited to completely counteract the actuator fault and external disturbance. Then, based on the cascade estimators development, by introducing a nonlinear transformation, a robust attitude constrained controller is proposed to guarantee the command attitude tracking singularity free. Stability analysis demonstrates that the closed-loop systems are asymptotically stable. Experiment results further verify and assess the proposed control strategy.
针对网络化四旋翼无人机系统存在执行器故障和外部干扰的情况,提出了一种由全分布式位置控制器和姿态约束控制器组成的分布式容错控制策略。首先为每个从动四旋翼飞行器设计了分布式位置控制器,以保证编队跟踪到领头飞行器,其中利用基于滤波器的动态估计器和固定时间估计器组成的级联估计器来完全抵消执行器故障和外部干扰。然后,在串级估计器发展的基础上,通过引入非线性变换,提出了一种鲁棒姿态约束控制器,保证了命令姿态跟踪无奇点;稳定性分析表明,闭环系统是渐近稳定的。实验结果进一步验证和评估了所提出的控制策略。
{"title":"Distributed Fault-Tolerant Formation Tracking of Networked Quadrotors Using Cascade Estimators","authors":"Kewei Xia;Jiahan Peng;Yao Zou;Zongyu Zuo","doi":"10.1109/TCNS.2025.3570924","DOIUrl":"https://doi.org/10.1109/TCNS.2025.3570924","url":null,"abstract":"This article presents a distributed fault-tolerant control strategy that consists of a fully distributed position controller and an attitude constrained controller for the leader–follower formation of networked quadrotor autonomous aerial vehicle systems in the presence of actuator fault and external disturbance. A distributed position controller is first developed for each follower quadrotor to ensure the formation tracking to the leader, where cascade estimators consisting of a filter-based dynamics estimator and a fixed-time estimator are exploited to completely counteract the actuator fault and external disturbance. Then, based on the cascade estimators development, by introducing a nonlinear transformation, a robust attitude constrained controller is proposed to guarantee the command attitude tracking singularity free. Stability analysis demonstrates that the closed-loop systems are asymptotically stable. Experiment results further verify and assess the proposed control strategy.","PeriodicalId":56023,"journal":{"name":"IEEE Transactions on Control of Network Systems","volume":"12 3","pages":"2416-2427"},"PeriodicalIF":5.0,"publicationDate":"2025-03-16","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"145110240","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}
引用次数: 0
Active Defense Strategy in Cyber-Physical Systems: Misleading Unauthorized Observers 网络物理系统中的主动防御策略:误导未经授权的观察者
IF 5 3区 计算机科学 Q2 AUTOMATION & CONTROL SYSTEMS Pub Date : 2025-03-16 DOI: 10.1109/TCNS.2025.3570931
Ghadeer Shaaban;Hassen Fourati;Alain Kibangou;Christophe Prieur
Securing cyber-physical systems (CPS) is a critical concern, extensively explored in the literature. Traditional approaches involve developing detectors to identify cyber-attacks or implementing passive defense strategies, such as encrypting communication channels and using firewalls. Differently, in this article, we address the challenge of securing CPS against unauthorized observers, which aims to estimate the system states by eavesdropping on system input and output. An active defense strategy, called misleading unauthorized observer, that modifies input–output signals in order to mislead the unauthorized observer, is introduced. These modifications are additional signals undetectable by innovation-based or residual-based detectors and designed with the aim of arbitrarily increasing the estimation error at the unauthorized observer side. For this purpose, system properties required for guaranteeing the existence of such a defense strategy are stated. Then, the design of these additional signals is formulated as an optimization problem with undetectability constraints. The effectiveness of the proposed approach is validated through simulations of a moving body in the XY plane, demonstrating how the active defending system successfully misleads the unauthorized observer.
保护网络物理系统(CPS)是一个关键问题,在文献中广泛探讨。传统的方法包括开发检测器来识别网络攻击或实施被动防御策略,例如加密通信通道和使用防火墙。不同的是,在本文中,我们解决了保护CPS免受未经授权的观察者的挑战,其目的是通过窃听系统输入和输出来估计系统状态。引入了一种主动防御策略,即误导非授权观察者,通过修改输入输出信号来误导非授权观察者。这些修改是基于创新或基于残差的检测器无法检测到的附加信号,其设计目的是任意增加未经授权的观测器侧的估计误差。为此,说明了保证这种防御策略存在所需的系统属性。然后,将这些附加信号的设计表述为具有不可检测约束的优化问题。通过在XY平面上运动物体的仿真验证了该方法的有效性,演示了主动防御系统如何成功地误导未经授权的观察者。
{"title":"Active Defense Strategy in Cyber-Physical Systems: Misleading Unauthorized Observers","authors":"Ghadeer Shaaban;Hassen Fourati;Alain Kibangou;Christophe Prieur","doi":"10.1109/TCNS.2025.3570931","DOIUrl":"https://doi.org/10.1109/TCNS.2025.3570931","url":null,"abstract":"Securing cyber-physical systems (CPS) is a critical concern, extensively explored in the literature. Traditional approaches involve developing detectors to identify cyber-attacks or implementing passive defense strategies, such as encrypting communication channels and using firewalls. Differently, in this article, we address the challenge of securing CPS against unauthorized observers, which aims to estimate the system states by eavesdropping on system input and output. An active defense strategy, called misleading unauthorized observer, that modifies input–output signals in order to mislead the unauthorized observer, is introduced. These modifications are additional signals undetectable by innovation-based or residual-based detectors and designed with the aim of arbitrarily increasing the estimation error at the unauthorized observer side. For this purpose, system properties required for guaranteeing the existence of such a defense strategy are stated. Then, the design of these additional signals is formulated as an optimization problem with undetectability constraints. The effectiveness of the proposed approach is validated through simulations of a moving body in the <italic>XY</i> plane, demonstrating how the active defending system successfully misleads the unauthorized observer.","PeriodicalId":56023,"journal":{"name":"IEEE Transactions on Control of Network Systems","volume":"12 3","pages":"2404-2415"},"PeriodicalIF":5.0,"publicationDate":"2025-03-16","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"145110264","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}
引用次数: 0
Distributed Observer for Descriptor Linear System: The Luenberger Observer Method 广义线性系统的分布式观测器:Luenberger观测器方法
IF 5 3区 计算机科学 Q2 AUTOMATION & CONTROL SYSTEMS Pub Date : 2025-03-16 DOI: 10.1109/TCNS.2025.3570927
Shuai Liu;Haotian Xu
This article concerns the distributed observer for the descriptor linear system. Unlike centralized descriptor system observers, in the case of distributed observers, each agent either finds it difficult to independently eliminate impulses, or the observer dynamics after eliminating pulses cannot be implemented. To overcome this issue, this article develops the structure of the distributed observer in two different scenarios, and the observer parameters are presented through a novel design. Moreover, we provide two implementation methods for distributed observer in different scenarios. As a result, each local observer has the ability to reconstruct the states of the underlying system, including its impulse phenomenon. Finally, simulation results verify the validity of our results.
本文研究广义线性系统的分布式观测器。与集中式描述符系统观测器不同,在分布式观测器的情况下,每个智能体要么难以独立消除脉冲,要么无法实现消除脉冲后的观测器动态。为了克服这一问题,本文在两种不同的场景下开发了分布式观测器的结构,并通过一种新的设计给出了观测器的参数。此外,我们还提供了分布式观测器在不同场景下的两种实现方法。因此,每个局部观察者都有能力重建底层系统的状态,包括它的脉冲现象。最后,仿真结果验证了研究结果的有效性。
{"title":"Distributed Observer for Descriptor Linear System: The Luenberger Observer Method","authors":"Shuai Liu;Haotian Xu","doi":"10.1109/TCNS.2025.3570927","DOIUrl":"https://doi.org/10.1109/TCNS.2025.3570927","url":null,"abstract":"This article concerns the distributed observer for the descriptor linear system. Unlike centralized descriptor system observers, in the case of distributed observers, each agent either finds it difficult to independently eliminate impulses, or the observer dynamics after eliminating pulses cannot be implemented. To overcome this issue, this article develops the structure of the distributed observer in two different scenarios, and the observer parameters are presented through a novel design. Moreover, we provide two implementation methods for distributed observer in different scenarios. As a result, each local observer has the ability to reconstruct the states of the underlying system, including its impulse phenomenon. Finally, simulation results verify the validity of our results.","PeriodicalId":56023,"journal":{"name":"IEEE Transactions on Control of Network Systems","volume":"12 3","pages":"2447-2459"},"PeriodicalIF":5.0,"publicationDate":"2025-03-16","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"145110244","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}
引用次数: 0
Prescribed-Time Nash Equilibrium Seeking for Pursuit–Evasion Game Under Intermittent Control With Undirected/Directed Graph 无向/有向图间歇控制下追逃博弈的规定时间纳什均衡寻求
IF 5 3区 计算机科学 Q2 AUTOMATION & CONTROL SYSTEMS Pub Date : 2025-03-16 DOI: 10.1109/TCNS.2025.3570932
Lei Xue;Jianfeng Ye;Yongbao Wu;Jian Liu;D. C. Wunsch
This article studies the prescribed-time Nash equilibrium (PTNE) seeking problem of the pursuit–evasion game (PEG) with second-order dynamics under the intermittent control (IC) strategy. To achieve Nash equilibrium (NE) in a user-defined prescribed time, a time-varying high-gain function is incorporated into the design. The core challenge lies in applying IC to NE seeking, which complicates the convergence analysis and control design. To address this sticking point, we construct an auxiliary function and propose a Lyapunov function considering second-order dynamics to solve the PTNE seeking problem of PEG. Building upon the results for undirected graphs, we further extend our findings to directed graphs, demonstrating that the proposed method can reach the NE of PEG under IC in the prescribed time. Moreover, we generalize the approach to noncooperative games, indicating that the prescribed-time IC framework can effectively solve the PTNE seeking problem in such competitive scenarios. The numerical simulations validate the practicality of the proposed method.
本文研究了间歇控制策略下二阶动态追逃博弈的规定时间纳什均衡寻优问题。为了在用户定义的规定时间内实现纳什均衡(NE),在设计中加入了时变高增益函数。其核心挑战在于将集成电路应用于NE查找,使收敛分析和控制设计变得复杂。为了解决这个问题,我们构造了一个辅助函数,并提出了一个考虑二阶动力学的Lyapunov函数来解决聚乙二醇的PTNE寻找问题。在无向图结果的基础上,我们进一步将我们的发现扩展到有向图,表明所提出的方法可以在规定的时间内达到IC下PEG的NE。此外,我们将该方法推广到非合作博弈中,表明规定时间IC框架可以有效地解决这种竞争场景下的PTNE寻找问题。数值仿真验证了该方法的实用性。
{"title":"Prescribed-Time Nash Equilibrium Seeking for Pursuit–Evasion Game Under Intermittent Control With Undirected/Directed Graph","authors":"Lei Xue;Jianfeng Ye;Yongbao Wu;Jian Liu;D. C. Wunsch","doi":"10.1109/TCNS.2025.3570932","DOIUrl":"https://doi.org/10.1109/TCNS.2025.3570932","url":null,"abstract":"This article studies the prescribed-time Nash equilibrium (PTNE) seeking problem of the pursuit–evasion game (PEG) with second-order dynamics under the intermittent control (IC) strategy. To achieve Nash equilibrium (NE) in a user-defined prescribed time, a time-varying high-gain function is incorporated into the design. The core challenge lies in applying IC to NE seeking, which complicates the convergence analysis and control design. To address this sticking point, we construct an auxiliary function and propose a Lyapunov function considering second-order dynamics to solve the PTNE seeking problem of PEG. Building upon the results for undirected graphs, we further extend our findings to directed graphs, demonstrating that the proposed method can reach the NE of PEG under IC in the prescribed time. Moreover, we generalize the approach to noncooperative games, indicating that the prescribed-time IC framework can effectively solve the PTNE seeking problem in such competitive scenarios. The numerical simulations validate the practicality of the proposed method.","PeriodicalId":56023,"journal":{"name":"IEEE Transactions on Control of Network Systems","volume":"12 3","pages":"2428-2436"},"PeriodicalIF":5.0,"publicationDate":"2025-03-16","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"145110248","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}
引用次数: 0
Finite-Time Max-Consensus for Simultaneous Target Interception in Switching Graph Topologies 交换图拓扑中同步目标截获的有限时间最大一致性
IF 5 3区 计算机科学 Q2 AUTOMATION & CONTROL SYSTEMS Pub Date : 2025-03-15 DOI: 10.1109/TCNS.2025.3570423
Kushal P. Singh;Aditya K. Rao;Twinkle Tripathy
In this article, we propose a distributed guidance law for the simultaneous interception of a stationary target. For a group of “n” heterogeneous pursuers, the proposed guidance law establishes the necessary conditions on static graphs that ensure simultaneous target interception, regardless of the initial conditions of the pursuers. Building on these results, we also establish the necessary conditions for achieving simultaneous interception in switching graph topologies as well. The major highlight of the work is that the target interception occurs in finite time for both static and switching graph topologies. We demonstrate all of these results through numerical simulations.
本文提出了一种同时拦截静止目标的分布式制导律。对于一组“n”个异构跟踪器,无论跟踪器的初始条件如何,所提出的制导律在静态图上建立了保证同时拦截目标的必要条件。在这些结果的基础上,我们还建立了在切换图拓扑中实现同时拦截的必要条件。该工作的主要亮点是,对于静态和切换图拓扑,目标拦截都在有限时间内发生。我们通过数值模拟证明了所有这些结果。
{"title":"Finite-Time Max-Consensus for Simultaneous Target Interception in Switching Graph Topologies","authors":"Kushal P. Singh;Aditya K. Rao;Twinkle Tripathy","doi":"10.1109/TCNS.2025.3570423","DOIUrl":"https://doi.org/10.1109/TCNS.2025.3570423","url":null,"abstract":"In this article, we propose a distributed guidance law for the simultaneous interception of a stationary target. For a group of “<italic>n</i>” heterogeneous pursuers, the proposed guidance law establishes the necessary conditions on static graphs that ensure simultaneous target interception, regardless of the initial conditions of the pursuers. Building on these results, we also establish the necessary conditions for achieving simultaneous interception in switching graph topologies as well. The major highlight of the work is that the target interception occurs in finite time for both static and switching graph topologies. We demonstrate all of these results through numerical simulations.","PeriodicalId":56023,"journal":{"name":"IEEE Transactions on Control of Network Systems","volume":"12 3","pages":"2350-2360"},"PeriodicalIF":5.0,"publicationDate":"2025-03-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"145110284","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}
引用次数: 0
期刊
IEEE Transactions on Control of Network Systems
全部 Acc. Chem. Res. ACS Applied Bio Materials ACS Appl. Electron. Mater. ACS Appl. Energy Mater. ACS Appl. Mater. Interfaces ACS Appl. Nano Mater. ACS Appl. Polym. Mater. ACS BIOMATER-SCI ENG ACS Catal. ACS Cent. Sci. ACS Chem. Biol. ACS Chemical Health & Safety ACS Chem. Neurosci. ACS Comb. Sci. ACS Earth Space Chem. ACS Energy Lett. ACS Infect. Dis. ACS Macro Lett. ACS Mater. Lett. ACS Med. Chem. Lett. ACS Nano ACS Omega ACS Photonics ACS Sens. ACS Sustainable Chem. Eng. ACS Synth. Biol. Anal. Chem. BIOCHEMISTRY-US Bioconjugate Chem. BIOMACROMOLECULES Chem. Res. Toxicol. Chem. Rev. Chem. Mater. CRYST GROWTH DES ENERG FUEL Environ. Sci. Technol. Environ. Sci. Technol. Lett. Eur. J. Inorg. Chem. IND ENG CHEM RES Inorg. Chem. J. Agric. Food. Chem. J. Chem. Eng. Data J. Chem. Educ. J. Chem. Inf. Model. J. Chem. Theory Comput. J. Med. Chem. J. Nat. Prod. J PROTEOME RES J. Am. Chem. Soc. LANGMUIR MACROMOLECULES Mol. Pharmaceutics Nano Lett. Org. Lett. ORG PROCESS RES DEV ORGANOMETALLICS J. Org. Chem. J. Phys. Chem. J. Phys. Chem. A J. Phys. Chem. B J. Phys. Chem. C J. Phys. Chem. Lett. Analyst Anal. Methods Biomater. Sci. Catal. Sci. Technol. Chem. Commun. Chem. Soc. Rev. CHEM EDUC RES PRACT CRYSTENGCOMM Dalton Trans. Energy Environ. Sci. ENVIRON SCI-NANO ENVIRON SCI-PROC IMP ENVIRON SCI-WAT RES Faraday Discuss. Food Funct. Green Chem. Inorg. Chem. Front. Integr. Biol. J. Anal. At. Spectrom. J. Mater. Chem. A J. Mater. Chem. B J. Mater. Chem. C Lab Chip Mater. Chem. Front. Mater. Horiz. MEDCHEMCOMM Metallomics Mol. Biosyst. Mol. Syst. Des. Eng. Nanoscale Nanoscale Horiz. Nat. Prod. Rep. New J. Chem. Org. Biomol. Chem. Org. Chem. Front. PHOTOCH PHOTOBIO SCI PCCP Polym. Chem.
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
0
微信
客服QQ
Book学术公众号 扫码关注我们
反馈
×
意见反馈
请填写您的意见或建议
请填写您的手机或邮箱
×
提示
您的信息不完整,为了账户安全,请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
现在去查看 取消
×
提示
确定
Book学术官方微信
Book学术文献互助
Book学术文献互助群
群 号:604180095
Book学术
文献互助 智能选刊 最新文献 互助须知 联系我们:info@booksci.cn
Book学术提供免费学术资源搜索服务,方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。
Copyright © 2023 Book学术 All rights reserved.
ghs 京公网安备 11010802042870号 京ICP备2023020795号-1