首页 > 最新文献

Automatica最新文献

英文 中文
Modelling of memristor networks and the effective memristor 忆阻器网络建模和有效忆阻器
IF 4.8 2区 计算机科学 Q1 AUTOMATION & CONTROL SYSTEMS Pub Date : 2024-09-21 DOI: 10.1016/j.automatica.2024.111922

This paper presents a mathematical framework for the modelling and analysis of networks of memristors, where we describe a memristor as a monotone relation between electric charge and magnetic flux. Using this framework, we show that the port behaviour of networks of monotone memristors can equivalently be described by a single monotone memristor, the so-called effective memristor. The behaviour of the effective memristor is influenced by the monotonicity properties of the single memristors and the structure of the network of memristors. An algorithm is provided to derive an explicit characterisation of the effective memristor of any network of memristors. In addition, explicit bounds on the effective memristance curve are derived in terms of the effective resistance of associated resistor networks. Finally, an explicit description of the port behaviour of series and parallel interconnections is derived and simulation examples are provided for two simple circuits.

本文提出了忆阻器网络建模和分析的数学框架,我们将忆阻器描述为电荷和磁通量之间的单调关系。利用这一框架,我们证明单调忆阻器网络的端口行为可以等同于用一个单调忆阻器(即所谓的有效忆阻器)来描述。有效忆阻器的行为受单个忆阻器的单调性以及忆阻器网络结构的影响。本文提供了一种算法,可以推导出任何忆阻器网络的有效忆阻器的明确特征。此外,还根据相关电阻网络的有效电阻推导出有效忆阻器曲线的明确界限。最后,还得出了串联和并联互连端口行为的明确描述,并提供了两个简单电路的仿真示例。
{"title":"Modelling of memristor networks and the effective memristor","authors":"","doi":"10.1016/j.automatica.2024.111922","DOIUrl":"10.1016/j.automatica.2024.111922","url":null,"abstract":"<div><p>This paper presents a mathematical framework for the modelling and analysis of networks of memristors, where we describe a memristor as a monotone relation between electric charge and magnetic flux. Using this framework, we show that the port behaviour of networks of monotone memristors can equivalently be described by a single monotone memristor, the so-called effective memristor. The behaviour of the effective memristor is influenced by the monotonicity properties of the single memristors and the structure of the network of memristors. An algorithm is provided to derive an explicit characterisation of the effective memristor of any network of memristors. In addition, explicit bounds on the effective memristance curve are derived in terms of the effective resistance of associated resistor networks. Finally, an explicit description of the port behaviour of series and parallel interconnections is derived and simulation examples are provided for two simple circuits.</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/S0005109824004163/pdfft?md5=5954be949d5faa6ab8a4d214958bffed&pid=1-s2.0-S0005109824004163-main.pdf","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"142271128","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
Equi-normalized robust positively invariant sets for linear difference inclusions 线性差分夹杂的等归一化稳健正不变集
IF 4.8 2区 计算机科学 Q1 AUTOMATION & CONTROL SYSTEMS Pub Date : 2024-09-21 DOI: 10.1016/j.automatica.2024.111930

This note establishes the characterization, existence and uniqueness of equi-normalized polytopic robust positively invariant sets for linear difference inclusions. The computation of this set results in a nonconvex optimization problem. Although this may be reformulated exactly as a mixed integer linear programme, we propose a more practical and tractable alternative in the form of a fixed-point iteration based on linear programming. Convergence of the algorithm is established.

本说明确定了线性差分夹杂的等归一化多顶稳健正不变集的特征、存在性和唯一性。该集合的计算会产生一个非凸优化问题。虽然这个问题可以精确地重新表述为混合整数线性规划,但我们提出了一个更实用、更简单的替代方案,即基于线性规划的定点迭代。我们确定了算法的收敛性。
{"title":"Equi-normalized robust positively invariant sets for linear difference inclusions","authors":"","doi":"10.1016/j.automatica.2024.111930","DOIUrl":"10.1016/j.automatica.2024.111930","url":null,"abstract":"<div><p>This note establishes the characterization, existence and uniqueness of equi-normalized polytopic robust positively invariant sets for linear difference inclusions. The computation of this set results in a nonconvex optimization problem. Although this may be reformulated exactly as a mixed integer linear programme, we propose a more practical and tractable alternative in the form of a fixed-point iteration based on linear programming. Convergence of the algorithm is established.</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/S0005109824004242/pdfft?md5=296bd675522f3c88e6856b48384e7426&pid=1-s2.0-S0005109824004242-main.pdf","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"142271130","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
Deep networks for system identification: A survey 用于系统识别的深度网络:调查
IF 4.8 2区 计算机科学 Q1 AUTOMATION & CONTROL SYSTEMS Pub Date : 2024-09-21 DOI: 10.1016/j.automatica.2024.111907

Deep learning is a topic of considerable current interest. The availability of massive data collections and powerful software resources has led to an impressive amount of results in many application areas that reveal essential but hidden properties of the observations. System identification learns mathematical descriptions of dynamic systems from input–output data and can thus benefit from the advances of deep neural networks to enrich the possible range of models to choose from. For this reason, we provide a survey of deep learning from a system identification perspective. We cover a wide spectrum of topics to enable researchers to understand the methods, providing rigorous practical and theoretical insights into the benefits and challenges of using them. The main aim of the identified model is to predict new data from previous observations. This can be achieved with different deep learning-based modelling techniques and we discuss architectures commonly adopted in the literature, like feedforward, convolutional, and recurrent networks. Their parameters have to be estimated from past data to optimize the prediction performance. For this purpose, we discuss a specific set of first-order optimization tools that have emerged as efficient. The survey then draws connections to the well-studied area of kernel-based methods. They control the data fit by regularization terms that penalize models not in line with prior assumptions. We illustrate how to cast them in deep architectures to obtain deep kernel-based methods. The success of deep learning also resulted in surprising empirical observations, like the counter-intuitive behaviour of models with many parameters. We discuss the role of overparameterized models, including their connection to kernels, as well as implicit regularization mechanisms which affect generalization, specifically the interesting phenomena of benign overfitting and double-descent. Finally, we highlight numerical, computational and software aspects in the area with the help of applied examples.

深度学习是当前备受关注的话题。海量数据收集和强大软件资源的可用性为许多应用领域带来了令人印象深刻的成果,这些成果揭示了观察结果的基本但隐藏的属性。系统识别从输入输出数据中学习动态系统的数学描述,因此可以从深度神经网络的进步中获益,从而丰富可供选择的模型范围。为此,我们从系统识别的角度对深度学习进行了研究。我们涵盖了广泛的主题,使研究人员能够理解这些方法,对使用这些方法的益处和挑战提供了严谨的实践和理论见解。识别模型的主要目的是根据以前的观测结果预测新数据。这可以通过不同的基于深度学习的建模技术来实现,我们将讨论文献中通常采用的架构,如前馈、卷积和递归网络。它们的参数必须根据过去的数据进行估计,以优化预测性能。为此,我们讨论了一组特定的一阶优化工具,这些工具已成为高效工具。然后,调查将基于核的方法与已被广泛研究的领域联系起来。它们通过正则化项控制数据拟合,惩罚不符合先验假设的模型。我们说明了如何将它们应用于深度架构,从而获得基于内核的深度方法。深度学习的成功也带来了令人惊讶的经验观察,比如具有许多参数的模型的反直觉行为。我们讨论了过参数化模型的作用,包括它们与核的联系,以及影响泛化的隐式正则化机制,特别是良性过拟合和双后裔的有趣现象。最后,我们通过应用实例强调了该领域的数值、计算和软件方面。
{"title":"Deep networks for system identification: A survey","authors":"","doi":"10.1016/j.automatica.2024.111907","DOIUrl":"10.1016/j.automatica.2024.111907","url":null,"abstract":"<div><p>Deep learning is a topic of considerable current interest. The availability of massive data collections and powerful software resources has led to an impressive amount of results in many application areas that reveal essential but hidden properties of the observations. System identification learns mathematical descriptions of dynamic systems from input–output data and can thus benefit from the advances of deep neural networks to enrich the possible range of models to choose from. For this reason, we provide a survey of deep learning from a system identification perspective. We cover a wide spectrum of topics to enable researchers to understand the methods, providing rigorous practical and theoretical insights into the benefits and challenges of using them. The main aim of the identified model is to predict new data from previous observations. This can be achieved with different deep learning-based modelling techniques and we discuss architectures commonly adopted in the literature, like feedforward, convolutional, and recurrent networks. Their parameters have to be estimated from past data to optimize the prediction performance. For this purpose, we discuss a specific set of first-order optimization tools that have emerged as efficient. The survey then draws connections to the well-studied area of kernel-based methods. They control the data fit by regularization terms that penalize models not in line with prior assumptions. We illustrate how to cast them in deep architectures to obtain deep kernel-based methods. The success of deep learning also resulted in surprising empirical observations, like the counter-intuitive behaviour of models with many parameters. We discuss the role of overparameterized models, including their connection to kernels, as well as implicit regularization mechanisms which affect generalization, specifically the interesting phenomena of benign overfitting and double-descent. Finally, we highlight numerical, computational and software aspects in the area with the help of applied examples.</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/S0005109824004011/pdfft?md5=369128fac8aa3dbd37df831300f34a92&pid=1-s2.0-S0005109824004011-main.pdf","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"142271126","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
Linear–quadratic mean-field game for stochastic systems with partial observation 部分观测随机系统的线性-二次均场博弈
IF 4.8 2区 计算机科学 Q1 AUTOMATION & CONTROL SYSTEMS Pub Date : 2024-09-21 DOI: 10.1016/j.automatica.2024.111821

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 ɛ-Nash equilibrium property is verified. To illustrate the good performance of theoretical results, an example in finance is studied.

本文研究的是一类具有部分信息的线性-二次随机大群体问题,在这类问题中,个体代理只能获得与状态相关的噪声观测过程。每个代理的动态遵循由个体噪声驱动的线性随机微分方程,所有代理通过控制平均项耦合在一起。通过研究相关的均场博弈,并利用后向分离原理和状态分解技术,可以通过带条件期望的前向-后向随机微分方程得到开环形式的分散最优控制。同时还提供了最优滤波方程。由于采用了解耦方法,分散最优控制还可以通过里卡提方程进一步表示为状态滤波的反馈。给出了控制平均极限的显式解,并讨论了一致性条件系统。此外,还验证了相关的ɛ-纳什均衡特性。为了说明理论结果的良好性能,我们研究了一个金融方面的例子。
{"title":"Linear–quadratic mean-field game for stochastic systems with partial observation","authors":"","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区 计算机科学 Q1 AUTOMATION & CONTROL SYSTEMS Pub Date : 2024-09-20 DOI: 10.1016/j.automatica.2024.111917

Motivated by the linearized model of unstable burning in solid propellant rockets, this article addresses the adaptive event-triggered output feedback control of uncertain parabolic PDEs. First, we construct an adaptive identifier that consists of a gradient estimator, and then design a continuous-in-time controller. On this basis, we design a novel event-triggered output feedback controller and construct dynamic triggering conditions to assure the global asymptotic stability of the closed-loop system around the limit points. Furthermore, the parameter estimation is proven to converge to the true value when an additional constant input at the boundary is applied to the closed-loop system. Finally, simulation data verifies the effectiveness of the theoretical analysis.

受固体推进剂火箭不稳定燃烧线性化模型的启发,本文探讨了不确定抛物线 PDE 的自适应事件触发输出反馈控制。首先,我们构建了一个由梯度估计器组成的自适应识别器,然后设计了一个连续时间控制器。在此基础上,我们设计了一种新型事件触发输出反馈控制器,并构建了动态触发条件,以确保闭环系统在极限点附近的全局渐近稳定性。此外,当对闭环系统施加边界上的额外恒定输入时,参数估计会收敛到真实值。最后,模拟数据验证了理论分析的有效性。
{"title":"Adaptive event-triggered output feedback control for uncertain parabolic PDEs","authors":"","doi":"10.1016/j.automatica.2024.111917","DOIUrl":"10.1016/j.automatica.2024.111917","url":null,"abstract":"<div><p>Motivated by the linearized model of unstable burning in solid propellant rockets, this article addresses the adaptive event-triggered output feedback control of uncertain parabolic PDEs. First, we construct an adaptive identifier that consists of a gradient estimator, and then design a continuous-in-time controller. On this basis, we design a novel event-triggered output feedback controller and construct dynamic triggering conditions to assure the global asymptotic stability of the closed-loop system around the limit points. Furthermore, the parameter estimation is proven to converge to the true value when an additional constant input at the boundary is applied to the closed-loop system. Finally, simulation data verifies the effectiveness of the theoretical analysis.</p></div>","PeriodicalId":55413,"journal":{"name":"Automatica","volume":null,"pages":null},"PeriodicalIF":4.8,"publicationDate":"2024-09-20","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://www.sciencedirect.com/science/article/pii/S0005109824004114/pdfft?md5=dfb5c6d883e559847a8d1f24131d823e&pid=1-s2.0-S0005109824004114-main.pdf","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"142271129","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
Data-driven security controller design for unknown networked systems 为未知网络系统设计数据驱动的安全控制器
IF 4.8 2区 计算机科学 Q1 AUTOMATION & CONTROL SYSTEMS Pub Date : 2024-09-17 DOI: 10.1016/j.automatica.2024.111843

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.

本文主要研究未知网络系统在非周期性拒绝服务(DoS)攻击下的安全控制器设计问题。首先,通过使用 DoS 攻击参数依赖时变 Lyapunov 函数方法,提出了一类时间约束 DoS 攻击下线性网络系统的新型攻击参数依赖稳定性准则,其中所考虑的系统模型、状态反馈增益以及 DoS 攻击信号的休眠期/活动期的下限和上限都是事先已知的。基于这种基于模型的稳定性条件,并结合数据驱动控制理论、鲁棒控制理论和安全控制的开关系统方法等工具,用线性矩阵不等式推导出了所有线性网络控制系统(NCS)基于数据的新稳定性准则,该准则与 DoS 攻击时的测量数据和假定噪声边界一致。基于这种与数据相关的参数化,设计出了相应的数据驱动安全状态反馈控制器。尽管存在 DoS 攻击,我们的控制方法仍能稳健地保证所有与测量数据一致的线性系统的指数稳定性。作为副产品,所提出的方法将现有的事件触发控制(ETC)方法嵌入到了一个通用的基于数据的事件触发安全控制框架中,该框架可以扩展到在 DoS 攻击下为不确定的 NCS 共同设计基于数据的鲁棒控制器和事件触发机制。最后,通过一个数值实例验证了所提方法的效率和优越性。
{"title":"Data-driven security controller design for unknown networked systems","authors":"","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区 计算机科学 Q1 AUTOMATION & CONTROL SYSTEMS Pub Date : 2024-09-17 DOI: 10.1016/j.automatica.2024.111901

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.

本文提出了加权随机里卡提(WSR)方程,用于为线性随机系统设计多种类型的控制器。系统矩阵是独立且同分布(i.i.d.)的,以表示系统中的噪声。虽然随机性会带来不可预测的控制结果,但要为具有 i.i.d. 矩阵的系统设计控制器却非常困难,因为控制器可能是非代数方程的解。虽然现有的一种方法已经解决了这一难题,但由于该方法依赖于风险敏感线性(RSL)控制的成本函数的特殊形式,因此没有实现通用性。此外,由于需要多次迭代求解非线性优化,因此设计无限视距的控制器仍然具有挑战性。为了克服这些问题,所提出的 WSR 方程采用了随机方程的加权期望。WSR 方程的解提供了多种以权重为特征的控制器,其中包括随机最优控制器和 RSL 控制器。本文提出了两种计算简单递归公式的方法,无需解决非线性优化问题即可求解 WSR 方程。此外,设计权重还能产生一种称为鲁棒 RSL 控制器的新型控制器,该控制器既具有风险敏感策略,又对随机控制器设计中出现的随机性具有鲁棒性。
{"title":"Weighted stochastic Riccati equations for generalization of linear optimal control","authors":"","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区 计算机科学 Q1 AUTOMATION & CONTROL SYSTEMS Pub Date : 2024-09-16 DOI: 10.1016/j.automatica.2024.111908

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.

我们研究的是多代理弹性共识问题,其中一些代理属于拜占庭类型,试图阻止正常代理达成共识。在我们的设置中,正常代理之间通过有延迟的多跳中继信道进行异步通信。为了解决这种异步拜占庭共识问题,我们开发了多跳加权平均子序列缩减(MW-MSR)算法。其主要贡献在于,我们为算法实现拜占庭共识确定了一个严密的图条件,该条件用新颖的严格鲁棒图概念表示。我们证明,多跳通信能有效增强网络对拜占庭代理的弹性。因此,我们还获得了恶意攻击模型下弹性共识的新条件,这些条件比文献中已知的条件更为严格。此外,我们提出的算法可以看作是对传统基于泛洪算法的概括,其计算复杂度更低。最后,我们提供了数值示例来说明所提算法的有效性。
{"title":"Asynchronous approximate Byzantine consensus: A multi-hop relay method and tight graph conditions","authors":"","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区 计算机科学 Q1 AUTOMATION & CONTROL SYSTEMS Pub Date : 2024-09-15 DOI: 10.1016/j.automatica.2024.111793

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.

众所周知,K. Gu 的著名离散化 Lyapunov 函数方法采用了具有片断线性矩阵核的一般结构的函数,以线性矩阵不等式(LMI)的形式提供了有效的稳定性条件。与此同时,延迟 Lyapunov 矩阵对有延迟的线性时不变系统的作用最近也得到了揭示。Gomez 等人(2019)的研究表明,在延迟区间的几个离散点上,涉及延迟 Lyapunov 矩阵值的美丽块矩阵的正确定性构成了指数稳定性的必要充分条件。唯一的缺点是,在实际应用中,分块矩阵的维数非常高。在本研究中,我们通过将延迟 Lyapunov 矩阵框架与离散化 Lyapunov 函数方法相结合,大大降低了维度。后者方法中与函数导数离散化有关的部分被替换为对具有规定导数的函数值与其离散化对应值之间的差值进行约束。关键的突破在于块矩阵的结构与戈麦斯等人(2019)的方法保持一致。数值示例表明,与文献中已知的其他技术相比,我们的方法在很多情况下都更胜一筹。
{"title":"Synthesis of discretized Lyapunov functional method and the Lyapunov matrix approach for linear time delay systems","authors":"","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区 计算机科学 Q1 AUTOMATION & CONTROL SYSTEMS Pub Date : 2024-09-13 DOI: 10.1016/j.automatica.2024.111905

This note is concerned with the stability analysis problem of stochastic neutral-type time-delay systems with multiple delays. A less restrictive constraint is imposed to ensure that the difference operator (which appears on the left hand side of the stochastic neutral-type time-delay systems) possesses the property that “exponentially converging input implies exponentially converging state”. Such a constraint is necessary and sufficient for the strong stability of the difference equation associated with the system in the deterministic setting, and thus cannot be further relaxed.

本论文涉及多延迟随机中性型时延系统的稳定性分析问题。为了确保差分算子(出现在随机中性型时延系统的左侧)具有 "指数收敛输入意味着指数收敛状态 "的特性,本文施加了一个限制性较小的约束。在确定性环境中,这种约束对于与系统相关的差分方程的强稳定性是必要且充分的,因此不能进一步放松。
{"title":"On stability analysis of stochastic neutral-type systems with multiple delays","authors":"","doi":"10.1016/j.automatica.2024.111905","DOIUrl":"10.1016/j.automatica.2024.111905","url":null,"abstract":"<div><p>This note is concerned with the stability analysis problem of stochastic neutral-type time-delay systems with multiple delays. A less restrictive constraint is imposed to ensure that the difference operator (which appears on the left hand side of the stochastic neutral-type time-delay systems) possesses the property that “exponentially converging input implies exponentially converging state”. Such a constraint is necessary and sufficient for the strong stability of the difference equation associated with the system in the deterministic setting, and thus cannot be further relaxed.</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/S0005109824003996/pdfft?md5=a091ca12892e43d89d77451e78fb4860&pid=1-s2.0-S0005109824003996-main.pdf","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"142229999","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
期刊
Automatica
全部 Acc. Chem. Res. ACS Applied Bio Materials ACS Appl. Electron. Mater. ACS Appl. Energy Mater. ACS Appl. Mater. Interfaces ACS Appl. Nano Mater. ACS Appl. Polym. Mater. ACS BIOMATER-SCI ENG ACS Catal. ACS Cent. Sci. ACS Chem. Biol. ACS Chemical Health & Safety ACS Chem. Neurosci. ACS Comb. Sci. ACS Earth Space Chem. ACS Energy Lett. ACS Infect. Dis. ACS Macro Lett. ACS Mater. Lett. ACS Med. Chem. Lett. ACS Nano ACS Omega ACS Photonics ACS Sens. ACS Sustainable Chem. Eng. ACS Synth. Biol. Anal. Chem. BIOCHEMISTRY-US Bioconjugate Chem. BIOMACROMOLECULES Chem. Res. Toxicol. Chem. Rev. Chem. Mater. CRYST GROWTH DES ENERG FUEL Environ. Sci. Technol. Environ. Sci. Technol. Lett. Eur. J. Inorg. Chem. IND ENG CHEM RES Inorg. Chem. J. Agric. Food. Chem. J. Chem. Eng. Data J. Chem. Educ. J. Chem. Inf. Model. J. Chem. Theory Comput. J. Med. Chem. J. Nat. Prod. J PROTEOME RES J. Am. Chem. Soc. LANGMUIR MACROMOLECULES Mol. Pharmaceutics Nano Lett. Org. Lett. ORG PROCESS RES DEV ORGANOMETALLICS J. Org. Chem. J. Phys. Chem. J. Phys. Chem. A J. Phys. Chem. B J. Phys. Chem. C J. Phys. Chem. Lett. Analyst Anal. Methods Biomater. Sci. Catal. Sci. Technol. Chem. Commun. Chem. Soc. Rev. CHEM EDUC RES PRACT CRYSTENGCOMM Dalton Trans. Energy Environ. Sci. ENVIRON SCI-NANO ENVIRON SCI-PROC IMP ENVIRON SCI-WAT RES Faraday Discuss. Food Funct. Green Chem. Inorg. Chem. Front. Integr. Biol. J. Anal. At. Spectrom. J. Mater. Chem. A J. Mater. Chem. B J. Mater. Chem. C Lab Chip Mater. Chem. Front. Mater. Horiz. MEDCHEMCOMM Metallomics Mol. Biosyst. Mol. Syst. Des. Eng. Nanoscale Nanoscale Horiz. Nat. Prod. Rep. New J. Chem. Org. Biomol. Chem. Org. Chem. Front. PHOTOCH PHOTOBIO SCI PCCP Polym. Chem.
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
0
微信
客服QQ
Book学术公众号 扫码关注我们
反馈
×
意见反馈
请填写您的意见或建议
请填写您的手机或邮箱
×
提示
您的信息不完整,为了账户安全,请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
现在去查看 取消
×
提示
确定
Book学术官方微信
Book学术文献互助
Book学术文献互助群
群 号:481959085
Book学术
文献互助 智能选刊 最新文献 互助须知 联系我们:info@booksci.cn
Book学术提供免费学术资源搜索服务,方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。
Copyright © 2023 Book学术 All rights reserved.
ghs 京公网安备 11010802042870号 京ICP备2023020795号-1