首页 > 最新文献

IEEE Control Systems Letters最新文献

英文 中文
Combinatorial Control Barrier Functions: Nested Boolean and p-Choose-r Compositions of Safety Constraints 组合控制屏障函数:安全约束的嵌套布尔和p-选择-r组合
IF 2 Q2 AUTOMATION & CONTROL SYSTEMS Pub Date : 2025-12-03 DOI: 10.1109/LCSYS.2025.3640191
Pio Ong;Haejoon Lee;Tamas G. Molnar;Dimitra Panagou;Aaron D. Ames
This letter investigates the problem of composing multiple control barrier functions (CBFs)—and matrix control barrier functions (MCBFs)—through logical and combinatorial operations. Standard CBF formulations naturally enable conjunctive (AND) combinations, but disjunctive (OR) and more general logical structures introduce nonsmoothness and possibly a combinatorial blow-up in the number of logical combinations. We introduce the framework of combinatorial CBFs that addresses p-choose-r safety specifications and their nested composition. The proposed framework ensures safety for the exact safe set in a scalable way, using the original number of primitive constraints. We establish theoretical guarantees on safety under these compositions, and we demonstrate their use on a patrolling problem in a multi-agent system.
这封信研究了通过逻辑和组合操作组合多个控制障碍函数(cbf)和矩阵控制障碍函数(MCBFs)的问题。标准的CBF公式自然地支持合取(AND)组合,但是析取(OR)和更一般的逻辑结构引入了非平滑性,并且可能导致逻辑组合数量的组合膨胀。我们介绍了组合cbf框架,该框架解决了p-选择-r安全规范及其嵌套组合。该框架使用原始数量的基本约束,以可扩展的方式确保精确安全集的安全性。我们在这些组合下建立了理论上的安全保证,并演示了它们在多智能体系统中的巡逻问题上的应用。
{"title":"Combinatorial Control Barrier Functions: Nested Boolean and p-Choose-r Compositions of Safety Constraints","authors":"Pio Ong;Haejoon Lee;Tamas G. Molnar;Dimitra Panagou;Aaron D. Ames","doi":"10.1109/LCSYS.2025.3640191","DOIUrl":"https://doi.org/10.1109/LCSYS.2025.3640191","url":null,"abstract":"This letter investigates the problem of composing multiple control barrier functions (CBFs)—and matrix control barrier functions (MCBFs)—through logical and combinatorial operations. Standard CBF formulations naturally enable conjunctive (AND) combinations, but disjunctive (OR) and more general logical structures introduce nonsmoothness and possibly a combinatorial blow-up in the number of logical combinations. We introduce the framework of combinatorial CBFs that addresses p-choose-r safety specifications and their nested composition. The proposed framework ensures safety for the exact safe set in a scalable way, using the original number of primitive constraints. We establish theoretical guarantees on safety under these compositions, and we demonstrate their use on a patrolling problem in a multi-agent system.","PeriodicalId":37235,"journal":{"name":"IEEE Control Systems Letters","volume":"9 ","pages":"2705-2710"},"PeriodicalIF":2.0,"publicationDate":"2025-12-03","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"145729397","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Reach-Avoid Games in a Grid World 在网格世界中到达-避免游戏
IF 2 Q2 AUTOMATION & CONTROL SYSTEMS Pub Date : 2025-12-03 DOI: 10.1109/LCSYS.2025.3640192
James Berneburg;Michael Dorothy;Daigo Shishika
Reach-avoid games model scenarios where an attacker seeks to reach a target region that a defender aims to protect. The challenge compared to pursuit-evasion games is that a defender cannot simply capture an attacker, but is concerned with what points the attacker can reach before it is captured. We consider for the first time, to the best of our knowledge, a reach-avoid game played in a graph environment with simultaneous actions. We solve the game of kind played on an obstacle-free 2-dimensional grid world between a single Attacker and a single Defender. We find Attacker has a winning strategy when it can reach any point in the target before Defender, and Defender has a winning strategy in the complementary case, provided Defender’s tagging radius is positive, despite players having equal speeds so Defender cannot guarantee capture. We additionally provide minor results and discussion to connect this to more general problems, such as with multiple defenders and attackers.
到达-避免游戏模拟的场景是,攻击者试图到达防御者想要保护的目标区域。与追击逃避游戏相比,这款游戏的挑战在于,防御者不能简单地抓住攻击者,而是要考虑攻击者在被抓住之前能到达什么点。据我们所知,我们第一次考虑在图形环境中同时进行动作的触达避免游戏。我们在一个无障碍的二维网格世界中解决了一个攻击者和一个防御者之间的同类游戏。我们发现,当进攻方比防守方先到达目标的任何一点时,进攻方具有制胜策略,而防守方在互补情况下具有制胜策略,前提是防守方的标记半径为正,尽管玩家的速度相等,但防守方无法保证捕获。我们还提供了次要的结果和讨论,将其与更一般的问题联系起来,例如多个防御者和攻击者。
{"title":"Reach-Avoid Games in a Grid World","authors":"James Berneburg;Michael Dorothy;Daigo Shishika","doi":"10.1109/LCSYS.2025.3640192","DOIUrl":"https://doi.org/10.1109/LCSYS.2025.3640192","url":null,"abstract":"Reach-avoid games model scenarios where an attacker seeks to reach a target region that a defender aims to protect. The challenge compared to pursuit-evasion games is that a defender cannot simply capture an attacker, but is concerned with what points the attacker can reach before it is captured. We consider for the first time, to the best of our knowledge, a reach-avoid game played in a graph environment with simultaneous actions. We solve the game of kind played on an obstacle-free 2-dimensional grid world between a single Attacker and a single Defender. We find Attacker has a winning strategy when it can reach any point in the target before Defender, and Defender has a winning strategy in the complementary case, provided Defender’s tagging radius is positive, despite players having equal speeds so Defender cannot guarantee capture. We additionally provide minor results and discussion to connect this to more general problems, such as with multiple defenders and attackers.","PeriodicalId":37235,"journal":{"name":"IEEE Control Systems Letters","volume":"9 ","pages":"2735-2740"},"PeriodicalIF":2.0,"publicationDate":"2025-12-03","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"145729374","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Topology-Control-Based Moving Target Defense Against False Data Injection in Distribution Networks 基于拓扑控制的配电网络运动目标防假数据注入
IF 2 Q2 AUTOMATION & CONTROL SYSTEMS Pub Date : 2025-12-01 DOI: 10.1109/LCSYS.2025.3639213
Lei Ding;Chengnian Long;Jing Wu
False Data Injection (FDI) attack is one of critical threats to the reliability of power systems, where moving target defense (MTD) is an effective proactive detection defense strategy. Existing MTD studies have primarily concentrated on transmission networks through Distributed Flexible AC Transmission System (D-FACTS) devices. However, those methods cannot be extended to distribution networks due to significantly limited D-FACTS deployment. To detect FDI attacks in distribution networks, a topology-control-based moving target defense (TC-MTD) approach is proposed. Unlike D-FACTS-based MTD that alters line impedances, TC-MTD perturbs the system topology through switch operations and the rank of the admittance matrix difference is employed as a performance metric which indicates the extent of perturbation. Furthermore, a heuristic algorithm is developed to reconfigure the system topology, aiming to maximize detection performance and minimize power loss with the fewest switch operations. Case studies conducted on both modified and standard distribution networks validate the effectiveness of TC-MTD.
虚假数据注入攻击是影响电力系统可靠性的重要威胁之一,移动目标防御是一种有效的主动检测防御策略。现有的MTD研究主要集中在通过分布式柔性交流输电系统(D-FACTS)设备的输电网络上。然而,由于D-FACTS的部署非常有限,这些方法无法扩展到配电网。为了检测配电网络中的FDI攻击,提出了一种基于拓扑控制的移动目标防御(TC-MTD)方法。与改变线路阻抗的基于d - fact的MTD不同,TC-MTD通过开关操作扰动系统拓扑,导纳矩阵差的秩被用作表明扰动程度的性能指标。此外,开发了一种启发式算法来重新配置系统拓扑,旨在以最少的开关操作最大化检测性能和最小化功耗。在改进和标准配电网上进行的案例研究验证了TC-MTD的有效性。
{"title":"Topology-Control-Based Moving Target Defense Against False Data Injection in Distribution Networks","authors":"Lei Ding;Chengnian Long;Jing Wu","doi":"10.1109/LCSYS.2025.3639213","DOIUrl":"https://doi.org/10.1109/LCSYS.2025.3639213","url":null,"abstract":"False Data Injection (FDI) attack is one of critical threats to the reliability of power systems, where moving target defense (MTD) is an effective proactive detection defense strategy. Existing MTD studies have primarily concentrated on transmission networks through Distributed Flexible AC Transmission System (D-FACTS) devices. However, those methods cannot be extended to distribution networks due to significantly limited D-FACTS deployment. To detect FDI attacks in distribution networks, a topology-control-based moving target defense (TC-MTD) approach is proposed. Unlike D-FACTS-based MTD that alters line impedances, TC-MTD perturbs the system topology through switch operations and the rank of the admittance matrix difference is employed as a performance metric which indicates the extent of perturbation. Furthermore, a heuristic algorithm is developed to reconfigure the system topology, aiming to maximize detection performance and minimize power loss with the fewest switch operations. Case studies conducted on both modified and standard distribution networks validate the effectiveness of TC-MTD.","PeriodicalId":37235,"journal":{"name":"IEEE Control Systems Letters","volume":"9 ","pages":"2687-2692"},"PeriodicalIF":2.0,"publicationDate":"2025-12-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"145729417","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Global Asymptotic Stability Certificates for Discrete-Time Lur’e Systems Under Incremental-Like Restrictions 类增量约束下离散Lur系统的全局渐近稳定性证明
IF 2 Q2 AUTOMATION & CONTROL SYSTEMS Pub Date : 2025-11-26 DOI: 10.1109/LCSYS.2025.3637172
Gioia Montana;Andrea Cristofaro;Mattia Mattioni;Giorgio Valmorbida
In this letter, we provide Lyapunov-based conditions for assessing the global asymptotic stability of nonlinear discrete-time Lur’e systems under incremental-like restrictions. The proposed results invoke dissipation arguments for the linear and nonlinear components of the dynamics and rely on a Lyapunov function with a few parameters and integral terms. The proof of the main result does not require any approximations of the integral terms. The numerical result are compared with recent results from the literature.
在这封信中,我们提供了基于lyapunov的条件来评估非线性离散Lur 'e系统在类增量限制下的全局渐近稳定性。所提出的结果引用了动力学的线性和非线性分量的耗散论证,并依赖于具有几个参数和积分项的李雅普诺夫函数。主要结果的证明不需要任何积分项的近似值。数值结果与近年来的文献结果进行了比较。
{"title":"Global Asymptotic Stability Certificates for Discrete-Time Lur’e Systems Under Incremental-Like Restrictions","authors":"Gioia Montana;Andrea Cristofaro;Mattia Mattioni;Giorgio Valmorbida","doi":"10.1109/LCSYS.2025.3637172","DOIUrl":"https://doi.org/10.1109/LCSYS.2025.3637172","url":null,"abstract":"In this letter, we provide Lyapunov-based conditions for assessing the global asymptotic stability of nonlinear discrete-time Lur’e systems under incremental-like restrictions. The proposed results invoke dissipation arguments for the linear and nonlinear components of the dynamics and rely on a Lyapunov function with a few parameters and integral terms. The proof of the main result does not require any approximations of the integral terms. The numerical result are compared with recent results from the literature.","PeriodicalId":37235,"journal":{"name":"IEEE Control Systems Letters","volume":"9 ","pages":"2621-2626"},"PeriodicalIF":2.0,"publicationDate":"2025-11-26","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"145674721","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Design and Modeling of Engineered Self-Organized Bacterial Colonies Exhibiting Substance-Responsive Pattern Perturbations 展示物质响应模式扰动的工程自组织细菌菌落的设计和建模
IF 2 Q2 AUTOMATION & CONTROL SYSTEMS Pub Date : 2025-11-25 DOI: 10.1109/LCSYS.2025.3637013
Shai Bleu Bernard;Michaëlle N. Mayalu
Spatiotemporal self-organization is an emergent phenomenon governing cellular behavior across diverse living systems with key implications for biological functionality. Understanding the biomolecular mechanisms governing intercellular coordination would allow for the design, optimization, and prediction of these systems. Recent advances combine genetic engineering with PDE models to study the spatiotemporal dynamics of bacterial colonies, while engineered bacteria also function as bioreporters linking environmental detection to observable responses. We propose a design that extends prior frameworks by coupling genetic systems governing cell density–mediated motility to an external target substance, enabling its spatial encoding. Unlike earlier PDE models where motility depends only on cell density, our approach introduces indirect dual regulation in which the target substance modulates the quorum-sensing signal controlling density-dependent motility, converting spatial self-organization into an input–output mapping. We present a PDE model capturing spatiotemporal feedback signaling and introduce geometric metrics quantifying substance-induced pattern perturbations. Using this model, we show that the system encodes information about the concentration of a target substance through predictable spatiotemporal patterns that can be used to infer properties of that substance. The overall goal is to motivate new approaches for diagnosis and substance detection and highlight the importance of model-guided design for genetically programmable feedback control of spatiotemporal behaviors.
时空自组织是一种控制不同生命系统细胞行为的新兴现象,对生物功能具有重要意义。了解控制细胞间协调的生物分子机制将有助于这些系统的设计、优化和预测。最近的进展将基因工程与PDE模型结合起来研究细菌菌落的时空动态,而工程细菌也可以作为生物报告者,将环境检测与可观察到的反应联系起来。我们提出了一种设计,通过将控制细胞密度介导的运动性的遗传系统耦合到外部目标物质,从而扩展先前的框架,从而实现其空间编码。与早期的PDE模型(运动仅取决于细胞密度)不同,我们的方法引入了间接双重调节,其中目标物质调节群体感应信号,控制密度相关的运动,将空间自组织转换为输入-输出映射。我们提出了一个捕获时空反馈信号的PDE模型,并引入几何度量来量化物质诱导的模式扰动。使用这个模型,我们展示了系统通过可预测的时空模式来编码关于目标物质浓度的信息,这些模式可以用来推断该物质的性质。总体目标是激发诊断和物质检测的新方法,并强调模型指导设计对时空行为的遗传可编程反馈控制的重要性。
{"title":"Design and Modeling of Engineered Self-Organized Bacterial Colonies Exhibiting Substance-Responsive Pattern Perturbations","authors":"Shai Bleu Bernard;Michaëlle N. Mayalu","doi":"10.1109/LCSYS.2025.3637013","DOIUrl":"https://doi.org/10.1109/LCSYS.2025.3637013","url":null,"abstract":"Spatiotemporal self-organization is an emergent phenomenon governing cellular behavior across diverse living systems with key implications for biological functionality. Understanding the biomolecular mechanisms governing intercellular coordination would allow for the design, optimization, and prediction of these systems. Recent advances combine genetic engineering with PDE models to study the spatiotemporal dynamics of bacterial colonies, while engineered bacteria also function as bioreporters linking environmental detection to observable responses. We propose a design that extends prior frameworks by coupling genetic systems governing cell density–mediated motility to an external target substance, enabling its spatial encoding. Unlike earlier PDE models where motility depends only on cell density, our approach introduces indirect dual regulation in which the target substance modulates the quorum-sensing signal controlling density-dependent motility, converting spatial self-organization into an input–output mapping. We present a PDE model capturing spatiotemporal feedback signaling and introduce geometric metrics quantifying substance-induced pattern perturbations. Using this model, we show that the system encodes information about the concentration of a target substance through predictable spatiotemporal patterns that can be used to infer properties of that substance. The overall goal is to motivate new approaches for diagnosis and substance detection and highlight the importance of model-guided design for genetically programmable feedback control of spatiotemporal behaviors.","PeriodicalId":37235,"journal":{"name":"IEEE Control Systems Letters","volume":"9 ","pages":"2627-2632"},"PeriodicalIF":2.0,"publicationDate":"2025-11-25","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"145674692","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Finite MSE Estimation of Vector Gauss-Markov Source Over MIMO Gaussian Channels With Feedback 带反馈的MIMO高斯信道上矢量高斯-马尔可夫源的有限均方差估计
IF 2 Q2 AUTOMATION & CONTROL SYSTEMS Pub Date : 2025-11-25 DOI: 10.1109/LCSYS.2025.3637107
S. Jahangiri;H. Aghaeinia;H. A. Talebi
This letter addresses the problem of estimating a discrete-time vector Gauss-Markov source over a Multiple-Input Multiple-Output (MIMO) Gaussian channel with feedback, where the encoder preprocesses the source and has access to the channel output. We present two key contributions. First, we establish the necessary and sufficient conditions for the existence of linear encoders and decoders that can estimate the source with finite Mean Squared Error (MSE) over MIMO Gaussian channels. We also propose a method for achieving finite MSE estimation using Kalman filtering. Additionally, we propose a coding scheme that can be used to transmit any data, not just a Gauss-Markov source, by applying the method developed in the first part.
这封信解决了在多输入多输出(MIMO)高斯信道上估计离散时间矢量高斯马尔可夫源的问题,其中编码器对源进行预处理并访问通道输出。我们提出了两个关键贡献。首先,我们建立了线性编码器和解码器存在的充分必要条件,这些编码器和解码器可以在MIMO高斯信道上估计具有有限均方误差(MSE)的源。我们还提出了一种利用卡尔曼滤波实现有限均方差估计的方法。此外,我们提出了一种编码方案,可用于传输任何数据,而不仅仅是高斯-马尔可夫源,通过应用第一部分中开发的方法。
{"title":"Finite MSE Estimation of Vector Gauss-Markov Source Over MIMO Gaussian Channels With Feedback","authors":"S. Jahangiri;H. Aghaeinia;H. A. Talebi","doi":"10.1109/LCSYS.2025.3637107","DOIUrl":"https://doi.org/10.1109/LCSYS.2025.3637107","url":null,"abstract":"This letter addresses the problem of estimating a discrete-time vector Gauss-Markov source over a Multiple-Input Multiple-Output (MIMO) Gaussian channel with feedback, where the encoder preprocesses the source and has access to the channel output. We present two key contributions. First, we establish the necessary and sufficient conditions for the existence of linear encoders and decoders that can estimate the source with finite Mean Squared Error (MSE) over MIMO Gaussian channels. We also propose a method for achieving finite MSE estimation using Kalman filtering. Additionally, we propose a coding scheme that can be used to transmit any data, not just a Gauss-Markov source, by applying the method developed in the first part.","PeriodicalId":37235,"journal":{"name":"IEEE Control Systems Letters","volume":"9 ","pages":"2633-2638"},"PeriodicalIF":2.0,"publicationDate":"2025-11-25","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"145674770","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Strategic Concealment of Environment Representations in Competitive Games 竞争博弈中环境表征的策略隐蔽性
IF 2 Q2 AUTOMATION & CONTROL SYSTEMS Pub Date : 2025-11-25 DOI: 10.1109/LCSYS.2025.3637014
Yue Guan;Dipankar Maity;Panagiotis Tsiotras
This letter studies the strategic concealment of environment representations used by players in competitive games. We consider a defense scenario in which one player (the Defender) seeks to infer and exploit the representation used by the other player (the Attacker). The interaction between the two players is modeled as a Bayesian game: the Defender infers the Attacker’s representation from its trajectory and places barriers to counteract, while the Attacker obfuscates its representation type to mislead the Defender. We solve for the Perfect Bayesian Equilibrium via a bilinear program that integrates Bayesian inference, strategic planning, and belief manipulation. Simulations show that purposeful concealment naturally emerges: the Attacker randomizes its trajectory to manipulate the Defender’s belief, inducing suboptimal barrier selections and thereby gaining a strategic advantage.
这封信研究了玩家在竞争游戏中使用的环境表征的策略隐藏。我们考虑一个防御场景,其中一个玩家(防御者)试图推断和利用其他玩家(攻击者)使用的表示。两名玩家之间的互动被建模为贝叶斯游戏:防御方根据攻击方的轨迹推断出攻击方的表现形式,并设置障碍进行反击,而攻击方则混淆其表现形式以误导防御方。我们通过一个集成了贝叶斯推理、策略规划和信念操纵的双线性程序来求解完美贝叶斯均衡。模拟显示,有目的的隐藏自然出现:攻击者随机化其轨迹来操纵防御者的信念,诱导次优屏障选择,从而获得战略优势。
{"title":"Strategic Concealment of Environment Representations in Competitive Games","authors":"Yue Guan;Dipankar Maity;Panagiotis Tsiotras","doi":"10.1109/LCSYS.2025.3637014","DOIUrl":"https://doi.org/10.1109/LCSYS.2025.3637014","url":null,"abstract":"This letter studies the strategic concealment of environment representations used by players in competitive games. We consider a defense scenario in which one player (the Defender) seeks to infer and exploit the representation used by the other player (the Attacker). The interaction between the two players is modeled as a Bayesian game: the Defender infers the Attacker’s representation from its trajectory and places barriers to counteract, while the Attacker obfuscates its representation type to mislead the Defender. We solve for the Perfect Bayesian Equilibrium via a bilinear program that integrates Bayesian inference, strategic planning, and belief manipulation. Simulations show that purposeful concealment naturally emerges: the Attacker randomizes its trajectory to manipulate the Defender’s belief, inducing suboptimal barrier selections and thereby gaining a strategic advantage.","PeriodicalId":37235,"journal":{"name":"IEEE Control Systems Letters","volume":"9 ","pages":"2609-2614"},"PeriodicalIF":2.0,"publicationDate":"2025-11-25","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"145674663","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Federated Incremental Subgradient Method for Convex Bilevel Optimization Problems 凸双层优化问题的联邦增量子梯度法
IF 2 Q2 AUTOMATION & CONTROL SYSTEMS Pub Date : 2025-11-21 DOI: 10.1109/LCSYS.2025.3636376
Sudkobfa Boontawee;Mootta Prangprakhon;Nimit Nimana
In this letter, we consider a bilevel optimization problem in which the outer-level objective function is strongly convex, whereas the inner-level problem consists of a finite sum of convex functions. Bilevel optimization problems arise in situations where the inner-level problem does not have a unique solution. This has led to the idea of introducing an outer-level objective function to select a solution with the specific desired properties. We propose an iterative method that combines an incremental algorithm with a broadcast algorithm, both based on the principles of federated learning. Under appropriate assumptions, we establish the convergence results of the proposed algorithm. To demonstrate its performance, we present two numerical examples related to binary classification and a location problem.
在这封信中,我们考虑了一个双层优化问题,其中外层目标函数是强凸的,而内层问题由凸函数的有限和组成。双层优化问题出现在内层问题没有唯一解的情况下。这导致了引入外部目标函数来选择具有特定期望属性的解决方案的想法。我们提出了一种结合增量算法和广播算法的迭代方法,两者都基于联邦学习的原理。在适当的假设条件下,建立了该算法的收敛性结果。为了证明它的性能,我们给出了两个关于二值分类和定位问题的数值例子。
{"title":"Federated Incremental Subgradient Method for Convex Bilevel Optimization Problems","authors":"Sudkobfa Boontawee;Mootta Prangprakhon;Nimit Nimana","doi":"10.1109/LCSYS.2025.3636376","DOIUrl":"https://doi.org/10.1109/LCSYS.2025.3636376","url":null,"abstract":"In this letter, we consider a bilevel optimization problem in which the outer-level objective function is strongly convex, whereas the inner-level problem consists of a finite sum of convex functions. Bilevel optimization problems arise in situations where the inner-level problem does not have a unique solution. This has led to the idea of introducing an outer-level objective function to select a solution with the specific desired properties. We propose an iterative method that combines an incremental algorithm with a broadcast algorithm, both based on the principles of federated learning. Under appropriate assumptions, we establish the convergence results of the proposed algorithm. To demonstrate its performance, we present two numerical examples related to binary classification and a location problem.","PeriodicalId":37235,"journal":{"name":"IEEE Control Systems Letters","volume":"9 ","pages":"2585-2590"},"PeriodicalIF":2.0,"publicationDate":"2025-11-21","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"145612067","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Reformulations of Quadratic Programs for Lipschitz Continuity Lipschitz连续性的二次规划的重新表述
IF 2 Q2 AUTOMATION & CONTROL SYSTEMS Pub Date : 2025-11-21 DOI: 10.1109/LCSYS.2025.3636377
Devansh R. Agrawal;Haejoon Lee;Dimitra Panagou
Optimization-based controllers often lack regularity guarantees, such as Lipschitz continuity, when multiple constraints are present. When used to control a dynamical system, these conditions are essential to ensure the existence and uniqueness of the system’s trajectory. Here we propose a general method to convert a Quadratic Program (QP) into a Second-Order Cone Problem (SOCP), which is shown to be Lipschitz continuous. Key features of our approach are that (i) the regularity of the resulting formulation does not depend on the structural properties of the constraints, such as the linear independence of their gradients; and (ii) it admits a closed-form solution under some assumptions, which is not available for general QPs with multiple constraints, enabling faster computation. We support our method with rigorous analysis and examples https://github.com/joonlee16/Lipschitz-controllers.
当存在多个约束时,基于优化的控制器通常缺乏规律性保证,例如Lipschitz连续性。当用于控制动力系统时,这些条件对于保证系统轨迹的存在性和唯一性是必不可少的。本文提出了一种将二次规划(QP)转化为二阶锥问题(SOCP)的一般方法,该问题被证明是Lipschitz连续的。我们的方法的主要特点是:(i)结果公式的规律性不依赖于约束的结构性质,例如其梯度的线性独立性;(ii)在某些假设条件下,它允许一个封闭形式的解,这对于具有多个约束的一般qp来说是不可用的,从而使计算速度更快。我们用严格的分析和例子来支持我们的方法https://github.com/joonlee16/Lipschitz-controllers。
{"title":"Reformulations of Quadratic Programs for Lipschitz Continuity","authors":"Devansh R. Agrawal;Haejoon Lee;Dimitra Panagou","doi":"10.1109/LCSYS.2025.3636377","DOIUrl":"https://doi.org/10.1109/LCSYS.2025.3636377","url":null,"abstract":"Optimization-based controllers often lack regularity guarantees, such as Lipschitz continuity, when multiple constraints are present. When used to control a dynamical system, these conditions are essential to ensure the existence and uniqueness of the system’s trajectory. Here we propose a general method to convert a Quadratic Program (QP) into a Second-Order Cone Problem (SOCP), which is shown to be Lipschitz continuous. Key features of our approach are that (i) the regularity of the resulting formulation does not depend on the structural properties of the constraints, such as the linear independence of their gradients; and (ii) it admits a closed-form solution under some assumptions, which is not available for general QPs with multiple constraints, enabling faster computation. We support our method with rigorous analysis and examples <uri>https://github.com/joonlee16/Lipschitz-controllers</uri>.","PeriodicalId":37235,"journal":{"name":"IEEE Control Systems Letters","volume":"9 ","pages":"2603-2608"},"PeriodicalIF":2.0,"publicationDate":"2025-11-21","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"145674739","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Development of Hyperbolic Tangent Geman–McClure Quaternion Kalman Filter for 3D Tracking Applications 双曲正切格曼-麦克卢尔四元数卡尔曼滤波在三维跟踪中的应用
IF 2 Q2 AUTOMATION & CONTROL SYSTEMS Pub Date : 2025-11-21 DOI: 10.1109/LCSYS.2025.3635697
Mahesh Kumar Pal;Pyari Mohan Pradhan
This letter proposes to use the quaternion hyperbolic tangent Gemen-McClure (QHTGM) cost function to develop a variant of the quaternion Kalman filter (QKF). The proposed filter is named as the hyperbolic tangent Geman-McClure quaternion Kalman filter (HTGMQKF). Two case studies are used to examine the effectiveness of the proposed HTGMQKF. A three-dimensional (3-D) target tracking problem, which considers the process noise with different distributions such as Gaussian, Gaussian-mixture, and Laplacian, while the measurement noise is considered as a Gaussian-mixture distribution. The proposed HTGMQKF performs well for the three types of noise in terms of root mean square error (RMSE) and average RMSE (ARMSE). The second case study deals with the filtering of a quaternion signal, in which the proposed HTGMQKF is found to outperform the state-of-the-art quaternion filters.
这封信建议使用四元数双曲正切Gemen-McClure (QHTGM)代价函数来开发四元数卡尔曼滤波器(QKF)的变体。该滤波器被命名为双曲正切吉曼-麦克卢尔四元数卡尔曼滤波器(HTGMQKF)。两个案例研究被用来检验提议的HTGMQKF的有效性。三维目标跟踪问题,该问题考虑了过程噪声的高斯分布、高斯混合分布和拉普拉斯分布,而测量噪声则考虑高斯混合分布。提出的HTGMQKF对于三种类型的噪声在均方根误差(RMSE)和平均RMSE (ARMSE)方面表现良好。第二个案例研究处理四元数信号的滤波,其中发现提出的HTGMQKF优于最先进的四元数滤波器。
{"title":"Development of Hyperbolic Tangent Geman–McClure Quaternion Kalman Filter for 3D Tracking Applications","authors":"Mahesh Kumar Pal;Pyari Mohan Pradhan","doi":"10.1109/LCSYS.2025.3635697","DOIUrl":"https://doi.org/10.1109/LCSYS.2025.3635697","url":null,"abstract":"This letter proposes to use the quaternion hyperbolic tangent Gemen-McClure (QHTGM) cost function to develop a variant of the quaternion Kalman filter (QKF). The proposed filter is named as the hyperbolic tangent Geman-McClure quaternion Kalman filter (HTGMQKF). Two case studies are used to examine the effectiveness of the proposed HTGMQKF. A three-dimensional (3-D) target tracking problem, which considers the process noise with different distributions such as Gaussian, Gaussian-mixture, and Laplacian, while the measurement noise is considered as a Gaussian-mixture distribution. The proposed HTGMQKF performs well for the three types of noise in terms of root mean square error (RMSE) and average RMSE (ARMSE). The second case study deals with the filtering of a quaternion signal, in which the proposed HTGMQKF is found to outperform the state-of-the-art quaternion filters.","PeriodicalId":37235,"journal":{"name":"IEEE Control Systems Letters","volume":"9 ","pages":"2597-2602"},"PeriodicalIF":2.0,"publicationDate":"2025-11-21","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"145612080","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
期刊
IEEE Control Systems Letters
全部 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