Nonlinear Analysis-Hybrid Systems最新文献

{"title":"L2-exponential stability and impulsive stabilization of neutral stochastic delay differential equations","authors":"Hoang Thi Duyen ,&nbsp;Ky Quan Tran","doi":"10.1016/j.nahs.2025.101647","DOIUrl":"10.1016/j.nahs.2025.101647","url":null,"abstract":"<div><div>This paper investigates <span><math><msup><mrow><mi>L</mi></mrow><mrow><mn>2</mn></mrow></msup></math></span>-exponential stability – also known as exponential stability in the mean square – of neutral stochastic delay differential equations with impulsive perturbations. Our primary objective is to stabilize an impulsive-free system by appropriately designing impulsive controls. Unlike previous studies, we introduce new and verifiable criteria for <span><math><msup><mrow><mi>L</mi></mrow><mrow><mn>2</mn></mrow></msup></math></span>-exponential stability. We further demonstrate that Euler–Maruyama-type approximations preserve <span><math><msup><mrow><mi>L</mi></mrow><mrow><mn>2</mn></mrow></msup></math></span>-exponential stability provided that the step sizes are sufficiently small; explicit conditions on these step sizes are derived. Moreover, we detail the design of impulsive perturbations that achieve <span><math><msup><mrow><mi>L</mi></mrow><mrow><mn>2</mn></mrow></msup></math></span>-exponential stabilization. Two examples are presented to validate the effectiveness of our criteria.</div></div>","PeriodicalId":49011,"journal":{"name":"Nonlinear Analysis-Hybrid Systems","volume":"59 ","pages":"Article 101647"},"PeriodicalIF":3.7,"publicationDate":"2025-09-26","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"145158732","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}

{"title":"Exponential stability analysis of discrete-time almost periodic piecewise nonlinear systems","authors":"Xiaoyun Wei ,&nbsp;Xingwen Liu ,&nbsp;Jun Yang ,&nbsp;Tingjin Liu","doi":"10.1016/j.nahs.2025.101642","DOIUrl":"10.1016/j.nahs.2025.101642","url":null,"abstract":"<div><div>This paper focuses on exponential stability analysis for discrete-time almost periodic piecewise nonlinear systems (APPNSs) with uncertain dwell time of subsystems. A discrete-time APPNS has a fundamental period, during which a finite number of subsystems that constitute the system are cyclically activated. Such systems can be modeled as switched systems with cyclically switching signals. With the assumption that the vector field of each subsystem of discrete-time APPNSs is continuously differentiable, a Lyapunov theorem is presented first to verify the exponential stability of discrete-time APPNSs. Then, a linearization method is employed and a mixed-mode time-varying homogeneous Lyapunov function is constructed to derive specific stability conditions expressed by linear matrix inequalities (LMIs). Note that this condition can verify the exponential stability of the considered nonlinear systems, as well as that of the corresponding linearized systems. Furthermore, the linearization method used here can be applied to general switched systems.</div></div>","PeriodicalId":49011,"journal":{"name":"Nonlinear Analysis-Hybrid Systems","volume":"59 ","pages":"Article 101642"},"PeriodicalIF":3.7,"publicationDate":"2025-09-18","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"145096590","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}

{"title":"Finite-time stability and stabilization of positive switched delay systems with non-instantaneous impulses on time scales and applications to multi-agent systems","authors":"Bhim Kumar,&nbsp;Muslim Malik","doi":"10.1016/j.nahs.2025.101643","DOIUrl":"10.1016/j.nahs.2025.101643","url":null,"abstract":"<div><div>This paper investigates the finite-time stability and stabilization of impulsive positive switched delay systems defined on arbitrary time scales, using Lyapunov function-based methods. The finite-time stabilization problem is solved using state feedback controllers on time scales. Furthermore, the applicability of the proposed finite-time stability criteria is demonstrated for positive switched multi-agent delay systems by designing an event-triggered controller on time scales. The analysis extends the existing results to incorporate hybrid time domains with time-dependent switching and provide sufficient conditions for the system’s stability and stabilization within the specified time period. To demonstrate the results of this paper, several numerical and simulation-based examples are presented by considering continuous, discrete, and hybrid time domains simultaneously.</div></div>","PeriodicalId":49011,"journal":{"name":"Nonlinear Analysis-Hybrid Systems","volume":"59 ","pages":"Article 101643"},"PeriodicalIF":3.7,"publicationDate":"2025-09-18","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"145096589","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}

{"title":"Event-triggered boundary consensus for multi-agent systems of hyperbolic balance laws","authors":"Mengyao Lu,&nbsp;Jingyuan Zhan,&nbsp;Liguo Zhang","doi":"10.1016/j.nahs.2025.101632","DOIUrl":"10.1016/j.nahs.2025.101632","url":null,"abstract":"<div><div>This study addresses the boundary consensus problem of multi-agent systems, in which each agent is governed by hyperbolic partial differential equations. To reduce the controller update frequency, the event-triggered boundary controller is proposed for each agent based on the boundary state information of its neighbors and itself. Firstly, we present the well-posedness and consensus analysis under undirected communication graphs. By using Lyapunov approach and graph theory, we obtain the sufficient conditions associated with triggering parameters, Laplacian eigenvalues and boundary coefficient matrices for guaranteeing the asymptotic consensus and excluding Zeno behaviors. Next, we further consider the consensus problem under the directed communication topologies, and we also establish the sufficient conditions for ensuring the asymptotic consensus. Finally, we present a three-lane freeway traffic flow system described by Aw–Rascle–Zhang Equations as an example to demonstrate the effectiveness of the designed event-triggered boundary consensus controllers.</div></div>","PeriodicalId":49011,"journal":{"name":"Nonlinear Analysis-Hybrid Systems","volume":"59 ","pages":"Article 101632"},"PeriodicalIF":3.7,"publicationDate":"2025-09-12","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"145046681","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}

{"title":"Quantitative verification of learning-enabled systems using ProbStar reachability","authors":"Yuntao Li ,&nbsp;Sung Woo Choi ,&nbsp;Hideki Okamoto ,&nbsp;Bardh Hoxha ,&nbsp;Georgios Fainekos ,&nbsp;Hoang-Dung Tran","doi":"10.1016/j.nahs.2025.101623","DOIUrl":"10.1016/j.nahs.2025.101623","url":null,"abstract":"<div><div>Deep neural networks (DNN) verification primarily focuses on <em>qualitative verification</em>, determining whether a DNN violates safety or robustness properties. This paper introduces a novel approach for <em>quantitative verification</em> of Feedforward Neural Networks (FFNN), transforming qualitative assessments into probabilistic evaluations. The resulting quantitative verification method not only can answer YES or NO questions but also can compute the probability of a property being violated. To do that, we introduce the concept of a probabilistic star (or shortly ProbStar), a new variant of the well-known star set, in which the predicate variables belong to a Gaussian distribution. We further propose an approach to compute the probability of a probabilistic star in high-dimensional space. Unlike existing works dealing with constrained input sets, our work considers the input set as a truncated multivariate normal (Gaussian) distribution, i.e., besides the constraints on the input variables, the input set has a probability of the constraints being satisfied. The input distribution is represented as a probabilistic star set and propagates through a network to construct the output reachable set containing multiple ProbStars, which are used to verify the safety or robustness properties of the network. In case a property is violated, the violation probability can be computed precisely by an exact verification algorithm or approximately by an over-approximate verification algorithm. Building on this foundation, we extend our quantitative verification framework to Learning-Enabled Cyber-Physical Systems (Le-CPS), where a piecewise linear FFNN controls a linear physical plant model. Our approach enables the construction of probabilistic reachable sets for Le-CPS, allowing for both qualitative Safe/Unsafe assessments and quantitative probability computations of property violations. We have implemented our verification framework in a tool named <em>StarV</em> and evaluated its effectiveness on benchmarks including HorizontalCAS and ACASXu networks, a rocket landing system, as well as advanced emergency braking and adaptive cruise control systems within the Le-CPS domain.</div></div>","PeriodicalId":49011,"journal":{"name":"Nonlinear Analysis-Hybrid Systems","volume":"59 ","pages":"Article 101623"},"PeriodicalIF":3.7,"publicationDate":"2025-09-12","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"145046682","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}

{"title":"Finite-time stability of jump diffusion system and its application in drill-bit tracking control","authors":"Mingyu Wang ,&nbsp;Xiaofeng Zong ,&nbsp;Xin Chen","doi":"10.1016/j.nahs.2025.101634","DOIUrl":"10.1016/j.nahs.2025.101634","url":null,"abstract":"<div><div>This paper investigates the finite-time stability of a jump diffusion system with Brownian motion and random jump components. First, we establish a novel Lyapunov-type finite-time stability theorem, which provides a direct way for selecting an appropriate Lyapunov function. It is important to note that our finite-time stability result is significantly distinct from the case involving only Brownian motion. The presence of the jump term disrupts the continuity of the system’s solution paths, thereby introducing additional complexities in the analysis of finite-time stability. Subsequently, we employ this theorem to design a finite-time controller to ensure the finite-time stochastic stability of the tracking error in a drill-bit system. The proposed control strategy guarantees that the tracking error converges to the origin within finite time and remains there thereafter with probability one. Finally, simulation results are presented to validate the effectiveness of the proposed control law in achieving precise drill-bit tracking control.</div></div>","PeriodicalId":49011,"journal":{"name":"Nonlinear Analysis-Hybrid Systems","volume":"59 ","pages":"Article 101634"},"PeriodicalIF":3.7,"publicationDate":"2025-09-11","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"145046680","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}

{"title":"Timed initial-state detectability of discrete-event systems by algebraic method","authors":"Shaowen Miao ,&nbsp;Aiwen Lai ,&nbsp;Jan Komenda ,&nbsp;Sébastien Lahaye","doi":"10.1016/j.nahs.2025.101633","DOIUrl":"10.1016/j.nahs.2025.101633","url":null,"abstract":"<div><div>In this paper, we address the problem of initial-state detectability (I-detectability) for timed discrete-event systems modeled by time-interval automata (TIAs). An I-observer, defined over a timed event set, is developed to check both strong and weak I-detectability. Additionally, an I-detector structure is designed as an alternative method for verifying strong I-detectability, which is more efficient than the I-observer in certain cases. In addition, we are the first to formally define the concepts of strong and weak timed initial-state detectability (<span><math><mi>T</mi></math></span>-I-detectability) within the framework of timed discrete-event systems. Specifically, I-detectability necessitates that the initial state of a system can be detected after a finite number of observations. From another perspective, <span><math><mi>T</mi></math></span>-I-detectability entails that the initial state can be ascertained after a delay of <span><math><mi>T</mi></math></span> time units. Under the assumption that every cycle in the TIA has strictly positive weight, we establish that a TIA is <span><math><mi>T</mi></math></span>-I-detectable if and only if it satisfies the condition of being I-detectable. Finally, we introduce an algebraic method to compute the upper bound of time that needs to elapse before the initial state can be determined in an I-detectable TIA.</div></div>","PeriodicalId":49011,"journal":{"name":"Nonlinear Analysis-Hybrid Systems","volume":"59 ","pages":"Article 101633"},"PeriodicalIF":3.7,"publicationDate":"2025-09-10","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"145027221","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}

{"title":"Closure certificates","authors":"Vishnu Murali,&nbsp;Ashutosh Trivedi,&nbsp;Majid Zamani","doi":"10.1016/j.nahs.2025.101630","DOIUrl":"10.1016/j.nahs.2025.101630","url":null,"abstract":"<div><div>A <em>barrier certificate</em>, defined over the states of a dynamical system, is a real-valued function whose zero level set characterizes an inductively verifiable <em>state invariant</em> separating reachable states from unsafe ones. When combined with powerful decision procedures — such as sum-of-squares programming (SOS) or satisfiability-modulo-theory solvers (SMT) — barrier certificates enable an automated deductive verification approach to safety. The barrier certificate approach has been extended to refute LTL and <span><math><mi>ω</mi></math></span>-regular specifications by separating consecutive transitions of corresponding <span><math><mi>ω</mi></math></span>-automata in the hope of denying all accepting runs. Unsurprisingly, such tactics are bound to be conservative as refutation of <em>recurrence properties</em> requires reasoning about ranking functions to prove liveness as well. This paper introduces the notion of <em>closure certificates</em> as a natural extension of barrier certificates from state invariants to transition invariants. We show how one may use ranking function arguments over such certificates to verify discrete-time dynamical systems against Linear Temporal logic formulae. We augment these definitions with SOS and SMT based characterization for automating the search of closure certificates and demonstrate their effectiveness over some case studies.</div></div>","PeriodicalId":49011,"journal":{"name":"Nonlinear Analysis-Hybrid Systems","volume":"59 ","pages":"Article 101630"},"PeriodicalIF":3.7,"publicationDate":"2025-09-09","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"145020290","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}

{"title":"A new kind of fractional implicit sweeping processes with history-dependent operators: Well-posedness and applications","authors":"Shengda Zeng ,&nbsp;Jinsheng Du ,&nbsp;Sergey A. Timoshin ,&nbsp;Emilio Vilches","doi":"10.1016/j.nahs.2025.101631","DOIUrl":"10.1016/j.nahs.2025.101631","url":null,"abstract":"<div><div>We study the well-posedness (existence and uniqueness of a solution) to state-dependent and state-independent Caputo–Katugampola fractional implicit sweeping processes with history-dependent operators in a real Hilbert space. First, using convex analysis tools we reduce these two types of sweeping processes to equivalent differential equations. Second, we employ the Banach fixed-point theorem and fixed-point argument for condensing mappings to examine the well-posedness of the latter equations. Third, we apply our results to circuit models that incorporate memristors and fractional capacitors, and conduct some numerical simulations for these models. We note that the results in this article extend the research of Adly and Haddad (2018), Migórski et al. (2019) and Jourani and Vilches (2019).</div></div>","PeriodicalId":49011,"journal":{"name":"Nonlinear Analysis-Hybrid Systems","volume":"59 ","pages":"Article 101631"},"PeriodicalIF":3.7,"publicationDate":"2025-09-04","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"144989545","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}

{"title":"Geometric singular perturbation on a positive measure minimal set of a planar piecewise smooth vector field","authors":"Tiago Carvalho ,&nbsp;Luiz Fernando Gonçalves ,&nbsp;Bruno Rodrigues Freitas","doi":"10.1016/j.nahs.2025.101628","DOIUrl":"10.1016/j.nahs.2025.101628","url":null,"abstract":"<div><div>In this paper, we employ the geometric theory of singular perturbations to obtain detailed insights concerning a class of piecewise smooth vector fields exhibiting a positive measure minimal set. The canonical form used in our analysis represents a larger class of piecewise smooth systems, encompassing models of discontinuous harmonic oscillators. Through a desingularization process, which entails the application of a <span><math><msup><mrow><mi>C</mi></mrow><mrow><mi>n</mi></mrow></msup></math></span>-regularization function along with successive weighted blow-ups (directional, spherical and polar), we obtain an attractor for the trajectories of the desingularized vector field <span><math><msub><mrow><mi>Z</mi></mrow><mrow><mi>ω</mi></mrow></msub></math></span>.</div></div>","PeriodicalId":49011,"journal":{"name":"Nonlinear Analysis-Hybrid Systems","volume":"58 ","pages":"Article 101628"},"PeriodicalIF":3.7,"publicationDate":"2025-09-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"144921839","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}