首页 > 最新文献

Automatica最新文献

英文 中文
State estimation for constant-time labeled automata under dense time 密集时间下恒定时间标记自动机的状态估计
IF 4.8 2区 计算机科学 Q1 AUTOMATION & CONTROL SYSTEMS Pub Date : 2024-08-24 DOI: 10.1016/j.automatica.2024.111874

In this paper, we focus on state estimation for constant-time labeled automata in a dense time context, i.e., the time constraints of the automata can be given according to real numbers. Given a sequence of timed observations (i.e., pairs of logical observations with their time stamps) collected from a system within a finite time window, a state estimation method is proposed to find the set of states in which the system might reside by the end of the time window. By using both labeling and timing information as well as the structure of the system, we can express any finite time evolution from one state to another into constraint satisfaction problems (CSPs). This structural analysis is independent of all collected sequences of timed observations and can be achieved offline, although its cost is exponential with respect to the number of states in the system. Consequently, two algorithms are designed to perform state estimation under a single observation and no observation, respectively, by solving a finite number of CSPs generated according to the system’s structural information. Both algorithms can be jointly used in an iterative approach to perform state estimation for any sequence of timed observations. In such a case, the number of generated CSPs in the algorithms increases linearly with respect to the length of the observed sequence.

在本文中,我们将重点放在密集时间背景下恒时标注自动机的状态估计上,即自动机的时间约束可以根据实数给出。给定在有限时间窗口内从系统中收集到的定时观测序列(即带有时间戳的逻辑观测对),我们提出了一种状态估计方法,以找出系统在时间窗口结束时可能处于的状态集。通过使用标签和时序信息以及系统结构,我们可以将从一个状态到另一个状态的任何有限时间演化表达为约束满足问题(CSP)。这种结构分析与所有收集到的定时观测序列无关,并且可以离线实现,不过其成本与系统中的状态数量成指数关系。因此,我们设计了两种算法,通过求解根据系统结构信息生成的有限数量的 CSP,分别在单一观测和无观测条件下进行状态估计。这两种算法可以联合使用,以迭代方式对任何定时观测序列进行状态估计。在这种情况下,算法中生成的 CSP 数量与观测序列的长度呈线性增长。
{"title":"State estimation for constant-time labeled automata under dense time","authors":"","doi":"10.1016/j.automatica.2024.111874","DOIUrl":"10.1016/j.automatica.2024.111874","url":null,"abstract":"<div><p>In this paper, we focus on <em>state estimation</em> for <em>constant-time labeled automata</em> in a dense time context, i.e., the time constraints of the automata can be given according to real numbers. Given a sequence of timed observations (i.e., pairs of logical observations with their time stamps) collected from a system within a finite time window, a state estimation method is proposed to find the set of states in which the system might reside by the end of the time window. By using both labeling and timing information as well as the structure of the system, we can express any finite time evolution from one state to another into <em>constraint satisfaction problems</em> (CSPs). This structural analysis is independent of all collected sequences of timed observations and can be achieved offline, although its cost is exponential with respect to the number of states in the system. Consequently, two algorithms are designed to perform state estimation under a single observation and no observation, respectively, by solving a finite number of CSPs generated according to the system’s structural information. Both algorithms can be jointly used in an iterative approach to perform state estimation for any sequence of timed observations. In such a case, the number of generated CSPs in the algorithms increases linearly with respect to the length of the observed sequence.</p></div>","PeriodicalId":55413,"journal":{"name":"Automatica","volume":null,"pages":null},"PeriodicalIF":4.8,"publicationDate":"2024-08-24","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"142048284","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":2,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
A method based on linear feasibility tests for full-rank characterization of convex combinations of matrices 基于线性可行性检验的矩阵凸组合全秩特征描述方法
IF 4.8 2区 计算机科学 Q1 AUTOMATION & CONTROL SYSTEMS Pub Date : 2024-08-22 DOI: 10.1016/j.automatica.2024.111842

Given a set of full-rank matrices A1,A2,,ArRp×n, this brief paper proposes a method based on linear feasibility tests to determine whether a convex combination A(α)=i=1rαiAi, with α=[α1α2αr]T in the unit simplex Λr, may result in a rank-deficient matrix. The method is based on a sequence of linear programs with increasingly tightened constraints, and is guaranteed to reach an outcome after a finite number of iterations. Given a tolerance ɛ>0 arbitrarily chosen by the user, the method will either (i) certify that αΛr such that A(α) is rank-deficient or (ii) yield αΛr, v0 such that A(α)v/v<ɛ, which certifies that the smallest singular value of A(α) is less than ɛ. This method bridges a gap in the literature, as no other numerically verifiable test for generic p, n, r has been proposed to reach the conclusion (ii). Three numerical examples are provided to showcase the advantages of the proposed method with respect to other tests reported in previous papers. The code employed in this work is availa

给定一组全秩矩阵 A1,A2,...,Ar∈Rp×n,本文提出了一种基于线性可行性检验的方法,以确定在单位单纯形Λr 中,α=[α1α2⋯αr]T 的凸组合 A(α)=∑i=1rαiAi,是否会导致矩阵秩不足。该方法基于一系列约束条件越来越严格的线性方程组,并保证在有限次迭代后得出结果。给定一个由用户任意选择的容差ɛ>0,该方法将(i)证明∄α∈Λ使得 A(α) 是秩缺陷矩阵,或(ii)产生α∈Λr, v≠0,使得‖A(α)v‖/‖v‖<;证明 A(α) 的最小奇异值小于 ɛ。这种方法弥补了文献中的空白,因为目前还没有其他针对一般 p、n、r 的可数值验证的检验方法来得出结论 (ii)。本文提供了三个数值示例,展示了所提方法相对于以往论文中报告的其他测试方法的优势。本研究中使用的代码可在 https://github.com/rubensjma/full-rank-characterization 上获取。
{"title":"A method based on linear feasibility tests for full-rank characterization of convex combinations of matrices","authors":"","doi":"10.1016/j.automatica.2024.111842","DOIUrl":"10.1016/j.automatica.2024.111842","url":null,"abstract":"<div><p>Given a set of full-rank matrices <span><math><mrow><msub><mrow><mi>A</mi></mrow><mrow><mn>1</mn></mrow></msub><mo>,</mo><msub><mrow><mi>A</mi></mrow><mrow><mn>2</mn></mrow></msub><mo>,</mo><mo>…</mo><mo>,</mo><msub><mrow><mi>A</mi></mrow><mrow><mi>r</mi></mrow></msub><mo>∈</mo><msup><mrow><mi>R</mi></mrow><mrow><mi>p</mi><mo>×</mo><mi>n</mi></mrow></msup></mrow></math></span>, this brief paper proposes a method based on linear feasibility tests to determine whether a convex combination <span><math><mrow><mi>A</mi><mrow><mo>(</mo><mi>α</mi><mo>)</mo></mrow><mo>=</mo><msubsup><mrow><mo>∑</mo></mrow><mrow><mi>i</mi><mo>=</mo><mn>1</mn></mrow><mrow><mi>r</mi></mrow></msubsup><msub><mrow><mi>α</mi></mrow><mrow><mi>i</mi></mrow></msub><msub><mrow><mi>A</mi></mrow><mrow><mi>i</mi></mrow></msub></mrow></math></span>, with <span><math><mrow><mi>α</mi><mo>=</mo><msup><mrow><mrow><mo>[</mo><msub><mrow><mi>α</mi></mrow><mrow><mn>1</mn></mrow></msub><mspace></mspace><msub><mrow><mi>α</mi></mrow><mrow><mn>2</mn></mrow></msub><mspace></mspace><mo>⋯</mo><mspace></mspace><msub><mrow><mi>α</mi></mrow><mrow><mi>r</mi></mrow></msub><mo>]</mo></mrow></mrow><mrow><mi>T</mi></mrow></msup></mrow></math></span> in the unit simplex <span><math><msub><mrow><mi>Λ</mi></mrow><mrow><mi>r</mi></mrow></msub></math></span>, may result in a rank-deficient matrix. The method is based on a sequence of linear programs with increasingly tightened constraints, and is guaranteed to reach an outcome after a finite number of iterations. Given a tolerance <span><math><mrow><mi>ɛ</mi><mo>&gt;</mo><mn>0</mn></mrow></math></span> arbitrarily chosen by the user, the method will either (i) certify that <span><math><mrow><mo>∄</mo><mspace></mspace><mi>α</mi><mo>∈</mo><msub><mrow><mi>Λ</mi></mrow><mrow><mi>r</mi></mrow></msub></mrow></math></span> such that <span><math><mrow><mi>A</mi><mrow><mo>(</mo><mi>α</mi><mo>)</mo></mrow></mrow></math></span> is rank-deficient or (ii) yield <span><math><mrow><mi>α</mi><mo>∈</mo><msub><mrow><mi>Λ</mi></mrow><mrow><mi>r</mi></mrow></msub></mrow></math></span>, <span><math><mrow><mi>v</mi><mo>≠</mo><mn>0</mn></mrow></math></span> such that <span><math><mrow><mo>‖</mo><mi>A</mi><mrow><mo>(</mo><mi>α</mi><mo>)</mo></mrow><mi>v</mi><mo>‖</mo><mo>/</mo><mo>‖</mo><mi>v</mi><mo>‖</mo><mo>&lt;</mo><mi>ɛ</mi></mrow></math></span>, which certifies that the smallest singular value of <span><math><mrow><mi>A</mi><mrow><mo>(</mo><mi>α</mi><mo>)</mo></mrow></mrow></math></span> is less than <span><math><mi>ɛ</mi></math></span>. This method bridges a gap in the literature, as no other numerically verifiable test for generic <span><math><mi>p</mi></math></span>, <span><math><mi>n</mi></math></span>, <span><math><mi>r</mi></math></span> has been proposed to reach the conclusion (ii). Three numerical examples are provided to showcase the advantages of the proposed method with respect to other tests reported in previous papers. The code employed in this work is availa","PeriodicalId":55413,"journal":{"name":"Automatica","volume":null,"pages":null},"PeriodicalIF":4.8,"publicationDate":"2024-08-22","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"142041121","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":2,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Comments on “Asynchronously switched control of switched linear systems with average dwell time” [Automatica 46 (2010) 953–958] 关于 "具有平均停留时间的开关线性系统的异步开关控制"[Automatica 46 (2010) 953-958] 的评论
IF 4.8 2区 计算机科学 Q1 AUTOMATION & CONTROL SYSTEMS Pub Date : 2024-08-22 DOI: 10.1016/j.automatica.2024.111736

A flaw is uncovered in the proof of a central theorem (Theorem 1) in Zhang and Gao (2010). This sheds doubt on the validity of the results claimed in that paper.

张和高(2010 年)在证明中心定理(定理 1)时发现了一个漏洞。这使人们对该论文所宣称的结果的有效性产生了怀疑。
{"title":"Comments on “Asynchronously switched control of switched linear systems with average dwell time” [Automatica 46 (2010) 953–958]","authors":"","doi":"10.1016/j.automatica.2024.111736","DOIUrl":"10.1016/j.automatica.2024.111736","url":null,"abstract":"<div><p>A flaw is uncovered in the proof of a central theorem (Theorem 1) in Zhang and Gao (2010). This sheds doubt on the validity of the results claimed in that paper.</p></div>","PeriodicalId":55413,"journal":{"name":"Automatica","volume":null,"pages":null},"PeriodicalIF":4.8,"publicationDate":"2024-08-22","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"142129249","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":2,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Stability analysis for linear systems with a switched rapidly varying delay 具有切换式快速变化延迟的线性系统的稳定性分析
IF 4.8 2区 计算机科学 Q1 AUTOMATION & CONTROL SYSTEMS Pub Date : 2024-08-22 DOI: 10.1016/j.automatica.2024.111862

Linear continuous-time systems with switched pointwise delays are studied. A technique enabling to establish the stability of these systems with a rapidly varying periodic delay is proposed. It relies on two ingredients: a representation of the systems as time-varying systems with constant delays and an averaging approach. Illustrative examples show the effectiveness of the proposed methodology.

研究了具有切换点延迟的线性连续时间系统。本文提出了一种技术,可以建立具有快速变化周期性延迟的这些系统的稳定性。它依赖于两个要素:将系统表示为具有恒定延迟的时变系统和平均方法。示例显示了所提方法的有效性。
{"title":"Stability analysis for linear systems with a switched rapidly varying delay","authors":"","doi":"10.1016/j.automatica.2024.111862","DOIUrl":"10.1016/j.automatica.2024.111862","url":null,"abstract":"<div><p>Linear continuous-time systems with switched pointwise delays are studied. A technique enabling to establish the stability of these systems with a rapidly varying periodic delay is proposed. It relies on two ingredients: a representation of the systems as time-varying systems with constant delays and an averaging approach. Illustrative examples show the effectiveness of the proposed methodology.</p></div>","PeriodicalId":55413,"journal":{"name":"Automatica","volume":null,"pages":null},"PeriodicalIF":4.8,"publicationDate":"2024-08-22","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"142041123","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":2,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Distributed predefined-time optimal economic dispatch for microgrids 微电网的分布式预定义时间优化经济调度
IF 4.8 2区 计算机科学 Q1 AUTOMATION & CONTROL SYSTEMS Pub Date : 2024-08-22 DOI: 10.1016/j.automatica.2024.111870

With the massive popularization of distributed generators, optimal economic dispatch has been a key optimization problem to maintain stable and efficient work of the whole system. In this paper, a new smooth reconstruction penalty function with continuous and piecewise linear differential is designed to deal with generation power constraints, which promotes to obtain a better suboptimal solution compared with the existing smooth penalty methods. A distributed predefined-time optimal economic dispatch strategy is presented by utilizing a time-based function. By employing the proposed strategy, the minimization of the generation cost with transmission loss under the power balance constraint and generation minimum/maximum constraints can be realized within a predefined settling time. The performance of the proposed optimization strategy is evaluated by simulations and hardware-in-the-loop experiments in terms of validity verification, robustness to load change and topology reconfiguration, plug-and-play functionality, and comparison with the existing results to illustrate the advantages of fast convergence and near optimal results.

随着分布式发电机的大规模普及,优化经济调度一直是维持整个系统稳定高效工作的关键优化问题。本文设计了一种新的平滑重构惩罚函数,该函数具有连续和片断线性微分,用于处理发电功率约束,与现有的平滑惩罚方法相比,可获得更好的次优解。利用基于时间的函数,提出了一种分布式预定义时间最优经济调度策略。通过采用所提出的策略,可在预定义的结算时间内实现电力平衡约束和发电量最小/最大约束下的发电成本与输电损耗的最小化。通过仿真和硬件在环实验,从有效性验证、对负载变化和拓扑重组的鲁棒性、即插即用功能等方面评估了所提优化策略的性能,并与现有结果进行了比较,以说明快速收敛和接近最优结果的优势。
{"title":"Distributed predefined-time optimal economic dispatch for microgrids","authors":"","doi":"10.1016/j.automatica.2024.111870","DOIUrl":"10.1016/j.automatica.2024.111870","url":null,"abstract":"<div><p>With the massive popularization of distributed generators, optimal economic dispatch has been a key optimization problem to maintain stable and efficient work of the whole system. In this paper, a new smooth reconstruction penalty function with continuous and piecewise linear differential is designed to deal with generation power constraints, which promotes to obtain a better suboptimal solution compared with the existing smooth penalty methods. A distributed predefined-time optimal economic dispatch strategy is presented by utilizing a time-based function. By employing the proposed strategy, the minimization of the generation cost with transmission loss under the power balance constraint and generation minimum/maximum constraints can be realized within a predefined settling time. The performance of the proposed optimization strategy is evaluated by simulations and hardware-in-the-loop experiments in terms of validity verification, robustness to load change and topology reconfiguration, plug-and-play functionality, and comparison with the existing results to illustrate the advantages of fast convergence and near optimal results.</p></div>","PeriodicalId":55413,"journal":{"name":"Automatica","volume":null,"pages":null},"PeriodicalIF":4.8,"publicationDate":"2024-08-22","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"142041124","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":2,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Physics-informed probabilistic slow feature analysis 物理信息概率慢特征分析
IF 4.8 2区 计算机科学 Q1 AUTOMATION & CONTROL SYSTEMS Pub Date : 2024-08-22 DOI: 10.1016/j.automatica.2024.111851

This paper presents a novel approach called physics-informed probabilistic slow feature analysis. The probabilistic slow feature analysis method has been employed to extract slowly varying latent patterns from high-dimensional measured data. The extracted slow features have proven effective in industrial applications such as soft sensing and process monitoring. However, industrial processes come with various physical constraints that must be taken into account, such as energy requirements, equipment limitations, and safety considerations. The conventional black-box nature of the slow feature model often leads to physically inconsistent or unacceptable results. To address this issue, we propose integrating physics principles into the probabilistic slow feature model, ensuring that the extracted features adhere to physics laws. Our formulation incorporates two types of physical constraints: linear algebraic equality and inequality constraints. Through an industrial case study, we demonstrate the effectiveness of our methodology, showcasing the advantages of incorporating physics in feature extraction. These advantages include improved interpretability, reduced data dimensionality, and enhanced generalization performance.

本文提出了一种称为物理信息概率慢特征分析的新方法。概率慢特征分析方法被用于从高维测量数据中提取缓慢变化的潜在模式。事实证明,提取的慢特征在软传感和过程监控等工业应用中非常有效。然而,工业流程必须考虑到各种物理限制,如能源需求、设备限制和安全考虑。慢特征模型的传统黑箱性质往往会导致物理上不一致或不可接受的结果。为解决这一问题,我们建议将物理原理融入慢速特征概率模型,确保提取的特征符合物理规律。我们的表述包含两类物理约束:线性代数相等约束和不等式约束。通过一个工业案例研究,我们证明了我们的方法的有效性,展示了在特征提取中融入物理学原理的优势。这些优势包括提高可解释性、降低数据维度和增强泛化性能。
{"title":"Physics-informed probabilistic slow feature analysis","authors":"","doi":"10.1016/j.automatica.2024.111851","DOIUrl":"10.1016/j.automatica.2024.111851","url":null,"abstract":"<div><p>This paper presents a novel approach called physics-informed probabilistic slow feature analysis. The probabilistic slow feature analysis method has been employed to extract slowly varying latent patterns from high-dimensional measured data. The extracted slow features have proven effective in industrial applications such as soft sensing and process monitoring. However, industrial processes come with various physical constraints that must be taken into account, such as energy requirements, equipment limitations, and safety considerations. The conventional black-box nature of the slow feature model often leads to physically inconsistent or unacceptable results. To address this issue, we propose integrating physics principles into the probabilistic slow feature model, ensuring that the extracted features adhere to physics laws. Our formulation incorporates two types of physical constraints: linear algebraic equality and inequality constraints. Through an industrial case study, we demonstrate the effectiveness of our methodology, showcasing the advantages of incorporating physics in feature extraction. These advantages include improved interpretability, reduced data dimensionality, and enhanced generalization performance.</p></div>","PeriodicalId":55413,"journal":{"name":"Automatica","volume":null,"pages":null},"PeriodicalIF":4.8,"publicationDate":"2024-08-22","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://www.sciencedirect.com/science/article/pii/S0005109824003455/pdfft?md5=8f52f00166f7a7ef67f923df7d618f81&pid=1-s2.0-S0005109824003455-main.pdf","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"142041122","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":2,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"OA","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Identification from data with periodically missing output samples 从定期丢失输出样本的数据中进行识别
IF 4.8 2区 计算机科学 Q1 AUTOMATION & CONTROL SYSTEMS Pub Date : 2024-08-22 DOI: 10.1016/j.automatica.2024.111869

The identification problem in case of data with missing values is challenging and currently not fully understood. For example, there are no general nonconservative identifiability results, nor provably correct data efficient methods. In this paper, we consider a special case of periodically missing output samples, where all but one output sample per period may be missing. The novel idea is to use a lifting operation that converts the original problem with missing data into an equivalent standard identification problem. The key step is the inverse transformation from the lifted to the original system, which requires computation of a matrix root. The well-posedness of the inverse transformation depends on the eigenvalues of the system. Under an assumption on the eigenvalues, which is not verifiable from the data, and a persistency of excitation-type assumption on the data, the method based on lifting recovers the data-generating system.

有缺失值数据时的识别问题具有挑战性,目前还没有被完全理解。例如,既没有一般的非保守可识别性结果,也没有可证明正确的数据有效方法。在本文中,我们考虑了一种周期性缺失输出样本的特殊情况,即每个周期除一个输出样本外,其他样本都可能缺失。新颖的思路是使用提升操作,将原始的数据缺失问题转换为等效的标准可识别问题。关键步骤是从提升到原始系统的逆变换,这需要计算矩阵根。逆变换的拟合程度取决于系统的特征值。根据无法从数据中验证的特征值假设,以及对数据的持续激励型假设,基于提升的方法可恢复数据生成系统。
{"title":"Identification from data with periodically missing output samples","authors":"","doi":"10.1016/j.automatica.2024.111869","DOIUrl":"10.1016/j.automatica.2024.111869","url":null,"abstract":"<div><p>The identification problem in case of data with missing values is challenging and currently not fully understood. For example, there are no general nonconservative identifiability results, nor provably correct data efficient methods. In this paper, we consider a special case of periodically missing output samples, where all but one output sample per period may be missing. The novel idea is to use a lifting operation that converts the original problem with missing data into an equivalent standard identification problem. The key step is the inverse transformation from the lifted to the original system, which requires computation of a matrix root. The well-posedness of the inverse transformation depends on the eigenvalues of the system. Under an assumption on the eigenvalues, which is not verifiable from the data, and a persistency of excitation-type assumption on the data, the method based on lifting recovers the data-generating system.</p></div>","PeriodicalId":55413,"journal":{"name":"Automatica","volume":null,"pages":null},"PeriodicalIF":4.8,"publicationDate":"2024-08-22","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"142041120","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":2,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Consensus algorithms for double-integrator dynamics with different velocity and actuator saturation constraints 具有不同速度和致动器饱和度约束的双积分器动力学共识算法
IF 4.8 2区 计算机科学 Q1 AUTOMATION & CONTROL SYSTEMS Pub Date : 2024-08-21 DOI: 10.1016/j.automatica.2024.111860

This paper considers consensus strategy design for double-integrator multi-agent systems with matched disturbances under a directed graph. Specifically, we consider the case where both the control inputs and velocities of the agents are subject to different and asymmetric constraints. A novel distributed algorithm exploiting saturation functions is proposed to achieve asymptotic consensus without violating the predefined velocity and actuator saturation constraints. Subsequently, we extend the obtained results to event-triggered communication, where agent position broadcasting occurs only when specific triggering conditions are met. We rigorously prove that there exists a positive minimum inter-event time to rule out Zeno behavior. Finally, the simulation results confirm the theoretical findings and illustrate the achievable performance.

本文考虑了有向图下具有匹配干扰的双积分器多代理系统的共识策略设计。具体来说,我们考虑了代理的控制输入和速度都受到不同和不对称约束的情况。我们提出了一种利用饱和函数的新型分布式算法,以在不违反预定速度和执行器饱和约束的情况下达成渐近共识。随后,我们将获得的结果扩展到事件触发通信,即只有在满足特定触发条件时,才会发生代理位置广播。我们严格证明,存在一个正的最小事件间时间,以排除芝诺行为。最后,模拟结果证实了理论结论,并说明了可实现的性能。
{"title":"Consensus algorithms for double-integrator dynamics with different velocity and actuator saturation constraints","authors":"","doi":"10.1016/j.automatica.2024.111860","DOIUrl":"10.1016/j.automatica.2024.111860","url":null,"abstract":"<div><p>This paper considers consensus strategy design for double-integrator multi-agent systems with matched disturbances under a directed graph. Specifically, we consider the case where both the control inputs and velocities of the agents are subject to different and asymmetric constraints. A novel distributed algorithm exploiting saturation functions is proposed to achieve asymptotic consensus without violating the predefined velocity and actuator saturation constraints. Subsequently, we extend the obtained results to event-triggered communication, where agent position broadcasting occurs only when specific triggering conditions are met. We rigorously prove that there exists a positive minimum inter-event time to rule out Zeno behavior. Finally, the simulation results confirm the theoretical findings and illustrate the achievable performance.</p></div>","PeriodicalId":55413,"journal":{"name":"Automatica","volume":null,"pages":null},"PeriodicalIF":4.8,"publicationDate":"2024-08-21","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"142040091","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":2,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Displacement-based formation control with predefined attitude over time-varying topologies 基于位移的编队控制,在时变拓扑结构上采用预定义姿态
IF 4.8 2区 计算机科学 Q1 AUTOMATION & CONTROL SYSTEMS Pub Date : 2024-08-21 DOI: 10.1016/j.automatica.2024.111852

This paper explores a displacement-based formation control problem in the presence of misaligned orientations among different body coordinate frames. When agents sense and adjust their relative positions, these misalignments suggest the attitudes of the agents in the absence of an agreement, thereby distorting collective behavior. To mitigate this distortion, an angular velocity control protocol is provided and embedded into a positively invariant set, aiming to establish a predefined attitude agreement. Based on this agreement, a formation control protocol is then to achieve the desired formation shape. Unlike the original alignment case, not only the dynamics of the agents among different coordinate frames are considered, but also the connectivity on the underlying topologies is relaxed. It should be pointed out that constructing a common Lyapunov function for these systems is challenging, since typical conditions for its existence and solvability, e.g., the double stochasticity condition or the non-trivial eigenvalue assignment, may not be satisfied. To address these challenges, a geometric analysis framework, derived as several polytopes and associated properties, is extended to handle these systems without the requirement for such conditions. By utilizing these properties, the control objectives of attitude and formation control are achieved, indicating that the desired formation shape is guaranteed through the implementation procedure of the attitude consensus. Finally, an example is conducted to verify the main results.

本文探讨了在不同身体坐标系之间存在方向错位的情况下基于位移的编队控制问题。当代理感知并调整其相对位置时,这些错位会在没有达成一致的情况下暗示代理的态度,从而扭曲集体行为。为了减轻这种扭曲,我们提供了一个角速度控制协议,并将其嵌入正向不变集,旨在建立一个预定义的姿态协议。在此协议的基础上,再通过编队控制协议实现所需的编队形状。与最初的对齐情况不同的是,不仅考虑了不同坐标系之间的代理动态,还放宽了底层拓扑的连通性。需要指出的是,为这些系统构建一个通用的 Lyapunov 函数具有挑战性,因为其存在性和可解性的典型条件,如双重随机性条件或非三重特征值赋值,可能无法满足。为了应对这些挑战,我们扩展了几何分析框架,将其衍生为若干多边形和相关属性,以处理这些系统,而无需满足这些条件。通过利用这些属性,实现了姿态和编队控制的目标,表明通过姿态共识的执行程序保证了所需的编队形状。最后,通过一个实例验证了主要结果。
{"title":"Displacement-based formation control with predefined attitude over time-varying topologies","authors":"","doi":"10.1016/j.automatica.2024.111852","DOIUrl":"10.1016/j.automatica.2024.111852","url":null,"abstract":"<div><p>This paper explores a displacement-based formation control problem in the presence of misaligned orientations among different body coordinate frames. When agents sense and adjust their relative positions, these misalignments suggest the attitudes of the agents in the absence of an agreement, thereby distorting collective behavior. To mitigate this distortion, an angular velocity control protocol is provided and embedded into a positively invariant set, aiming to establish a predefined attitude agreement. Based on this agreement, a formation control protocol is then to achieve the desired formation shape. Unlike the original alignment case, not only the dynamics of the agents among different coordinate frames are considered, but also the connectivity on the underlying topologies is relaxed. It should be pointed out that constructing a common Lyapunov function for these systems is challenging, since typical conditions for its existence and solvability, e.g., the double stochasticity condition or the non-trivial eigenvalue assignment, may not be satisfied. To address these challenges, a geometric analysis framework, derived as several polytopes and associated properties, is extended to handle these systems without the requirement for such conditions. By utilizing these properties, the control objectives of attitude and formation control are achieved, indicating that the desired formation shape is guaranteed through the implementation procedure of the attitude consensus. Finally, an example is conducted to verify the main results.</p></div>","PeriodicalId":55413,"journal":{"name":"Automatica","volume":null,"pages":null},"PeriodicalIF":4.8,"publicationDate":"2024-08-21","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"142039665","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":2,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Mean-square exponential stabilization of mixed-autonomy traffic PDE system 混合自主交通 PDE 系统的均方指数稳定
IF 4.8 2区 计算机科学 Q1 AUTOMATION & CONTROL SYSTEMS Pub Date : 2024-08-21 DOI: 10.1016/j.automatica.2024.111859

Control of mixed-autonomy traffic where Human-driven Vehicles (HVs) and Autonomous Vehicles (AVs) coexist on the road has gained increasing attention over the recent decades. This paper addresses the boundary stabilization problem for mixed traffic on freeways. The traffic dynamics are described by uncertain coupled hyperbolic partial differential equations (PDEs) with Markov jumping parameters, which aim to address the distinctive driving strategies between AVs and HVs. Considering that the spacing policies of AVs vary in mixed traffic, the stochastic impact area of AVs is governed by a continuous Markov chain. The interactions between HVs and AVs such as overtaking or lane changing are mainly induced by impact areas. Using backstepping design, we develop a full-state feedback boundary control law to stabilize the deterministic system (nominal system). Applying Lyapunov analysis, we demonstrate that the nominal backstepping control law is able to stabilize the traffic system with Markov jumping parameters, provided the nominal parameters are sufficiently close to the stochastic ones on average. The mean-square exponential stability conditions are derived, and the results are validated by numerical simulations.

近几十年来,人类驾驶车辆(HVs)和自动驾驶车辆(AVs)共存于道路上的混合自动驾驶交通控制问题日益受到关注。本文探讨了高速公路混合交通的边界稳定问题。交通动态由带有马尔科夫跳跃参数的不确定耦合双曲偏微分方程(PDE)描述,旨在解决 AV 和 HV 之间不同的驾驶策略。考虑到混合交通中 AVs 的间距策略各不相同,AVs 的随机影响区域由连续马尔可夫链控制。HV 与 AV 之间的相互作用(如超车或变道)主要是由撞击区域引起的。利用反步进设计,我们开发了一种全状态反馈边界控制法,以稳定确定性系统(标称系统)。应用 Lyapunov 分析,我们证明了只要标称参数足够接近随机参数的平均值,标称反步态控制法则就能稳定具有马尔可夫跳跃参数的交通系统。我们推导出了均方指数稳定性条件,并通过数值模拟对结果进行了验证。
{"title":"Mean-square exponential stabilization of mixed-autonomy traffic PDE system","authors":"","doi":"10.1016/j.automatica.2024.111859","DOIUrl":"10.1016/j.automatica.2024.111859","url":null,"abstract":"<div><p>Control of mixed-autonomy traffic where Human-driven Vehicles (HVs) and Autonomous Vehicles (AVs) coexist on the road has gained increasing attention over the recent decades. This paper addresses the boundary stabilization problem for mixed traffic on freeways. The traffic dynamics are described by uncertain coupled hyperbolic partial differential equations (PDEs) with Markov jumping parameters, which aim to address the distinctive driving strategies between AVs and HVs. Considering that the spacing policies of AVs vary in mixed traffic, the stochastic impact area of AVs is governed by a continuous Markov chain. The interactions between HVs and AVs such as overtaking or lane changing are mainly induced by impact areas. Using backstepping design, we develop a full-state feedback boundary control law to stabilize the deterministic system (nominal system). Applying Lyapunov analysis, we demonstrate that the nominal backstepping control law is able to stabilize the traffic system with Markov jumping parameters, provided the nominal parameters are sufficiently close to the stochastic ones on average. The mean-square exponential stability conditions are derived, and the results are validated by numerical simulations.</p></div>","PeriodicalId":55413,"journal":{"name":"Automatica","volume":null,"pages":null},"PeriodicalIF":4.8,"publicationDate":"2024-08-21","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"142039666","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":2,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
期刊
Automatica
全部 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学术文献互助群
群 号:481959085
Book学术
文献互助 智能选刊 最新文献 互助须知 联系我们:info@booksci.cn
Book学术提供免费学术资源搜索服务,方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。
Copyright © 2023 Book学术 All rights reserved.
ghs 京公网安备 11010802042870号 京ICP备2023020795号-1