Nonlinear Analysis-Hybrid Systems最新文献_第2页

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

IF 3.7 2区计算机科学

Nonlinear Analysis-Hybrid Systems Pub Date : 2025-04-16 DOI: 10.1016/j.nahs.2025.101598

Arnab Mapui, Santwana Mukhopadhyay

{"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区计算机科学

Nonlinear Analysis-Hybrid Systems Pub Date : 2025-04-12 DOI: 10.1016/j.nahs.2025.101599

Wu-Hua Chen, Hengliang Xiang

{"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区计算机科学

Nonlinear Analysis-Hybrid Systems Pub Date : 2025-03-28 DOI: 10.1016/j.nahs.2025.101596

Cuiping Lu , Xiaodi Li

{"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区计算机科学

Nonlinear Analysis-Hybrid Systems Pub Date : 2025-03-25 DOI: 10.1016/j.nahs.2025.101595

Hankang Ji , Yuanyuan Li , Xueying Ding , Jianquan Lu

引用次数: 0

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

IF 3.7 2区计算机科学

Nonlinear Analysis-Hybrid Systems Pub 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

{"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-03-20","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

Detectability notions for a class of finite labeled Markovian systems 一类有限标记马尔可夫系统的可检测性概念

IF 3.7 2区计算机科学

Nonlinear Analysis-Hybrid Systems Pub Date : 2025-03-07 DOI: 10.1016/j.nahs.2025.101586

Dimitri Lefebvre , Carla Seatzu , Christoforos N. Hadjicostis , Alessandro Giua

{"title":"Detectability notions for a class of finite labeled Markovian systems","authors":"Dimitri Lefebvre , Carla Seatzu , Christoforos N. Hadjicostis , Alessandro Giua","doi":"10.1016/j.nahs.2025.101586","DOIUrl":"10.1016/j.nahs.2025.101586","url":null,"abstract":"<div><div>This paper is about state estimation in a timed probabilistic setting. A reference model, namely a labeled timed probabilistic automaton, is used for this purpose and an a posteriori probability vector is defined based on a sequence of observations and their associated time stamps that have been collected thus far. The observable language of the considered system is assumed to be live. The main contribution of the paper is to introduce and characterize some basic detectability notions for timed stochastic systems: (i) <em>event detectability</em>, which implies that the system becomes detectable at the time instant of each new observation but may lose the detectability property between two observations, and (ii) <em>silent detectability</em>, which implies that the system becomes detectable when no observation is collected within an arbitrary large duration. Relaxed notions of detectability are also studied: first, assuming that, given a threshold, the a priori probability that an observed timed sequence leads to an exact reconstruction of the state, is larger than or equal to that threshold; second, by replacing the estimation of single states by the estimation of classes formed by several states.</div></div>","PeriodicalId":49011,"journal":{"name":"Nonlinear Analysis-Hybrid Systems","volume":"57 ","pages":"Article 101586"},"PeriodicalIF":3.7,"publicationDate":"2025-03-07","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"143563098","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":2,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"OA","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

引用次数: 0

Fixed-time intermittent control for a class of switched chaotic systems 一类切换混沌系统的定时间歇控制

IF 3.7 2区计算机科学

Nonlinear Analysis-Hybrid Systems Pub Date : 2025-02-27 DOI: 10.1016/j.nahs.2025.101587

Luxia Han, Runzi Luo, Panpan Zhang, Xianzhou Liu, Shuai Liu, Zijun Song

引用次数: 0

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

IF 3.7 2区计算机科学

Nonlinear Analysis-Hybrid Systems Pub Date : 2025-02-22 DOI: 10.1016/j.nahs.2025.101585

Mengmeng Zhang, Quanxin Zhu

引用次数: 0

Reachability analysis of recurrent neural networks 递归神经网络的可达性分析

IF 3.7 2区计算机科学

Nonlinear Analysis-Hybrid Systems Pub Date : 2025-02-21 DOI: 10.1016/j.nahs.2025.101581

Sung Woo Choi , Yuntao Li , Xiaodong Yang , Tomoya Yamaguchi , Bardh Hoxha , Georgios Fainekos , Danil Prokhorov , Hoang-Dung Tran

{"title":"Reachability analysis of recurrent neural networks","authors":"Sung Woo Choi , Yuntao Li , Xiaodong Yang , Tomoya Yamaguchi , Bardh Hoxha , Georgios Fainekos , Danil Prokhorov , Hoang-Dung Tran","doi":"10.1016/j.nahs.2025.101581","DOIUrl":"10.1016/j.nahs.2025.101581","url":null,"abstract":"<div><div>The paper proposes a new sparse star set representation and extends the recent star reachability method to verify the robustness of vanilla, long short-term memory (LSTM), and gated recurrent units (GRU) recurrent neural networks (RNNs) for safety-critical applications. RNNs are a popular machine learning method for various applications, but they are vulnerable to adversarial attacks, where slightly perturbing the input sequence can lead to an unexpected result. Recent notable techniques for verifying RNNs include unrolling and invariant inference approaches. The first method has scaling issues since unrolling an RNN creates a large feedforward neural network. The second method, using invariant sets, has better scalability but can produce unknown results due to the accumulation of over-approximation errors over time. This paper introduces a complementary verification method for RNNs that is both sound and complete. A relaxation parameter can be used to convert the method into a fast over-approximation method that still provides soundness guarantees. The vanilla RNN verification method is designed to be used with NNV, a tool for verifying deep neural networks and learning-enabled cyber–physical systems, while the verification approach of LSTM and GRU RNNs are implemented on <em>StarV</em>. Compared to state-of-the-art methods for verifying a vanilla RNN, the extended exact reachability method is <span><math><mrow><mn>10</mn><mo>×</mo></mrow></math></span> faster, and the over-approximation method is <span><math><mrow><mn>100</mn><mo>×</mo></mrow></math></span> to <span><math><mrow><mn>5000</mn><mo>×</mo></mrow></math></span> faster. Although the sparse star set is slow compared to state-of-the-art methods, it was able to verify more robust cases in general than them.</div></div>","PeriodicalId":49011,"journal":{"name":"Nonlinear Analysis-Hybrid Systems","volume":"56 ","pages":"Article 101581"},"PeriodicalIF":3.7,"publicationDate":"2025-02-21","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"143453561","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

Chaotic dynamics of three-dimensional piecewise linear systems with sliding heteroclinic cycles 具有滑动异斜周期的三维分段线性系统的混沌动力学

IF 3.7 2区计算机科学

Nonlinear Analysis-Hybrid Systems Pub Date : 2025-02-13 DOI: 10.1016/j.nahs.2025.101584

Zhe Zhao, Tiantian Wu

引用次数: 0