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

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

Impulsive and impulse-free PD solutions of singular LQ control 奇异 LQ 控制的脉冲和无脉冲 PD 解

IF 2.1 3区计算机科学

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

Jovan Stefanovski

引用次数: 0

Event-triggered predefined-time distributed optimization algorithm based on zero-gradient-sum 基于零梯度和的事件触发预定义时间分布式优化算法

IF 2.1 3区计算机科学

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

Ge Guo , Xinxin Zhang , Renyongkang Zhang , Jian Kang

引用次数: 0

Finite-time safe control of probabilistic Boolean networks: An event-triggered approach 概率布尔网络的有限时间安全控制：一种事件触发方法

IF 2.1 3区计算机科学

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

Shao Shao , Linying Xiang , Fei Chen

引用次数: 0

Approximate linear programming for decentralized policy iteration in cooperative multi-agent Markov decision processes 协同多智能体马尔可夫决策过程中分散策略迭代的近似线性规划

IF 2.1 3区计算机科学

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

Lakshmi Mandal , Chandrashekar Lakshminarayanan , Shalabh Bhatnagar

{"title":"Approximate linear programming for decentralized policy iteration in cooperative multi-agent Markov decision processes","authors":"Lakshmi Mandal , Chandrashekar Lakshminarayanan , Shalabh Bhatnagar","doi":"10.1016/j.sysconle.2024.106003","DOIUrl":"10.1016/j.sysconle.2024.106003","url":null,"abstract":"<div><div>In this work, we consider a ‘cooperative’ multi-agent Markov decision process (MDP) involving <span><math><mrow><mi>m</mi><mrow><mo>(</mo><mo>></mo><mn>1</mn><mo>)</mo></mrow></mrow></math></span> agents. At each decision epoch, all the <span><math><mi>m</mi></math></span> agents independently select actions in order to minimize a common long-term cost objective. In the policy iteration process of multi-agent setup, the number of actions grows exponentially with the number of agents, incurring huge computational costs. Thus, recent works consider decentralized policy improvement, where each agent improves its decisions unilaterally, assuming that the decisions of the other agents are fixed. However, exact value functions are considered in the literature, which is computationally expensive for a large number of agents with high dimensional state–action space. Thus, we propose approximate decentralized policy iteration algorithms, using approximate linear programming with function approximation to compute the approximate value function for decentralized policy improvement. Further, we consider (both) cooperative multi-agent finite and infinite horizon discounted MDPs and propose suitable algorithms in each case. Moreover, we provide theoretical guarantees for our algorithms and also demonstrate their advantages over existing state-of-the-art algorithms in the literature.</div></div>","PeriodicalId":49450,"journal":{"name":"Systems & Control Letters","volume":"196 ","pages":"Article 106003"},"PeriodicalIF":2.1,"publicationDate":"2025-02-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"143182988","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