Automatica最新文献_第8页

Linear–quadratic mean-field game for stochastic systems with partial observation 部分观测随机系统的线性-二次均场博弈

IF 4.8 2区计算机科学

Automatica Pub Date : 2024-09-21 DOI: 10.1016/j.automatica.2024.111821

Min Li , Na Li , Zhen Wu

{"title":"Linear–quadratic mean-field game for stochastic systems with partial observation","authors":"Min Li , Na Li , Zhen Wu","doi":"10.1016/j.automatica.2024.111821","DOIUrl":"10.1016/j.automatica.2024.111821","url":null,"abstract":"<div><p>This paper is concerned with a class of linear–quadratic stochastic large-population problems with partial information, where the individual agent only has access to a noisy observation process related to the state. The dynamics of each agent follows a linear stochastic differential equation driven by the individual noise, and all agents are coupled together via the control average term. By studying the associated mean-field game and using the backward separation principle with a state decomposition technique, the decentralized optimal control can be obtained in the open-loop form through a forward–backward stochastic differential equation with the conditional expectation. The optimal filtering equation is also provided. Thanks to the decoupling method, the decentralized optimal control can also be further presented as the feedback of state filtering via the Riccati equation. The explicit solution of the control average limit is given, and the consistency condition system is discussed. Moreover, the related <span><math><mi>ɛ</mi></math></span>-Nash equilibrium property is verified. To illustrate the good performance of theoretical results, an example in finance is studied.</p></div>","PeriodicalId":55413,"journal":{"name":"Automatica","volume":null,"pages":null},"PeriodicalIF":4.8,"publicationDate":"2024-09-21","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://www.sciencedirect.com/science/article/pii/S0005109824003157/pdfft?md5=4447ef16e985c2c6533ddcdbf781b24a&pid=1-s2.0-S0005109824003157-main.pdf","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"142271127","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

Adaptive event-triggered output feedback control for uncertain parabolic PDEs 不确定抛物线 PDE 的自适应事件触发输出反馈控制

IF 4.8 2区计算机科学

Automatica Pub Date : 2024-09-20 DOI: 10.1016/j.automatica.2024.111917

Chunting Ji , Zhengqiang Zhang , Shuzhi Sam Ge

引用次数: 0

Data-driven security controller design for unknown networked systems 为未知网络系统设计数据驱动的安全控制器

IF 4.8 2区计算机科学

Automatica Pub Date : 2024-09-17 DOI: 10.1016/j.automatica.2024.111843

Songlin Hu , Dong Yue , Zhongrui Jiang , Xiangpeng Xie , Jin Zhang

{"title":"Data-driven security controller design for unknown networked systems","authors":"Songlin Hu , Dong Yue , Zhongrui Jiang , Xiangpeng Xie , Jin Zhang","doi":"10.1016/j.automatica.2024.111843","DOIUrl":"10.1016/j.automatica.2024.111843","url":null,"abstract":"<div><p>This paper is concerned with security controller design of unknown networked systems under aperiodic denial-of-service (DoS) attacks, using only noise data but no model knowledge. First, a novel attack parameter-dependent stability criterion of linear networked systems under a class of time-constraint DoS attacks is proposed by using DoS attack parameter-dependent time-varying Lyapunov function method, where the considered system model, the state-feedback gain, and the lower and upper bounds of sleeping/active periods of DoS attack signal are known in advance. Based on this model-based stability condition and by combining tools from data-driven control theory, robust control theory, and switched system approach to security control, a new data-based stability criterion of all linear networked control systems (NCSs) which are consistent with the measured data and the assumed noise bound in the presence of DoS attacks is derived in terms of linear matrix inequalities. Based on this data-dependent parametrization, the data-driven security state-feedback controllers are designed correspondingly. Our control method guarantees the exponential stability properties robustly for all linear systems consistent with the measured data despite the presence of DoS attacks. As a byproduct, the proposed method embeds existing approaches for event-triggered control (ETC) into a general data-based event-triggered security control framework, which can be extended to co-design of data-based robust controller and event-triggering mechanism for uncertain NCSs under DoS attacks. Finally, the efficiency and superiority of the proposed methodology are verified through a numerical example.</p></div>","PeriodicalId":55413,"journal":{"name":"Automatica","volume":null,"pages":null},"PeriodicalIF":4.8,"publicationDate":"2024-09-17","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://www.sciencedirect.com/science/article/pii/S0005109824003376/pdfft?md5=56d6f72563e302ae4c461677382f7e06&pid=1-s2.0-S0005109824003376-main.pdf","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"142243452","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

Weighted stochastic Riccati equations for generalization of linear optimal control 线性优化控制广义加权随机里卡提方程

IF 4.8 2区计算机科学

Automatica Pub Date : 2024-09-17 DOI: 10.1016/j.automatica.2024.111901

Yuji Ito , Kenji Fujimoto , Yukihiro Tadokoro

{"title":"Weighted stochastic Riccati equations for generalization of linear optimal control","authors":"Yuji Ito , Kenji Fujimoto , Yukihiro Tadokoro","doi":"10.1016/j.automatica.2024.111901","DOIUrl":"10.1016/j.automatica.2024.111901","url":null,"abstract":"<div><p>This paper presents weighted stochastic Riccati (WSR) equations for designing multiple types of controllers for linear stochastic systems. The system matrices are independent and identically distributed (i.i.d.) to represent noise in the systems. While the stochasticity can invoke unpredictable control results, it is essentially difficult to design controllers for systems with i.i.d. matrices because the controllers can be solutions to non-algebraic equations. Although an existing method has tackled this difficulty, the method has not realized the generality because it relies on the special form of cost functions for risk-sensitive linear (RSL) control. Furthermore, designing controllers over an infinite-horizon remains challenging because many iterations of solving nonlinear optimization is needed. To overcome these problems, the proposed WSR equations employ a weighted expectation of stochastic equations. Solutions to the WSR equations provide multiple types of controllers characterized by the weight, which contain stochastic optimal and RSL controllers. Two approaches calculating simple recursive formulas are proposed to solve the WSR equations without solving the nonlinear optimization. Moreover, designing the weight yields a novel controller termed the robust RSL controller that has both a risk-sensitive policy and robustness to randomness occurring in stochastic controller design.</p></div>","PeriodicalId":55413,"journal":{"name":"Automatica","volume":null,"pages":null},"PeriodicalIF":4.8,"publicationDate":"2024-09-17","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://www.sciencedirect.com/science/article/pii/S0005109824003959/pdfft?md5=8292659d9f0c1c3712bba76f74739b8e&pid=1-s2.0-S0005109824003959-main.pdf","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"142243453","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

Asynchronous approximate Byzantine consensus: A multi-hop relay method and tight graph conditions 异步近似拜占庭共识：多跳中继方法和紧密图条件

IF 4.8 2区计算机科学

Automatica Pub Date : 2024-09-16 DOI: 10.1016/j.automatica.2024.111908

Liwei Yuan , Hideaki Ishii

{"title":"Asynchronous approximate Byzantine consensus: A multi-hop relay method and tight graph conditions","authors":"Liwei Yuan , Hideaki Ishii","doi":"10.1016/j.automatica.2024.111908","DOIUrl":"10.1016/j.automatica.2024.111908","url":null,"abstract":"<div><p>We study a multi-agent resilient consensus problem, where some agents are of the Byzantine type and try to prevent the normal ones from reaching consensus. In our setting, normal agents communicate with each other asynchronously over multi-hop relay channels with delays. To solve this asynchronous Byzantine consensus problem, we develop the multi-hop weighted mean subsequence reduced (MW-MSR) algorithm. The main contribution is that we characterize a tight graph condition for our algorithm to achieve Byzantine consensus, which is expressed in the novel notion of strictly robust graphs. We show that the multi-hop communication is effective for enhancing the network’s resilience against Byzantine agents. As a result, we also obtain novel conditions for resilient consensus under the malicious attack model, which are tighter than those known in the literature. Furthermore, the proposed algorithm can be viewed as a generalization of the conventional flooding-based algorithms, with less computational complexity. Lastly, we provide numerical examples to show the effectiveness of the proposed algorithm.</p></div>","PeriodicalId":55413,"journal":{"name":"Automatica","volume":null,"pages":null},"PeriodicalIF":4.8,"publicationDate":"2024-09-16","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://www.sciencedirect.com/science/article/pii/S0005109824004023/pdfft?md5=4ef54f80a2e094e0b844d771ed36118c&pid=1-s2.0-S0005109824004023-main.pdf","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"142242031","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

Synthesis of discretized Lyapunov functional method and the Lyapunov matrix approach for linear time delay systems 线性时延系统的离散李雅普诺夫函数法和李雅普诺夫矩阵法的合成

IF 4.8 2区计算机科学

Automatica Pub Date : 2024-09-15 DOI: 10.1016/j.automatica.2024.111793

Irina V. Alexandrova, Aleksandr I. Belov

{"title":"Synthesis of discretized Lyapunov functional method and the Lyapunov matrix approach for linear time delay systems","authors":"Irina V. Alexandrova, Aleksandr I. Belov","doi":"10.1016/j.automatica.2024.111793","DOIUrl":"10.1016/j.automatica.2024.111793","url":null,"abstract":"<div><p>The famous discretized Lyapunov functional method of K. Gu employing the functionals of general structure with piecewise linear matrix kernels is known to deliver effective stability conditions in the form of linear matrix inequalities (LMIs). In parallel, the role of the delay Lyapunov matrix for linear time-invariant systems with delay was recently revealed. In Gomez et al. (2019), it was shown that the positive definiteness of a beautiful block matrix which involves the delay Lyapunov matrix values at several discretization points of the delay interval constitutes a necessary and sufficient condition for the exponential stability. The only drawback is that the dimension of the block matrix turns out to be very high in practice. In this study, we significantly reduce the dimension by combining the delay Lyapunov matrix framework with the discretized Lyapunov functional method. The component of the latter method that pertains to the discretization of the functional derivative is replaced with bounding the difference between the values of the functional possessing a prescribed derivative and its discretized counterpart. The key breakthrough lies in the fact that the structure of the block matrix is kept the same as in Gomez et al. (2019). Numerical examples show the superiority of our method in many cases compared to the other techniques known in the literature.</p></div>","PeriodicalId":55413,"journal":{"name":"Automatica","volume":null,"pages":null},"PeriodicalIF":4.8,"publicationDate":"2024-09-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://www.sciencedirect.com/science/article/pii/S0005109824002875/pdfft?md5=f246ce4b9a6d60ba694d7fb04896ae61&pid=1-s2.0-S0005109824002875-main.pdf","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"142233855","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

On stability analysis of stochastic neutral-type systems with multiple delays 论多延迟随机中性型系统的稳定性分析

IF 4.8 2区计算机科学

Automatica Pub Date : 2024-09-13 DOI: 10.1016/j.automatica.2024.111905

Zhao-Yan Li , YunXia Song , Xing Li , Bin Zhou

引用次数: 0

Polynomial logical zonotope: A set representation for reachability analysis of logical systems 多项式逻辑纵向图：逻辑系统可达性分析的集合表示法

IF 4.8 2区计算机科学

Automatica Pub Date : 2024-09-13 DOI: 10.1016/j.automatica.2024.111896

Amr Alanwar , Frank J. Jiang , Karl H. Johansson

{"title":"Polynomial logical zonotope: A set representation for reachability analysis of logical systems","authors":"Amr Alanwar , Frank J. Jiang , Karl H. Johansson","doi":"10.1016/j.automatica.2024.111896","DOIUrl":"10.1016/j.automatica.2024.111896","url":null,"abstract":"<div><p>In this paper, we introduce a set representation called polynomial logical zonotopes for performing exact and computationally efficient reachability analysis on logical systems. We prove that through this polynomial-like construction, we are able to perform all of the fundamental logical operations (XOR, NOT, XNOR, AND, NAND, OR, NOR) between sets of points exactly in a reduced space, i.e., generator space with reduced complexity. Polynomial logical zonotopes are a generalization of logical zonotopes, which are able to represent up to <span><math><msup><mrow><mn>2</mn></mrow><mrow><mi>γ</mi></mrow></msup></math></span> binary vectors using only <span><math><mi>γ</mi></math></span> generators. Due to their construction, logical zonotopes are only able to support exact computations of some logical operations (XOR, NOT, XNOR), while other operations (AND, NAND, OR, NOR) result in over-approximations in the generator space. In order to perform all fundamental logical operations exactly, we formulate a generalization of logical zonotopes that is constructed by dependent generators and exponent matrices. While we are able to perform all of the logical operations exactly, this comes with a slight increase in computational complexity compared to logical zonotopes. To illustrate and showcase the computational benefits of polynomial logical zonotopes, we present the results of performing reachability analysis on two use cases: (1) safety verification of an intersection crossing protocol and (2) reachability analysis on a high-dimensional Boolean function. Moreover, to highlight the extensibility of logical zonotopes, we include an additional use case where we perform a computationally tractable exhaustive search for the key of a linear feedback shift register.</p></div>","PeriodicalId":55413,"journal":{"name":"Automatica","volume":null,"pages":null},"PeriodicalIF":4.8,"publicationDate":"2024-09-13","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://www.sciencedirect.com/science/article/pii/S000510982400390X/pdfft?md5=b65f653c9f0f059a76a5ea58707062a4&pid=1-s2.0-S000510982400390X-main.pdf","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"142230095","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

On the set-estimation of uncertain Max-Plus Linear systems 论不确定的 Max-Plus 线性系统的集合估计

IF 4.8 2区计算机科学

Automatica Pub Date : 2024-09-13 DOI: 10.1016/j.automatica.2024.111899

Guilherme Espindola-Winck , Laurent Hardouin , Mehdi Lhommeau

引用次数: 0

Robust adaptive boundary control of a disk–beam–mass system under unknown distributed disturbance 未知分布式扰动下盘束-质量系统的鲁棒自适应边界控制

IF 4.8 2区计算机科学

Automatica Pub Date : 2024-09-13 DOI: 10.1016/j.automatica.2024.111898

Yang Yu , Hai-long Pei , Jinpeng Yu , Shuzhi Sam Ge

{"title":"Robust adaptive boundary control of a disk–beam–mass system under unknown distributed disturbance","authors":"Yang Yu , Hai-long Pei , Jinpeng Yu , Shuzhi Sam Ge","doi":"10.1016/j.automatica.2024.111898","DOIUrl":"10.1016/j.automatica.2024.111898","url":null,"abstract":"<div><p>This paper focuses on the boundary stabilization control of a rotating disk–beam–mass system (DBMS), comprised of a one-dimensional flexible beam perpendicularly affixed to a rotating rigid disk at its lower boundary and a payload, conceptualized as a tip mass at its opposite end. We posit that the boundary control, which includes an external torque acting on the disk and an external force acting on the tip mass, is subject to an undefined time-varying disturbance. Concurrently, the flexible beam experiences an undefined spatiotemporal-varying distributed disturbance. Firstly, we employ Hamilton’s principle to elaborate on the mathematical model that describes the motion of DBMS. Subsequently, an adaptive boundary control is designed to stabilize the beam’s transverse displacement and regulate the disk’s angular velocity to track a predetermined value asymptotically. Applying the theory of Lyapunov, we demonstrate that uniform and ultimate boundedness under distributed disturbance can be achieved. Finally, we conduct several numerical simulations to showcase the applicability and efficacy of our proposed adaptive boundary controller.</p></div>","PeriodicalId":55413,"journal":{"name":"Automatica","volume":null,"pages":null},"PeriodicalIF":4.8,"publicationDate":"2024-09-13","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://www.sciencedirect.com/science/article/pii/S0005109824003923/pdfft?md5=05c9096bc3a6fa64439805f3ac1f34ea&pid=1-s2.0-S0005109824003923-main.pdf","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"142230100","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