AutomaticaPub Date : 2025-05-19DOI: 10.1016/j.automatica.2025.112383
Xusheng Yang, Wen-An Zhang, Li Yu
{"title":"Fractional Kalman filters","authors":"Xusheng Yang, Wen-An Zhang, Li Yu","doi":"10.1016/j.automatica.2025.112383","DOIUrl":"10.1016/j.automatica.2025.112383","url":null,"abstract":"<div><div>The nonlinear Kalman filters usually suffer from degradation when the measurements appear in the tail of prior distribution. This article presents a new nonlinear filter named the fractional Kalman filter (FKF) for high robustness against linearization errors of both the time and the measurement updates. Based on the Bayesian theory and Gaussian assumption, an optimal fractional Gaussian filter (OFGF) is developed by maximizing the posterior PDFs, which consists of three basic steps namely time update, fractional measurement update and fractional state fusion. Specifically, the prior probability density function (PDF) and the likelihood function are factored into <span><math><mi>N</mi></math></span> parts with fractional exponents, which increases the <em>overlapping area</em> of the prior and the likelihood distributions for linearization improvement. With the OFGF and the Kullback–Leibler divergence (KLD) analysis, the FKF is developed by a deterministic sampling-based linearization for approximation of means and covariances. From the performance analysis, it reveals that the risk of destroying the stabilities of both the time update and the measurement update is reduced by introducing the fractional exponents. Finally, the effectiveness and superiority of the proposed FKF method are verified by simulations of a target tracking example.</div></div>","PeriodicalId":55413,"journal":{"name":"Automatica","volume":"178 ","pages":"Article 112383"},"PeriodicalIF":4.8,"publicationDate":"2025-05-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"144084300","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":2,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
AutomaticaPub Date : 2025-05-19DOI: 10.1016/j.automatica.2025.112374
Jianjun Sun , Defu Lin , Irfan Hussain , Lakmal Seneviratne , Shaoming He
{"title":"Position estimation and formation control using distance and partial state measurements","authors":"Jianjun Sun , Defu Lin , Irfan Hussain , Lakmal Seneviratne , Shaoming He","doi":"10.1016/j.automatica.2025.112374","DOIUrl":"10.1016/j.automatica.2025.112374","url":null,"abstract":"<div><div>This paper presents a distributed formation control strategy for multi-agent systems (MASs) and explores a position observer using distance measurements and partial state measurements. By leveraging infinitesimally rigid framework and matrix decomposition techniques, we pinpoint the position states that require direct measurements for satisfying local weak observability of MASs. Subsequently, by utilizing distance and partial position state measurements, we construct distributed observers to estimate positions in a global coordinate system encompassing all agents. The controller employs the gradient laws to preserve formation rigidity, facilitate collision avoidance, and ensure network connectivity. Additionally, proportional feedback is utilized to guide the agents toward desired global reference positions. Our analysis, based on the Lyapunov method, establishes the local asymptotic convergence of formation control and estimate errors, and derives lower bounds for control and observation feedback gains. To validate the effectiveness of our control method, we conduct some numerical simulations in a 3D space.</div></div>","PeriodicalId":55413,"journal":{"name":"Automatica","volume":"178 ","pages":"Article 112374"},"PeriodicalIF":4.8,"publicationDate":"2025-05-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"144084302","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":2,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
AutomaticaPub Date : 2025-05-17DOI: 10.1016/j.automatica.2025.112372
Massimo Tipaldi , Raffaele Iervolino , Paolo Roberto Massenio , Ali Forootani
{"title":"A data-driven practical stabilization approach for solving stochastic dynamic programming problems","authors":"Massimo Tipaldi , Raffaele Iervolino , Paolo Roberto Massenio , Ali Forootani","doi":"10.1016/j.automatica.2025.112372","DOIUrl":"10.1016/j.automatica.2025.112372","url":null,"abstract":"<div><div>This paper presents a data-driven practical stabilization approach for solving stochastic Dynamic Programming problems with unknown Markov Decision Process models over an infinite time horizon. The Bellman operator is modeled as a discrete-time switched affine system, with each mode representing a specific stationary stochastic policy and an external bounded disturbance term to account for such modeling issue. A two-step approach is followed. First, a model-based robust practical stabilization problem is solved to derive stabilization conditions which enable the practical convergence of the resulting closed-loop system trajectories towards a chosen reference value function. Then, by exploiting recent model-to-data Linear Matrix Inequality transformation tools, these results are further developed to obtain data-driven robust stabilization conditions for addressing the case of model-free problems. Such data-driven stabilization conditions are deployed into the Value Iteration algorithm, and finally tested on the recycling robot and the parking lot management problems to demonstrate the effectiveness of the proposed method.</div></div>","PeriodicalId":55413,"journal":{"name":"Automatica","volume":"178 ","pages":"Article 112372"},"PeriodicalIF":4.8,"publicationDate":"2025-05-17","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"144071329","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":2,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
AutomaticaPub Date : 2025-05-16DOI: 10.1016/j.automatica.2025.112373
Wei Mao , Xuerong Mao , Fuke Wu
{"title":"Almost sure stabilization of hybrid systems by intermittent stochastic noise with jumps","authors":"Wei Mao , Xuerong Mao , Fuke Wu","doi":"10.1016/j.automatica.2025.112373","DOIUrl":"10.1016/j.automatica.2025.112373","url":null,"abstract":"<div><div>This paper is concerned with the almost sure stabilization of hybrid systems by introducing intermittent stochastic noise with jumps. By means of the Lyapunov function method and the ergodic property of Markov chain, sufficient conditions are given for stability of hybrid stochastic systems with intermittent stochastic noise. With the aid of the comparison method and M-matrix theory, it is shown that hybrid systems can be stabilized by discrete-time intermittent stochastic feedback control provided the duration between two consecutive observations is sufficient small. Finally, two examples are presented to illustrate our results.</div></div>","PeriodicalId":55413,"journal":{"name":"Automatica","volume":"178 ","pages":"Article 112373"},"PeriodicalIF":4.8,"publicationDate":"2025-05-16","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"144071162","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":2,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
AutomaticaPub Date : 2025-05-15DOI: 10.1016/j.automatica.2025.112342
Qiwei Liu , Huaicheng Yan , Kaitian Chen , Meng Wang , Zhichen Li
{"title":"Distributed Nash equilibrium solution for multi-agent game in adversarial environment: A reinforcement learning method","authors":"Qiwei Liu , Huaicheng Yan , Kaitian Chen , Meng Wang , Zhichen Li","doi":"10.1016/j.automatica.2025.112342","DOIUrl":"10.1016/j.automatica.2025.112342","url":null,"abstract":"<div><div>This paper investigates the leader–follower optimal consensus problem for linear multi-agent systems with adversarial inputs from a differential graphical game perspective. For the multi-agent optimal control problem described by differential graphical game, it is equally significant that the control policy is distributed and adheres to Nash equilibrium solution. However, achieving both distributed control and Nash equilibrium simultaneously has proven impossible in most existing game formulations. This paper proposes a new game formulation that can overcome this limitation, enabling each agent to reach a Nash equilibrium under a distributed policy, thereby improving system performance. Furthermore, a partially model-free reinforcement learning method is employed to obtain the optimal policy when the dynamic information is partially unknown, with admissibility condition of the initial policy further relaxed. Finally, two comparative simulations are presented to demonstrate the validity and superiority of the proposed approach.</div></div>","PeriodicalId":55413,"journal":{"name":"Automatica","volume":"178 ","pages":"Article 112342"},"PeriodicalIF":4.8,"publicationDate":"2025-05-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"143948042","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":2,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
AutomaticaPub Date : 2025-05-15DOI: 10.1016/j.automatica.2025.112362
Pierdomenico Pepe
{"title":"On comparison lemmas and criteria for KL practical stability and input-to-state practical stability: the discrete-time case","authors":"Pierdomenico Pepe","doi":"10.1016/j.automatica.2025.112362","DOIUrl":"10.1016/j.automatica.2025.112362","url":null,"abstract":"<div><div>In this paper novel discrete-time Halanay’s inequalities are provided for the global uniform convergence to a target ball of the origin. The case with a forcing term is also studied. In this case uniform convergence is achieved towards a target ball of the origin whose radius is given by the sum of two terms: (1) a class <span><math><mi>K</mi></math></span> function of the amplitude of the forcing term; (2) a suitable constant. Induced novel criteria for global uniform ultimate boundedness and input-to-state practical stability are also provided, for a general class of nonlinear discrete-time switching systems with time delays, with possible constraints in both switching and time-delay signals.</div></div>","PeriodicalId":55413,"journal":{"name":"Automatica","volume":"178 ","pages":"Article 112362"},"PeriodicalIF":4.8,"publicationDate":"2025-05-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"143948041","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":2,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
AutomaticaPub Date : 2025-05-10DOI: 10.1016/j.automatica.2025.112359
Juho Bae , Ji Hoon Bai , Byung-Yoon Lee , Jun-Yong Lee , Chang-Hun Lee
{"title":"On the reachability of 3-dimensional paths with a prescribed curvature bound","authors":"Juho Bae , Ji Hoon Bai , Byung-Yoon Lee , Jun-Yong Lee , Chang-Hun Lee","doi":"10.1016/j.automatica.2025.112359","DOIUrl":"10.1016/j.automatica.2025.112359","url":null,"abstract":"<div><div>This paper presents the reachability analysis of curves in <span><math><msup><mrow><mi>R</mi></mrow><mrow><mn>3</mn></mrow></msup></math></span> with a prescribed curvature bound. Based on Pontryagin Maximum Principle, we leverage the existing knowledge on the structure of solutions to minimum-time problems, or Markov–Dubins problem, to reachability considerations. Based on this development, two types of reachability are discussed. First, we prove that any boundary point of the reachability set, with the directional component taken into account as well as geometric coordinates, can be reached via curves of H, CSC, CCC, or their respective subsegments, where H denotes a helicoidal arc, C a circular arc with maximum curvature, and S a straight segment. Second, we show that the reachability set when directional component is not considered—the position reachability set—is simply a solid of revolution of its two-dimensional counterpart, the Dubins car. These findings extend the developments presented in literature on Dubins car into spatial curves in <span><math><msup><mrow><mi>R</mi></mrow><mrow><mn>3</mn></mrow></msup></math></span>.</div></div>","PeriodicalId":55413,"journal":{"name":"Automatica","volume":"178 ","pages":"Article 112359"},"PeriodicalIF":4.8,"publicationDate":"2025-05-10","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"143929435","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":2,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
AutomaticaPub Date : 2025-05-10DOI: 10.1016/j.automatica.2025.112364
Yujie Wang, Xiangru Xu
{"title":"Proxy control barrier functions: Integrating barrier-based and Lyapunov-based safety-critical control design","authors":"Yujie Wang, Xiangru Xu","doi":"10.1016/j.automatica.2025.112364","DOIUrl":"10.1016/j.automatica.2025.112364","url":null,"abstract":"<div><div>This work introduces a novel Proxy Control Barrier Function (PCBF) scheme that integrates barrier-based and Lyapunov-based safety-critical control strategies for strict-feedback systems with potentially unknown dynamics. The proposed method employs a modular design procedure, decomposing the original system into a proxy subsystem and a virtual tracking subsystem that are controlled by the control barrier function (CBF)-based and Lyapunov-based controllers, respectively. By integrating these separately designed controllers, the overall system’s safety is ensured. Moreover, a new filter-based disturbance observer is utilized to design a PCBF-based safe controller for strict-feedback systems subject to mismatched disturbances. This approach broadens the class of systems to which CBF-based methods can be applied and significantly simplifies CBF construction by requiring only the model of the proxy subsystem. The effectiveness of the proposed method is demonstrated through numerical simulations.</div></div>","PeriodicalId":55413,"journal":{"name":"Automatica","volume":"178 ","pages":"Article 112364"},"PeriodicalIF":4.8,"publicationDate":"2025-05-10","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"143929436","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":2,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
AutomaticaPub Date : 2025-05-10DOI: 10.1016/j.automatica.2025.112361
Siyu Zou, Ting Li, Jiandong Zhu
{"title":"Synchronization of high-dimensional linear networks over finite fields","authors":"Siyu Zou, Ting Li, Jiandong Zhu","doi":"10.1016/j.automatica.2025.112361","DOIUrl":"10.1016/j.automatica.2025.112361","url":null,"abstract":"<div><div>This paper investigates the synchronization problems for general high-dimensional linear networks over finite fields. By using the technique of linear transformations and invariant subspaces for linear spaces over finite fields, an algorithm and several necessary and sufficient conditions for the synchronization of high-dimensional linear networks over finite fields are proposed. This paper not only generalizes the existing results from 1-dimensional to high-dimensional linear networks but also adopts a new approach. Finally, some numerical examples are given to illustrate the effectiveness of the obtained theoretical results.</div></div>","PeriodicalId":55413,"journal":{"name":"Automatica","volume":"178 ","pages":"Article 112361"},"PeriodicalIF":4.8,"publicationDate":"2025-05-10","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"143929438","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":2,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
AutomaticaPub Date : 2025-05-10DOI: 10.1016/j.automatica.2025.112363
Yan Zhou , Guanghui Wen , Guanrong Chen
{"title":"Bipartite consensus tracking of heterogeneous multi-agent systems: A smooth output-feedback control approach","authors":"Yan Zhou , Guanghui Wen , Guanrong Chen","doi":"10.1016/j.automatica.2025.112363","DOIUrl":"10.1016/j.automatica.2025.112363","url":null,"abstract":"<div><div>Although some advances have been made in addressing the bipartite consensus tracking problem for homogeneous multi-agent systems, achieving bipartite consensus tracking for heterogeneous multi-agent systems remains a challenge, especially in the presence of agent-actuator faults with unavailable time-varying control input and state information from the leader. To deal with this problem, a new kind of output-based adaptive distributed smooth observers are introduced to estimate the leader’s state. Subsequently, fault-tolerant control protocols are designed and analyzed from a smooth output-feedback approach. Moreover, to reduce computational burdens, smooth control protocols based on reduced-order observers are constructed. It is proved that the multi-agent system driven by the designed control laws can achieve bipartite consensus tracking. Finally, the effectiveness of the theoretical results is validated through simulations.</div></div>","PeriodicalId":55413,"journal":{"name":"Automatica","volume":"178 ","pages":"Article 112363"},"PeriodicalIF":4.8,"publicationDate":"2025-05-10","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"143929437","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":2,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}