Automatica最新文献_第6页

Certificates of nonexistence for analyzing stability, stabilizability and detectability of LPV systems 用于分析 LPV 系统稳定性、可稳定性和可探测性的不存在证书

IF 4.8 2区计算机科学

Automatica Pub Date : 2024-08-21 DOI: 10.1016/j.automatica.2024.111841

{"title":"Certificates of nonexistence for analyzing stability, stabilizability and detectability of LPV systems","authors":"","doi":"10.1016/j.automatica.2024.111841","DOIUrl":"10.1016/j.automatica.2024.111841","url":null,"abstract":"<div><p>By computing Lyapunov functions of a certain, convenient structure, Lyapunov-based methods guarantee stability properties of the system or, when performing synthesis, of the relevant closed-loop or error dynamics. In doing so, they provide conclusive affirmative answers to many analysis and design questions in systems and control. When these methods fail to produce a feasible solution, however, they often remain inconclusive due to (a) the method being conservative or (b) the fact that there may be multiple causes for infeasibility, such as ill-conditioning, solver tolerances or true infeasibility. To overcome this, we develop linear-matrix-inequality-based theorems of alternatives based upon which we can guarantee, by computing a so-called certificate of nonexistence, that no poly-quadratic Lyapunov function exists for a given linear parameter-varying system. We extend these ideas to also certify the nonexistence of controllers and observers for which the corresponding closed-loop/error dynamics admit a poly-quadratic Lyapunov function. Finally, we illustrate our results in some numerical case studies.</p></div>","PeriodicalId":55413,"journal":{"name":"Automatica","volume":null,"pages":null},"PeriodicalIF":4.8,"publicationDate":"2024-08-21","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://www.sciencedirect.com/science/article/pii/S0005109824003352/pdfft?md5=7a801212430fc92abb1086e763741ff0&pid=1-s2.0-S0005109824003352-main.pdf","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"142039695","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}

引用次数: 0

Stability and stabilization of discrete-time linear compartmental switched systems via Markov chains 通过马尔可夫链实现离散时线性分区切换系统的稳定性和稳定性

IF 4.8 2区计算机科学

Automatica Pub Date : 2024-08-21 DOI: 10.1016/j.automatica.2024.111850

{"title":"Stability and stabilization of discrete-time linear compartmental switched systems via Markov chains","authors":"","doi":"10.1016/j.automatica.2024.111850","DOIUrl":"10.1016/j.automatica.2024.111850","url":null,"abstract":"<div><p>The stabilizing switching signal design of discrete-time linear compartmental switched systems (DT-LCSSs) has been heretofore unsolved. It has been proven that a DT-LCSS is stabilizable if and only if it is stabilizable by a periodic switching signal. However, it still needs to be determined whether the period of a stabilizing switching signal can be confined within a bound. Moreover, the existing design method for stabilizing periodic switching signals requires the diagonal entries of system matrices of all subsystems to be strictly positive. In this study, we propose a novel approach to solve this problem completely. We construct a discrete-time Markov chain for a given DT-LCSS, termed the associated Markov chain, and prove the equivalence of stability and stabilizability between the DT-LCSS and the associated Markov chain. Based on this, verifiable necessary and sufficient conditions for stability and stabilizability are derived. Especially, the period of a stabilizing switching signal for an <span><math><mi>n</mi></math></span>-dimensional DT-LCSS can always be chosen within the bound <span><math><mrow><msup><mrow><mi>n</mi></mrow><mrow><mn>2</mn></mrow></msup><mo>−</mo><mi>n</mi><mo>+</mo><mn>1</mn></mrow></math></span>. We propose a state-independent stabilizing switching signal design method for general stabilizable DT-LCSSs. We also prove the equivalence between stabilizability by state-independent switching laws and stabilizability by state-dependent switching laws. A state-dependent global stabilizing switching signal design method is also proposed. Additionally, the proposed results are applied to the consensus analysis of discrete-time leader–follower multi-agent systems with switching communication digraphs. The effectiveness of the theoretical results is demonstrated by examples.</p></div>","PeriodicalId":55413,"journal":{"name":"Automatica","volume":null,"pages":null},"PeriodicalIF":4.8,"publicationDate":"2024-08-21","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"142039663","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}

引用次数: 0

PDE-based observation and predictor-based control for linear systems with distributed infinite input and output delays 对具有分布式无限输入和输出延迟的线性系统进行基于 PDE 的观测和预测控制

IF 4.8 2区计算机科学

Automatica Pub Date : 2024-08-21 DOI: 10.1016/j.automatica.2024.111845

引用次数: 0

Interconnection of irreversible port Hamiltonian systems 不可逆端口哈密顿系统的互联

IF 4.8 2区计算机科学

Automatica Pub Date : 2024-08-21 DOI: 10.1016/j.automatica.2024.111846

引用次数: 0

Strong versions of impulsive controllability and sampled observability 脉冲可控性和抽样可观测性的强版本

IF 4.8 2区计算机科学

Automatica Pub Date : 2024-08-20 DOI: 10.1016/j.automatica.2024.111865

{"title":"Strong versions of impulsive controllability and sampled observability","authors":"","doi":"10.1016/j.automatica.2024.111865","DOIUrl":"10.1016/j.automatica.2024.111865","url":null,"abstract":"<div><p>We give a simple proof of the (perhaps not so) well known fact that exponential polynomials of order <span><math><mi>k</mi></math></span> with real exponents have at most <span><math><mrow><mi>k</mi><mo>−</mo><mn>1</mn></mrow></math></span> real zeros. We deduce several results that relate to impulsive controllability and sampled observability of finite-dimensional linear time-invariant dynamical systems. We prove that the initial state of a continuous-time linear time-invariant dynamical system of dimension <span><math><mi>n</mi></math></span> can be uniquely reconstructed from the sampled output regardless of its sampling time sequence of length <span><math><mi>n</mi></math></span> if and only if the system is observable and all the eigenvalues of the system matrix are real. This result thus characterizes sampled observability with arbitrary sampling times. Likewise, we prove that the system is controllable by means of <span><math><mi>n</mi></math></span> impulses regardless of when they occur if and only if the system is controllable and all the eigenvalues of the system matrix are real. We also show that, if the system is observable and all the eigenvalues of the system matrix are real, then there exists an initial state such that the times where the output crosses a prescribed threshold are prescribed <span><math><mi>m</mi></math></span> times with <span><math><mrow><mi>m</mi><mo><</mo><mi>n</mi></mrow></math></span>.</p></div>","PeriodicalId":55413,"journal":{"name":"Automatica","volume":null,"pages":null},"PeriodicalIF":4.8,"publicationDate":"2024-08-20","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"142012846","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}

引用次数: 0

Disturbance rejection approaches of Korteweg–de Vries-Burgers equation under event-triggering mechanism 事件触发机制下 Korteweg-de Vries-Burgers 方程的扰动抑制方法

IF 4.8 2区计算机科学

Automatica Pub Date : 2024-08-19 DOI: 10.1016/j.automatica.2024.111844

引用次数: 0

Adaptive generalized Nash equilibrium seeking algorithm for nonsmooth aggregative game under dynamic event-triggered mechanism 动态事件触发机制下非光滑聚合博弈的自适应广义纳什均衡寻求算法

IF 4.8 2区计算机科学

Automatica Pub Date : 2024-08-19 DOI: 10.1016/j.automatica.2024.111835

{"title":"Adaptive generalized Nash equilibrium seeking algorithm for nonsmooth aggregative game under dynamic event-triggered mechanism","authors":"","doi":"10.1016/j.automatica.2024.111835","DOIUrl":"10.1016/j.automatica.2024.111835","url":null,"abstract":"<div><p>This paper addresses a nonsmooth aggregative game to control multiple noncooperative players, each with a nonsmooth cost function that depends not only on its own decision but also on some aggregate effect among all the agents. In addition, the decision of each player is restricted by private and coupling constraints. To address these concerns, a distributed generalized Nash equilibrium (GNE) seeking algorithm is proposed. Two features distinguish our methods from the existing GNE seeking algorithms. Firstly, an adaptive penalty method is introduced to drive each player’s action to enter the set of private constraints. The adaptive term ensures automatic adjustment of penalty parameter based on the degree of constraint violation excluding any prior calculation. Secondly, a distributed dynamic event-triggered mechanism is designed for each player to lessen communication energy. In comparison to the static event-triggered mechanism, the proposed dynamic mechanism possesses larger inter-execution time intervals. As the discontinuity of the event-triggered mechanism can impact the existence of a solution to the closed-loop system in the classical sense, we adapt a nonsmooth analysis technique, including differential inclusion and Filippov solution. Through nonsmooth Lyapunov analysis, the convergence result and the avoidance of Zeno behavior are established. Finally, two engineering examples are provided to demonstrate the validity of the theoretical results.</p></div>","PeriodicalId":55413,"journal":{"name":"Automatica","volume":null,"pages":null},"PeriodicalIF":4.8,"publicationDate":"2024-08-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"142006472","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}

引用次数: 0

Distributed resilient adaptive consensus tracking control of nonlinear multi-agent systems dealing with deception attacks via K-filters approach 通过 K 滤波器方法处理欺骗攻击的非线性多代理系统的分布式弹性自适应共识跟踪控制

IF 4.8 2区计算机科学

Automatica Pub Date : 2024-08-19 DOI: 10.1016/j.automatica.2024.111871

{"title":"Distributed resilient adaptive consensus tracking control of nonlinear multi-agent systems dealing with deception attacks via K-filters approach","authors":"","doi":"10.1016/j.automatica.2024.111871","DOIUrl":"10.1016/j.automatica.2024.111871","url":null,"abstract":"<div><p>It poses technical difficulty to achieve distributed consensus tracking control with input quantizations and deception attacks for nonlinear multi-agent systems subject to mismatched parametric uncertainties via backstepping design. The underlying problem becomes even more complicated because <em>i</em>) the system contains mismatched uncertainties; <em>ii</em>) the output becomes unavailable after attacks, making the conventional recursive control design strategy using traditional error surfaces unsuitable; <em>iii</em>) since only the compromised output signal is available, the impacts of nonlinear items related to unknown attack weights become difficult to be explicitly addressed in the existing available output feedback control results. In this paper, we present a solution to circumvent these obstacles by constructing a set of new K-filters using compromised output only, which, together with a coordinate transformation involving the attacked output and filter variables, allow a new form of backstepping based distributed resilient adaptive control protocol to be developed. Meanwhile, an extra compensation term is incorporated into the real controller to handle the effect of quantization on the system stability. It is shown that, with proper choices of Lyapunov functions, the global uniform boundedness of all the closed-loop signals and the asymptotically output consensus tracking can be achieved. A practice example is provided to verify the benefits of our scheme.</p></div>","PeriodicalId":55413,"journal":{"name":"Automatica","volume":null,"pages":null},"PeriodicalIF":4.8,"publicationDate":"2024-08-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"142006471","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}

引用次数: 0

Prescribed-time fully distributed Nash equilibrium seeking of nonlinear multi-agent systems over unbalanced digraphs 非平衡数字图上非线性多代理系统的规定时间全分布式纳什均衡寻求

IF 4.8 2区计算机科学

Automatica Pub Date : 2024-08-17 DOI: 10.1016/j.automatica.2024.111847

{"title":"Prescribed-time fully distributed Nash equilibrium seeking of nonlinear multi-agent systems over unbalanced digraphs","authors":"","doi":"10.1016/j.automatica.2024.111847","DOIUrl":"10.1016/j.automatica.2024.111847","url":null,"abstract":"<div><p>This paper investigates the prescribed-time fully distributed Nash equilibrium seeking (PT-FDNES) problem for nonlinear multi-agent systems (MASs) over weight-unbalanced directed graphs (digraphs). To counterbalance unweighted communication flows caused by the unbalanced network, the temporal transformation technique is first introduced to derive a consensus-based algorithm for calculating the left eigenvector of the Laplacian matrix, based on which a prescribed-time fully distributed estimator with adaptive gains is developed to obtain the NE without requiring any global information. By utilizing this NE estimator to formulate an intermediate control law, the NE seeking problem is then effectively transformed into a local reference-tracking problem. To deal with the non-differentiability issue caused by the NE estimator and ensure the exact tracking, the dynamic gain technique and novel scaling functions are employed to derive a prescribed-time tracking controller which completely compensates for the mismatched uncertainties while reducing the computational burden. The proposed control framework enables the actions of all agents to reach the NE within a prescribed time. In addition, the obtained results are further re-designed to exhibit the robustness by introducing an improved <span><math><mi>σ</mi></math></span>-modification scheme without sacrificing the convergence performance. Numerical examples are provided to demonstrate the validity of the theoretical results.</p></div>","PeriodicalId":55413,"journal":{"name":"Automatica","volume":null,"pages":null},"PeriodicalIF":4.8,"publicationDate":"2024-08-17","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141998427","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}

引用次数: 0

Opinion dynamics analysis for stubborn individuals in cooperation–competition networks based on path-dependence framework 基于路径依赖框架的合作竞争网络中顽固个体的意见动态分析

IF 4.8 2区计算机科学

Automatica Pub Date : 2024-08-17 DOI: 10.1016/j.automatica.2024.111840

{"title":"Opinion dynamics analysis for stubborn individuals in cooperation–competition networks based on path-dependence framework","authors":"","doi":"10.1016/j.automatica.2024.111840","DOIUrl":"10.1016/j.automatica.2024.111840","url":null,"abstract":"<div><p>The opinion evolution problem is studied in this paper for stubborn individuals in cooperation–competition networks, where the individuals’ opinion dynamics is described by the Friedkin–Johnsen model and the competitive relationship between individuals is characterized by negative weights. Then the lifting approach is successfully applied to the Friedkin–Johnsen model to deal with the influence of the negative weights while the path-dependence theory is used to the transition of two arbitrarily adjacent topics. Starting from the weight topology, the relationship between the weight topology and the augmented topology is established, and some sufficient conditions about achieving neutrality, bipartite consensus and convergence for the individuals’ opinions in a sequence of topics are obtained. Interestingly, a necessary and sufficient condition is given to ensure bipartite consensus for the individuals’ opinions under the premise that the weight topology is structurally unbalanced. Furthermore, the Friedkin–Johnsen model with dynamic stubbornness is also considered, and the concept of common topic subsequence is introduced. It is proved that all elements of the topic transfer matrix are positive for the common topic subsequence, and neutrality and bipartite consensus for the individuals’ opinions can be achieved for different types of weight topologies, respectively. Finally, numerical examples are given to support the correctness of the theoretical results.</p></div>","PeriodicalId":55413,"journal":{"name":"Automatica","volume":null,"pages":null},"PeriodicalIF":4.8,"publicationDate":"2024-08-17","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://www.sciencedirect.com/science/article/pii/S0005109824003340/pdfft?md5=5f98933c266fca464e87f52c41f5c094&pid=1-s2.0-S0005109824003340-main.pdf","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141998426","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}

引用次数: 0