Nonlinear Analysis-Hybrid Systems最新文献

英文中文

Stability under dwell time constraints: Discretization revisited 停留时间约束下的稳定性：离散化重新审视

IF 3.7 2区计算机科学 Q2 AUTOMATION & CONTROL SYSTEMS

Nonlinear Analysis-Hybrid Systems

Pub Date : 2025-08-01 Epub Date: 2025-05-14 DOI: 10.1016/j.nahs.2025.101608

Thomas Mejstrik , Vladimir Yu. Protasov

We investigate the stability of continuous-time linear switching systems with a guaranteed dwell time. It is known that the dwell time restrictions make the main methods for deciding stability such as Lyapunov functions and discretization inapplicable, at least in their standard forms. Our work focuses on adapting the discretization approach to address this limitation. The discretization is done merely by replacing arbitrary switching law with piecewise-constant functions with a fixed step size. We demonstrate that this classical method can be modified so that it not only becomes applicable under the dwell time constraints but also outperforms traditional methods for unconstrained systems. Namely, the discretization with the step size

h

approximates the Lyapunov exponent with the precision

C h^{2}

, and the constant

C

can be explicitly evaluated. This result is unexpected, as the approximation accuracy for systems without a guaranteed dwell time is linear in

h

. Our methods implementation is efficient in dimensions up to 10 for arbitrary systems and up to several hundreds for positive systems. The numerical results are provided.

研究了具有保证停留时间的连续线性开关系统的稳定性。众所周知，停留时间的限制使得主要的确定稳定性的方法，如李雅普诺夫函数和离散化，至少在它们的标准形式中是不适用的。我们的工作重点是采用离散化方法来解决这一限制。离散化仅仅是用具有固定步长的分段常数函数代替任意开关律来完成的。我们证明了这种经典方法可以改进，使其不仅适用于驻留时间约束，而且在无约束系统中优于传统方法。即步长为h的离散化近似Lyapunov指数，精度为Ch2，常数C可以显式求值。这个结果是出乎意料的，因为没有保证停留时间的系统的近似精度在h内是线性的。对于任意系统，我们的方法在高达10的维度上是有效的，对于正系统，我们的方法在高达数百的维度上是有效的。给出了数值结果。

{"title":"Stability under dwell time constraints: Discretization revisited","authors":"Thomas Mejstrik , Vladimir Yu. Protasov","doi":"10.1016/j.nahs.2025.101608","DOIUrl":"10.1016/j.nahs.2025.101608","url":null,"abstract":"<div><div>We investigate the stability of continuous-time linear switching systems with a guaranteed dwell time. It is known that the dwell time restrictions make the main methods for deciding stability such as Lyapunov functions and discretization inapplicable, at least in their standard forms. Our work focuses on adapting the discretization approach to address this limitation. The discretization is done merely by replacing arbitrary switching law with piecewise-constant functions with a fixed step size. We demonstrate that this classical method can be modified so that it not only becomes applicable under the dwell time constraints but also outperforms traditional methods for unconstrained systems. Namely, the discretization with the step size <span><math><mi>h</mi></math></span> approximates the Lyapunov exponent with the precision <span><math><mrow><mi>C</mi><mspace></mspace><msup><mrow><mi>h</mi></mrow><mrow><mn>2</mn></mrow></msup></mrow></math></span>, and the constant <span><math><mi>C</mi></math></span> can be explicitly evaluated. This result is unexpected, as the approximation accuracy for systems without a guaranteed dwell time is linear in <span><math><mi>h</mi></math></span>. Our methods implementation is efficient in dimensions up to 10 for arbitrary systems and up to several hundreds for positive systems. The numerical results are provided.</div></div>","PeriodicalId":49011,"journal":{"name":"Nonlinear Analysis-Hybrid Systems","volume":"57 ","pages":"Article 101608"},"PeriodicalIF":3.7,"publicationDate":"2025-08-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"143948255","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

Dynamic event-triggered control for nonlinear systems via differential algebraic representation 基于微分代数的非线性系统动态事件触发控制

IF 3.7 2区计算机科学 Q2 AUTOMATION & CONTROL SYSTEMS

Nonlinear Analysis-Hybrid Systems

Pub Date : 2025-08-01 Epub Date: 2025-03-20 DOI: 10.1016/j.nahs.2025.101597

Gabriela Lígia Reis , Pedro Henrique Silva Coutinho , Iury Bessa , Rodrigo Farias Araújo

This paper deals with the event-triggered gain-scheduling control of nonlinear systems based on the differential algebraic representation (DAR) approach. Since the parameters of the gain-scheduled controller depend on the sampled state information, a mismatch is induced between the controller and the DAR of the plant. To deal with this issue, we propose a novel dynamic event-triggered control strategy with a compensation term for the mismatch. Then, we propose a co-design condition, in the form of linear matrix inequalities (LMIs), to design the gain-scheduling controller and the event-triggering mechanism. We show that Zeno behavior is avoided with the proposed event-triggering mechanism. Moreover, as the LMI conditions are derived by constraining the region of validity of the DAR, we estimate the region of attraction of the closed-loop equilibrium lying inside this region of validity. Finally, a multi-objective optimization problem is provided to enlarge the estimate of the region of attraction and minimize the number of transmissions. Numerical simulations illustrate the advantages of the proposed condition in reducing conservativeness when compared to related work, as well as reducing the number of events.

研究了基于微分代数表示（DAR）方法的非线性系统的事件触发增益调度控制问题。由于增益调度控制器的参数依赖于采样状态信息，导致控制器与被控对象的DAR不匹配。为了解决这个问题，我们提出了一种新的动态事件触发控制策略，该策略具有对不匹配的补偿项。然后，我们以线性矩阵不等式（lmi）的形式提出了一个协同设计条件来设计增益调度控制器和事件触发机制。我们证明了所提出的事件触发机制可以避免芝诺行为。此外，由于LMI条件是通过约束DAR的有效区域导出的，因此我们估计了在该有效区域内的闭环平衡的吸引力区域。最后，提出了一个多目标优化问题，以扩大对吸引区域的估计，并使传输次数最小化。数值模拟表明，与相关工作相比，所提出的条件在降低保守性和减少事件数量方面具有优势。

{"title":"Dynamic event-triggered control for nonlinear systems via differential algebraic representation","authors":"Gabriela Lígia Reis , Pedro Henrique Silva Coutinho , Iury Bessa , Rodrigo Farias Araújo","doi":"10.1016/j.nahs.2025.101597","DOIUrl":"10.1016/j.nahs.2025.101597","url":null,"abstract":"<div><div>This paper deals with the event-triggered gain-scheduling control of nonlinear systems based on the differential algebraic representation (DAR) approach. Since the parameters of the gain-scheduled controller depend on the sampled state information, a mismatch is induced between the controller and the DAR of the plant. To deal with this issue, we propose a novel dynamic event-triggered control strategy with a compensation term for the mismatch. Then, we propose a co-design condition, in the form of linear matrix inequalities (LMIs), to design the gain-scheduling controller and the event-triggering mechanism. We show that Zeno behavior is avoided with the proposed event-triggering mechanism. Moreover, as the LMI conditions are derived by constraining the region of validity of the DAR, we estimate the region of attraction of the closed-loop equilibrium lying inside this region of validity. Finally, a multi-objective optimization problem is provided to enlarge the estimate of the region of attraction and minimize the number of transmissions. Numerical simulations illustrate the advantages of the proposed condition in reducing conservativeness when compared to related work, as well as reducing the number of events.</div></div>","PeriodicalId":49011,"journal":{"name":"Nonlinear Analysis-Hybrid Systems","volume":"57 ","pages":"Article 101597"},"PeriodicalIF":3.7,"publicationDate":"2025-08-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"143684570","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

Composite anti-disturbance impulsive control for a class of nonlinear systems via disturbance observers 一类非线性系统的扰动观测器复合抗扰动脉冲控制

IF 3.7 2区计算机科学 Q2 AUTOMATION & CONTROL SYSTEMS

Nonlinear Analysis-Hybrid Systems

Pub Date : 2025-08-01 Epub Date: 2025-04-12 DOI: 10.1016/j.nahs.2025.101599

Wu-Hua Chen, Hengliang Xiang

This paper studies an anti-disturbance impulsive control problem for a class of nonlinear systems with sampled measurements and input disturbances. It considers that the unknown input disturbances are generated by an exogenous system with additional disturbances. The goal is to construct an impulsive disturbance observer (IDO) to estimate the external disturbance and to use the disturbance estimate as a feed-forward compensator of the impulsive control so that the input disturbance can be rejected. Two types of design schemes are proposed in the linear matrix inequality framework. For the plants with sampled output measurements, a full-order IDO is constructed, under which both the state and the external disturbance can be estimated simultaneously. For the plants with state information available at impulse instants, a reduced-order IDO is designed, where only the estimation of the external disturbance is involved. Accordingly, the

H_{\infty}

performance levels relative to the capability against the additional disturbance are respectively analyzed. Finally, an illustrative example is presented to demonstrate the validity of the results.

研究了一类具有采样测量值和输入扰动的非线性系统的抗扰动脉冲控制问题。它认为未知的输入扰动是由一个带有附加扰动的外生系统产生的。目标是构造一个脉冲干扰观测器（IDO）来估计外部干扰，并将干扰估计作为脉冲控制的前馈补偿器，以抑制输入干扰。在线性矩阵不等式框架下，提出了两种设计方案。对于具有采样输出测量值的对象，构造了一个可以同时估计状态和外部干扰的全阶IDO。对于脉冲时刻具有状态信息的对象，设计了一种只涉及外部干扰估计的降阶IDO。据此，分别分析了相对于抗附加扰动能力的H∞性能水平。最后，通过算例验证了所得结果的有效性。

{"title":"Composite anti-disturbance impulsive control for a class of nonlinear systems via disturbance observers","authors":"Wu-Hua Chen, Hengliang Xiang","doi":"10.1016/j.nahs.2025.101599","DOIUrl":"10.1016/j.nahs.2025.101599","url":null,"abstract":"<div><div>This paper studies an anti-disturbance impulsive control problem for a class of nonlinear systems with sampled measurements and input disturbances. It considers that the unknown input disturbances are generated by an exogenous system with additional disturbances. The goal is to construct an impulsive disturbance observer (IDO) to estimate the external disturbance and to use the disturbance estimate as a feed-forward compensator of the impulsive control so that the input disturbance can be rejected. Two types of design schemes are proposed in the linear matrix inequality framework. For the plants with sampled output measurements, a full-order IDO is constructed, under which both the state and the external disturbance can be estimated simultaneously. For the plants with state information available at impulse instants, a reduced-order IDO is designed, where only the estimation of the external disturbance is involved. Accordingly, the <span><math><msub><mrow><mi>H</mi></mrow><mrow><mi>∞</mi></mrow></msub></math></span> performance levels relative to the capability against the additional disturbance are respectively analyzed. Finally, an illustrative example is presented to demonstrate the validity of the results.</div></div>","PeriodicalId":49011,"journal":{"name":"Nonlinear Analysis-Hybrid Systems","volume":"57 ","pages":"Article 101599"},"PeriodicalIF":3.7,"publicationDate":"2025-08-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"143823210","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

Reconstructing networks from the algebraic model of networked evolutionary games 基于网络进化博弈代数模型的网络重构

IF 3.7 2区计算机科学 Q2 AUTOMATION & CONTROL SYSTEMS

Nonlinear Analysis-Hybrid Systems

Pub Date : 2025-08-01 Epub Date: 2025-04-26 DOI: 10.1016/j.nahs.2025.101603

Fei Wang , Jun-e Feng , Biao Wang

This paper presents a systematic mathematical analysis of the network reconstruction problem based on the algebraic model of networked evolutionary games, focusing on two data scenarios: (1) players’ payoff and strategy data, and (2) only players’ strategy data. Begin with the first scenario, the players’ payoff functions are transformed into a system of linear equations concerning neighbors using the payoff vector of the fundamental network game. Then the necessary and sufficient conditions for reconstructing the player network from the payoff functions are provided. In the second scenario, by considering the myopic best response and the unconditional imitation updating rules, the conditions under which the fundamental network game ensures that the strategy dynamic equations contain information about all player neighbors are investigated. Moreover, criteria for determining neighbors from these strategy dynamic equations are proposed. Finally, two examples demonstrate the network reconstruction process.

本文基于网络进化博弈的代数模型，对网络重构问题进行了系统的数学分析，重点研究了两种数据场景：(1)参与人的收益和策略数据，(2)只有参与人的策略数据。从第一个场景开始，使用基本网络游戏的支付向量，玩家的支付函数被转换成一个关于邻居的线性方程系统。然后给出了由收益函数重构玩家网络的充分必要条件。在第二种情况下，考虑近视最优对策和无条件模仿更新规则，研究了基本网络博弈确保策略动态方程包含所有参与人邻居信息的条件。并给出了从这些策略动态方程中确定邻域的准则。最后，通过两个实例说明了网络重构过程。

引用次数: 0

Necessary and sufficient conditions for asymptotic synchronization of drive-response coupled stochastic Boolean networks 驱动-响应耦合随机布尔网络渐近同步的充分必要条件

IF 3.7 2区计算机科学 Q2 AUTOMATION & CONTROL SYSTEMS

Nonlinear Analysis-Hybrid Systems

Pub Date : 2025-08-01 Epub Date: 2025-03-25 DOI: 10.1016/j.nahs.2025.101595

Hankang Ji , Yuanyuan Li , Xueying Ding , Jianquan Lu

This paper studies the asymptotic synchronization of drive-response stochastic Boolean networks. We propose two coupled Boolean networks with stochastic sequences and then derive their algebraic forms using semi-tensor product property. Subsequently, a novel eigenvalue-based approach is introduced to establish necessary and sufficient conditions for the asymptotic synchronization of these networks. While prior synchronization results were typically derived from the powers of the transition probability matrix, our method requires only the eigenvalues of this matrix. Finally, several examples are provided to validate the results obtained.

研究了驱动-响应随机布尔网络的渐近同步问题。提出了两个具有随机序列的耦合布尔网络，并利用半张量积性质导出了它们的代数形式。随后，引入了一种新的基于特征值的方法来建立这些网络渐近同步的充分必要条件。先前的同步结果通常是由转移概率矩阵的幂次推导出来的，而我们的方法只需要这个矩阵的特征值。最后，通过算例对所得结果进行了验证。

引用次数: 0

Input-to-state stability of nonlinear delayed systems with stochastic impulses 具有随机脉冲的非线性延迟系统的输入状态稳定性

IF 3.7 2区计算机科学 Q2 AUTOMATION & CONTROL SYSTEMS

Nonlinear Analysis-Hybrid Systems

Pub Date : 2025-08-01 Epub Date: 2025-04-26 DOI: 10.1016/j.nahs.2025.101600

Qian Fan , Zhiyan Shi , Bao Wang , Lei Jiang

This paper is concerned with the stability of nonlinear delayed systems with stochastic impulses, which are assumed to be triggered by renewal process, Poisson process, semi-Markov process and Markov process, respectively. Some sufficient conditions are achieved by using the method of Lyapunov function and the upgraded comparison principle. It is shown that the stability of the system containing both stable and unstable impulses can be achieved by using the structure of stochastic process. To show that the criteria are effective, a numerical example is provided.

本文研究了具有随机脉冲的非线性时滞系统的稳定性问题，该系统分别被假设为更新过程、泊松过程、半马尔可夫过程和马尔可夫过程。利用李亚普诺夫函数方法和升级比较原理，得到了一些充分条件。结果表明，利用随机过程的结构可以实现包含稳定脉冲和不稳定脉冲的系统的稳定性。为了说明该准则的有效性，给出了一个数值算例。

引用次数: 0

Cooperative output feedback tracking control of heterogeneous multi-agent systems with semi-Markovian switching topologies and multiple measurement noises 具有半马尔可夫切换拓扑和多重测量噪声的异构多智能体系统的协同输出反馈跟踪控制

IF 3.7 2区计算机科学 Q2 AUTOMATION & CONTROL SYSTEMS

Nonlinear Analysis-Hybrid Systems

Pub Date : 2025-08-01 Epub Date: 2025-05-12 DOI: 10.1016/j.nahs.2025.101605

Wenjing Wan , Zhao-Yan Li , Kai Zhang

This paper investigates the mean square output tracking control problem in heterogeneous multi-agent systems (HMASs) influenced by semi-Markovian switching topologies and multiple forms measurement noises. A novel distributed output feedback control scheme is proposed, ensuring robustness in environments characterized by stochastic topology changes and diverse noise types. Unlike previous methods, our research addresses both additive and multiplicative noises and general sojourn time distributions during topology switching, thereby providing a more general framework. The stability and convergence of the proposed approach are rigorously analyzed using Lyapunov-based techniques, and its efficacy is validated through two examples.

研究了受半马尔可夫切换拓扑和多种测量噪声影响的异构多智能体系统（HMASs）的均方输出跟踪控制问题。提出了一种新的分布式输出反馈控制方案，保证了系统在随机拓扑变化和多种噪声环境下的鲁棒性。与以前的方法不同，我们的研究解决了拓扑切换过程中的加性和乘性噪声以及一般逗留时间分布，从而提供了一个更通用的框架。采用基于lyapunov的方法对该方法的稳定性和收敛性进行了严格分析，并通过两个算例验证了该方法的有效性。

引用次数: 0

Multiple circles formation-circumnavigation switching control around a nonstationary target 非静止目标多圆编队-绕航切换控制

IF 3.7 2区计算机科学 Q2 AUTOMATION & CONTROL SYSTEMS

Nonlinear Analysis-Hybrid Systems

Pub Date : 2025-05-01 Epub Date: 2025-01-25 DOI: 10.1016/j.nahs.2025.101577

Bo Chen, Wei Zhu

In this study, the problem of multiple circles formation-circumnavigation switching control around a nonstationary target of multiple heterogeneous autonomous underwater vehicle (AUV) systems with intermittent communication among partial individuals is investigated. An intermittent communication-based two-layer control strategy is proposed, comprising finite time observers and finite time controller. Since the communication between individuals is intermittent and only partial AUVs can directly obtain partial information from the target, a distributed adaptive finite-time hybrid observer is designed to estimate the information of the target. Additionally, another observer is developed to estimate the state of cluster leader. Subsequently, based on geometric structure and variable substitution, a distributed finite-time multiple circles formation-circumnavigation switching controller is designed, using the estimated value as the reference signal. The controller enables smooth switching between formation and circumnavigation for multiple AUV systems in intermittent communication scenarios, which can effectively improve the economy and practicality of applications. A homogeneous technique is used to show that the control objective can be achieved in finite time under the proposed controller. Numerical simulations are conducted to illustrate the effectiveness of the proposed control strategy.

研究了局部个体间存在间歇通信的多异构自主水下航行器（AUV）系统围绕非平稳目标的多圆形成-环航切换控制问题。提出了一种基于间歇通信的两层控制策略，包括有限时间观测器和有限时间控制器。由于个体间的通信是断断续续的，并且只有部分auv能够直接获取目标的部分信息，因此设计了一种分布式自适应有限时间混合观测器来估计目标的信息。此外，还建立了另一个观测器来估计集群领导者的状态。随后，基于几何结构和变量替换，以估计值为参考信号，设计了一种分布式有限时间多圆编队-环球切换控制器。该控制器可实现多个AUV系统在间歇通信场景下的编队和绕航平滑切换，有效提高了应用的经济性和实用性。采用齐次技术证明了所提出的控制器能在有限时间内实现控制目标。通过数值仿真验证了所提控制策略的有效性。

{"title":"Multiple circles formation-circumnavigation switching control around a nonstationary target","authors":"Bo Chen, Wei Zhu","doi":"10.1016/j.nahs.2025.101577","DOIUrl":"10.1016/j.nahs.2025.101577","url":null,"abstract":"<div><div>In this study, the problem of multiple circles formation-circumnavigation switching control around a nonstationary target of multiple heterogeneous autonomous underwater vehicle (AUV) systems with intermittent communication among partial individuals is investigated. An intermittent communication-based two-layer control strategy is proposed, comprising finite time observers and finite time controller. Since the communication between individuals is intermittent and only partial AUVs can directly obtain partial information from the target, a distributed adaptive finite-time hybrid observer is designed to estimate the information of the target. Additionally, another observer is developed to estimate the state of cluster leader. Subsequently, based on geometric structure and variable substitution, a distributed finite-time multiple circles formation-circumnavigation switching controller is designed, using the estimated value as the reference signal. The controller enables smooth switching between formation and circumnavigation for multiple AUV systems in intermittent communication scenarios, which can effectively improve the economy and practicality of applications. A homogeneous technique is used to show that the control objective can be achieved in finite time under the proposed controller. Numerical simulations are conducted to illustrate the effectiveness of the proposed control strategy.</div></div>","PeriodicalId":49011,"journal":{"name":"Nonlinear Analysis-Hybrid Systems","volume":"56 ","pages":"Article 101577"},"PeriodicalIF":3.7,"publicationDate":"2025-05-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"143144666","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

Stabilization of unstable impulsive systems via stochastic discrete-time feedback control with Lévy noise 带lsamvy噪声的不稳定脉冲系统的随机离散反馈镇定

IF 3.7 2区计算机科学 Q2 AUTOMATION & CONTROL SYSTEMS

Nonlinear Analysis-Hybrid Systems

Pub Date : 2025-05-01 Epub Date: 2025-02-22 DOI: 10.1016/j.nahs.2025.101585

Mengmeng Zhang, Quanxin Zhu

It is universally acknowledged that noise can stabilize systems. Given an unstable impulsive system, can it be stabilized by Lévy noise? In this article, we mainly discuss the stochastic stabilization of unstable impulsive systems via Lévy noise. First, the conditions for

p

-moment exponential stability of unstable impulsive systems under continuous-time feedback control with Lévy noise are derived using the Lyapunov function method. Second, the almost sure exponentially stable conditions for the unstable impulsive systems under discrete-time feedback control with Lévy noise are derived through the comparison method. Additionally, several new stochastic stabilization strategies are proposed to design stochastic discrete-time feedback control for deriving almost sure exponentially stable results through stochastic analysis. Finally, two examples and their relevant simulation figures are given to check the validity of the results.

众所周知，噪声可以稳定系统。给定一个不稳定的脉冲系统，它能否被勒维噪声稳定呢？本文主要讨论通过莱维噪声实现不稳定脉冲系统的随机稳定。首先，利用莱维噪声的连续时间反馈控制，推导了不稳定脉冲系统的 p时刻指数稳定条件。其次，通过比较法推导了具有 Lévy 噪声的离散时间反馈控制下不稳定脉冲系统的几乎确定的指数稳定条件。此外，还提出了几种新的随机稳定策略，用于设计随机离散时间反馈控制，通过随机分析得出几乎确定的指数稳定结果。最后，给出了两个实例及其相关仿真数据，以检验结果的正确性。

引用次数: 0

Attack-resilient corrective control of nondeterministic asynchronous sequential machines and its application to a space-borne digital system 不确定异步顺序机的抗攻击纠偏控制及其在星载数字系统中的应用

IF 3.7 2区计算机科学 Q2 AUTOMATION & CONTROL SYSTEMS

Nonlinear Analysis-Hybrid Systems

Pub Date : 2025-05-01 Epub Date: 2025-01-16 DOI: 10.1016/j.nahs.2025.101575

Jung-Min Yang , Seong Woo Kwak

This article addresses a novel attack-resilient corrective control scheme for nondeterministic input/state asynchronous sequential machines (ASMs) vulnerable to actuator attacks. The considered actuator attack causes ASMs to undergo unauthorized state transitions in both fundamental and non-fundamental mode. In comparison with the case of deterministic ASMs, different control objectives and reachability conditions should be presented to fulfill complete attack detection and recovery. In the framework of corrective control theory with the state-burst feedback, we present the existence condition and design procedure for an attack-resilient corrective controller which harnesses nondeterminism in the machine’s operation. To demonstrate the superiority and applicability of the proposed control strategy, hardware experiments on field-programmable gate array (FPGA) circuits implementing a space-borne digital system are conducted and convincing experimental verifications are provided.

本文针对易受致动器攻击的不确定性输入/状态异步顺序机（asm）提出了一种新的抗攻击纠错控制方案。考虑的执行器攻击导致asm在基本和非基本模式下进行未经授权的状态转换。与确定性asm相比，要实现完整的攻击检测和恢复，需要提出不同的控制目标和可达性条件。在状态突发反馈纠偏控制理论的框架下，给出了一种利用机器运行中的不确定性的抗攻击纠偏控制器的存在条件和设计过程。为了证明所提出的控制策略的优越性和适用性，在实现星载数字系统的现场可编程门阵列（FPGA）电路上进行了硬件实验，并提供了令人信服的实验验证。

引用次数: 0

首页上一页

下一页尾页

类型

全部化学•材料生命科学医学物理工程技术环境•农林材料科学地球科学法学管理学化学环境科学与生态学计算机科学教育学经济学农林科学人文科学生物学数学物理与天体物理心理学综合性期刊其他工业工程理学历史学农学文学信息工程

数据库

全部 ACS Publications Elsevier ieeexplore Springer The Royal Society of Chemistry Wiley

期刊

Nonlinear Analysis-Hybrid Systems

全部 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.

﹀