{"title":"Input-to-state robust safety of switched nonlinear systems using multiple barrier functions","authors":"Lijun Long , Chunxiao Huang , Yiguang Hong","doi":"10.1016/j.sysconle.2025.106068","DOIUrl":"10.1016/j.sysconle.2025.106068","url":null,"abstract":"<div><div>This paper studies input-to-state robust safety (ISRSf) for switched nonlinear systems, and provides a way to describe and analyze the robustness of systems’ safety with respect to external inputs in the switched systems framework. Without requiring the ISRSf of each subsystem, ISRSf via state-dependent switching law is obtained by exploiting a multiple barrier functions method, and a sufficient condition for ruling out Zeno phenomenon is provided. Moreover, ISRSf of switched cascade-connected systems is achieved by using multiple barrier functions and a designed dual switching law. Finally, two illustrative examples, which include a simple mobile robot navigation with controller switching, are presented to demonstrate the feasibility of the theoretical results.</div></div>","PeriodicalId":49450,"journal":{"name":"Systems & Control Letters","volume":"199 ","pages":"Article 106068"},"PeriodicalIF":2.1,"publicationDate":"2025-03-14","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"143620783","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}
Mohammadreza Doostmohammadian , Zulfiya R. Gabidullina , Hamid R. Rabiee
{"title":"Momentum-based distributed resource scheduling optimization subject to sector-bound nonlinearity and latency","authors":"Mohammadreza Doostmohammadian , Zulfiya R. Gabidullina , Hamid R. Rabiee","doi":"10.1016/j.sysconle.2025.106062","DOIUrl":"10.1016/j.sysconle.2025.106062","url":null,"abstract":"<div><div>This paper proposes an accelerated consensus-based distributed iterative algorithm for resource allocation and scheduling. The proposed gradient-tracking algorithm introduces an auxiliary variable to add momentum towards the optimal state. We prove that this solution is all-time feasible, implying that the coupling constraint always holds along the algorithm iterative procedure; therefore, the algorithm can be terminated at any time. This is in contrast to the ADMM-based solutions that meet constraint feasibility asymptotically. Further, we show that the proposed algorithm can handle possible link nonlinearity due to logarithmically-quantized data transmission (or any sign-preserving odd sector-bound nonlinear mapping). We prove convergence over uniformly-connected dynamic networks (i.e., a hybrid setup) that may occur in mobile and time-varying multi-agent networks. Further, the latency issue over the network is addressed by proposing delay-tolerant solutions. To our best knowledge, accelerated momentum-based convergence, nonlinear linking, all-time feasibility, uniform network connectivity, and handling (possible) time delays are not <em>altogether</em> addressed in the literature. These contributions make our solution practical in many real-world applications.</div></div>","PeriodicalId":49450,"journal":{"name":"Systems & Control Letters","volume":"199 ","pages":"Article 106062"},"PeriodicalIF":2.1,"publicationDate":"2025-03-11","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"143592844","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}
Samira Mahmooee, Omid RabieiMotlagh, Haji M. Mohammadinejad
{"title":"A non-stochastic control method for systems under small random jumps","authors":"Samira Mahmooee, Omid RabieiMotlagh, Haji M. Mohammadinejad","doi":"10.1016/j.sysconle.2025.106064","DOIUrl":"10.1016/j.sysconle.2025.106064","url":null,"abstract":"<div><div>We consider a control problem containing a small Markov jump process and an on–off switch. A novel stochastic time-averaging (not a probability-averaging) technique is presented to calculate an approximate non-stochastic control that steers the system into a small neighborhood of the target point. We compute the control’s accuracy and the admissibility of the corresponding probabilities. This result will be utilized to manage a resonant power converter. The numerical plot confirms the accuracy of the estimated control outlined in this research.</div></div>","PeriodicalId":49450,"journal":{"name":"Systems & Control Letters","volume":"199 ","pages":"Article 106064"},"PeriodicalIF":2.1,"publicationDate":"2025-03-11","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"143592843","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}
Reza Lavaei, Frank Cao, Amy K. Strong, Leila J. Bridgeman
{"title":"Iterative, local, small-signal L2 stability analysis of nonlinear constrained systems","authors":"Reza Lavaei, Frank Cao, Amy K. Strong, Leila J. Bridgeman","doi":"10.1016/j.sysconle.2025.106065","DOIUrl":"10.1016/j.sysconle.2025.106065","url":null,"abstract":"<div><div>This paper provides a method to analyze the local, small-signal <span><math><msub><mrow><mi>L</mi></mrow><mrow><mn>2</mn></mrow></msub></math></span>-gain of control-affine nonlinear systems on compact sets via iterative semi-definite programs. First, a continuous piecewise affine storage function and the corresponding upper bound on the local <span><math><msub><mrow><mi>L</mi></mrow><mrow><mn>2</mn></mrow></msub></math></span>-gain are found on a bounded, compact set’s triangulation. Then, to ensure that the state does not escape this set, a continuous piecewise affine barrier function is found that is robust to small-signal inputs. Local, small-signal <span><math><msub><mrow><mi>L</mi></mrow><mrow><mn>2</mn></mrow></msub></math></span> stability then holds inside each sublevel set of the barrier function inside the set where the storage function was found. The method’s effectiveness is shown in a numerical example.</div></div>","PeriodicalId":49450,"journal":{"name":"Systems & Control Letters","volume":"199 ","pages":"Article 106065"},"PeriodicalIF":2.1,"publicationDate":"2025-03-10","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"143577500","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":"Reliability-guaranteed anti-disturbance control via closed-loop uncertainty quantification","authors":"Jianchun Zhang , Wenshuo Li , Xiang Yu , Lei Guo","doi":"10.1016/j.sysconle.2025.106063","DOIUrl":"10.1016/j.sysconle.2025.106063","url":null,"abstract":"<div><div>In order to quantitatively manage the failure probability/reliability of control systems, we propose a reliability-guaranteed anti-disturbance control (RADC) method via the closed-loop uncertainty quantification (CL-UQ). Specifically, multiple probabilistic intervals are proposed to model the parameter and disturbance uncertainties. Through the CL-UQ analysis, the uncertainty characteristic of the system states can also be depicted by multiple probabilistic intervals. Combining with the designed prescribed performance threshold, a time-varying reliability model for the control process is established. On this basis, the control optimization problem with a reliability constraint for the RADC is formulated to obtain the optimal feedback gain and observer gain. A simulation example of spacecraft attitude stabilization shows that the CL-UQ results meet with the high accuracy and the RADC effectively reduces the conservatism of the traditional anti-disturbance control.</div></div>","PeriodicalId":49450,"journal":{"name":"Systems & Control Letters","volume":"199 ","pages":"Article 106063"},"PeriodicalIF":2.1,"publicationDate":"2025-03-10","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"143576714","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}
Sebastian Falkensteiner , Dmitrii Pavlov , J. Rafael Sendra
{"title":"On real and observable rational realizations of input–output equations","authors":"Sebastian Falkensteiner , Dmitrii Pavlov , J. Rafael Sendra","doi":"10.1016/j.sysconle.2025.106059","DOIUrl":"10.1016/j.sysconle.2025.106059","url":null,"abstract":"<div><div>Given a single (differential–algebraic) input–output equation, we present a method for finding different representations of the associated system in the form of rational realizations; these are dynamical systems with rational right-hand sides. It has been shown that in the case where the input–output equation is of order one, rational realizations can be computed, if they exist. In this work, we focus first on the existence and actual computation of the so-called observable rational realizations, and secondly on rational realizations with real coefficients. The study of observable realizations allows to find every rational realization of a given first order input–output equation, and the necessary field extensions in this process. We show that for first order input–output equations the existence of a rational realization is equivalent to the existence of an observable rational realization. Moreover, we give a criterion to decide the existence of real rational realizations. The computation of observable and real realizations of first order input–output equations is fully algorithmic. We also present partial results for the case of higher order input–output equations.</div></div>","PeriodicalId":49450,"journal":{"name":"Systems & Control Letters","volume":"198 ","pages":"Article 106059"},"PeriodicalIF":2.1,"publicationDate":"2025-03-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"143549470","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":"Left-coprimeness condition for the reachability in finite time of pseudo-rational systems of order zero with an application to difference delay systems","authors":"Sébastien Fueyo","doi":"10.1016/j.sysconle.2025.106051","DOIUrl":"10.1016/j.sysconle.2025.106051","url":null,"abstract":"<div><div>This paper investigates the finite-time reachability of pseudo-rational systems of order zero. A bound on the minimal time for reachability is derived, and the reachability property for integrable functions is characterized using a left-coprimeness condition. The results are further applied to difference delay systems with distributed delays.</div></div>","PeriodicalId":49450,"journal":{"name":"Systems & Control Letters","volume":"198 ","pages":"Article 106051"},"PeriodicalIF":2.1,"publicationDate":"2025-02-25","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"143487903","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":"Partially observed linear quadratic stochastic optimal control problem in infinite horizon: A data-driven approach","authors":"Xun Li , Guangchen Wang , Jie Xiong , Heng Zhang","doi":"10.1016/j.sysconle.2025.106050","DOIUrl":"10.1016/j.sysconle.2025.106050","url":null,"abstract":"<div><div>This paper develops a data-driven algorithm to solve an infinite-horizon partially observed linear quadratic stochastic optimal control problem. The optimal control of this problem is related to an algebraic Riccati equation (ARE) and a filtering equation. First, we prove that the solution of a Riccati-type ordinary differential equation (ODE) converges to the unique positive semidefinite solution of the ARE. Next, we establish some data-based relationships among the system input, the system state and certain matrices that appear in the Riccati-type ODE and the filtering equation. Then, using these relationships, we design a data-driven algorithm to approximate the positive semidefinite solution of the ARE and the optimal control. The main feature of this algorithm is that it does not need the information of two system coefficients. Finally, we prove the convergence of the obtained algorithm and demonstrate its effectiveness by simulating a concrete example.</div></div>","PeriodicalId":49450,"journal":{"name":"Systems & Control Letters","volume":"198 ","pages":"Article 106050"},"PeriodicalIF":2.1,"publicationDate":"2025-02-24","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"143474499","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}
Mathieu Bajodek, Hugo Lhachemi, Giorgio Valmorbida
{"title":"Design of low-dimensional controllers for high-dimensional systems","authors":"Mathieu Bajodek, Hugo Lhachemi, Giorgio Valmorbida","doi":"10.1016/j.sysconle.2025.106049","DOIUrl":"10.1016/j.sysconle.2025.106049","url":null,"abstract":"<div><div>This article presents proposals for the design of reduced-order controllers for high-dimensional dynamical systems. The objective is to develop efficient control strategies that ensure stability and robustness with reduced computational complexity. By leveraging the concept of partial pole placement, which involves placing a subset of the closed-loop system’s poles, this study aims to strike a balance between reduced-order modeling and control effectiveness. The proposed approach addresses the challenges posed by high-dimensional systems and provides a systematic framework for controller design. When an infinite-dimensional operator is Riesz spectral, our theoretical analysis highlights the potential of partial pole placement in advancing control design. Model uncertainties, introduced by an error in the spectral decomposition, can also be allowed. This is particularly illustrated in the case of systems modeled by coupled ordinary-partial differential equations (ODE-PDE).</div></div>","PeriodicalId":49450,"journal":{"name":"Systems & Control Letters","volume":"198 ","pages":"Article 106049"},"PeriodicalIF":2.1,"publicationDate":"2025-02-21","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"143465168","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":"The shortest experiment for linear system identification","authors":"M.K. Camlibel , H.J. van Waarde , P. Rapisarda","doi":"10.1016/j.sysconle.2025.106045","DOIUrl":"10.1016/j.sysconle.2025.106045","url":null,"abstract":"<div><div>In this paper we study the following problem: given an upper bound of the state-space dimension and lag on a linear time-invariant system, design a sequence of inputs so that the system dynamics can be recovered from the resulting input–output data. As our main result we propose a new online experiment design method, meaning that the selection of the inputs is iterative and guided by past data samples. We show that this approach leads to the shortest possible experiments for linear system identification. In terms of sample complexity, the proposed method outperforms offline methods based on persistency of excitation as well as existing online experiment design methods.</div></div>","PeriodicalId":49450,"journal":{"name":"Systems & Control Letters","volume":"197 ","pages":"Article 106045"},"PeriodicalIF":2.1,"publicationDate":"2025-02-20","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"143445843","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}