Automatica最新文献_第2页

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

{"title":"Polynomial logical zonotope: A set representation for reachability analysis of logical systems","authors":"","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

引用次数: 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

{"title":"Robust adaptive boundary control of a disk–beam–mass system under unknown distributed disturbance","authors":"","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

Simultaneous input and state estimation: From a unified least-squares perspective 同步输入和状态估计：从统一的最小二乘法视角出发

IF 4.8 2区计算机科学

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

{"title":"Simultaneous input and state estimation: From a unified least-squares perspective","authors":"","doi":"10.1016/j.automatica.2024.111906","DOIUrl":"10.1016/j.automatica.2024.111906","url":null,"abstract":"<div><p>This paper presents a unified least-squares approach to simultaneous input and state estimation (SISE) of discrete-time linear systems. Although input estimators for systems with and without direct feedthrough are generally designed in two different ways, i.e., one with and another without a delay, the proposed approach unifies the two cases using a receding horizon estimation strategy. Moreover, regularization terms representing input information are incorporated and discarded to accommodate the model-based and model-free scenarios, respectively. The present work first investigates the general case where prior input information is available for systems with direct feedthrough and addresses important issues including the existence, optimality and stability of the derived estimators. Then, the problem of whether and under what conditions the existing studies for different systems can be related together is investigated. By setting different design parameters, the proposed estimation framework includes important literature results as its special cases, making it possible to generalize the SISE problems in various contexts. Besides, unlike the previous studies that only considered recursive SISE formulations, the present study develops a batch SISE (BSISE) formulation that addresses the optimal filtering and smoothing problems cohesively. The present work provides a unified approach to input and state estimation where the availability of the input information ranges from exactly known to completely unknown and the systems may have either zero, non-full-rank or full-rank direct feedthrough. The optimization-based formulation and its Bayesian interpretation open a variety of possible extensions and inspire new developments.</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/S000510982400400X/pdfft?md5=b40f04f0fd092022bbf0099a495e3752&pid=1-s2.0-S000510982400400X-main.pdf","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"142230101","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

Sampled-data control of an unstable cascaded heat–heat system with different reaction coefficients 具有不同反应系数的不稳定级联热-热系统的采样数据控制

IF 4.8 2区计算机科学

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

引用次数: 0

On vulnerability of Kalman filtering with holistic estimation performance loss 关于具有整体估计性能损失的卡尔曼滤波的脆弱性

IF 4.8 2区计算机科学

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

{"title":"On vulnerability of Kalman filtering with holistic estimation performance loss","authors":"","doi":"10.1016/j.automatica.2024.111895","DOIUrl":"10.1016/j.automatica.2024.111895","url":null,"abstract":"<div><p>This article addresses the problem of optimal deception attacks against remote state estimation, where the measurement data is transmitted through an unreliable wireless channel. A malicious adversary can intercept and tamper with raw data to maximize estimation quality degradation and deceive <span><math><msup><mrow><mi>χ</mi></mrow><mrow><mn>2</mn></mrow></msup></math></span> detectors. In contrast to prior studies that concentrate on greedy attack performance, we consider a more general scenario where attackers aim to maximize the sum of estimation errors within a fixed interval. It is demonstrated that the optimal attack policy, based on information-theoretic principles, is a linear combination of minimum mean-square error estimates of historical prediction errors. The combination coefficients are then obtained by solving a convex optimization problem. Furthermore, the proposed attack approach is extended to deceive multiple-step <span><math><msup><mrow><mi>χ</mi></mrow><mrow><mn>2</mn></mrow></msup></math></span> detectors of varying widths with strict/relaxed stealthiness by slightly adjusting some linear equality constraints. The effectiveness of the proposed approach is validated through numerical examples and comparative studies with existing methods.</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/S0005109824003893/pdfft?md5=c632a5d58dc4f4ee7231f09e5214d947&pid=1-s2.0-S0005109824003893-main.pdf","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"142230096","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

Decentralized adaptive finite-time stabilization for a class of non-local Lipschitzian large-scale stochastic nonlinear systems 一类非局部 Lipschitzian 大规模随机非线性系统的分散自适应有限时间稳定化

IF 4.8 2区计算机科学

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

{"title":"Decentralized adaptive finite-time stabilization for a class of non-local Lipschitzian large-scale stochastic nonlinear systems","authors":"","doi":"10.1016/j.automatica.2024.111900","DOIUrl":"10.1016/j.automatica.2024.111900","url":null,"abstract":"<div><p>In this paper, finite-time stabilization is investigated for a class of non-local Lipschitzian large-scale stochastic nonlinear systems with two types of uncertainties, including parametric uncertainties and uncertain interactions. First, we present a new stochastic finite-time stability theorem on stochastic adaptive finite-time control, by which we obtain an existing finite-time stability result for the interconnected stochastic nonlinear systems. Then, for a class of large-scale stochastic nonlinear systems with uncertainties, an adaptive finite-time controller is constructively designed. It is proved by the developed finite-time stability theorem that there exists a global weak solution to the closed-loop system, the trivial weak solution of the closed-loop system is globally stable in probability and the states of the system almost surely converge to the origin in finite time. At last, a simulation example is given to show the effectiveness of the proposed design procedure.</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/S0005109824003947/pdfft?md5=c08ad9bc9d7925af5944832ba398b624&pid=1-s2.0-S0005109824003947-main.pdf","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"142230098","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

Nonlinear iterative learning control for discriminating between disturbances 区分干扰的非线性迭代学习控制

IF 4.8 2区计算机科学

Automatica Pub Date : 2024-09-07 DOI: 10.1016/j.automatica.2024.111902

引用次数: 0

Data informativity for tracking control of learning systems: Test and design conditions 学习系统跟踪控制的数据信息化：测试和设计条件

IF 4.8 2区计算机科学

Automatica Pub Date : 2024-09-07 DOI: 10.1016/j.automatica.2024.111885

{"title":"Data informativity for tracking control of learning systems: Test and design conditions","authors":"","doi":"10.1016/j.automatica.2024.111885","DOIUrl":"10.1016/j.automatica.2024.111885","url":null,"abstract":"<div><p>How to develop control design methods directly based on the input and output data, instead of utilizing the system model, becomes a practically important topic in the control community. This paper explores the data informativity for the data-based control design methods, with a special focus on accomplishing the tracking objective for iterative learning control (ILC) systems. With the data collected under a certain test framework for ILC systems, a necessary and sufficient condition on the data informativity is provided for trackability of the desired reference, which is a premise for the realization of the perfect tracking objective. Based on the informative data for trackability, three classes of data-based ILC updating laws are designed to reach the perfect tracking objective for a group of ILC systems compatible with the informative data. Moreover, the data informativity for <span><math><mi>δ</mi></math></span>-trackability of the desired reference is discussed with the focus on the more general <span><math><mi>δ</mi></math></span>-tracking objective, under which a data-based ILC updating law is presented by only resorting to the informative data for <span><math><mi>δ</mi></math></span>-trackability. In addition, for ILC systems with noises, the collected noisy data are leveraged to further exploit an ILC updating law to achieve the robust tracking objective. All the developed data-based ILC updating laws are applicable for any linear ILC system despite whether it is irregular or not, where the specific system model is not required.</p></div>","PeriodicalId":55413,"journal":{"name":"Automatica","volume":null,"pages":null},"PeriodicalIF":4.8,"publicationDate":"2024-09-07","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://www.sciencedirect.com/science/article/pii/S0005109824003790/pdfft?md5=1cf1f278bc9040a4af566f4a3cb5ef02&pid=1-s2.0-S0005109824003790-main.pdf","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"142162578","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

Reinforcement learning-based optimal control for Markov jump systems with completely unknown dynamics 基于强化学习的完全未知动态马尔可夫跳跃系统最优控制

IF 4.8 2区计算机科学

Automatica Pub Date : 2024-09-07 DOI: 10.1016/j.automatica.2024.111886

{"title":"Reinforcement learning-based optimal control for Markov jump systems with completely unknown dynamics","authors":"","doi":"10.1016/j.automatica.2024.111886","DOIUrl":"10.1016/j.automatica.2024.111886","url":null,"abstract":"<div><p>In this paper, the optimal control problem of a class of unknown Markov jump systems (MJSs) is investigated via the parallel policy iteration-based reinforcement learning (PPI-RL) algorithms. First, by solving the linear parallel Lyapunov equation, a model-based PPI-RL algorithm is studied to learn the solution of nonlinear coupled algebraic Riccati equation (CARE) of MJSs with known dynamics, thereby updating the optimal control gain. Then, a novel partially model-free PPI-RL algorithm is proposed for the scenario that the dynamics of the MJS is partially unknown, in which the optimal solution of CARE is learned via the mixed input–output data of all modes. Furthermore, for the MJS with completely unknown dynamics, a completely model-free PPI-RL algorithm is developed to get the optimal control gain by removing the dependence of model information in the process of solving the optimal solution of CARE. It is proved that the proposed PPI-RL algorithms converge to the unique optimal solution of CARE for MJSs with known, partially unknown, and completely unknown dynamics, respectively. Finally, simulation results are illustrated to show the feasibility and effectiveness of the PPI-RL algorithms.</p></div>","PeriodicalId":55413,"journal":{"name":"Automatica","volume":null,"pages":null},"PeriodicalIF":4.8,"publicationDate":"2024-09-07","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://www.sciencedirect.com/science/article/pii/S0005109824003807/pdfft?md5=884f0aad8f5e53b8556ad35ca7c525f6&pid=1-s2.0-S0005109824003807-main.pdf","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"142162499","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