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

Epidemic dynamics of cholera with impulsive sanitation 霍乱的流行动态与冲动性卫生设施

IF 4.2 2区计算机科学

Nonlinear Analysis-Hybrid Systems Pub Date : 2024-05-06 DOI: 10.1016/j.nahs.2024.101502

Xueying Wang , Feng-Bin Wang

{"title":"Epidemic dynamics of cholera with impulsive sanitation","authors":"Xueying Wang , Feng-Bin Wang","doi":"10.1016/j.nahs.2024.101502","DOIUrl":"https://doi.org/10.1016/j.nahs.2024.101502","url":null,"abstract":"<div><p>In this work, we develop an ordinary differential equation (ODE) model with impulsive sanitation of cholera. The sanitation interventions are classified into three types in this article. The first two types are human sanitation, with type-1 sanitation focused on the prevention of direct and indirect transmissions and type-2 focused on prevention of bacterial shedding. The third type refers to pathogen sanitation where interventions are performed in contaminated water environment via disinfection. For the developed impulsive model, we introduce the basic production number <span><math><msub><mrow><mi>R</mi></mrow><mrow><mn>0</mn></mrow></msub></math></span> and show that <span><math><msub><mrow><mi>R</mi></mrow><mrow><mn>0</mn></mrow></msub></math></span> remains a sharp disease threshold parameter despite the incorporation of impulsive sanitation. We numerically investigate the impact of impulsive sanitation on the prevention and control of the disease. Our numerical results indicate that type-1 sanitation tends to bear the longest time window between subsequent interventions among all the three types of sanitation provided the same level of sanitation efficacy. Particularly, when the sanitation efficacy is 50% under 90% compliance, type-1 sanitation can be implemented about every 7 months for the purpose of disease control, whereas type-2 and type-3 sanitation will have be performed on a daily basis and every three weeks or so, respectively.</p></div>","PeriodicalId":49011,"journal":{"name":"Nonlinear Analysis-Hybrid Systems","volume":"53 ","pages":"Article 101502"},"PeriodicalIF":4.2,"publicationDate":"2024-05-06","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"140843253","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

Approximate propagation of normal distributions for stochastic optimal control of nonsmooth systems 非平滑系统随机优化控制的正态分布近似传播

IF 4.2 2区计算机科学

Nonlinear Analysis-Hybrid Systems Pub Date : 2024-04-25 DOI: 10.1016/j.nahs.2024.101499

Florian Messerer , Katrin Baumgärtner , Armin Nurkanović , Moritz Diehl

{"title":"Approximate propagation of normal distributions for stochastic optimal control of nonsmooth systems","authors":"Florian Messerer , Katrin Baumgärtner , Armin Nurkanović , Moritz Diehl","doi":"10.1016/j.nahs.2024.101499","DOIUrl":"https://doi.org/10.1016/j.nahs.2024.101499","url":null,"abstract":"<div><p>We present a method for the approximate propagation of mean and covariance of a probability distribution through ordinary differential equations (ODE) with discontinuous right-hand side. For piecewise affine systems, a normalization of the propagated probability distribution at every time step allows us to analytically compute the expectation integrals of the mean and covariance dynamics while explicitly taking into account the discontinuity. This leads to a natural smoothing of the discontinuity such that for relevant levels of uncertainty the resulting ODE can be integrated directly with standard schemes and it is neither necessary to prespecify the switching sequence nor to use a switch detection method. We then show how this result can be employed in the more general case of piecewise smooth functions based on a structure preserving linearization scheme. The resulting dynamics can be straightforwardly used within standard formulations of stochastic optimal control problems with chance constraints.</p></div>","PeriodicalId":49011,"journal":{"name":"Nonlinear Analysis-Hybrid Systems","volume":"53 ","pages":"Article 101499"},"PeriodicalIF":4.2,"publicationDate":"2024-04-25","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://www.sciencedirect.com/science/article/pii/S1751570X24000360/pdfft?md5=336e52fbb6b773e070e11866caeedd91&pid=1-s2.0-S1751570X24000360-main.pdf","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"140644562","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

Comments on “Global leader-following consensus in finite time for fractional-order multi-agent systems with discontinuous inherent dynamics subject to nonlinear growth” 关于 "受非线性增长影响、具有不连续固有动态的分数阶多代理系统的有限时间内全球领导者-跟随者共识 "的评论

IF 4.2 2区计算机科学

Nonlinear Analysis-Hybrid Systems Pub Date : 2024-04-19 DOI: 10.1016/j.nahs.2024.101497

Vahid Badri

引用次数: 0

Observer-based SMC for discrete semi-Markov switching models 基于观测器的离散半马尔可夫开关模型 SMC

IF 4.2 2区计算机科学

Nonlinear Analysis-Hybrid Systems Pub Date : 2024-04-19 DOI: 10.1016/j.nahs.2024.101498

Shaowei Li , Lei Li , Huajian Wang , Wenhai Qi , Jinde Cao , Jun Cheng

引用次数: 0

Port-Hamiltonian modeling and jumping trajectory tracking control for a bio-inspired quadruped robot 生物启发四足机器人的端口-哈密尔顿建模和跳跃轨迹跟踪控制

IF 4.2 2区计算机科学

Nonlinear Analysis-Hybrid Systems Pub Date : 2024-04-15 DOI: 10.1016/j.nahs.2024.101496

Chi Zhang , Wei Zou , Liping Ma , Ningbo Cheng

{"title":"Port-Hamiltonian modeling and jumping trajectory tracking control for a bio-inspired quadruped robot","authors":"Chi Zhang , Wei Zou , Liping Ma , Ningbo Cheng","doi":"10.1016/j.nahs.2024.101496","DOIUrl":"https://doi.org/10.1016/j.nahs.2024.101496","url":null,"abstract":"<div><p>Applying jumping locomotion into autonomous mobile robot is an effective way for improving abilities to overcome barriers and pass through complex terrains. In this paper, based on the designed structural framework for bio-inspired quadruped jumping robot, dynamic model is established by utilizing port-Hamiltonian with dissipation (pHd) method, and a passivity-based control strategy for the robot joints trajectory tracking is presented. First, morphology and biomimetics knowledges of frogs (a kind of animals with excellent jumping skill) motivate us to complete a bio-inspired jumping robot framework based on frog’s motion mechanism and body structure with torsional springs as energy storage device. Then, combining system passivity and dissipation, port-Hamiltonian method is utilized to build a dynamic model for expressing the relationship of energy and force in the designed robot. Jumping process analysis of different stages is also designed for ensuring the robot to complete taking-off and landing stages successfully. Next, with the definition of extending feasible robotic joint trajectory by La Salle invariant set principle, interconnection and damping assignment passivity-based control (IDA-PBC) method is exerted to obtain a trajectory controller for realizing smoothly and stably trajectory tracking in joint space. At last, simulation results show the reasonableness of the designed framework. By comparing our method with state-feedback and sliding mode control, effectiveness of the dynamic model and trajectory controller is also verified.</p></div>","PeriodicalId":49011,"journal":{"name":"Nonlinear Analysis-Hybrid Systems","volume":"53 ","pages":"Article 101496"},"PeriodicalIF":4.2,"publicationDate":"2024-04-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"140555444","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

Hybrid stochastic SIS epidemic models with vaccination: Stability of the disease-free state and applications 带疫苗接种的混合随机 SIS 流行病模型：无疾病状态的稳定性及其应用

IF 4.2 2区计算机科学

Nonlinear Analysis-Hybrid Systems Pub Date : 2024-04-11 DOI: 10.1016/j.nahs.2024.101492

Nguyen T. Hieu , Dang H. Nguyen , Nhu N. Nguyen , Tran D. Tuong

引用次数: 0

Asymptotic behavior of inter-event times in planar systems under event-triggered control 事件触发控制下平面系统事件间时间的渐近行为

IF 4.2 2区计算机科学

Nonlinear Analysis-Hybrid Systems Pub Date : 2024-04-11 DOI: 10.1016/j.nahs.2024.101493

Anusree Rajan , Pavankumar Tallapragada

{"title":"Asymptotic behavior of inter-event times in planar systems under event-triggered control","authors":"Anusree Rajan , Pavankumar Tallapragada","doi":"10.1016/j.nahs.2024.101493","DOIUrl":"https://doi.org/10.1016/j.nahs.2024.101493","url":null,"abstract":"<div><p>This paper analyzes the asymptotic behavior of inter-event times in planar linear systems, under event-triggered control with a general class of scale-invariant event triggering rules. In this setting, the inter-event time is a function of the “angle” of the state at an event. This viewpoint allows us to analyze the inter-event times by studying the fixed points of the <em>angle map</em>, which represents the evolution of the “angle” of the state from one event to the next. We provide a sufficient condition for the convergence or non-convergence of inter-event times to a steady state value under a scale-invariant event-triggering rule. Following up on this, we further analyze the inter-event time behavior in the special case of threshold based event-triggering rule and we provide various conditions for convergence or non-convergence of inter-event times to a constant. We also analyze the asymptotic average inter-event time as a function of the angle of the initial state of the system. With the help of ergodic theory, we provide a sufficient condition for the asymptotic average inter-event time to be a constant for all non-zero initial states of the system. Then, we consider a special case where the <em>angle map</em> is an orientation-preserving homeomorphism. Using rotation theory, we comment on the asymptotic behavior of the inter-event times, including on whether the inter-event times converge to a periodic sequence. We illustrate the proposed results through numerical simulations.</p></div>","PeriodicalId":49011,"journal":{"name":"Nonlinear Analysis-Hybrid Systems","volume":"53 ","pages":"Article 101493"},"PeriodicalIF":4.2,"publicationDate":"2024-04-11","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"140542771","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

Closing Lemma for piecewise smooth vector fields with a recurrent point 有重复点的片断平稳矢量场的闭合定理

IF 4.2 2区计算机科学

Nonlinear Analysis-Hybrid Systems Pub Date : 2024-04-09 DOI: 10.1016/j.nahs.2024.101495

A.A. Antunes , T. Carvalho , O.M.L. Gomide

引用次数: 0

Fully automated verification of linear time-invariant systems against signal temporal logic specifications via reachability analysis 通过可达性分析，根据信号时序逻辑规范全自动验证线性时变系统

IF 4.2 2区计算机科学

Nonlinear Analysis-Hybrid Systems Pub Date : 2024-04-09 DOI: 10.1016/j.nahs.2024.101491

Niklas Kochdumper, Stanley Bak

{"title":"Fully automated verification of linear time-invariant systems against signal temporal logic specifications via reachability analysis","authors":"Niklas Kochdumper, Stanley Bak","doi":"10.1016/j.nahs.2024.101491","DOIUrl":"https://doi.org/10.1016/j.nahs.2024.101491","url":null,"abstract":"<div><p>While reachability analysis is one of the most promising approaches for formal verification of dynamic systems, a major disadvantage preventing a more widespread application is the requirement to manually tune algorithm parameters such as the time step size. Manual tuning is especially problematic if one aims to verify that the system satisfies complicated specifications described by signal temporal logic formulas since the effect the tightness of the reachable set has on the satisfaction of the specification is often non-trivial to see for humans. We address this problem with a fully-automated verifier for linear systems, which automatically refines all parameters for reachability analysis until it can either prove or disprove that the system satisfies a signal temporal logic formula for all initial states and all uncertain inputs. Our verifier combines reachset temporal logic with dependency preservation to obtain a model checking approach whose over-approximation error converges to zero for adequately tuned parameters. While we in this work focus on linear systems for simplicity, the general concept we present can equivalently be applied for nonlinear and hybrid systems.</p></div>","PeriodicalId":49011,"journal":{"name":"Nonlinear Analysis-Hybrid Systems","volume":"53 ","pages":"Article 101491"},"PeriodicalIF":4.2,"publicationDate":"2024-04-09","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"140540678","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

Time- versus event-triggered consensus of a single-integrator multi-agent system 单集成多代理系统的时间触发共识与事件触发共识

IF 4.2 2区计算机科学

Nonlinear Analysis-Hybrid Systems Pub Date : 2024-04-08 DOI: 10.1016/j.nahs.2024.101494

David Meister , Frank Aurzada , Mikhail A. Lifshits , Frank Allgöwer

{"title":"Time- versus event-triggered consensus of a single-integrator multi-agent system","authors":"David Meister , Frank Aurzada , Mikhail A. Lifshits , Frank Allgöwer","doi":"10.1016/j.nahs.2024.101494","DOIUrl":"https://doi.org/10.1016/j.nahs.2024.101494","url":null,"abstract":"<div><p>Event-triggered control has shown the potential for providing improved control performance at the same average sampling rate when compared to time-triggered control. While this observation motivates numerous event-triggered control schemes, proving it from a theoretical perspective has only been achieved for a limited number of settings. Inspired by existing performance analyses for the single-loop case, we provide a first fundamental performance comparison of time- and event-triggered control in a multi-agent consensus setting. For this purpose, we consider undirected connected network topologies without communication delays, a level-triggering rule for event-triggered control, and the long-term average of the quadratic deviation from consensus as a performance measure. The main finding of our analysis is that time-triggered control provably outperforms event-triggered control beyond a certain number of agents in our particular setting. We thereby provide an illustrative distributed problem setup in which event-triggered control results in a performance disadvantage when compared to time-triggered control in the case of large networks. Moreover, we derive the asymptotic order of the performance measure under both triggering schemes which gives more insights into the cost relationship for large numbers of agents. Thus, by presenting an analysis for a particular setup, this work points out that transferring an event-triggering scheme from the single-loop to the multi-agent setting can lead to a loss of the often presumed superiority of event-triggered control over time-triggered control. In particular, the design of performant decentralized event-triggering schemes can therefore pose additional challenges when compared to the analogue single-loop case.</p></div>","PeriodicalId":49011,"journal":{"name":"Nonlinear Analysis-Hybrid Systems","volume":"53 ","pages":"Article 101494"},"PeriodicalIF":4.2,"publicationDate":"2024-04-08","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://www.sciencedirect.com/science/article/pii/S1751570X24000311/pdfft?md5=c0f126dfdb9d6ccac1b7e7c04c28e035&pid=1-s2.0-S1751570X24000311-main.pdf","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"140535100","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