{"title":"Finite-dimensional observer-based boundary control for a one-dimensional stochastic heat equation","authors":"Yu-Shuo Shang , Ze-Hao Wu , Hua-Cheng Zhou","doi":"10.1016/j.sysconle.2025.106046","DOIUrl":"10.1016/j.sysconle.2025.106046","url":null,"abstract":"<div><div>In this article, we investigate the finite-dimensional observer-based boundary control for a one-dimensional stochastic heat equation with nonlinear multiplicative noise and non-local sensing measurement. We adopt the modal decomposition to divide the system into two subsystems: one unstable with finite positive eigenvalues and the other essentially stable. We design the controller for the unstable subsystem by dynamic extension and demonstrate that the proposed controller actually leads to the resulting closed-loop system to be well-posed and exponentially stable, both in the mean square and almost sure senses. Finally, some numerical simulations are performed to illustrate the effectiveness of the proposed method.</div></div>","PeriodicalId":49450,"journal":{"name":"Systems & Control Letters","volume":"197 ","pages":"Article 106046"},"PeriodicalIF":2.1,"publicationDate":"2025-02-18","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"143428905","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":"Infinite-horizon BSDE approach for exponential stabilization of discrete-time stochastic system","authors":"Yue Sun , Juanjuan Xu , Wei Wang , Huanshui Zhang","doi":"10.1016/j.sysconle.2025.106047","DOIUrl":"10.1016/j.sysconle.2025.106047","url":null,"abstract":"<div><div>In this paper, the exponential stabilizability via closed loop for a kind of discrete-time stochastic systems with multiplicative noise is taken into consideration. The main contribution is to provide the necessary and sufficient condition for the exponential stabilizability via closed loop of the stochastic system in accordance with the exact controllability. The key technique is to use the open-loop solvability of a type of backward stochastic difference equations in infinite horizon.</div></div>","PeriodicalId":49450,"journal":{"name":"Systems & Control Letters","volume":"197 ","pages":"Article 106047"},"PeriodicalIF":2.1,"publicationDate":"2025-02-17","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"143422217","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":"Balanced truncation with conformal maps","authors":"Alessandro Borghi , Tobias Breiten , Serkan Gugercin","doi":"10.1016/j.sysconle.2025.106044","DOIUrl":"10.1016/j.sysconle.2025.106044","url":null,"abstract":"<div><div>We consider the problem of constructing reduced models for large scale systems with poles in general domains in the complex plane (as opposed to, e.g., the open left-half plane or the open unit disk). Our goal is to design a model reduction scheme, building upon theoretically established methodologies, yet encompassing this new class of models. To this aim, we develop a balanced truncation framework through conformal maps to handle poles in general domains. The major difference from classical balanced truncation resides in the formulation of the Gramians. We show that these new Gramians can still be computed by solving modified Lyapunov equations for specific conformal maps. A numerical algorithm to perform balanced truncation with conformal maps is developed and is tested on three numerical examples, namely a heat model, the Schrödinger equation, and the undamped linear wave equation, the latter two having spectra on the imaginary axis.</div></div>","PeriodicalId":49450,"journal":{"name":"Systems & Control Letters","volume":"197 ","pages":"Article 106044"},"PeriodicalIF":2.1,"publicationDate":"2025-02-12","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"143388076","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":"Projected incrementally scattering passive systems on closed convex sets","authors":"Shantanu Singh , Sébastien Fueyo , George Weiss","doi":"10.1016/j.sysconle.2025.106033","DOIUrl":"10.1016/j.sysconle.2025.106033","url":null,"abstract":"<div><div>In this article we show that the projected dynamical system obtained by restricting the state of an incrementally scattering passive system to a closed and convex subset <span><math><mi>K</mi></math></span> of the state space (a real Hilbert space), is also an incrementally scattering passive system. First we show that the projection of a maximal dissipative operator to the tangent cones of <span><math><mi>K</mi></math></span> is again maximal dissipative, hence, it determines a contraction semigroup. Using this result, we prove our earlier claim. Our results are based on the Crandall–Pazy theorem, Rockafellar’s theorem on sums of operators and Moreau’s decomposition theorem. We give an application of our results to Maxwell’s equations on a cylindrical domain, approximately describing a fault current limiter, restricting the average current through the cylinder (in the direction of its axis) so that its absolute value cannot exceed a given threshold.</div></div>","PeriodicalId":49450,"journal":{"name":"Systems & Control Letters","volume":"197 ","pages":"Article 106033"},"PeriodicalIF":2.1,"publicationDate":"2025-02-11","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"143379063","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":"Uniform exponential stability of semi-discrete scheme for Euler–Bernoulli beam equation with non-collocated feedback","authors":"Han-Jing Ren , Bao-Zhu Guo","doi":"10.1016/j.sysconle.2024.106017","DOIUrl":"10.1016/j.sysconle.2024.106017","url":null,"abstract":"<div><div>In this paper, we study the uniform exponential stability of a semi-discrete scheme for an Euler–Bernoulli beam equation under an observer-based output stabilizing feedback control studied in Guo et al. (2008), where the Riesz basis approach was employed. However, it is crucial to note that the Riesz basis approach falls short when applied to the uniform exponential stability of discrete schemes. Since the original system and observer together constitutes a coupled system described by partial differential equations (PDEs), this paper innovatively constructs a Lyapunov function specifically tailored for this coupled PDEs, which gives a much direct, simple alternative approach to exponential stability. In addition, this methodology can be seamlessly applied to assess the uniform exponential stability of a semi-discretized finite difference scheme corresponding to this coupled PDE. Although the semi-discretization process is still an order reduction approach studied in our previous works, it is novel in the sense that the order of the derivatives with respect to the spatial variable has been reduced to the first order, which not only eliminates the effect of the low order derivative on the boundary in previous study but also simplifies significantly the proof of the uniform exponential stability of the semi-discrete scheme.</div></div>","PeriodicalId":49450,"journal":{"name":"Systems & Control Letters","volume":"197 ","pages":"Article 106017"},"PeriodicalIF":2.1,"publicationDate":"2025-02-11","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"143379177","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":"Attack detection and security control for quadrotor under stealthy attacks","authors":"Chengwei Wu , Yupeng Zhu , Lezhong Xu , Hongming Zhu , Quanqi Zhang , Jiajing Zhu , Weiran Yao","doi":"10.1016/j.sysconle.2025.106031","DOIUrl":"10.1016/j.sysconle.2025.106031","url":null,"abstract":"<div><div>When malicious attacks occur, the security issues of unmanned aerial vehicles are full of challenges. This paper investigates the attack detection and security control problems for quadrotors with stealthy false data injection attacks. Decoupled linear models are provided to describe the dynamics. A novel cyber-attack detection scheme integrating watermarking signals and auxiliary functions is devised to detect stealthy false data injection attacks. To determine which sensor data is attacked, an attack location algorithm is developed based on the observability of the derived linear model. Furthermore, a security control scheme is provided to mitigate stealthy false data injection attacks. Finally, simulation results are presented to validate the proposed theories in this paper.</div></div>","PeriodicalId":49450,"journal":{"name":"Systems & Control Letters","volume":"197 ","pages":""},"PeriodicalIF":2.1,"publicationDate":"2025-02-08","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"143349682","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":"Adaptive output regulation for wave PDEs with a nonlocal term and unknown harmonic disturbances","authors":"Jun-Jun Liu , Ning Peng , Jun-Min Wang","doi":"10.1016/j.sysconle.2025.106043","DOIUrl":"10.1016/j.sysconle.2025.106043","url":null,"abstract":"<div><div>In this paper, we apply internal model principle (IMP) and the adaptive frequency estimation strategy to achieve output tracking for a one-dimensional wave equation with velocity recirculation and unknown harmonic disturbances. The disturbances are present in all channels, and both the disturbances and the reference trajectory have an unknown sinusoidal form. We first construct an auxiliary system and a proper trajectory such that total disturbances appear only in the output of the auxiliary. As a result, we obtain a dynamic estimation of the total disturbances by constructing an internal model dynamics. An adaptive method is proposed to determine the uncertain parameters. In order to realize exponential output tracking, the proposed error-based adaptive dynamic compensator is employed. Finally, some simulation examples are carried out to validate the results.</div></div>","PeriodicalId":49450,"journal":{"name":"Systems & Control Letters","volume":"197 ","pages":"Article 106043"},"PeriodicalIF":2.1,"publicationDate":"2025-02-07","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"143360804","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 strong stability of the Perron–Frobenius semigroup and almost global attractivity","authors":"Pietro Lorenzetti, George Weiss","doi":"10.1016/j.sysconle.2025.106029","DOIUrl":"10.1016/j.sysconle.2025.106029","url":null,"abstract":"<div><div>We discuss some useful properties of the solution map (flow) of a nonlinear dynamical system with a finite-dimensional state space. Then, we introduce the Perron–Frobenius semigroup, and we prove that it is a positive strongly continuous semigroup of contractions. We show that, given a nonlinear system and an invariant set, this set is an almost global attractor if and only if certain Perron–Frobenius semigroups associated to the nonlinear system are strongly stable. Unlike other works on the Perron–Frobenius semigroup from the literature, we do not require the existence of a compact and invariant state-space for the dynamical system, we allow trajectories with finite escape time, and we do not require the attractor to be locally (Lyapunov) stable. Two simple examples are used throughout the paper to illustrate the theory.</div></div>","PeriodicalId":49450,"journal":{"name":"Systems & Control Letters","volume":"197 ","pages":"Article 106029"},"PeriodicalIF":2.1,"publicationDate":"2025-02-06","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"143314896","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":"Port-Hamiltonian structures in infinite-dimensional optimal control: Primal–Dual gradient method and control-by-interconnection","authors":"Hannes Gernandt , Manuel Schaller","doi":"10.1016/j.sysconle.2025.106030","DOIUrl":"10.1016/j.sysconle.2025.106030","url":null,"abstract":"<div><div>In this note, we consider port-Hamiltonian structures in numerical optimal control of ordinary differential equations. By introducing a novel class of nonlinear monotone port-Hamiltonian (pH) systems, we show that the primal–dual gradient method may be viewed as an infinite-dimensional nonlinear pH system. The monotonicity and the particular block structure arising in the optimality system is used to prove exponential stability of the dynamics towards its equilibrium, which is a critical point of the first-order optimality conditions. Leveraging the port-based modeling, we propose an optimization-based controller in a suboptimal receding horizon control fashion. To this end, the primal–dual gradient based optimizer-dynamics is coupled to a pH plant dynamics in a power-preserving manner. We show that the resulting model is again monotone pH system and prove that the closed-loop exhibits local exponential convergence towards the equilibrium.</div></div>","PeriodicalId":49450,"journal":{"name":"Systems & Control Letters","volume":"197 ","pages":"Article 106030"},"PeriodicalIF":2.1,"publicationDate":"2025-02-06","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"143314897","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}
Ilyasse Lamrani , Imad El Harraki , Fatima-Zahrae El Alaoui
{"title":"Rapid stabilization of parabolic coupled system","authors":"Ilyasse Lamrani , Imad El Harraki , Fatima-Zahrae El Alaoui","doi":"10.1016/j.sysconle.2025.106027","DOIUrl":"10.1016/j.sysconle.2025.106027","url":null,"abstract":"<div><div>This paper considers the problem of stabilizing a class of non-scalar coupled parabolic equations controlled by a single multiplicative control. We show that if the associated linear system is null controllable, then the solution of the considered system can be locally superexponentially stabilized towards specific trajectories, referred to as eigen-trajectories. To resolve the null controllability issue, we reformulate it as a moment problem and apply two separate sets of assumptions on the eigenvalues. Some applications are presented to illustrate the obtained results.</div></div>","PeriodicalId":49450,"journal":{"name":"Systems & Control Letters","volume":"197 ","pages":"Article 106027"},"PeriodicalIF":2.1,"publicationDate":"2025-02-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"143171854","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}