首页 > 最新文献

Systems & Control Letters最新文献

英文 中文
Robust control of time-delayed stochastic switched systems with dwell 带停留的时延随机切换系统的鲁棒控制
IF 2.1 3区 计算机科学 Q3 AUTOMATION & CONTROL SYSTEMS Pub Date : 2024-10-14 DOI: 10.1016/j.sysconle.2024.105934
E. Gershon , L.I. Allerhand , U. Shaked
Linear, state-delayed, discrete-time, stochastic, switched systems are considered, where the problems of stochastic l2-gain and state-feedback control designs are treated and solved. We first develop a special version of a bounded real lemma for the said systems for the nominal case.
Based on the this lemma we derive state-feedback gains for nominal systems where in our solution method, to each subsystem of the switched system, a Lyapunov function is assigned that is non-increasing at the switching instants and where a dwell time constrain is imposed on the system. The assigned Lyapunov function is allowed to vary piecewise linearly in time, starting at the end of the previous switch instant, and it becomes time-invariant after the dwell. Based on the solution of the state-feedback control for nominal systems and exploiting the fact that this solution is affine in the system matrices, a state-feedback control is derived for the polytopic case. We bring a numerical example that demonstrates the solvability and tractability of our solution method.
我们考虑了线性、状态延迟、离散时间、随机、开关系统,处理并解决了随机 l2 增益和状态反馈控制设计问题。我们首先为上述名义系统开发了一个特殊版本的有界实数定理。基于该定理,我们推导出了名义系统的状态反馈增益,在我们的求解方法中,为开关系统的每个子系统分配了一个在开关时刻非递增的 Lyapunov 函数,并对系统施加了停留时间限制。分配的 Lyapunov 函数从上一个切换瞬间结束时开始,允许在时间上片断线性变化,停留时间结束后,Lyapunov 函数变得与时间无关。根据标称系统的状态反馈控制解法,并利用该解法在系统矩阵中的仿射关系,我们得出了多拓扑情况下的状态反馈控制。我们通过一个数值示例证明了我们的求解方法的可解性和可操作性。
{"title":"Robust control of time-delayed stochastic switched systems with dwell","authors":"E. Gershon ,&nbsp;L.I. Allerhand ,&nbsp;U. Shaked","doi":"10.1016/j.sysconle.2024.105934","DOIUrl":"10.1016/j.sysconle.2024.105934","url":null,"abstract":"<div><div>Linear, state-delayed, discrete-time, stochastic, switched systems are considered, where the problems of stochastic <span><math><msub><mrow><mi>l</mi></mrow><mrow><mn>2</mn></mrow></msub></math></span>-gain and state-feedback control designs are treated and solved. We first develop a special version of a bounded real lemma for the said systems for the nominal case.</div><div>Based on the this lemma we derive state-feedback gains for nominal systems where in our solution method, to each subsystem of the switched system, a Lyapunov function is assigned that is non-increasing at the switching instants and where a dwell time constrain is imposed on the system. The assigned Lyapunov function is allowed to vary piecewise linearly in time, starting at the end of the previous switch instant, and it becomes time-invariant after the dwell. Based on the solution of the state-feedback control for nominal systems and exploiting the fact that this solution is affine in the system matrices, a state-feedback control is derived for the polytopic case. We bring a numerical example that demonstrates the solvability and tractability of our solution method.</div></div>","PeriodicalId":49450,"journal":{"name":"Systems & Control Letters","volume":"193 ","pages":"Article 105934"},"PeriodicalIF":2.1,"publicationDate":"2024-10-14","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"142433853","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Data-driven control of nonlinear systems: An online sequential approach 非线性系统的数据驱动控制:在线顺序方法
IF 2.1 3区 计算机科学 Q3 AUTOMATION & CONTROL SYSTEMS Pub Date : 2024-10-10 DOI: 10.1016/j.sysconle.2024.105932
Minh Vu , Yunshen Huang , Shen Zeng
While data-driven control has shown its potential for solving complex tasks, current algorithms such as reinforcement learning are still data-intensive and often limited to simulated environments. Model-based learning is a promising approach to reducing the amount of data required in practical implementations, yet it suffers from a critical issue known as model exploitation. In this paper, we present a sequential approach to model-based learning that avoids model exploitation and achieves stable system behaviors during learning with minimal exploration. The advocated control design utilizes estimates of the system’s local dynamics to step-by-step improve the control. During the process, when additional data is required, the program pauses the control synthesis to collect data in the surrounding area and updates the model accordingly. The local and sequential nature of this approach is the key component to regulating the system’s exploration in the state–action space and, at the same time, avoiding the issue of model exploitation, which are the main challenges in model-based learning control. Through simulated examples and physical experiments, we demonstrate that the proposed approach can quickly learn a desirable control from scratch, with just a small number of trials.
虽然数据驱动控制已显示出其解决复杂任务的潜力,但目前的算法(如强化学习)仍然是数据密集型的,而且往往局限于模拟环境。基于模型的学习是在实际应用中减少所需数据量的一种有前途的方法,但它也存在一个关键问题,即模型利用。在本文中,我们提出了一种基于模型学习的顺序方法,它可以避免模型利用,并在学习过程中以最少的探索实现稳定的系统行为。所倡导的控制设计利用对系统局部动态的估计来逐步改进控制。在此过程中,当需要额外数据时,程序会暂停控制合成,以收集周边区域的数据,并相应地更新模型。这种方法的局部性和顺序性是调节系统在状态-动作空间中探索的关键要素,同时也避免了模型被利用的问题,而这正是基于模型的学习控制所面临的主要挑战。通过模拟示例和物理实验,我们证明了所提出的方法只需少量试验就能从零开始快速学习到理想的控制。
{"title":"Data-driven control of nonlinear systems: An online sequential approach","authors":"Minh Vu ,&nbsp;Yunshen Huang ,&nbsp;Shen Zeng","doi":"10.1016/j.sysconle.2024.105932","DOIUrl":"10.1016/j.sysconle.2024.105932","url":null,"abstract":"<div><div>While data-driven control has shown its potential for solving complex tasks, current algorithms such as reinforcement learning are still data-intensive and often limited to simulated environments. Model-based learning is a promising approach to reducing the amount of data required in practical implementations, yet it suffers from a critical issue known as model exploitation. In this paper, we present a sequential approach to model-based learning that avoids model exploitation and achieves stable system behaviors during learning with minimal exploration. The advocated control design utilizes estimates of the system’s local dynamics to step-by-step improve the control. During the process, when additional data is required, the program pauses the control synthesis to collect data in the surrounding area and updates the model accordingly. The local and sequential nature of this approach is the key component to <em>regulating the system’s exploration in the state–action space</em> and, at the same time, <em>avoiding the issue of model exploitation</em>, which are the main challenges in model-based learning control. Through simulated examples and physical experiments, we demonstrate that the proposed approach can quickly learn a desirable control from scratch, with just a small number of trials.</div></div>","PeriodicalId":49450,"journal":{"name":"Systems & Control Letters","volume":"193 ","pages":"Article 105932"},"PeriodicalIF":2.1,"publicationDate":"2024-10-10","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"142426246","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"OA","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Optimal impulse control problems with time delays: An illustrative example 有时间延迟的最优脉冲控制问题:举例说明
IF 2.1 3区 计算机科学 Q3 AUTOMATION & CONTROL SYSTEMS Pub Date : 2024-10-04 DOI: 10.1016/j.sysconle.2024.105940
Giovanni Fusco , Monica Motta , Richard Vinter
For impulse control systems described by a measure driven differential equation, depending linearly on the measure, it is customary to interpret the state trajectory corresponding to an impulse control, specified by a measure, as the limit of state trajectories associated with some sequence of conventional controls approximating the measure. It is known that, when the measure is vector valued, it is possible that different choices of approximating sequences for the measure give rise to different limiting state trajectories. If the measure is scalar valued, however, there is a unique limiting trajectory. Now consider impulse control systems, in which the right side of the measure driven differential equation depends on both the current and delayed states. In recent work by the authors it has been shown that, for such impulse control systems with time delay, the state trajectory corresponding to a given measure may be non-unique, even when the measure is scalar valued. It was also shown that each limiting state trajectory can be identified with the unique state trajectory associated with some measure together with a family of ‘attached controls’. (The attached controls capture the nature of the measure approximation.) The authors also derived a maximum principle governing minimizers for a general class of impulse optimal control problems with time delay, in which the domain of the optimization problem comprises measures coupled with a family of ‘attached controls’. The purpose of this paper is both to illustrate, by means of an example, this newly discovered non-uniqueness phenomenon and to provide the first application of the new maximum principle, to investigate minimizers for scalar input impulse optimal control problems with time delay, in circumstances when limiting state trajectories associated with a given measure control are not unique. The example is an optimal control problem, for which the underlying control system is a forced harmonic oscillator, with scalar impulse control, in which the control gain is a nonlinear function of the current and delayed states.
对于由量纲驱动的微分方程描述的、与量纲线性相关的脉冲控制系统,通常将与量纲指定的脉冲控制相对应的状态轨迹解释为与某些近似量纲的常规控制序列相关的状态轨迹的极限。众所周知,当量度为矢量值时,不同的量度近似序列可能会产生不同的极限状态轨迹。然而,如果度量是标量值,则存在唯一的极限轨迹。现在考虑脉冲控制系统,其中度量驱动微分方程的右边取决于当前和延迟状态。作者最近的研究表明,对于这种具有时间延迟的脉冲控制系统,即使量值是标量值,与给定量值相对应的状态轨迹也可能是非唯一的。研究还表明,每种极限状态轨迹都可以与与某种度量相关的唯一状态轨迹以及一系列 "附加控制 "相识别。(附带控制捕捉了度量近似的性质)。作者还推导出一个最大值原则,该原则适用于具有时间延迟的一般脉冲最优控制问题的最小化,其中优化问题的领域包括与 "附带控制 "系列耦合的度量。本文的目的既是通过一个例子来说明这种新发现的非唯一性现象,也是首次应用新的最大值原理来研究有时间延迟的标量输入脉冲最优控制问题的最小值,在这种情况下,与给定措施控制相关的极限状态轨迹并不是唯一的。这个例子是一个最优控制问题,其基本控制系统是一个强制谐波振荡器,具有标量脉冲控制,其中控制增益是当前状态和延迟状态的非线性函数。
{"title":"Optimal impulse control problems with time delays: An illustrative example","authors":"Giovanni Fusco ,&nbsp;Monica Motta ,&nbsp;Richard Vinter","doi":"10.1016/j.sysconle.2024.105940","DOIUrl":"10.1016/j.sysconle.2024.105940","url":null,"abstract":"<div><div>For impulse control systems described by a measure driven differential equation, depending linearly on the measure, it is customary to interpret the state trajectory corresponding to an impulse control, specified by a measure, as the limit of state trajectories associated with some sequence of conventional controls approximating the measure. It is known that, when the measure is vector valued, it is possible that different choices of approximating sequences for the measure give rise to different limiting state trajectories. If the measure is scalar valued, however, there is a unique limiting trajectory. Now consider impulse control systems, in which the right side of the measure driven differential equation depends on both the current and delayed states. In recent work by the authors it has been shown that, for such impulse control systems with time delay, the state trajectory corresponding to a given measure may be non-unique, even when the measure is scalar valued. It was also shown that each limiting state trajectory can be identified with the unique state trajectory associated with some measure together with a family of ‘attached controls’. (The attached controls capture the nature of the measure approximation.) The authors also derived a maximum principle governing minimizers for a general class of impulse optimal control problems with time delay, in which the domain of the optimization problem comprises measures coupled with a family of ‘attached controls’. The purpose of this paper is both to illustrate, by means of an example, this newly discovered non-uniqueness phenomenon and to provide the first application of the new maximum principle, to investigate minimizers for scalar input impulse optimal control problems with time delay, in circumstances when limiting state trajectories associated with a given measure control are not unique. The example is an optimal control problem, for which the underlying control system is a forced harmonic oscillator, with scalar impulse control, in which the control gain is a nonlinear function of the current and delayed states.</div></div>","PeriodicalId":49450,"journal":{"name":"Systems & Control Letters","volume":"193 ","pages":"Article 105940"},"PeriodicalIF":2.1,"publicationDate":"2024-10-04","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"142426245","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Inverse reinforcement learning methods for linear differential games 线性微分博弈的逆强化学习方法
IF 2.1 3区 计算机科学 Q3 AUTOMATION & CONTROL SYSTEMS Pub Date : 2024-10-04 DOI: 10.1016/j.sysconle.2024.105936
Hamed Jabbari Asl, Eiji Uchibe
In this study, we considered the problem of inverse reinforcement learning or estimating the cost function of expert players in multi-player differential games. We proposed two online data-driven solutions for linear–quadratic games that are applicable to systems that fulfill a specific dimension criterion or whose unknown matrices in the cost function conform to a diagonal condition. The first method, which is partially model-free, utilizes the trajectories of expert agents to solve the problem. The second method is entirely model-free and employs the trajectories of both expert and learner agents. We determined the conditions under which the solutions are applicable and identified the necessary requirements for the collected data. We conducted numerical simulations to establish the effectiveness of the proposed methods.
在本研究中,我们考虑了多人差分博弈中的反强化学习或专家玩家成本函数估计问题。我们针对线性-二次方博弈提出了两种在线数据驱动解决方案,适用于满足特定维度标准或成本函数中的未知矩阵符合对角线条件的系统。第一种方法部分不需要模型,利用专家代理的轨迹来解决问题。第二种方法完全不需要模型,同时利用专家和学习者的轨迹。我们确定了解决方案的适用条件,并确定了对所收集数据的必要要求。我们进行了数值模拟,以确定所提方法的有效性。
{"title":"Inverse reinforcement learning methods for linear differential games","authors":"Hamed Jabbari Asl,&nbsp;Eiji Uchibe","doi":"10.1016/j.sysconle.2024.105936","DOIUrl":"10.1016/j.sysconle.2024.105936","url":null,"abstract":"<div><div>In this study, we considered the problem of inverse reinforcement learning or estimating the cost function of expert players in multi-player differential games. We proposed two online data-driven solutions for linear–quadratic games that are applicable to systems that fulfill a specific dimension criterion or whose unknown matrices in the cost function conform to a diagonal condition. The first method, which is partially model-free, utilizes the trajectories of expert agents to solve the problem. The second method is entirely model-free and employs the trajectories of both expert and learner agents. We determined the conditions under which the solutions are applicable and identified the necessary requirements for the collected data. We conducted numerical simulations to establish the effectiveness of the proposed methods.</div></div>","PeriodicalId":49450,"journal":{"name":"Systems & Control Letters","volume":"193 ","pages":"Article 105936"},"PeriodicalIF":2.1,"publicationDate":"2024-10-04","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"142426249","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"OA","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Frequency domain identification of passive local modules in linear dynamic networks 线性动态网络中无源局部模块的频域识别
IF 2.1 3区 计算机科学 Q3 AUTOMATION & CONTROL SYSTEMS Pub Date : 2024-10-03 DOI: 10.1016/j.sysconle.2024.105937
Lucas F.M. Rodrigues , Gustavo H.C. Oliveira , Lucas P.R.K. Ihlenfeld , Ricardo Schumacher , Paul M.J. Van den Hof
We develop a novel frequency-domain approach to address the important open issue of estimating passive local modules within dynamic networks. The method applies an approach based on two stages, a non-parametric and a parametric one. The parametric stage is an extension of the vector fitting technique that incorporates energy consistency conditions as a fundamental component of the identification procedure, forming a path of the passive model in the Sanathanan–Koerner iterations. The approach includes a formulation via linear matrix inequalities to enforce energy-balance conditions resulting in a convex optimization problem. The approach is practical even under weak assumptions on noise, enabling real-world applications. Numerical simulations illustrate the potential of the developed method to effectively estimate local passive modules in dynamic networks.
我们开发了一种新颖的频域方法来解决估算动态网络中无源局部模块这一重要的未决问题。该方法基于两个阶段,即非参数阶段和参数阶段。参数阶段是矢量拟合技术的扩展,它将能量一致性条件作为识别程序的基本组成部分,在 Sanathanan-Koerner 迭代中形成无源模型的路径。该方法包括通过线性矩阵不等式来强制执行能量平衡条件,从而产生一个凸优化问题。即使在噪声较弱的假设条件下,该方法也是实用的,可在现实世界中应用。数值模拟说明了所开发方法在有效估计动态网络中的局部无源模块方面的潜力。
{"title":"Frequency domain identification of passive local modules in linear dynamic networks","authors":"Lucas F.M. Rodrigues ,&nbsp;Gustavo H.C. Oliveira ,&nbsp;Lucas P.R.K. Ihlenfeld ,&nbsp;Ricardo Schumacher ,&nbsp;Paul M.J. Van den Hof","doi":"10.1016/j.sysconle.2024.105937","DOIUrl":"10.1016/j.sysconle.2024.105937","url":null,"abstract":"<div><div>We develop a novel frequency-domain approach to address the important open issue of estimating passive local modules within dynamic networks. The method applies an approach based on two stages, a non-parametric and a parametric one. The parametric stage is an extension of the vector fitting technique that incorporates energy consistency conditions as a fundamental component of the identification procedure, forming a path of the passive model in the Sanathanan–Koerner iterations. The approach includes a formulation via linear matrix inequalities to enforce energy-balance conditions resulting in a convex optimization problem. The approach is practical even under weak assumptions on noise, enabling real-world applications. Numerical simulations illustrate the potential of the developed method to effectively estimate local passive modules in dynamic networks.</div></div>","PeriodicalId":49450,"journal":{"name":"Systems & Control Letters","volume":"193 ","pages":"Article 105937"},"PeriodicalIF":2.1,"publicationDate":"2024-10-03","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"142426248","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Min–max group consensus of discrete-time multi-agent systems under directed random networks 有向随机网络下离散多代理系统的最小-最大群体共识
IF 2.1 3区 计算机科学 Q3 AUTOMATION & CONTROL SYSTEMS Pub Date : 2024-10-03 DOI: 10.1016/j.sysconle.2024.105938
Jianing Yang , Liqi Zhou , Jian Liu , Jianxiang Xi , Yuanshi Zheng
This paper studies the min–max group consensus of discrete-time multi-agent systems under a directed random graph, where the presence of each directed edge is randomly determined by a probability and independent of the presence of other edges. Firstly, we propose a min–max consensus protocol without memory, and give the necessary and sufficient conditions to ensure that the multi-agent system can achieve the min–max group consensus in the sense of almost sure and mean square, respectively. Secondly, we design a novel consensus protocol with memory and a behavior mechanism. Using the stochastic analysis theory and the extremal algebra, some necessary and sufficient conditions are obtained for achieving the min–max group consensus in the sense of almost sure and mean square, respectively. It is shown that the protocol with memory can solve the loss problem of the maximum and minimum initial states. Finally, the effectiveness of the two group consensus protocols and the behavior mechanism is verified by four numerical simulations.
本文研究了有向随机图下离散-时间多代理系统的最小-最大群体共识,在有向随机图中,每条有向边的存在由概率随机决定,且与其他边的存在无关。首先,我们提出了一种无记忆的最小-最大共识协议,并分别给出了确保多代理系统在几乎确定和均方意义上实现最小-最大群体共识的必要条件和充分条件。其次,我们设计了一种带内存的新型共识协议和行为机制。利用随机分析理论和极值代数,分别得到了实现几乎确定和均方意义上的最小-最大群体共识的一些必要条件和充分条件。结果表明,带记忆的协议可以解决最大和最小初始状态的损失问题。最后,通过四次数值模拟验证了两种群体共识协议和行为机制的有效性。
{"title":"Min–max group consensus of discrete-time multi-agent systems under directed random networks","authors":"Jianing Yang ,&nbsp;Liqi Zhou ,&nbsp;Jian Liu ,&nbsp;Jianxiang Xi ,&nbsp;Yuanshi Zheng","doi":"10.1016/j.sysconle.2024.105938","DOIUrl":"10.1016/j.sysconle.2024.105938","url":null,"abstract":"<div><div>This paper studies the min–max group consensus of discrete-time multi-agent systems under a directed random graph, where the presence of each directed edge is randomly determined by a probability and independent of the presence of other edges. Firstly, we propose a min–max consensus protocol without memory, and give the necessary and sufficient conditions to ensure that the multi-agent system can achieve the min–max group consensus in the sense of almost sure and mean square, respectively. Secondly, we design a novel consensus protocol with memory and a behavior mechanism. Using the stochastic analysis theory and the extremal algebra, some necessary and sufficient conditions are obtained for achieving the min–max group consensus in the sense of almost sure and mean square, respectively. It is shown that the protocol with memory can solve the loss problem of the maximum and minimum initial states. Finally, the effectiveness of the two group consensus protocols and the behavior mechanism is verified by four numerical simulations.</div></div>","PeriodicalId":49450,"journal":{"name":"Systems & Control Letters","volume":"193 ","pages":"Article 105938"},"PeriodicalIF":2.1,"publicationDate":"2024-10-03","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"142426247","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Local set stability and target control of probabilistic Boolean networks 概率布尔网络的局部集稳定性和目标控制
IF 2.1 3区 计算机科学 Q3 AUTOMATION & CONTROL SYSTEMS Pub Date : 2024-10-01 DOI: 10.1016/j.sysconle.2024.105935
Xinrong Yang, Haitao Li
This paper analyzes the local set stability of probabilistic Boolean networks (PBNs), including local finite-time set stability with probability one (FSSPO) and local asymptotic set stability with probability one (ASSPO). Firstly, a necessary and sufficient condition is proposed for the local FSSPO of PBNs. Then, a reachable set with probability one is constructed, based on which, the largest domain of attraction for the local FSSPO of PBNs is determined. Secondly, by constructing two parameterized sets, the transition probability matrix of PBNs is properly partitioned, and the largest domain of attraction for the ASSPO is depicted. Finally, for PBNs which are locally stable, the target control is introduced to achieve the global FSSPO and global ASSPO of PBNs, respectively.
本文分析了概率布尔网络(PBN)的局部集合稳定性,包括概率为一的局部有限时间集合稳定性(FSSPO)和概率为一的局部渐近集合稳定性(ASSPO)。首先,提出了 PBN 局部 FSSPO 的必要条件和充分条件。然后,构建了概率为一的可达集,并在此基础上确定了 PBN 局部 FSSPO 的最大吸引域。其次,通过构建两个参数化集,对 PBN 的过渡概率矩阵进行适当划分,并描绘出 ASSPO 的最大吸引域。最后,针对局部稳定的 PBN,引入目标控制,分别实现 PBN 的全局 FSSPO 和全局 ASSPO。
{"title":"Local set stability and target control of probabilistic Boolean networks","authors":"Xinrong Yang,&nbsp;Haitao Li","doi":"10.1016/j.sysconle.2024.105935","DOIUrl":"10.1016/j.sysconle.2024.105935","url":null,"abstract":"<div><div>This paper analyzes the local set stability of probabilistic Boolean networks (PBNs), including local finite-time set stability with probability one (FSSPO) and local asymptotic set stability with probability one (ASSPO). Firstly, a necessary and sufficient condition is proposed for the local FSSPO of PBNs. Then, a reachable set with probability one is constructed, based on which, the largest domain of attraction for the local FSSPO of PBNs is determined. Secondly, by constructing two parameterized sets, the transition probability matrix of PBNs is properly partitioned, and the largest domain of attraction for the ASSPO is depicted. Finally, for PBNs which are locally stable, the target control is introduced to achieve the global FSSPO and global ASSPO of PBNs, respectively.</div></div>","PeriodicalId":49450,"journal":{"name":"Systems & Control Letters","volume":"193 ","pages":"Article 105935"},"PeriodicalIF":2.1,"publicationDate":"2024-10-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"142426918","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Secure impulsive synchronization for derivatively coupled networks against DoS attacks: A memory-compensated strategy 针对 DoS 攻击的衍生耦合网络安全脉冲同步:内存补偿策略
IF 2.1 3区 计算机科学 Q3 AUTOMATION & CONTROL SYSTEMS Pub Date : 2024-10-01 DOI: 10.1016/j.sysconle.2024.105939
Dong Ding , Ze Tang , Chuanbo Wen , Zhicheng Ji , Ju H. Park
This work is concerned with the synchronization issue of complex networks suffering from Denial-of-Service (DoS) attacks. The derivative coupling has been proposed to model the nodes which are capable of perceiving state changing. An overarching handling procedure is initially introduced to convert derivatively coupled dynamic networks into a general form. To offset the information missing resulting from DoS attacks, an intricately crafted memory-based self-triggered impulsive controller (MBSTIC) is devised. The introduced scheme involves the meticulous collection of nodes’ historical state information. By jointly considering Lyapunov stability theorem and mathematical deduction approach, sufficient conditions for ensuring synchronous behavior for controlled networks are derived. A numerical example is given to demonstrate that the proposed method exhibits considerable performance when facing DoS attacks.
这项工作关注的是遭受拒绝服务(DoS)攻击的复杂网络的同步问题。我们提出了导数耦合来模拟能够感知状态变化的节点。最初引入了一个总体处理程序,将衍生耦合动态网络转换为一般形式。为了抵消 DoS 攻击造成的信息缺失,设计了一种复杂的基于内存的自触发脉冲控制器(MBSTIC)。引入的方案涉及对节点历史状态信息的细致收集。通过联合考虑 Lyapunov 稳定性定理和数学演绎法,得出了确保受控网络同步行为的充分条件。通过一个数值示例,证明了所提出的方法在面对 DoS 攻击时表现出了相当可观的性能。
{"title":"Secure impulsive synchronization for derivatively coupled networks against DoS attacks: A memory-compensated strategy","authors":"Dong Ding ,&nbsp;Ze Tang ,&nbsp;Chuanbo Wen ,&nbsp;Zhicheng Ji ,&nbsp;Ju H. Park","doi":"10.1016/j.sysconle.2024.105939","DOIUrl":"10.1016/j.sysconle.2024.105939","url":null,"abstract":"<div><div>This work is concerned with the synchronization issue of complex networks suffering from Denial-of-Service (DoS) attacks. The derivative coupling has been proposed to model the nodes which are capable of perceiving state changing. An overarching handling procedure is initially introduced to convert derivatively coupled dynamic networks into a general form. To offset the information missing resulting from DoS attacks, an intricately crafted memory-based self-triggered impulsive controller (MBSTIC) is devised. The introduced scheme involves the meticulous collection of nodes’ historical state information. By jointly considering Lyapunov stability theorem and mathematical deduction approach, sufficient conditions for ensuring synchronous behavior for controlled networks are derived. A numerical example is given to demonstrate that the proposed method exhibits considerable performance when facing DoS attacks.</div></div>","PeriodicalId":49450,"journal":{"name":"Systems & Control Letters","volume":"193 ","pages":"Article 105939"},"PeriodicalIF":2.1,"publicationDate":"2024-10-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"142426919","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Containment control for high-order multi-agent systems with nonconvex control input constraints and non-particle leaders 具有非凸控制输入约束和非粒子领导的高阶多代理系统的遏制控制
IF 2.1 3区 计算机科学 Q3 AUTOMATION & CONTROL SYSTEMS Pub Date : 2024-09-27 DOI: 10.1016/j.sysconle.2024.105930
Yuanqi Lin , Yixin Ai , Lipo Mo , Peng Lin , Yingmin Jia
This paper is devoted to the nonconvex control input constrained containment control problem for multi-agent systems with non-particle leaders, switching topologies, and communication delays. A decentralized algorithm is adopted for followers with discrete-time high-order dynamics. Through model transformations and by analyzing the convergence of the maximum distance from the followers to the convex hull, it is demonstrated that each follower finally moves into the convex hull created by the leaders, even in the presence of nonconvex input constraints, non-particle leaders, switching topologies, and communication delays. Finally, numerical examples demonstrate the effectiveness of the theoretical conclusions.
本文主要研究具有非粒子领导者、切换拓扑结构和通信延迟的多代理系统的非凸控制输入约束包含控制问题。对于具有离散时间高阶动态的跟随者,采用了分散算法。通过模型转换和分析跟随者到凸壳的最大距离的收敛性,证明了即使存在非凸输入约束、非粒子领导者、切换拓扑和通信延迟,每个跟随者最终都会移动到领导者创建的凸壳中。最后,数值示例证明了理论结论的有效性。
{"title":"Containment control for high-order multi-agent systems with nonconvex control input constraints and non-particle leaders","authors":"Yuanqi Lin ,&nbsp;Yixin Ai ,&nbsp;Lipo Mo ,&nbsp;Peng Lin ,&nbsp;Yingmin Jia","doi":"10.1016/j.sysconle.2024.105930","DOIUrl":"10.1016/j.sysconle.2024.105930","url":null,"abstract":"<div><div>This paper is devoted to the nonconvex control input constrained containment control problem for multi-agent systems with non-particle leaders, switching topologies, and communication delays. A decentralized algorithm is adopted for followers with discrete-time high-order dynamics. Through model transformations and by analyzing the convergence of the maximum distance from the followers to the convex hull, it is demonstrated that each follower finally moves into the convex hull created by the leaders, even in the presence of nonconvex input constraints, non-particle leaders, switching topologies, and communication delays. Finally, numerical examples demonstrate the effectiveness of the theoretical conclusions.</div></div>","PeriodicalId":49450,"journal":{"name":"Systems & Control Letters","volume":"193 ","pages":"Article 105930"},"PeriodicalIF":2.1,"publicationDate":"2024-09-27","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"142326636","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
On IMU preintegration: A nonlinear observer viewpoint and its applications 关于 IMU 预积分:非线性观测器观点及其应用
IF 2.1 3区 计算机科学 Q3 AUTOMATION & CONTROL SYSTEMS Pub Date : 2024-09-27 DOI: 10.1016/j.sysconle.2024.105933
Bowen Yi , Ian R. Manchester
The inertial measurement unit (IMU) preintegration approach nowadays is widely used in various robotic applications. In this article, we revisit the preintegration theory and propose a novel interpretation to understand it from a nonlinear observer perspective, specifically the parameter estimation-based observer (PEBO). We demonstrate that the preintegration approach can be viewed as a recursive implementation of PEBO in moving horizons, and that the two approaches are equivalent with perfect measurements. We then discuss how these findings can be used to tackle practical challenges in estimation problems. As byproducts, our results lead to a novel hybrid sampled-data observer design and an approach to address statistical optimality for PEBO in the presence of noise.
如今,惯性测量单元(IMU)预积分方法被广泛应用于各种机器人应用中。在本文中,我们重温了预积分理论,并提出了一种新的解释,从非线性观测器的角度来理解预积分,特别是基于参数估计的观测器(PEBO)。我们证明,预积分方法可视为 PEBO 在移动视界中的递归实现,而且这两种方法在完美测量的情况下是等价的。然后,我们将讨论如何利用这些发现来应对估计问题中的实际挑战。作为副产品,我们的研究结果带来了一种新颖的混合采样数据观测器设计,以及一种解决存在噪声时 PEBO 统计最优性的方法。
{"title":"On IMU preintegration: A nonlinear observer viewpoint and its applications","authors":"Bowen Yi ,&nbsp;Ian R. Manchester","doi":"10.1016/j.sysconle.2024.105933","DOIUrl":"10.1016/j.sysconle.2024.105933","url":null,"abstract":"<div><div>The inertial measurement unit (IMU) preintegration approach nowadays is widely used in various robotic applications. In this article, we revisit the preintegration theory and propose a novel interpretation to understand it from a nonlinear observer perspective, specifically the parameter estimation-based observer (PEBO). We demonstrate that the preintegration approach can be viewed as a recursive implementation of PEBO in moving horizons, and that the two approaches are equivalent with perfect measurements. We then discuss how these findings can be used to tackle practical challenges in estimation problems. As byproducts, our results lead to a novel hybrid sampled-data observer design and an approach to address statistical optimality for PEBO in the presence of noise.</div></div>","PeriodicalId":49450,"journal":{"name":"Systems & Control Letters","volume":"193 ","pages":"Article 105933"},"PeriodicalIF":2.1,"publicationDate":"2024-09-27","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"142326635","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"OA","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
期刊
Systems & Control Letters
全部 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