{"title":"Distributed optimal coverage control in multi-agent systems: Known and unknown environments","authors":"Mohammadhasan Faghihi, Meysam Yadegar, Mohammadhosein Bakhtiaridoust, Nader Meskin, Javad Sharifi, Peng Shi","doi":"10.1016/j.automatica.2024.112031","DOIUrl":"https://doi.org/10.1016/j.automatica.2024.112031","url":null,"abstract":"This paper introduces a novel approach to solve the coverage optimization problem in multi-agent systems. The proposed technique offers an optimal solution with a lower cost with respect to conventional Voronoi-based techniques by effectively handling the issue of agents remaining stationary in regions void of information using a ranking function. The proposed approach leverages a novel cost function for optimizing the agents’ coverage and the cost function eventually aligns with the conventional Voronoi-based cost function. Theoretical analyses are conducted to assure the asymptotic convergence of agents toward an optimal configuration. A distinguishing feature of this approach lies in its departure from the reliance on geometric methods that are characteristic of Voronoi-based approaches; hence it can be implemented more simply. Remarkably, the technique is adaptive and applicable to various environments with both known and unknown information distributions. Lastly, the efficacy of the proposed method is demonstrated through simulations, and the obtained results are compared with those of Voronoi-based algorithms.","PeriodicalId":55413,"journal":{"name":"Automatica","volume":"13 1","pages":""},"PeriodicalIF":6.4,"publicationDate":"2024-12-12","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"142816496","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 : 2024-12-03DOI: 10.1016/j.automatica.2024.112005
Jun Zheng , Guchuan Zhu
{"title":"Generalized Lyapunov functionals for the input-to-state stability of infinite-dimensional systems","authors":"Jun Zheng , Guchuan Zhu","doi":"10.1016/j.automatica.2024.112005","DOIUrl":"10.1016/j.automatica.2024.112005","url":null,"abstract":"<div><div>This paper addresses the input-to-state stability (ISS) of infinite-dimensional systems by introducing a novel notion named <em>generalized ISS-Lyapunov functional</em> (GISS-LF) and the corresponding ISS Lyapunov theorem. Unlike the classical ISS-Lyapunov functional (ISS-LF) that must be positive definite, a GISS-LF can be positive semidefinite. Moreover, such a functional considers not only the relationship with elements in the state space but also takes into account the elements in the input space via a family of certain functionals. Consequently, this notion provides more options in constructing Lyapunov functionals for the ISS assessment of infinite-dimensional systems. In particular, we provide a positive answer to the open question raised by A. Mironchenko and C. Prieur, “Input-to-state stability of infinite-dimensional systems: recent results and open questions”, (Mironchenko and Prieur, 2020), regarding the existence of a coercive ISS-LF for the heat equation with Dirichlet boundary disturbances. To demonstrate the application of the proposed method, which we refer to as the generalized Lyapunov method, we present two examples, showing how to construct GISS-LFs by using positive semidefinite and non-coercive functionals for nonlinear parabolic equations defined over higher dimensional domains with Dirichlet boundary disturbances, and to derive small-gain conditions for guaranteeing the ISS with respect to distributed in-domain disturbances for coupled nonlinear degenerate parabolic equations, which contain ordinary differential equations as special cases.</div></div>","PeriodicalId":55413,"journal":{"name":"Automatica","volume":"172 ","pages":"Article 112005"},"PeriodicalIF":4.8,"publicationDate":"2024-12-03","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"142759491","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 : 2024-12-03DOI: 10.1016/j.automatica.2024.112009
Kai Zhang, Bin Zhou
{"title":"Fully distributed and attack-immune protocols for linear multiagent systems by linear time-varying feedback","authors":"Kai Zhang, Bin Zhou","doi":"10.1016/j.automatica.2024.112009","DOIUrl":"10.1016/j.automatica.2024.112009","url":null,"abstract":"<div><div>This paper addresses the leader-following consensus problem for general linear multiagent systems under general directed topology, with a focus on the scenarios where only relative output information is available. To solve such problem, most existing observer-based protocols rely on relative observer information among neighboring agents, which is obtained through the communication network and can be susceptible to network attacks. To overcome this limitation, this paper proposes a novel class of distributed observer-based linear time-varying protocols, in which the feedback gain is designed with two time-varying terms, one of which tends towards infinity as time increases, while the other tends towards zero. Compared to existing protocols, the proposed protocols offer significant advantages. Notably, they do not require information exchange through the communication network, making them immune to network attacks. Furthermore, the protocols operate in a fully distributed manner, which makes them resilient to changes in the topology graph. Simulation results demonstrate the effectiveness of the proposed approach.</div></div>","PeriodicalId":55413,"journal":{"name":"Automatica","volume":"172 ","pages":"Article 112009"},"PeriodicalIF":4.8,"publicationDate":"2024-12-03","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"142759728","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 : 2024-12-02DOI: 10.1016/j.automatica.2024.111999
Jiancheng Zhang , Yongduan Song , Gang Zheng
{"title":"Prescribed-time observer for descriptor systems with unknown input","authors":"Jiancheng Zhang , Yongduan Song , Gang Zheng","doi":"10.1016/j.automatica.2024.111999","DOIUrl":"10.1016/j.automatica.2024.111999","url":null,"abstract":"<div><div>This paper investigates the problem of simultaneous state and unknown input estimation/observation within a prescribed time for a class of descriptor systems with unknown inputs (UIs). Firstly, for the descriptor system with UIs, a new structure decomposition is developed which provides a more straightforward way to estimate the state and UIs. Subsequently, based on the sub-system obtained by the decomposition, new prescribed time unknown input observers (PTUIOs) are developed for both the single-output and the multiple-output cases, which, on the one hand, achieves the simultaneous state and UI estimation within an arbitrarily prescribed time, and on the other hand, breaks through the restriction imposed in the literature that the sub-system should be single-output and meanwhile be in a special canonical form. The necessary and sufficient conditions for the existence of the PTUIO are established in terms of the original system matrices. Finally, two examples are presented to verify the effectiveness of the proposed method.</div></div>","PeriodicalId":55413,"journal":{"name":"Automatica","volume":"172 ","pages":"Article 111999"},"PeriodicalIF":4.8,"publicationDate":"2024-12-02","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"142759490","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}
{"title":"Meta-learning for model-reference data-driven control","authors":"Riccardo Busetto , Valentina Breschi , Simone Formentin","doi":"10.1016/j.automatica.2024.112006","DOIUrl":"10.1016/j.automatica.2024.112006","url":null,"abstract":"<div><div>One-shot direct model-reference control design techniques, like the Virtual Reference Feedback Tuning (VRFT) approach, offer time-saving solutions for calibrating fixed-structure controllers. Nonetheless, such methods are known to be highly sensitive to the quality of data, often requiring long and costly experiments to attain acceptable closed-loop performance. These features might prevent the widespread adoption of such techniques, especially in low-data regimes. In this paper, we argue that the inherent similarity of many industrially relevant systems may come at hand, offering additional information from plants that are similar (yet not equal) to the system one aims to control. Assuming that this supplementary information is available, we propose a novel, direct design approach that leverages data from similar plants, the knowledge of controllers calibrated on them, and the corresponding closed-loop performance to enhance model-reference control design. By constructing the new controller as a combination of the available ones, our approach exploits all the available priors following a <em>meta-learning</em> philosophy, ensuring non-decreasing performance. An extensive numerical analysis supports our claims, highlighting the effectiveness of the proposed method in achieving performance comparable to iterative approaches, while retaining the efficiency of one-shot direct data-driven methods like VRFT.</div></div>","PeriodicalId":55413,"journal":{"name":"Automatica","volume":"172 ","pages":"Article 112006"},"PeriodicalIF":4.8,"publicationDate":"2024-12-02","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"142759488","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":2,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"OA","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
AutomaticaPub Date : 2024-12-02DOI: 10.1016/j.automatica.2024.112000
Sei Zhen Khong , Chao Chen , Alexander Lanzon
{"title":"Feedback stability analysis via dissipativity with dynamic supply rates","authors":"Sei Zhen Khong , Chao Chen , Alexander Lanzon","doi":"10.1016/j.automatica.2024.112000","DOIUrl":"10.1016/j.automatica.2024.112000","url":null,"abstract":"<div><div>We propose a general notion of dissipativity with dynamic supply rates for nonlinear systems. This extends classical dissipativity with static supply rates and dynamic supply rates of miscellaneous quadratic forms. The main results of this paper concern Lyapunov and asymptotic stability analysis for nonlinear feedback dissipative systems that are characterised by dissipation inequalities with respect to compatible dynamic supply rates but involving possibly different and independent auxiliary systems. Importantly, dissipativity conditions guaranteeing stability of the state of the feedback systems, without concerns on the stability of the state of the auxiliary systems, are provided. The key results also specialise to a simple coupling test for the interconnection of two nonlinear systems described by dynamic <span><math><mrow><mo>(</mo><mi>Ψ</mi><mo>,</mo><mi>Π</mi><mo>,</mo><mi>Υ</mi><mo>,</mo><mi>Ω</mi><mo>)</mo></mrow></math></span>-dissipativity, and are shown to recover several existing results in the literature, including small-gain, passivity indices, static <span><math><mrow><mo>(</mo><mi>Q</mi><mo>,</mo><mi>S</mi><mo>,</mo><mi>R</mi><mo>)</mo></mrow></math></span>-dissipativity, dissipativity with terminal costs, etc. Comparison with the input–output approach to feedback stability analysis based on integral quadratic constraints is also made.</div></div>","PeriodicalId":55413,"journal":{"name":"Automatica","volume":"172 ","pages":"Article 112000"},"PeriodicalIF":4.8,"publicationDate":"2024-12-02","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"142759489","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 : 2024-11-30DOI: 10.1016/j.automatica.2024.112003
Rolf Johansson
{"title":"Model-based state estimation for Euler–Lagrange systems and rigid-body robot control","authors":"Rolf Johansson","doi":"10.1016/j.automatica.2024.112003","DOIUrl":"10.1016/j.automatica.2024.112003","url":null,"abstract":"<div><div>This article considers state estimation of rigid-body dynamics where the positions <span><math><mi>q</mi></math></span> are available to measurement but where the angular velocities <span><math><mover><mrow><mi>q</mi></mrow><mrow><mo>̇</mo></mrow></mover></math></span> or accelerations <span><math><mover><mrow><mi>q</mi></mrow><mrow><mo>̈</mo></mrow></mover></math></span> are not available to measurement. Using a stability-oriented approach to model-based design of state estimation for Euler–Lagrange systems and rigid-body dynamics, state estimation based on position measurement is shown to guarantee semiglobally asymptotically stable operation of the state estimation and its use in dynamic output feedback control.</div></div>","PeriodicalId":55413,"journal":{"name":"Automatica","volume":"172 ","pages":"Article 112003"},"PeriodicalIF":4.8,"publicationDate":"2024-11-30","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"142747240","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":2,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"OA","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"On converse zeroing barrier functions","authors":"Ziliang Lyu , Xiangru Xu , Yiguang Hong , Lihua Xie","doi":"10.1016/j.automatica.2024.112011","DOIUrl":"10.1016/j.automatica.2024.112011","url":null,"abstract":"<div><div>The paper studies the safety verification problem for nonlinear systems and focuses on the converse problem of zeroing barrier functions (ZBFs). We establish two necessary and sufficient conditions for the existence of a ZBF by solving the converse ZBF problem. Moreover, we also consider exponential barrier functions (EBFs), a special case of the ZBF, and provide a necessary and sufficient condition for the existence of an EBF when the state trajectory, starting from the interior of the safe set, cannot visit the boundary within finite time.</div></div>","PeriodicalId":55413,"journal":{"name":"Automatica","volume":"172 ","pages":"Article 112011"},"PeriodicalIF":4.8,"publicationDate":"2024-11-29","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"142747242","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 : 2024-11-28DOI: 10.1016/j.automatica.2024.112001
Jin Guo , Qingxiang Zhang , Yanlong Zhao
{"title":"Identification of FIR Systems with binary-valued observations under replay attacks","authors":"Jin Guo , Qingxiang Zhang , Yanlong Zhao","doi":"10.1016/j.automatica.2024.112001","DOIUrl":"10.1016/j.automatica.2024.112001","url":null,"abstract":"<div><div>We study the problem of identifying Finite Impulse Response (FIR) systems against random replay attacks with binary-valued observations in this paper. Replay attacks are modeled and the impact of attack strategies on the performance of parameter estimation algorithms is investigated. A defense algorithm that is consistent even during attacks is designed, and the problem of identifiability for the unknown parameters is discussed. Then, the asymptotic normality of this algorithm is given, and we derive the optimal defense strategy based on this. The proposed method’s rationality is verified by simulation example.</div></div>","PeriodicalId":55413,"journal":{"name":"Automatica","volume":"172 ","pages":"Article 112001"},"PeriodicalIF":4.8,"publicationDate":"2024-11-28","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"142747252","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 : 2024-11-28DOI: 10.1016/j.automatica.2024.112012
Pengyu Li , Dan Ye
{"title":"Stochastic encryption against stealthy attacks in CPSs: A zero-sum game approach","authors":"Pengyu Li , Dan Ye","doi":"10.1016/j.automatica.2024.112012","DOIUrl":"10.1016/j.automatica.2024.112012","url":null,"abstract":"<div><div>The zero-sum game-based stochastic encryption problem for cyber–physical systems (CPSs) under stealthy attacks is investigated in this paper. Firstly, a deterministic encryption strategy is presented to achieve the same estimation performance as the standard Kalman filter in the absence of attacks. Since a deterministic procedure may be deciphered, the encryption/attack strategy will be randomly employed to counter potential adversaries. The impact of stochastic strategies on the estimation performance is evaluated by calculating the expected error covariance. Based on the trade-off among the energy levels of encryption parameters, attackers, and defenders, the Nash equilibrium for the attacker–defender game is derived offline, providing guidance on when to implement encryption and attack strategies. In particular, we also provide a criterion for selecting encryption parameters to restrict the attacker’s payoff. The theoretical results are validated through simulations.</div></div>","PeriodicalId":55413,"journal":{"name":"Automatica","volume":"172 ","pages":"Article 112012"},"PeriodicalIF":4.8,"publicationDate":"2024-11-28","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"142747241","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}