Nonlinear Analysis-Hybrid Systems最新文献

英文中文

Conformal quantitative predictive monitoring of stochastic systems with conditional validity 条件有效随机系统的保形定量预测监测

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

Nonlinear Analysis-Hybrid Systems

Pub Date : 2025-05-14 DOI: 10.1016/j.nahs.2025.101606

Francesca Cairoli , Tom Kuipers , Luca Bortolussi , Nicola Paoletti

We consider the problem of predictive monitoring (PM), i.e., predicting at runtime the satisfaction of a desired property from the current system’s state. Due to its relevance for runtime safety assurance and online control, PM methods need to be efficient to enable timely interventions against predicted violations, while providing correctness guarantees. We introduce quantitative predictive monitoring (QPM), a PM method to support stochastic processes and rich specifications given in Signal Temporal Logic (STL). QPM provides a quantitative measure of satisfaction of some property

ϕ

by predicting its quantitative (a.k.a. robust) STL semantics, either spatial or temporal. QPM derives prediction intervals that are highly efficient to compute and with probabilistic guarantees, in that the intervals cover with arbitrary probability the STL robustness values relative to the stochastic evolution of the system. To do so, we take a machine-learning approach and leverage recent advances in conformal inference for quantile regression, thereby avoiding expensive Monte Carlo simulations at runtime to estimate the intervals. We also show how our monitors can be combined in a compositional manner to handle composite formulas, without retraining the predictors or sacrificing the guarantees. We further equip QPM with techniques to ensure conditional validity of the prediction intervals, i.e., such that the probabilistic guarantees hold relative to any state of the system (or any satisfaction value), thereby significantly enhancing the consistency and reliability of the resulting monitor. We demonstrate the effectiveness and scalability of QPM over a benchmark of five discrete-time stochastic processes with varying degrees of complexity, including a stochastic multi-agent system.

我们考虑预测监视（PM）的问题，即在运行时预测当前系统状态对期望属性的满足程度。由于PM方法与运行时安全保证和在线控制相关，因此PM方法需要高效地支持对预测的违规进行及时干预，同时提供正确性保证。我们介绍了定量预测监测（QPM），一种支持随机过程的PM方法和信号时间逻辑（STL）中给出的丰富规范。QPM通过预测其定量（即鲁棒性）STL语义（无论是空间的还是时间的），提供了对某些属性φ的满足的定量度量。QPM导出的预测区间计算效率很高，并且具有概率保证，因为该区间以任意概率覆盖相对于系统随机演化的STL鲁棒性值。为此，我们采用机器学习方法并利用分位数回归的保形推理的最新进展，从而避免在运行时进行昂贵的蒙特卡罗模拟来估计区间。我们还展示了如何以组合方式组合监视器来处理组合公式，而无需重新训练预测器或牺牲保证。我们进一步为QPM配备了技术，以确保预测区间的条件有效性，即，这样的概率保证相对于系统的任何状态（或任何满意度值）都保持不变，从而显著提高了结果监视器的一致性和可靠性。我们在包括随机多智能体系统在内的五个不同复杂程度的离散随机过程的基准上证明了QPM的有效性和可扩展性。

{"title":"Conformal quantitative predictive monitoring of stochastic systems with conditional validity","authors":"Francesca Cairoli , Tom Kuipers , Luca Bortolussi , Nicola Paoletti","doi":"10.1016/j.nahs.2025.101606","DOIUrl":"10.1016/j.nahs.2025.101606","url":null,"abstract":"<div><div>We consider the problem of predictive monitoring (PM), i.e., predicting at runtime the satisfaction of a desired property from the current system’s state. Due to its relevance for runtime safety assurance and online control, PM methods need to be efficient to enable timely interventions against predicted violations, while providing correctness guarantees. We introduce <em>quantitative predictive monitoring (QPM)</em>, a PM method to support stochastic processes and rich specifications given in Signal Temporal Logic (STL). QPM provides a quantitative measure of satisfaction of some property <span><math><mi>ϕ</mi></math></span> by predicting its quantitative (a.k.a. robust) STL semantics, either spatial or temporal. QPM derives prediction intervals that are highly efficient to compute and with probabilistic guarantees, in that the intervals cover with arbitrary probability the STL robustness values relative to the stochastic evolution of the system. To do so, we take a machine-learning approach and leverage recent advances in conformal inference for quantile regression, thereby avoiding expensive Monte Carlo simulations at runtime to estimate the intervals. We also show how our monitors can be combined in a compositional manner to handle composite formulas, without retraining the predictors or sacrificing the guarantees. We further equip QPM with techniques to ensure conditional validity of the prediction intervals, i.e., such that the probabilistic guarantees hold relative to any state of the system (or any satisfaction value), thereby significantly enhancing the consistency and reliability of the resulting monitor. We demonstrate the effectiveness and scalability of QPM over a benchmark of five discrete-time stochastic processes with varying degrees of complexity, including a stochastic multi-agent system.</div></div>","PeriodicalId":49011,"journal":{"name":"Nonlinear Analysis-Hybrid Systems","volume":"57 ","pages":"Article 101606"},"PeriodicalIF":3.7,"publicationDate":"2025-05-14","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"143942252","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

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

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

Nonlinear Analysis-Hybrid Systems

Pub 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-05-14","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

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-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

Piecewise smooth vector fields with sliding motion preserving measure 具有滑动运动保持措施的分段光滑矢量场

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

Nonlinear Analysis-Hybrid Systems

Pub Date : 2025-04-28 DOI: 10.1016/j.nahs.2025.101602

Marco Florentino , Tiago Carvalho

In this paper we establish conditions in order to obtain a set of trajectories of

n

-dimensional piecewise smooth vector fields that preserves measure even in the case where sliding motion is allowed. The key hypothesis is the occurrence of a sliding–escaping connection. As consequence, classical results from the ergodic theory of dynamical systems can be adapted for the context of piecewise smooth vector fields, just as the Poincaré’s Recurrence Theorem and the Birkhoff’s Theorem. Also, we apply the results for previous models of the literature.

本文建立了一组n维分段光滑向量场的轨迹的条件，即使在允许滑动运动的情况下也能保持测量。关键假设是滑脱连接的发生。因此，动力系统遍历理论的经典结果可以适用于分段光滑向量场的背景，就像庞加莱的递归定理和伯克霍夫定理一样。此外，我们将结果应用于文献的先前模型。

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

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-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

Lyapunov-like prescribed-time stability of impulsive systems via event & self-triggered impulsive control 通过事件和自触发脉冲控制的脉冲系统的类李雅普诺夫规定时间稳定性

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

Nonlinear Analysis-Hybrid Systems

Pub Date : 2025-04-16 DOI: 10.1016/j.nahs.2025.101598

Arnab Mapui, Santwana Mukhopadhyay

The main emphasis of this paper is to address the issue of event- and self-triggered impulsive control for the prescribed-time stability of impulsive systems. In the first part of the article, some Lyapunov-like sufficient conditions are derived to stabilize an impulsive system within the prescribed-time, where impulsive instants are obtained through an event-triggered mechanism. Unlike event-triggered control, event-triggered impulsive control executes solely when the event is generated. The second part of the article provides sufficient Lyapunov-like criteria for the prescribed-time stability of impulsive systems via a self-triggered mechanism. Contrary to the event-triggered impulsive control, where triggering instants are obtained through continuous or periodic monitoring of the event-triggering conditions, the proposed self-triggered impulsive control strategy can estimate the next triggering instant by the information available in the currently triggered instant. Moreover, it is demonstrated that the Zeno behavior can be excluded from both of the proposed mechanisms. Finally, two instances are provided to illustrate the theoretical results numerically and verify the veracity of the proposed methodologies.

本文的重点是解决事件触发和自触发脉冲控制问题，以保证脉冲系统的规定时间稳定性。在文章的第一部分中，导出了在规定时间内稳定脉冲系统的一些类lyapunov充分条件，其中脉冲瞬间是通过事件触发机制获得的。与事件触发控制不同，事件触发脉冲控制仅在事件生成时执行。文章的第二部分通过自触发机制为脉冲系统的规定时间稳定性提供了充分的类李雅普诺夫判据。与事件触发脉冲控制通过对事件触发条件的连续或周期性监测来获得触发时刻不同，本文提出的自触发脉冲控制策略可以根据当前触发时刻中可用的信息来估计下一个触发时刻。此外，还证明了芝诺行为可以被排除在这两种机制之外。最后，通过两个实例对理论结果进行了数值说明，验证了所提方法的准确性。

{"title":"Lyapunov-like prescribed-time stability of impulsive systems via event & self-triggered impulsive control","authors":"Arnab Mapui, Santwana Mukhopadhyay","doi":"10.1016/j.nahs.2025.101598","DOIUrl":"10.1016/j.nahs.2025.101598","url":null,"abstract":"<div><div>The main emphasis of this paper is to address the issue of event- and self-triggered impulsive control for the prescribed-time stability of impulsive systems. In the first part of the article, some Lyapunov-like sufficient conditions are derived to stabilize an impulsive system within the prescribed-time, where impulsive instants are obtained through an event-triggered mechanism. Unlike event-triggered control, event-triggered impulsive control executes solely when the event is generated. The second part of the article provides sufficient Lyapunov-like criteria for the prescribed-time stability of impulsive systems via a self-triggered mechanism. Contrary to the event-triggered impulsive control, where triggering instants are obtained through continuous or periodic monitoring of the event-triggering conditions, the proposed self-triggered impulsive control strategy can estimate the next triggering instant by the information available in the currently triggered instant. Moreover, it is demonstrated that the Zeno behavior can be excluded from both of the proposed mechanisms. Finally, two instances are provided to illustrate the theoretical results numerically and verify the veracity of the proposed methodologies.</div></div>","PeriodicalId":49011,"journal":{"name":"Nonlinear Analysis-Hybrid Systems","volume":"57 ","pages":"Article 101598"},"PeriodicalIF":3.7,"publicationDate":"2025-04-16","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"143838386","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-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-04-12","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

Stabilization of nonlinear delay systems: Adaptive impulsive observer-based saturated control approach 非线性时滞系统的镇定：基于自适应脉冲观测器的饱和控制方法

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

Nonlinear Analysis-Hybrid Systems

Pub Date : 2025-03-28 DOI: 10.1016/j.nahs.2025.101596

Cuiping Lu , Xiaodi Li

This paper concentrates on stabilization problem of nonlinear delay systems involved unknown parameters via adaptive impulsive observer-based saturated control (AIOSC). Different from the existing literature that only the system state reconstruction and parameter estimation problems are comprehensively and thoroughly studied, we simultaneously solve the stabilization problem of such system itself. In virtue of an improved set inclusion relationship related to the augmented vector, the saturated effects on both impulsive correction and continuous control are explored in the sense of unmeasurable states. The main challenge of this paper is that with the help of the modified convex combination method, the time-varying Lyapunov function-based method, and comparison principle, how to fully utilize the systematic information to construct an elastic constraint relationship among system structure, delay information, and impulsive time sequence, which makes system parameters adjust appropriately as needed. Moreover, the maximum estimation of attractive domain is obtained by a convex optimal problem. And two examples are presented to demonstrate the validity of results, where stabilization of Lorenz system involved unknown parameters is considered.

研究了基于自适应脉冲观测器的非线性时滞系统的饱和控制问题。与现有文献只对系统状态重构和参数估计问题进行全面深入的研究不同，我们同时解决了这类系统本身的镇定问题。利用与增广向量相关的一种改进的集包含关系，探讨了不可测状态下脉冲校正和连续控制的饱和效应。本文的主要挑战是如何利用改进的凸组合法、时变Lyapunov函数法和比较原理，充分利用系统信息在系统结构、延迟信息和脉冲时间序列之间构建弹性约束关系，使系统参数能够根据需要进行适当调整。此外，利用凸最优问题得到了吸引域的最大估计。最后给出了两个考虑未知参数的洛伦兹系统镇定问题的算例，验证了结果的有效性。

{"title":"Stabilization of nonlinear delay systems: Adaptive impulsive observer-based saturated control approach","authors":"Cuiping Lu , Xiaodi Li","doi":"10.1016/j.nahs.2025.101596","DOIUrl":"10.1016/j.nahs.2025.101596","url":null,"abstract":"<div><div>This paper concentrates on stabilization problem of nonlinear delay systems involved unknown parameters via adaptive impulsive observer-based saturated control (<em>AIOSC</em>). Different from the existing literature that only the system state reconstruction and parameter estimation problems are comprehensively and thoroughly studied, we simultaneously solve the stabilization problem of such system itself. In virtue of an improved set inclusion relationship related to the augmented vector, the saturated effects on both impulsive correction and continuous control are explored in the sense of unmeasurable states. The main challenge of this paper is that with the help of the modified convex combination method, the time-varying Lyapunov function-based method, and comparison principle, how to fully utilize the systematic information to construct an elastic constraint relationship among system structure, delay information, and impulsive time sequence, which makes system parameters adjust appropriately as needed. Moreover, the maximum estimation of attractive domain is obtained by a convex optimal problem. And two examples are presented to demonstrate the validity of results, where stabilization of Lorenz system involved unknown parameters is considered.</div></div>","PeriodicalId":49011,"journal":{"name":"Nonlinear Analysis-Hybrid Systems","volume":"57 ","pages":"Article 101596"},"PeriodicalIF":3.7,"publicationDate":"2025-03-28","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"143724107","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

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-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

首页上一页

下一页尾页

类型

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

数据库

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

﹀