首页 > 最新文献

European Journal of Control最新文献

英文 中文
Data-driven uncertainty propagation for stochastic predictive control of multi-energy systems 多能源系统随机预测控制的数据驱动不确定性传播
IF 2.5 3区 计算机科学 Q2 AUTOMATION & CONTROL SYSTEMS Pub Date : 2024-11-01 DOI: 10.1016/j.ejcon.2024.101066
M. Batu Özmeteler , Deborah Bilgic , Guanru Pan , Alexander Koch , Timm Faulwasser
Stochastic predictive control schemes that account for epistemic and aleatoric uncertainties, i.e. lack of model knowledge and stochastic disturbances, are of major interest for multi-energy systems. However, there exists a trade-off between model complexity, computational effort, and accuracy of uncertainty quantification. This paper attempts to assess this trade-off by comparing a recently proposed approach combining Willems’ fundamental lemma with polynomial chaos expansion to a model-based scheme that first propagates uncertainty with PCE and then considers chance constraints in the optimization. The simulation results show that the data-driven scheme yields similar performance and computational efficiency compared to the model-based scheme, with the advantage of avoiding the construction of explicit models.
对于多能源系统而言,考虑到认识不确定性和不确定性(即缺乏模型知识和随机干扰)的随机预测控制方案具有重大意义。然而,在模型复杂性、计算工作量和不确定性量化的准确性之间存在权衡。本文试图通过比较最近提出的将 Willems 基本定理与多项式混沌扩展相结合的方法与基于模型的方案(该方案首先用 PCE 传播不确定性,然后在优化过程中考虑偶然性约束)来评估这种权衡。仿真结果表明,与基于模型的方案相比,数据驱动方案具有相似的性能和计算效率,其优点是避免构建显式模型。
{"title":"Data-driven uncertainty propagation for stochastic predictive control of multi-energy systems","authors":"M. Batu Özmeteler ,&nbsp;Deborah Bilgic ,&nbsp;Guanru Pan ,&nbsp;Alexander Koch ,&nbsp;Timm Faulwasser","doi":"10.1016/j.ejcon.2024.101066","DOIUrl":"10.1016/j.ejcon.2024.101066","url":null,"abstract":"<div><div>Stochastic predictive control schemes that account for epistemic and aleatoric uncertainties, i.e. lack of model knowledge and stochastic disturbances, are of major interest for multi-energy systems. However, there exists a trade-off between model complexity, computational effort, and accuracy of uncertainty quantification. This paper attempts to assess this trade-off by comparing a recently proposed approach combining Willems’ fundamental lemma with polynomial chaos expansion to a model-based scheme that first propagates uncertainty with PCE and then considers chance constraints in the optimization. The simulation results show that the data-driven scheme yields similar performance and computational efficiency compared to the model-based scheme, with the advantage of avoiding the construction of explicit models.</div></div>","PeriodicalId":50489,"journal":{"name":"European Journal of Control","volume":"80 ","pages":"Article 101066"},"PeriodicalIF":2.5,"publicationDate":"2024-11-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141722045","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
Uniform ultimate boundedness analysis for linear systems with asymmetric input backlash and dead-zone: A piecewise quadratic Lyapunov function approach 具有非对称输入反冲和死区的线性系统的统一极限约束性分析:片断二次Lyapunov函数方法
IF 2.5 3区 计算机科学 Q2 AUTOMATION & CONTROL SYSTEMS Pub Date : 2024-11-01 DOI: 10.1016/j.ejcon.2024.101059
A. Pierron , J. Kreiss , M. Jungers , G. Millérioux , J. Dupont , M. Martig
This paper deals with the interconnection between a linear system and a nonlinear operator consisting of asymmetric input backlash and asymmetric dead-zone. The uniform ultimate boundedness of the system is studied. A piecewise quadratic Lyapunov function, suitable with the polyhedral description of the nonlinear operator is proposed. The conservatism of existing results is therefore reduced. The effectiveness and improvement of the results are assessed using a numerical example.
本文论述了线性系统与由非对称输入反冲和非对称死区组成的非线性算子之间的相互联系。研究了系统的均匀终极有界性。本文提出了一种适合非线性算子多面体描述的片断二次 Lyapunov 函数。因此减少了现有结果的保守性。通过一个数值示例对结果的有效性和改进进行了评估。
{"title":"Uniform ultimate boundedness analysis for linear systems with asymmetric input backlash and dead-zone: A piecewise quadratic Lyapunov function approach","authors":"A. Pierron ,&nbsp;J. Kreiss ,&nbsp;M. Jungers ,&nbsp;G. Millérioux ,&nbsp;J. Dupont ,&nbsp;M. Martig","doi":"10.1016/j.ejcon.2024.101059","DOIUrl":"10.1016/j.ejcon.2024.101059","url":null,"abstract":"<div><div>This paper deals with the interconnection between a linear system and a nonlinear operator consisting of asymmetric input backlash and asymmetric dead-zone. The uniform ultimate boundedness of the system is studied. A piecewise quadratic Lyapunov function, suitable with the polyhedral description of the nonlinear operator is proposed. The conservatism of existing results is therefore reduced. The effectiveness and improvement of the results are assessed using a numerical example.</div></div>","PeriodicalId":50489,"journal":{"name":"European Journal of Control","volume":"80 ","pages":"Article 101059"},"PeriodicalIF":2.5,"publicationDate":"2024-11-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141398824","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"OA","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Pitot tube measure-aided air velocity and attitude estimation in GNSS denied environment 全球导航卫星系统拒绝环境下的皮托管测量辅助气流速度和姿态估计
IF 2.5 3区 计算机科学 Q2 AUTOMATION & CONTROL SYSTEMS Pub Date : 2024-11-01 DOI: 10.1016/j.ejcon.2024.101070
Tomas L. de Oliveira , Pieter van Goor , Tarek Hamel , Robert Mahony , Claude Samson
This paper addresses the problem of estimating air velocity and gravity direction for small autonomous fixed-wing drones in GNSS1-denied environments. The proposed solution uses a minimal sensor suite, relying on Pitot tube measurements and Inertial Measurement Unit (IMU) signals, including only gyrometers and accelerometers. The approach combines the Riccati observer and Equivariant Filter designs, using an over-parametrization technique to design an observer on SO(3)×R3 and subsequently re-project to S2×R3 to estimate the gravity direction. The system’s observability is analyzed, and local exponential stability of the origin of the observer error is demonstrated as long as the aircraft attitude is persistently exciting. The observer was evaluated using simulated and real flight data to showcase the estimator’s performance.
本文探讨了小型自主固定翼无人机在全球导航卫星系统(GNSS)1失效环境中估算气流速度和重力方向的问题。提出的解决方案使用了最小传感器套件,依赖于皮托管测量和惯性测量单元(IMU)信号,仅包括陀螺仪和加速度计。该方法结合了里卡提观测器和等变滤波器设计,使用过参数化技术在 SO(3)×R3 上设计一个观测器,然后重新投影到 S2×R3 以估计重力方向。分析了系统的可观测性,并证明了只要飞机姿态持续令人兴奋,观测器误差起源的局部指数稳定性。利用模拟和实际飞行数据对观测器进行了评估,以展示估计器的性能。
{"title":"Pitot tube measure-aided air velocity and attitude estimation in GNSS denied environment","authors":"Tomas L. de Oliveira ,&nbsp;Pieter van Goor ,&nbsp;Tarek Hamel ,&nbsp;Robert Mahony ,&nbsp;Claude Samson","doi":"10.1016/j.ejcon.2024.101070","DOIUrl":"10.1016/j.ejcon.2024.101070","url":null,"abstract":"<div><div><span>This paper addresses the problem of estimating air velocity and gravity direction for small autonomous fixed-wing drones in GNSS</span><span><span><sup>1</sup></span></span><span>-denied environments. The proposed solution uses a minimal sensor suite, relying on Pitot tube<span> measurements and Inertial Measurement Unit (IMU) signals, including only gyrometers and accelerometers. The approach combines the Riccati observer and Equivariant Filter designs, using an over-parametrization technique to design an observer on </span></span><span><math><mrow><mi>SO</mi><mrow><mo>(</mo><mn>3</mn><mo>)</mo></mrow><mo>×</mo><msup><mrow><mi>R</mi></mrow><mrow><mn>3</mn></mrow></msup></mrow></math></span> and subsequently re-project to <span><math><mrow><msup><mrow><mi>S</mi></mrow><mrow><mn>2</mn></mrow></msup><mo>×</mo><msup><mrow><mi>R</mi></mrow><mrow><mn>3</mn></mrow></msup></mrow></math></span> to estimate the gravity direction. The system’s observability is analyzed, and local exponential stability of the origin of the observer error is demonstrated as long as the aircraft attitude is persistently exciting. The observer was evaluated using simulated and real flight data to showcase the estimator’s performance.</div></div>","PeriodicalId":50489,"journal":{"name":"European Journal of Control","volume":"80 ","pages":"Article 101070"},"PeriodicalIF":2.5,"publicationDate":"2024-11-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141414196","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
Special Issue on the 2024 European Control Conference 2024 年欧洲控制会议特刊
IF 2.5 3区 计算机科学 Q2 AUTOMATION & CONTROL SYSTEMS Pub Date : 2024-11-01 DOI: 10.1016/j.ejcon.2024.101123
Thomas Parisini (Editor-in-Chief EJC)
{"title":"Special Issue on the 2024 European Control Conference","authors":"Thomas Parisini (Editor-in-Chief EJC)","doi":"10.1016/j.ejcon.2024.101123","DOIUrl":"10.1016/j.ejcon.2024.101123","url":null,"abstract":"","PeriodicalId":50489,"journal":{"name":"European Journal of Control","volume":"80 ","pages":"Article 101123"},"PeriodicalIF":2.5,"publicationDate":"2024-11-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"142664032","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
On controllability of temporal networks 论时空网络的可控性
IF 2.5 3区 计算机科学 Q2 AUTOMATION & CONTROL SYSTEMS Pub Date : 2024-11-01 DOI: 10.1016/j.ejcon.2024.101046
Luca Claude Gino Lebon , Francesco Lo Iudice , Claudio Altafini
Temporality has been recently identified as a useful feature to exploit when controlling a complex network. Empirical evidence has in fact shown that, with respect to their static counterparts, temporal networks (i) are often endowed with larger reachable sets and (ii) require less control energy when steered towards an arbitrary target state. However, to date, we lack conditions guaranteeing that the dimension of the controllable subspace of a temporal network is larger than that of its static counterpart. In this work, we consider the case in which a static network is input connected but not controllable. We show that when the structure of the graph underlying the temporal network remains the same throughout each temporal snapshot while the (nonvanishing) edge weights vary, then the temporal network will be completely controllable almost always, even when its static counterpart is not. An upper bound on the number of snapshots needed to achieve controllability is also provided.
最近,人们发现时间性是控制复杂网络时可以利用的一个有用特征。经验证据表明,与静态网络相比,时态网络(i) 通常具有更大的可到达集,(ii) 在导向任意目标状态时所需的控制能量更少。然而,迄今为止,我们还缺乏保证时态网络可控子空间维度大于静态网络可控子空间维度的条件。在这项研究中,我们考虑了静态网络具有输入连接但不可控的情况。我们的研究表明,当时态网络底层图的结构在每个时态快照中保持不变,而(非消失)边的权重发生变化时,时态网络几乎总是完全可控的,即使其静态对应网络并不可控。此外,还提供了实现可控性所需的快照数量上限。
{"title":"On controllability of temporal networks","authors":"Luca Claude Gino Lebon ,&nbsp;Francesco Lo Iudice ,&nbsp;Claudio Altafini","doi":"10.1016/j.ejcon.2024.101046","DOIUrl":"10.1016/j.ejcon.2024.101046","url":null,"abstract":"<div><div>Temporality has been recently identified as a useful feature to exploit when controlling a complex network. Empirical evidence has in fact shown that, with respect to their static counterparts, temporal networks (i) are often endowed with larger reachable sets and (ii) require less control energy when steered towards an arbitrary target state. However, to date, we lack conditions guaranteeing that the dimension of the controllable subspace of a temporal network is larger than that of its static counterpart. In this work, we consider the case in which a static network is input connected but not controllable. We show that when the structure of the graph underlying the temporal network remains the same throughout each temporal snapshot while the (nonvanishing) edge weights vary, then the temporal network will be completely controllable almost always, even when its static counterpart is not. An upper bound on the number of snapshots needed to achieve controllability is also provided.</div></div>","PeriodicalId":50489,"journal":{"name":"European Journal of Control","volume":"80 ","pages":"Article 101046"},"PeriodicalIF":2.5,"publicationDate":"2024-11-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141510765","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"OA","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Data-driven reduced-order unknown-input observers 数据驱动的降序未知输入观测器
IF 2.5 3区 计算机科学 Q2 AUTOMATION & CONTROL SYSTEMS Pub Date : 2024-11-01 DOI: 10.1016/j.ejcon.2024.101034
Giorgia Disarò, Maria Elena Valcher
In this paper we propose a data-driven approach to the design of reduced-order unknown-input observers (rUIOs). We first recall the model-based solution, by assuming a problem set-up slightly different from those traditionally adopted in the literature, in order to be able to easily adapt it to the data-driven scenario. Necessary and sufficient conditions for the existence of a reduced-order unknown-input observer, whose matrices can be derived from a sufficiently rich set of collected historical data, are first derived and then proved to be equivalent to the ones obtained in the model-based framework. Finally, a numerical example is presented, to validate the effectiveness of the proposed scheme.
在本文中,我们提出了一种数据驱动的方法,用于设计降阶未知输入观测器(rUIOs)。我们首先回顾了基于模型的解决方案,假设问题设置与传统文献中采用的问题设置略有不同,以便能够轻松地将其调整为数据驱动型方案。首先推导出存在降序未知输入观测器的必要条件和充分条件,这些条件可以从收集到的足够丰富的历史数据中推导出矩阵,然后证明这些条件等同于在基于模型的框架中获得的条件。最后,介绍了一个数值示例,以验证所提方案的有效性。
{"title":"Data-driven reduced-order unknown-input observers","authors":"Giorgia Disarò,&nbsp;Maria Elena Valcher","doi":"10.1016/j.ejcon.2024.101034","DOIUrl":"10.1016/j.ejcon.2024.101034","url":null,"abstract":"<div><div>In this paper we propose a data-driven approach to the design of reduced-order unknown-input observers (rUIOs). We first recall the model-based solution, by assuming a problem set-up slightly different from those traditionally adopted in the literature, in order to be able to easily adapt it to the data-driven scenario. Necessary and sufficient conditions for the existence of a reduced-order unknown-input observer, whose matrices can be derived from a sufficiently rich set of collected historical data, are first derived and then proved to be equivalent to the ones obtained in the model-based framework. Finally, a numerical example is presented, to validate the effectiveness of the proposed scheme.</div></div>","PeriodicalId":50489,"journal":{"name":"European Journal of Control","volume":"80 ","pages":"Article 101034"},"PeriodicalIF":2.5,"publicationDate":"2024-11-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141510766","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"OA","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Efficient demand management for the on-time arrival problem: A convexified multi-objective approach assuming macroscopic traffic dynamics 准时到达问题的高效需求管理:假设宏观交通动态的凸化多目标方法
IF 2.5 3区 计算机科学 Q2 AUTOMATION & CONTROL SYSTEMS Pub Date : 2024-11-01 DOI: 10.1016/j.ejcon.2024.101057
C. Menelaou, S. Timotheou, P. Kolios, C.G. Panayiotou
This work proposes a novel solution approach to address the On-Time Arrival (OTA) problem, considering macroscopic traffic dynamics. In this context, all drivers who intend to use the road infrastructure are required to communicate their origin–destination pair and desired arrival time to a central scheduler prior to starting their trip. In response, the scheduler assigns a departure time and a multi-regional route to each driver to make possible their on-time arrival at the destination. The OTA problem is formulated as a nonconvex, nonlinear, multi-objective optimization problem considering two objective criteria. The first criterion aims at minimizing the travel time of all drivers in the network to prevent congestion, while the second criterion seeks to minimize the discrepancy between the desired and actual arrival time. The proposed formulation is solved efficiently through an approximated convex solution that leverages the Normal Boundary Intersection (NBI) method to efficiently generate a representative sample of the Pareto Front. Additionally, two solution methodologies based on “knee” solution and the Nash Bargaining Game is proposed which can be used to select a unique solution across all the Pareto points, that offers a reasonable trade-off between the two objective criteria. Finally, simulation results demonstrate that the proposed solution can significantly reduce congestion while ensuring that most drivers will arrive at their destination on their desired time.
考虑到宏观交通动态,本研究提出了一种解决准时到达(OTA)问题的新方法。在这种情况下,所有打算使用道路基础设施的司机都必须在开始行程之前,将其出发地-目的地配对和期望到达时间告知中央调度员。作为回应,调度员会为每位司机分配出发时间和多区域路线,使他们能够准时到达目的地。OTA 问题是一个非凸、非线性、多目标优化问题,考虑到两个目标标准。第一个标准旨在最大限度地减少网络中所有司机的旅行时间,以防止拥堵;第二个标准旨在最大限度地减少理想到达时间与实际到达时间之间的差异。通过近似凸解,利用法线边界交叉(NBI)方法有效生成帕累托前沿的代表性样本,从而高效解决所提出的问题。此外,还提出了基于 "膝 "解和纳什讨价还价博弈的两种求解方法,可用于在所有帕累托点中选择一个唯一的解决方案,在两个目标标准之间进行合理权衡。最后,模拟结果表明,所提出的解决方案可以显著减少拥堵,同时确保大多数驾驶员能在预期时间内到达目的地。
{"title":"Efficient demand management for the on-time arrival problem: A convexified multi-objective approach assuming macroscopic traffic dynamics","authors":"C. Menelaou,&nbsp;S. Timotheou,&nbsp;P. Kolios,&nbsp;C.G. Panayiotou","doi":"10.1016/j.ejcon.2024.101057","DOIUrl":"10.1016/j.ejcon.2024.101057","url":null,"abstract":"<div><div>This work proposes a novel solution approach to address the On-Time Arrival (OTA) problem, considering macroscopic traffic dynamics. In this context, all drivers who intend to use the road infrastructure are required to communicate their origin–destination pair and desired arrival time to a central scheduler prior to starting their trip. In response, the scheduler assigns a departure time and a multi-regional route to each driver to make possible their on-time arrival at the destination. The OTA problem is formulated as a nonconvex, nonlinear, multi-objective optimization problem considering two objective criteria. The first criterion aims at minimizing the travel time of all drivers in the network to prevent congestion, while the second criterion seeks to minimize the discrepancy between the desired and actual arrival time. The proposed formulation is solved efficiently through an approximated convex solution<span> that leverages the Normal Boundary Intersection (NBI) method to efficiently generate a representative sample of the Pareto Front. Additionally, two solution methodologies based on “knee” solution and the Nash Bargaining Game is proposed which can be used to select a unique solution across all the Pareto points, that offers a reasonable trade-off between the two objective criteria. Finally, simulation results demonstrate that the proposed solution can significantly reduce congestion while ensuring that most drivers will arrive at their destination on their desired time.</span></div></div>","PeriodicalId":50489,"journal":{"name":"European Journal of Control","volume":"80 ","pages":"Article 101057"},"PeriodicalIF":2.5,"publicationDate":"2024-11-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141577017","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
Gauss–Newton Runge–Kutta integration for efficient discretization of optimal control problems with long horizons and least-squares costs 高斯-牛顿 Runge-Kutta 积分法有效离散化具有长视野和最小二乘成本的最优控制问题
IF 2.5 3区 计算机科学 Q2 AUTOMATION & CONTROL SYSTEMS Pub Date : 2024-11-01 DOI: 10.1016/j.ejcon.2024.101038
Jonathan Frey , Katrin Baumgärtner , Moritz Diehl
This work proposes an efficient treatment of continuous-time optimal control problems with long horizons and nonlinear least-squares costs. In particular, we present the Gauss–Newton Runge–Kutta (GNRK) integrator which provides a high-order cost integration. Crucially, the Hessian of the cost terms required within an SQP-type algorithm is approximated with a Gauss–Newton Hessian. Moreover, L2 penalty formulations for constraints are shown to be particularly effective for optimization with GNRK. An efficient implementation of GNRK is provided in the open-source software framework acados. We demonstrate the effectiveness of the proposed approach and its implementation on an illustrative example showing a reduction of relative suboptimality by a factor greater than 10 while increasing the runtime by only 10%.
这项研究提出了一种有效的方法,用于处理具有长周期和非线性最小二乘成本的连续时间最优控制问题。我们特别提出了高斯-牛顿 Runge-Kutta (GNRK) 积分器,它提供了高阶成本积分。最重要的是,SQP 类型算法中所需成本项的 Hessian 可以用高斯-牛顿 Hessian 逼近。此外,约束条件的惩罚公式对使用 GNRK 进行优化特别有效。在开源软件框架中提供了 GNRK 的高效实现。我们在一个示例中演示了所提方法及其实现的有效性,结果表明相对次优性降低了 10 倍以上,而运行时间仅增加了 10%。
{"title":"Gauss–Newton Runge–Kutta integration for efficient discretization of optimal control problems with long horizons and least-squares costs","authors":"Jonathan Frey ,&nbsp;Katrin Baumgärtner ,&nbsp;Moritz Diehl","doi":"10.1016/j.ejcon.2024.101038","DOIUrl":"10.1016/j.ejcon.2024.101038","url":null,"abstract":"<div><div>This work proposes an efficient treatment of continuous-time optimal control problems with long horizons and nonlinear least-squares costs. In particular, we present the Gauss–Newton Runge–Kutta (GNRK) integrator which provides a high-order cost integration. Crucially, the Hessian of the cost terms required within an SQP-type algorithm is approximated with a Gauss–Newton Hessian. Moreover, <span><math><msub><mrow><mi>L</mi></mrow><mrow><mn>2</mn></mrow></msub></math></span> penalty formulations for constraints are shown to be particularly effective for optimization with GNRK. An efficient implementation of GNRK is provided in the open-source software framework <span>acados</span>. We demonstrate the effectiveness of the proposed approach and its implementation on an illustrative example showing a reduction of relative suboptimality by a factor greater than 10 while increasing the runtime by only 10%.</div></div>","PeriodicalId":50489,"journal":{"name":"European Journal of Control","volume":"80 ","pages":"Article 101038"},"PeriodicalIF":2.5,"publicationDate":"2024-11-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141510841","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"OA","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
On ℓ2-performance of weakly-hard real-time control systems 论弱硬实时控制系统的[公式省略]性能
IF 2.5 3区 计算机科学 Q2 AUTOMATION & CONTROL SYSTEMS Pub Date : 2024-11-01 DOI: 10.1016/j.ejcon.2024.101056
Marc Seidel, Simon Lang, Frank Allgöwer
This paper considers control systems with failures in the feedback channel, that occasionally lead to loss of the control input signal. A useful approach for modeling such failures is to consider window-based constraints on possible loss sequences, for example that at least r control attempts in every window of s are successful. A powerful framework to model such constraints are weakly-hard real-time constraints. Various approaches for stability analysis and the synthesis of stabilizing controllers for such systems have been presented in the past. However, existing results are mostly limited to asymptotic stability and rarely consider performance measures such as the resulting 2-gain. To address this problem, we adapt a switched system description where the switching sequence is constrained by a graph that captures the loss information. We present an approach for 2-performance analysis involving linear matrix inequalities (LMI). Further, leveraging a system lifting method, we propose an LMI-based approach for synthesizing state-feedback controllers with guaranteed 2-performance. The results are illustrated by a numerical example.
本文考虑的是反馈通道出现故障的控制系统,这种故障偶尔会导致控制输入信号丢失。对这种故障建模的一种有用方法是考虑对可能的损失序列进行基于窗口的约束,例如,每个窗口中至少有一次控制尝试是成功的。弱硬实时约束是模拟此类约束的一个强大框架。过去曾提出过多种方法来分析此类系统的稳定性并合成稳定控制器。然而,现有结果大多局限于渐近稳定性,很少考虑性能指标,如产生的 - 增益。为了解决这个问题,我们采用了一种开关系统描述,在这种描述中,开关序列受一个能捕捉损失信息的图的约束。我们提出了一种涉及线性矩阵不等式(LMI)的性能分析方法。此外,利用系统提升方法,我们提出了一种基于 LMI 的方法,用于合成性能有保证的状态反馈控制器。通过一个数值示例对结果进行了说明。
{"title":"On ℓ2-performance of weakly-hard real-time control systems","authors":"Marc Seidel,&nbsp;Simon Lang,&nbsp;Frank Allgöwer","doi":"10.1016/j.ejcon.2024.101056","DOIUrl":"10.1016/j.ejcon.2024.101056","url":null,"abstract":"<div><div>This paper considers control systems with failures in the feedback channel, that occasionally lead to loss of the control input signal. A useful approach for modeling such failures is to consider window-based constraints on possible loss sequences, for example that at least <span><math><mi>r</mi></math></span> control attempts in every window of <span><math><mi>s</mi></math></span> are successful. A powerful framework to model such constraints are weakly-hard real-time constraints. Various approaches for stability analysis and the synthesis of stabilizing controllers for such systems have been presented in the past. However, existing results are mostly limited to asymptotic stability and rarely consider performance measures such as the resulting <span><math><msub><mrow><mi>ℓ</mi></mrow><mrow><mn>2</mn></mrow></msub></math></span>-gain. To address this problem, we adapt a switched system description where the switching sequence is constrained by a graph that captures the loss information. We present an approach for <span><math><msub><mrow><mi>ℓ</mi></mrow><mrow><mn>2</mn></mrow></msub></math></span>-performance analysis involving linear matrix inequalities (LMI). Further, leveraging a system lifting method, we propose an LMI-based approach for synthesizing state-feedback controllers with guaranteed <span><math><msub><mrow><mi>ℓ</mi></mrow><mrow><mn>2</mn></mrow></msub></math></span>-performance. The results are illustrated by a numerical example.</div></div>","PeriodicalId":50489,"journal":{"name":"European Journal of Control","volume":"80 ","pages":"Article 101056"},"PeriodicalIF":2.5,"publicationDate":"2024-11-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141530138","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"OA","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
A contract negotiation scheme for safety verification of interconnected systems 用于互联系统安全验证的合同协商方案
IF 2.5 3区 计算机科学 Q2 AUTOMATION & CONTROL SYSTEMS Pub Date : 2024-11-01 DOI: 10.1016/j.ejcon.2024.101053
Xiao Tan , Antonis Papachristodoulou , Dimos V. Dimarogonas
This paper proposes a (control) barrier function synthesis and safety verification scheme for interconnected nonlinear systems based on assume-guarantee contracts (AGC) and sum-of-squares (SOS) techniques. It is well-known that the SOS approach does not scale well for barrier function synthesis for high-dimensional systems. In this paper, we show that compositional methods like AGC can mitigate this problem. We formulate the synthesis problem into a set of small-size problems, which constructs local contracts for subsystems, and propose a negotiation scheme among the subsystems at the contract level. The proposed scheme is then implemented numerically on two examples: vehicle platooning and room temperature regulation.
本文提出了一种基于假设-保证合同(AGC)和平方和(SOS)技术的互联非线性系统(控制)障碍函数合成和安全验证方案。众所周知,SOS 方法不能很好地扩展到高维系统的障碍函数合成。在本文中,我们展示了 AGC 等组合方法可以缓解这一问题。我们将合成问题表述为一系列小问题,为子系统构建局部合约,并提出了子系统之间在合约层面的协商方案。然后,我们在两个实例中对所提出的方案进行了数值实现:车辆排布和室温调节。
{"title":"A contract negotiation scheme for safety verification of interconnected systems","authors":"Xiao Tan ,&nbsp;Antonis Papachristodoulou ,&nbsp;Dimos V. Dimarogonas","doi":"10.1016/j.ejcon.2024.101053","DOIUrl":"10.1016/j.ejcon.2024.101053","url":null,"abstract":"<div><div>This paper proposes a (control) barrier function synthesis and safety verification scheme for interconnected nonlinear systems based on assume-guarantee contracts (AGC) and sum-of-squares (SOS) techniques. It is well-known that the SOS approach does not scale well for barrier function synthesis for high-dimensional systems. In this paper, we show that compositional methods like AGC can mitigate this problem. We formulate the synthesis problem into a set of small-size problems, which constructs local contracts for subsystems, and propose a negotiation scheme among the subsystems at the contract level. The proposed scheme is then implemented numerically on two examples: vehicle platooning and room temperature regulation.</div></div>","PeriodicalId":50489,"journal":{"name":"European Journal of Control","volume":"80 ","pages":"Article 101053"},"PeriodicalIF":2.5,"publicationDate":"2024-11-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141532484","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"OA","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
期刊
European Journal of Control
全部 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