Systems & Control Letters最新文献_第9页

Resilient abstraction-based hierarchical control of linear systems 基于弹性抽象的线性系统层次控制

IF 2.1 3区计算机科学

Systems & Control Letters Pub Date : 2025-02-02 DOI: 10.1016/j.sysconle.2025.106028

Elnaz Firouzmand, H.A. Talebi, Iman Sharifi

{"title":"Resilient abstraction-based hierarchical control of linear systems","authors":"Elnaz Firouzmand, H.A. Talebi, Iman Sharifi","doi":"10.1016/j.sysconle.2025.106028","DOIUrl":"10.1016/j.sysconle.2025.106028","url":null,"abstract":"<div><div>This paper develops a resilient hierarchical control structure for cyber–physical systems (CPSs) using an extended resilient approximate simulation function. Data transmission through wireless communication channels in CPSs is vulnerable to cyber-attacks. Furthermore, these systems may be modeled using linear dynamics with high-state dimensions. Hence, the control synthesis problem for concrete systems is computationally challenging. The extended resilient approximate simulation function introduced in this paper enables the use of an abstract system for computationally efficient controller design. This function is mathematically defined as the sum of the resilient approximate simulation function between the abstract model and the unknown input observer (UIO), and the simple approximate simulation function between the UIO and the concrete system. Accordingly, the controller can first be designed for the abstract system and then refined for the concrete system by introducing an appropriate interface controller. This controller constitutes an observer-based robust control law based on <span><math><msub><mrow><mi>H</mi></mrow><mrow><mi>∞</mi></mrow></msub></math></span> to guarantee the desired performance despite external disturbances and includes an adaptive compensator to mitigate the effect of attacks on the simulation relation. The applicability of the presented approach is demonstrated through two case studies: load frequency control in a power system and frequency regulation in an isolated area of the New England 39-Bus Test System.</div></div>","PeriodicalId":49450,"journal":{"name":"Systems & Control Letters","volume":"197 ","pages":"Article 106028"},"PeriodicalIF":2.1,"publicationDate":"2025-02-02","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"143171856","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

Practical considerations for implementing robust-to-early termination model predictive control 实现鲁棒到早期终止模型预测控制的实际考虑

IF 2.1 3区计算机科学

Systems & Control Letters Pub Date : 2025-02-01 DOI: 10.1016/j.sysconle.2024.106018

Mohsen Amiri, Mehdi Hosseinzadeh

{"title":"Practical considerations for implementing robust-to-early termination model predictive control","authors":"Mohsen Amiri, Mehdi Hosseinzadeh","doi":"10.1016/j.sysconle.2024.106018","DOIUrl":"10.1016/j.sysconle.2024.106018","url":null,"abstract":"<div><div>Model Predictive Control (MPC) is widely used to achieve performance objectives, while enforcing operational and safety constraints. Despite its high performance, MPC often demands significant computational resources, making it challenging to implement in systems with limited computing capacity. A recent approach to address this challenge is to use the Robust-to-Early Termination (REAP) strategy. At any time instant, REAP converts the MPC problem into the evolution of a virtual dynamical system whose trajectory converges to the optimal solution, and provides guaranteed sub-optimal and feasible solution whenever its evolution is terminated due to limited computational power. REAP has been introduced as a continuous-time scheme and its theoretical properties have been derived under the assumption that it performs all the computations in continuous time. However, REAP should be practically implemented in discrete-time. This paper focuses on the discrete-time implementation of REAP, exploring conditions under which anytime feasibility and convergence properties are maintained when the computations are performed in discrete time. The proposed methodology is validated and evaluated through extensive simulation and experimental studies.</div></div>","PeriodicalId":49450,"journal":{"name":"Systems & Control Letters","volume":"196 ","pages":"Article 106018"},"PeriodicalIF":2.1,"publicationDate":"2025-02-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"143182057","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

Model-free predictive iterative learning safety-critical consensus control for multi-agent systems with randomly varying trial lengths 随机变化试验长度的多智能体系统无模型预测迭代学习安全关键共识控制

IF 2.1 3区计算机科学

Systems & Control Letters Pub Date : 2025-02-01 DOI: 10.1016/j.sysconle.2024.105987

Rui Xu, Hua Chen, Yao Tang, Xinyuan Long

{"title":"Model-free predictive iterative learning safety-critical consensus control for multi-agent systems with randomly varying trial lengths","authors":"Rui Xu, Hua Chen, Yao Tang, Xinyuan Long","doi":"10.1016/j.sysconle.2024.105987","DOIUrl":"10.1016/j.sysconle.2024.105987","url":null,"abstract":"<div><div>In this paper, a model-free predictive iterative learning control (MFPILC) is proposed for a class of nonlinear and nonaffine single-input multiple-output (SIMO) discrete-time multi-agent systems with randomly varying trial lengths, input time-varying delay and nonrepetitive external disturbances to deal with the safety-critical consensus control problem. First, the agent dynamics are transformed into a novel dynamic linearization data model along the iteration axis containing the upper and lower bound of the unknown input time delay with an unknown system parameter pseudo gradient (PG). A steepest-descent estimation algorithm updated along the iterative learning axis is applied to deal with the unknown PG and the unknown non-repetitive external disturbances. Further, the predictive compensation mechanisms are proposed to address the problem of data loss caused by the varying trial lengths at each iteration of the MASs. Therefore, a predictive iterative learning consensus control method is designed for MASs based on consensus error and data compensation mechanisms. Moreover, a new model-free predictive iterative learning safety-critical consensus control combined with a discrete-time iterative learning control barrier function (ILCBF) is presented to ensure the output safety of nonlinear MASs. Finally, simulation results further verify the effectiveness of the proposed method.</div></div>","PeriodicalId":49450,"journal":{"name":"Systems & Control Letters","volume":"196 ","pages":"Article 105987"},"PeriodicalIF":2.1,"publicationDate":"2025-02-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"143183241","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

Myopic optimal strategies for a class of continuous-time deterministic and stochastic control problems 一类连续时间确定性和随机控制问题的近视最优策略

IF 2.1 3区计算机科学

Systems & Control Letters Pub Date : 2025-02-01 DOI: 10.1016/j.sysconle.2024.106016

José E. Márquez-Prado , Onésimo Hernández-Lerma , Héctor Jasso-Fuentes

引用次数: 0

Adaptive output feedback containment control for parabolic PDE multi-agent systems 抛物型PDE多智能体系统的自适应输出反馈控制

IF 2.1 3区计算机科学

Systems & Control Letters Pub Date : 2025-02-01 DOI: 10.1016/j.sysconle.2024.105994

Li Tang, Feixia Liu

引用次数: 0

Adaptive leaderless consensus of MIMO multi-agent systems with unknown dynamics and nonlinear dynamic uncertainties 具有未知动态和非线性动态不确定性的 MIMO 多代理系统的自适应无领导共识

IF 2.1 3区计算机科学

Systems & Control Letters Pub Date : 2025-02-01 DOI: 10.1016/j.sysconle.2024.105983

Yanhua Yang, Jie Mei, Guangfu Ma

引用次数: 0

Formal safety verification of non-deterministic systems based on probabilistic reachability computation 基于概率可达性计算的非确定性系统形式化安全验证

IF 2.1 3区计算机科学

Systems & Control Letters Pub Date : 2025-02-01 DOI: 10.1016/j.sysconle.2024.106014

Yuminghao Xiao, Tianbing Xia, Hongdong Wang

{"title":"Formal safety verification of non-deterministic systems based on probabilistic reachability computation","authors":"Yuminghao Xiao, Tianbing Xia, Hongdong Wang","doi":"10.1016/j.sysconle.2024.106014","DOIUrl":"10.1016/j.sysconle.2024.106014","url":null,"abstract":"<div><div>In this paper, we develop a formal safety verification method based on analytic probabilistic reachability computation, which can estimate the probability of controlled non-deterministic systems entering unsafe states subject to disturbances. Specifically, we employ stochastic differential equations (SDEs) to describe the dynamics of the system and resort to a regularized indicator function to express the collision probability between the state trajectory of the system and unsafe states. We proceed to formulate this collision probability as the viscosity solution to a second-order variational-inequality and provide a rigorous proof for such a novel interpretation. Moreover, we discuss the ENO-Godunov scheme for solving the deduced variational-inequality, which obviates the need for Monte-Carlo simulations and the optimality condition along a complex boundary. The developed framework offers a structured approach to identify potential risks in safety critical systems and maintains a user-friendly implementation. Lastly, we demonstrate the above application in a safety verification problem related to maritime navigation.</div></div>","PeriodicalId":49450,"journal":{"name":"Systems & Control Letters","volume":"196 ","pages":"Article 106014"},"PeriodicalIF":2.1,"publicationDate":"2025-02-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"143182972","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 computation of approximate solutions to large-scale backstepping kernel equations via continuum approximation 用连续统逼近法计算大规模反步核方程近似解

IF 2.1 3区计算机科学

Systems & Control Letters Pub Date : 2025-02-01 DOI: 10.1016/j.sysconle.2024.105982

Jukka-Pekka Humaloja, Nikolaos Bekiaris-Liberis

{"title":"On computation of approximate solutions to large-scale backstepping kernel equations via continuum approximation","authors":"Jukka-Pekka Humaloja, Nikolaos Bekiaris-Liberis","doi":"10.1016/j.sysconle.2024.105982","DOIUrl":"10.1016/j.sysconle.2024.105982","url":null,"abstract":"<div><div>We provide two methods for computation of continuum backstepping kernels that arise in control of continua (ensembles) of linear hyperbolic PDEs and which can approximate backstepping kernels arising in control of a large-scale, PDE system counterpart (with computational complexity that does not grow with the number of state components of the large-scale system). In the first method, we provide explicit formulae for the solution to the continuum kernels PDEs, employing a (triple) power series representation of the continuum kernel and establishing its convergence properties. In this case, we also provide means for reducing computational complexity by properly truncating the power series (in the powers of the ensemble variable). In the second method, we identify a class of systems for which the solution to the continuum (and hence, also an approximate solution to the respective large-scale) kernel equations can be constructed in closed form. We also present numerical examples to illustrate computational efficiency/accuracy of the approaches, as well as to validate the stabilization properties of the approximate control kernels, constructed based on the continuum.</div></div>","PeriodicalId":49450,"journal":{"name":"Systems & Control Letters","volume":"196 ","pages":"Article 105982"},"PeriodicalIF":2.1,"publicationDate":"2025-02-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"143182995","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

Exponential stabilization of linear systems using nearest-action control with countable input set 带可数输入集的最近邻控制线性系统的指数镇定

IF 2.1 3区计算机科学

Systems & Control Letters Pub Date : 2025-02-01 DOI: 10.1016/j.sysconle.2024.105992

Muhammad Zaki Almuzakki , Bayu Jayawardhana , Aneel Tanwani , Antonis I. Vakis

引用次数: 0

Detectability of linear stochastic impulsive systems with state-dependent noises 具有状态相关噪声的线性随机脉冲系统的可检测性

IF 2.1 3区计算机科学

Systems & Control Letters Pub Date : 2025-02-01 DOI: 10.1016/j.sysconle.2024.105989

Shixian Luo , Xin Chen , Feiqi Deng , Yan Jiang

{"title":"Detectability of linear stochastic impulsive systems with state-dependent noises","authors":"Shixian Luo , Xin Chen , Feiqi Deng , Yan Jiang","doi":"10.1016/j.sysconle.2024.105989","DOIUrl":"10.1016/j.sysconle.2024.105989","url":null,"abstract":"<div><div>This paper focuses on the characterization of moment detectability and almost sure detectability for linear stochastic impulsive systems. The concepts and characterizations of the <span><math><mrow><mn>2</mn><mi>p</mi></mrow></math></span>th moment detectability and almost sure detectability are first introduced. Two expanded systems, the state-expanded stochastic system and the moment equation, are established by utilizing the generalized <span><math><mi>H</mi></math></span>-representation technique. A series of geometric and algebraic conditions for the <span><math><mrow><mn>2</mn><mi>p</mi></mrow></math></span>th moment detectability of the linear stochastic impulsive systems are established by analyzing the 2nd moment detectability of the state-expanded system and the complete detectability of the moment equation. Subsequently, by introducing a strictly positive-definite quasi-periodic composite polynomial Lyapunov candidate, almost sure detectability criteria are framed in terms of linear matrix inequalities, showing that almost sure detectability is less conservative than moment detectability. Finally, two numerical examples with comparisons are provided to illustrate the proposed theoretical results.</div></div>","PeriodicalId":49450,"journal":{"name":"Systems & Control Letters","volume":"196 ","pages":"Article 105989"},"PeriodicalIF":2.1,"publicationDate":"2025-02-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"143183644","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