Automatica最新文献_第3页

Stability of linear set-membership filters with respect to initial conditions: An observation-information perspective 与初始条件有关的线性集合成员过滤器的稳定性：观察-信息视角

IF 4.8 2区计算机科学

Automatica Pub Date : 2024-11-20 DOI: 10.1016/j.automatica.2024.111993

Yirui Cong , Xiangke Wang , Xiangyun Zhou

{"title":"Stability of linear set-membership filters with respect to initial conditions: An observation-information perspective","authors":"Yirui Cong , Xiangke Wang , Xiangyun Zhou","doi":"10.1016/j.automatica.2024.111993","DOIUrl":"10.1016/j.automatica.2024.111993","url":null,"abstract":"<div><div>The issue of filter stability with respect to (w.r.t.) the initial condition refers to the unreliable filtering process caused by improper prior information of the initial state. This paper focuses on analyzing and resolving the stability issue w.r.t. the initial condition of the classical Set-Membership Filters (SMFs) for linear time-invariant systems, which has not yet been well understood in the literature. To this end, we propose a new concept — the Observation-Information Tower (OIT), which describes how the measurements affect the estimate in a set-intersection manner without relying on the initial condition. The proposed OIT enables a rigorous stability analysis, a new SMFing framework, as well as an efficient filtering algorithm. Specifically, based on the OIT, explicit necessary and sufficient conditions for stability w.r.t. the initial condition are provided for the classical SMFing framework. Furthermore, the OIT inspires a stability-guaranteed SMFing framework, which fully handles the stability issue w.r.t. the initial condition. Finally, with the OIT-inspired framework, we develop a fast and stable constrained zonotopic SMF, which significantly overcomes the wrapping effect.</div></div>","PeriodicalId":55413,"journal":{"name":"Automatica","volume":"172 ","pages":"Article 111993"},"PeriodicalIF":4.8,"publicationDate":"2024-11-20","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"142719599","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

Combining switching mechanism with re-initialization and anomaly detection for resiliency of cyber–physical systems 将切换机制与重新初始化和异常检测相结合，提高网络物理系统的复原力

IF 4.8 2区计算机科学

Automatica Pub Date : 2024-11-20 DOI: 10.1016/j.automatica.2024.111994

Hao Fu, Prashanth Krishnamurthy, Farshad Khorrami

{"title":"Combining switching mechanism with re-initialization and anomaly detection for resiliency of cyber–physical systems","authors":"Hao Fu, Prashanth Krishnamurthy, Farshad Khorrami","doi":"10.1016/j.automatica.2024.111994","DOIUrl":"10.1016/j.automatica.2024.111994","url":null,"abstract":"<div><div>Cyber–physical systems (CPS) play a pivotal role in numerous critical real-world applications that have stringent requirements for safety. To enhance the CPS resiliency against attacks, redundancy can be integrated in real-time controller implementations by designing strategies that switch among multiple controllers. However, existing switching strategies typically overlook remediation measures for compromised controllers, opting instead to simply exclude them. Such a solution reduces the CPS redundancy since only a subset of controllers are used. To address this gap, this work proposes a multi-controller switching strategy with periodic re-initialization to remove attacks. Controllers that finish re-initialization can be reused by the switching strategy, preserving the CPS redundancy and resiliency. The proposed switching strategy is designed to ensure that at each switching moment, a controller that has just completed re-initialization is available, minimizing the likelihood of compromise. Additionally, the controller’s working period decreases with the number of involved controllers, reducing the controller’s exposure time to attacks. An anomaly detector is used to detect CPS attacks during the controller’s working period. Upon alarm activation, the current control signal is set to a predefined value, and a switch to an alternative controller occurs at the earliest switching moment. Our switching strategy is shown to be still effective even if the anomaly detector fails to detect (stealthy) attacks. The efficacy of our strategy is analyzed through three derived conditions under a proposed integrated attack-defense model for mean-square boundedness of the CPS states. Simulation results on a third-order system and a single-machine infinite-bus (SMIB) system confirm that our approach significantly bolsters CPS resiliency by leveraging the advantages of re-initialization, anomaly detection, and switching mechanisms.</div></div>","PeriodicalId":55413,"journal":{"name":"Automatica","volume":"172 ","pages":"Article 111994"},"PeriodicalIF":4.8,"publicationDate":"2024-11-20","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"142719597","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

Robust quantum control in closed and open systems: Theory and practice 封闭和开放系统中的鲁棒量子控制：理论与实践

IF 4.8 2区计算机科学

Automatica Pub Date : 2024-11-19 DOI: 10.1016/j.automatica.2024.111987

Carrie Ann Weidner , Emily A. Reed , Jonathan Monroe , Benjamin Sheller , Sean O’Neil , Eliav Maas , Edmond A. Jonckheere , Frank C. Langbein , Sophie Schirmer

{"title":"Robust quantum control in closed and open systems: Theory and practice","authors":"Carrie Ann Weidner , Emily A. Reed , Jonathan Monroe , Benjamin Sheller , Sean O’Neil , Eliav Maas , Edmond A. Jonckheere , Frank C. Langbein , Sophie Schirmer","doi":"10.1016/j.automatica.2024.111987","DOIUrl":"10.1016/j.automatica.2024.111987","url":null,"abstract":"<div><div>Robust control of quantum systems is an increasingly relevant field of study amidst the second quantum revolution, but there remains a gap between taming quantum physics and robust control in its modern analytical form that culminated in fundamental performance bounds. With certain exceptions such as quantum optical systems that can be modeled as linear stochastic differential equations, quantum systems are not amenable to linear, time-invariant, measurement-based robust control techniques, and thus novel gap-bridging techniques must be developed. This survey is written for control theorists to provide a review of the current state of quantum control and outline the challenges faced in trying to apply modern robust control to quantum systems. We present issues that arise when applying classical robust control theory to quantum systems, typical methods used by quantum physicists to explore such systems and their robustness, as well as a discussion of open problems to be addressed in the field. We focus on general, practical applications and recent work to enable control researchers to contribute to advancing this burgeoning field.</div></div>","PeriodicalId":55413,"journal":{"name":"Automatica","volume":"172 ","pages":"Article 111987"},"PeriodicalIF":4.8,"publicationDate":"2024-11-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"142719692","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

Predict globally, correct locally: Parallel-in-time optimization of neural networks 全局预测，局部修正：神经网络的并行实时优化

IF 4.8 2区计算机科学

Automatica Pub Date : 2024-10-30 DOI: 10.1016/j.automatica.2024.111976

Panos Parpas, Corey Muir

{"title":"Predict globally, correct locally: Parallel-in-time optimization of neural networks","authors":"Panos Parpas, Corey Muir","doi":"10.1016/j.automatica.2024.111976","DOIUrl":"10.1016/j.automatica.2024.111976","url":null,"abstract":"<div><div>The training of neural networks can be formulated as an optimal control problem of a dynamical system. The initial conditions of the dynamical system are given by the data. The objective of the control problem is to transform the initial conditions in a form that can be easily classified or regressed using linear methods. This link between optimal control of dynamical systems and neural networks has proved beneficial both from a theoretical and from a practical point of view. Several researchers have exploited this link to investigate the stability of different neural network architectures and develop memory efficient training algorithms. In this paper, we also adopt the dynamical systems view of neural networks, but our aim is different from earlier works. Instead, we develop a novel distributed optimization algorithm. The proposed algorithm addresses the most significant obstacle for distributed algorithms for neural network optimization: the network weights cannot be updated until the forward propagation of the data, and backward propagation of the gradients are complete. Using the dynamical systems point of view, we interpret the layers of a (residual) neural network as the discretized dynamics of a dynamical system and exploit the relationship between the co-states (adjoints) of the optimal control problem and backpropagation. We then develop a parallel-in-time method that updates the parameters of the network without waiting for the forward or back propagation algorithms to complete in full. We establish the convergence of the proposed algorithm. Preliminary numerical results suggest that the algorithm is competitive and more efficient than the state-of-the-art.</div></div>","PeriodicalId":55413,"journal":{"name":"Automatica","volume":"171 ","pages":"Article 111976"},"PeriodicalIF":4.8,"publicationDate":"2024-10-30","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"142552786","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

Set-based value operators for non-stationary and uncertain Markov decision processes 非稳态和不确定马尔可夫决策过程的基于集合的值算子

IF 4.8 2区计算机科学

Automatica Pub Date : 2024-10-28 DOI: 10.1016/j.automatica.2024.111970

Sarah H.Q. Li , Assalé Adjé , Pierre-Loïc Garoche , Behçet Açıkmeşe

引用次数: 0

Nonuniqueness and convergence to equivalent solutions in observer-based inverse reinforcement learning 基于观测器的逆强化学习中的非唯一性和向等效解的收敛性

IF 4.8 2区计算机科学

Automatica Pub Date : 2024-10-25 DOI: 10.1016/j.automatica.2024.111977

Jared Town , Zachary Morrison , Rushikesh Kamalapurkar

引用次数: 0

Successive over relaxation for model-free LQR control of discrete-time Markov jump systems 离散时马尔可夫跳跃系统无模型 LQR 控制的连续过度松弛

IF 4.8 2区计算机科学

Automatica Pub Date : 2024-10-25 DOI: 10.1016/j.automatica.2024.111919

Wenwu Fan, Junlin Xiong

引用次数: 0

Asymmetrical vulnerability of heterogeneous multi-agent systems under false-data injection attacks 异构多代理系统在虚假数据注入攻击下的非对称脆弱性

IF 4.8 2区计算机科学

Automatica Pub Date : 2024-10-22 DOI: 10.1016/j.automatica.2024.111947

Tian-Yu Zhang , Guang-Hong Yang , Dan Ye

引用次数: 0

Analysis of barrier function based adaptive sliding mode control in the presence of deterministic noise 存在确定性噪声时基于障碍函数的自适应滑模控制分析

IF 4.8 2区计算机科学

Automatica Pub Date : 2024-10-21 DOI: 10.1016/j.automatica.2024.111946

Luis Ovalle , Andres Gonzalez , Leonid Fridman , Salah Laghrouche , Hussein Obeid

引用次数: 0

Stabilization for fast sampling discrete-time singularly perturbed singular Markovian systems 快速采样离散时奇异扰动奇异马尔可夫系统的稳定问题

IF 4.8 2区计算机科学

Automatica Pub Date : 2024-10-21 DOI: 10.1016/j.automatica.2024.111981

Yingqi Zhang , Haoqi Liang , Yuanqing Xia , Jingjing Yan

{"title":"Stabilization for fast sampling discrete-time singularly perturbed singular Markovian systems","authors":"Yingqi Zhang , Haoqi Liang , Yuanqing Xia , Jingjing Yan","doi":"10.1016/j.automatica.2024.111981","DOIUrl":"10.1016/j.automatica.2024.111981","url":null,"abstract":"<div><div>This paper considers the problems of stabilization and <span><math><msub><mrow><mi>H</mi></mrow><mrow><mi>∞</mi></mrow></msub></math></span> control for fast sampling discrete-time singularly perturbed singular Markovian systems (SPSMSs). The system equivalent approach is initially introduced to transform the discrete fast sampling SPSMS model into the augmented SPSMS for the convenience of designing system controller. Secondly, sufficient condition on stochastically mean square admissibility is established for the fast sampling SPSMS. By separating matrix variables and singularly perturbed parameter, a state feedback controller is also provided to ensure stochastically mean square admissibility of the fast sampling augmented SPSMS. Then, the results are extended to <span><math><msub><mrow><mi>H</mi></mrow><mrow><mi>∞</mi></mrow></msub></math></span> performance analysis and controller design in the presence of the external disturbances. The derived criteria can be converted to the feasible problems based on convex optimization, and the upper bound of singular perturbation parameter is also calculated. Besides, a discretized electrical circuit system is provided to verify the effectiveness and the superiority of the proposed approach.</div></div>","PeriodicalId":55413,"journal":{"name":"Automatica","volume":"171 ","pages":"Article 111981"},"PeriodicalIF":4.8,"publicationDate":"2024-10-21","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"142526134","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