Yuanqi Lin , Yixin Ai , Lipo Mo , Peng Lin , Yingmin Jia
{"title":"Containment control for high-order multi-agent systems with nonconvex control input constraints and non-particle leaders","authors":"Yuanqi Lin , Yixin Ai , Lipo Mo , Peng Lin , Yingmin Jia","doi":"10.1016/j.sysconle.2024.105930","DOIUrl":"10.1016/j.sysconle.2024.105930","url":null,"abstract":"<div><div>This paper is devoted to the nonconvex control input constrained containment control problem for multi-agent systems with non-particle leaders, switching topologies, and communication delays. A decentralized algorithm is adopted for followers with discrete-time high-order dynamics. Through model transformations and by analyzing the convergence of the maximum distance from the followers to the convex hull, it is demonstrated that each follower finally moves into the convex hull created by the leaders, even in the presence of nonconvex input constraints, non-particle leaders, switching topologies, and communication delays. Finally, numerical examples demonstrate the effectiveness of the theoretical conclusions.</div></div>","PeriodicalId":49450,"journal":{"name":"Systems & Control Letters","volume":"193 ","pages":"Article 105930"},"PeriodicalIF":2.1,"publicationDate":"2024-09-27","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"142326636","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}
{"title":"On IMU preintegration: A nonlinear observer viewpoint and its applications","authors":"Bowen Yi , Ian R. Manchester","doi":"10.1016/j.sysconle.2024.105933","DOIUrl":"10.1016/j.sysconle.2024.105933","url":null,"abstract":"<div><div>The inertial measurement unit (IMU) preintegration approach nowadays is widely used in various robotic applications. In this article, we revisit the preintegration theory and propose a novel interpretation to understand it from a nonlinear observer perspective, specifically the parameter estimation-based observer (PEBO). We demonstrate that the preintegration approach can be viewed as a recursive implementation of PEBO in moving horizons, and that the two approaches are equivalent with perfect measurements. We then discuss how these findings can be used to tackle practical challenges in estimation problems. As byproducts, our results lead to a novel hybrid sampled-data observer design and an approach to address statistical optimality for PEBO in the presence of noise.</div></div>","PeriodicalId":49450,"journal":{"name":"Systems & Control Letters","volume":"193 ","pages":"Article 105933"},"PeriodicalIF":2.1,"publicationDate":"2024-09-27","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"142326635","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}
Daniel E. Ochoa , Muhammad U. Javed , Xudong Chen , Jorge I. Poveda
{"title":"Decentralized concurrent learning with coordinated momentum and restart","authors":"Daniel E. Ochoa , Muhammad U. Javed , Xudong Chen , Jorge I. Poveda","doi":"10.1016/j.sysconle.2024.105931","DOIUrl":"10.1016/j.sysconle.2024.105931","url":null,"abstract":"<div><div>This paper studies the stability and convergence properties of a class of multi-agent concurrent learning (CL) algorithms with momentum and restart. Such algorithms can be integrated as part of the estimation pipelines of data-enabled multi-agent control systems to enhance transient performance while maintaining stability guarantees. However, characterizing restarting policies that yield stable behaviors in decentralized CL systems, especially when the network topology of the communication graph is directed, has remained an open problem. In this paper, we provide an answer to this problem by synergistically leveraging tools from graph theory and hybrid dynamical systems theory. Specifically, we show that under a <em>cooperative richness</em> condition on the overall multi-agent system’s data, and by employing <em>coordinated</em> periodic restart with a frequency that is tempered by the <em>level of asymmetry</em> of the communication graph, the resulting decentralized dynamics exhibit robust asymptotic stability properties, characterized in terms of input-to-state stability bounds, and also achieve a desirable transient performance. To demonstrate the practical implications of the theoretical findings, three applications are also presented: cooperative parameter estimation over networks with private data sets, cooperative model-reference adaptive control, and cooperative data-enabled feedback optimization of nonlinear plants.</div></div>","PeriodicalId":49450,"journal":{"name":"Systems & Control Letters","volume":"193 ","pages":"Article 105931"},"PeriodicalIF":2.1,"publicationDate":"2024-09-21","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://www.sciencedirect.com/science/article/pii/S0167691124002196/pdfft?md5=ec6b5a64341c73056f138b92e2989a77&pid=1-s2.0-S0167691124002196-main.pdf","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"142310813","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}
Willem Esterhuizen , Philipp Sauerteig , Stefan Streif , Karl Worthmann
{"title":"MPC without terminal ingredients tailored to the SEIR compartmental epidemic model","authors":"Willem Esterhuizen , Philipp Sauerteig , Stefan Streif , Karl Worthmann","doi":"10.1016/j.sysconle.2024.105908","DOIUrl":"10.1016/j.sysconle.2024.105908","url":null,"abstract":"<div><div>We consider the SEIR compartmental epidemic model subject to state and input constraints (a cap on the proportion of infectious individuals and limits on the allowed social distancing and quarantining measures, respectively). We present a tailored model predictive control (MPC) scheme without terminal conditions. We rigorously show recursive feasibility and asymptotic convergence of the MPC closed loop to the continuum of disease-free equilibrium points for suitably designed quadratic running cost and a sufficiently long prediction horizon (forecast window). Moreover, we establish the viability kernel (a.k.a. the admissible set) as a domain of attraction of the continuum of equilibria.</div></div>","PeriodicalId":49450,"journal":{"name":"Systems & Control Letters","volume":"193 ","pages":"Article 105908"},"PeriodicalIF":2.1,"publicationDate":"2024-09-20","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://www.sciencedirect.com/science/article/pii/S0167691124001968/pdfft?md5=3b1f5a01afcdae8094bea922be373d4d&pid=1-s2.0-S0167691124001968-main.pdf","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"142310812","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}
{"title":"Stability radius and dichotomy radius of infinite-dimensional linear systems under unbounded perturbations via Yosida distance","authors":"Xuan-Quang Bui , Nguyen Van Minh , Do Duc Thuan","doi":"10.1016/j.sysconle.2024.105929","DOIUrl":"10.1016/j.sysconle.2024.105929","url":null,"abstract":"<div><p>In this paper, by using the concept of Yosida distance between two closed linear operators, we study the stability radius <span><math><mrow><mi>r</mi><mrow><mo>(</mo><mi>A</mi><mo>)</mo></mrow></mrow></math></span> of linear systems <span><math><mrow><msup><mrow><mi>u</mi></mrow><mrow><mo>′</mo></mrow></msup><mrow><mo>(</mo><mi>t</mi><mo>)</mo></mrow><mo>=</mo><mi>A</mi><mi>u</mi><mrow><mo>(</mo><mi>t</mi><mo>)</mo></mrow></mrow></math></span>, where <span><math><mi>A</mi></math></span> is the generator of an analytic semigroup, under unbounded perturbations in this class of generators. We show that <span><math><mrow><mi>r</mi><mrow><mo>(</mo><mi>A</mi><mo>)</mo></mrow><mo>=</mo><mn>1</mn><mo>/</mo><msub><mrow><mo>sup</mo></mrow><mrow><mi>s</mi><mo>∈</mo><mi>R</mi></mrow></msub><msub><mrow><mo>‖</mo><mi>R</mi><mrow><mo>(</mo><mi>i</mi><mi>s</mi><mo>,</mo><mi>A</mi><mo>)</mo></mrow><mo>‖</mo></mrow><mrow><mi>L</mi><mrow><mo>(</mo><mi>X</mi><mo>)</mo></mrow></mrow></msub></mrow></math></span>, so extending a classic result by Henrichsen and Pritchard to the infinite-dimensional case. A formula of the dichotomy radius is also established. Finally we give an estimate of the stability radius of general <span><math><msub><mrow><mi>C</mi></mrow><mrow><mn>0</mn></mrow></msub></math></span>-semigroups. Two examples from a parabolic equation are given.</p></div>","PeriodicalId":49450,"journal":{"name":"Systems & Control Letters","volume":"193 ","pages":"Article 105929"},"PeriodicalIF":2.1,"publicationDate":"2024-09-14","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"142232961","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}
{"title":"Sampled-data finite-dimensional observer-based control of 1-D Burgers’ equation","authors":"Lina Pan , Pengfei Wang , Emilia Fridman","doi":"10.1016/j.sysconle.2024.105919","DOIUrl":"10.1016/j.sysconle.2024.105919","url":null,"abstract":"<div><p>In this paper, we are concerned with the regional exponential stabilization of a 1-D Burgers’ equation under non-local/Neumann actuation and boundary measurement via a modal decomposition method. For non-local actuation, we suggest two control strategies: continuous-time control, and delayed sampled-data control implemented by zero-order hold (ZOH) device, both relying on finite-dimensional observer. For boundary actuation, we employ dynamic extension and consider an observer-based delayed sampled-data controller implemented by generalized hold device. For both cases, we suggest a direct Lyapunov method for the <span><math><msup><mrow><mi>H</mi></mrow><mrow><mn>1</mn></mrow></msup></math></span>-stability of the full-order closed-loop system. We provide efficient linear matrix inequality (LMI) conditions for finding the observer dimension, as well as upper bounds on the domain of attraction, sampling intervals and delays, that preserve the exponential stability. We prove that for some fixed upper bounds on the initial values and sampling intervals, the feasibility of LMIs for some <span><math><mi>N</mi></math></span> (dimension of the observer) implies their feasibility for <span><math><mrow><mi>N</mi><mo>+</mo><mn>1</mn></mrow></math></span>. Numerical examples illustrate the efficiency of the proposed method.</p></div>","PeriodicalId":49450,"journal":{"name":"Systems & Control Letters","volume":"193 ","pages":"Article 105919"},"PeriodicalIF":2.1,"publicationDate":"2024-09-13","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"142229924","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}
Chuan Yu , Qingyu Su , Qian-Cheng Xiao , Yue Long , Jian-Ning Li , Guang-Xin Zhong
{"title":"Simultaneous state and fault estimation for a class of nonlinear Markov jump systems by distributed fault-tolerant observers","authors":"Chuan Yu , Qingyu Su , Qian-Cheng Xiao , Yue Long , Jian-Ning Li , Guang-Xin Zhong","doi":"10.1016/j.sysconle.2024.105928","DOIUrl":"10.1016/j.sysconle.2024.105928","url":null,"abstract":"<div><p>This paper investigates the estimation problem of a class of nonlinear Markov jump systems with actuator and sensor faults. The main goal is to design a distributed fault-tolerant observer to estimate system states and actuator faults simultaneously. Firstly, a novel distributed observer network is constructed to compensate the missing information of unobservable nodes of the system. Next, a class of new redundant sensors are set up on each distributed observer node to obtain more output measurement samples. More importantly, when some of the mentioned sensors occur faults, an index of sensor heath level is constructed to characterize the quality of the faulty sensor information. Further, a novel algorithm is designed to mask low quality output information and filter out relatively healthy one automatically. Based on the selected healthy output information, the system state and actuator fault are estimated in the case of sensor failure. Finally, an example is provided to demonstrate the effectiveness of the proposed method.</p></div>","PeriodicalId":49450,"journal":{"name":"Systems & Control Letters","volume":"193 ","pages":"Article 105928"},"PeriodicalIF":2.1,"publicationDate":"2024-09-12","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"142172757","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}
{"title":"Including stochastics in Prediction-Based Control of difference systems: Stabilizing and destabilizing by noise","authors":"Elena Braverman , Alexandra Rodkina","doi":"10.1016/j.sysconle.2024.105918","DOIUrl":"10.1016/j.sysconle.2024.105918","url":null,"abstract":"<div><p>A chaotic system <span><math><mrow><msub><mrow><mi>X</mi></mrow><mrow><mi>n</mi><mo>+</mo><mn>1</mn></mrow></msub><mo>=</mo><mi>F</mi><mrow><mo>(</mo><msub><mrow><mi>X</mi></mrow><mrow><mi>n</mi></mrow></msub><mo>)</mo></mrow></mrow></math></span> in certain cases can be stabilized with taking a weighted average of the state variable and the next-stage position <span><math><mrow><msub><mrow><mi>X</mi></mrow><mrow><mi>n</mi><mo>+</mo><mn>1</mn></mrow></msub><mo>=</mo><mi>U</mi><msub><mrow><mi>X</mi></mrow><mrow><mi>n</mi></mrow></msub><mo>+</mo><mrow><mo>(</mo><mi>I</mi><mo>−</mo><mi>U</mi><mo>)</mo></mrow><mi>F</mi><mrow><mo>(</mo><msub><mrow><mi>X</mi></mrow><mrow><mi>n</mi></mrow></msub><mo>)</mo></mrow></mrow></math></span> corresponding to a modified Prediction-Based Control with a diagonal non-scalar matrix <span><math><mi>U</mi></math></span> ensuring stability of the controlled system. Sharp constants are determined for the values on the diagonal providing local stabilization. Introducing small additive noise in the control parameters keeps convergence of all solutions to the equilibrium. As noise increases, we distinguish between the cases when noise can stabilize the system while control with mean parameters does not, and those when noise destabilizes. Noise bounds allowing to lower average control intensity are determined. In the case of real eigenvalues of the Jacobian matrix being less than −1, these conditions are universal, while for complex eigenvalues, they are sharp.</p></div>","PeriodicalId":49450,"journal":{"name":"Systems & Control Letters","volume":"193 ","pages":"Article 105918"},"PeriodicalIF":2.1,"publicationDate":"2024-09-11","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://www.sciencedirect.com/science/article/pii/S0167691124002068/pdfft?md5=7af46500377d934cad9fe7eb7f339e9d&pid=1-s2.0-S0167691124002068-main.pdf","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"142167398","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}
{"title":"Robust decentralized control of coupled systems via risk sensitive control of decoupled or simple models with measure change","authors":"Zachary Selk, Serdar Yüksel","doi":"10.1016/j.sysconle.2024.105915","DOIUrl":"10.1016/j.sysconle.2024.105915","url":null,"abstract":"<div><p>Decentralized stochastic control problems with local information involve problems where multiple agents and subsystems which are coupled via dynamics and/or cost are present. Typically, however, the dynamics of such couplings is complex and difficult to precisely model, leading to questions on robustness in control design. Additionally, when such a coupling can be modeled, the problem arrived at is typically challenging and non-convex, due to decentralization of information. In this paper, we develop a robustness framework for optimal decentralized control of interacting agents, where we show that a decentralized control problem with interacting agents can be robustly designed by considering a risk-sensitive version of non-interacting agents/particles. This leads to a tractable robust formulation where we give a bound on the value of the cost function in terms of the risk-sensitive cost function for the non-interacting case plus a term involving the “strength” of the interaction as measured by relative entropy. We will build on Gaussian measure theory and an associated variational equality. A particular application includes mean-field models consisting of (a generally large number of) interacting agents which are often hard to solve for the case with small or moderate numbers of agents, leading to an interest in effective approximations and robustness. By adapting a risk-sensitivity parameter, we also robustly control a non-symmetrically interacting problem with mean-field cost by one which is symmetric with a risk-sensitive criterion, and in the limit of small interactions, show the stability of optimal solutions to perturbations.</p></div>","PeriodicalId":49450,"journal":{"name":"Systems & Control Letters","volume":"193 ","pages":"Article 105915"},"PeriodicalIF":2.1,"publicationDate":"2024-09-09","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://www.sciencedirect.com/science/article/pii/S0167691124002032/pdfft?md5=5baa81faa293593d45fe0a662d44ec03&pid=1-s2.0-S0167691124002032-main.pdf","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"142162120","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}
{"title":"Stability analysis for impulsive switched systems with bounded sojourn time intervals","authors":"Penghui Wen, Shenyu Liu","doi":"10.1016/j.sysconle.2024.105917","DOIUrl":"10.1016/j.sysconle.2024.105917","url":null,"abstract":"<div><p>This paper introduces novel methods for analyzing the stability of impulsive switched systems with bounded sojourn time intervals. We contend that existing stability results may be overly conservative when sojourn times are treated as stochastic rather than arbitrary over intervals. This motivates our investigation into stochastic stability criteria for impulsive switched systems, where the sojourn times of impulsive switching signals obey uniform distributions over intervals. Our first theoretical contribution offers an exact formula for the component-wise first moment of the state for linear impulsive switched systems, expressed in terms of a solution to an auxiliary linear time-delay system. We extend this approach to nonlinear systems by leveraging a multiple Lyapunov function assumption. Consequently, the exponential mean stability of such impulsive switched systems can be determined by assessing the stability of the auxiliary systems. Nevertheless, this method fails to establish exponential mean stability when the impulsive switched system has unstable subsystems. To address this limitation, we conduct an in-depth frequency domain analysis, revealing a common occurrence of pole-zero cancellation. Leveraging these insights, we propose a non-conservative approach for stability analysis. Simulations demonstrate that our proposed stability criteria effectively determine stability in scenarios where all subsystems are unstable, or instability when all subsystems are stable.</p></div>","PeriodicalId":49450,"journal":{"name":"Systems & Control Letters","volume":"193 ","pages":"Article 105917"},"PeriodicalIF":2.1,"publicationDate":"2024-09-07","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"142149634","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}