Nonlinear Analysis-Hybrid Systems最新文献

筛选
英文 中文
SySCoRe 2.0: Toolset for formal control synthesis of continuous-state stochastic systems and temporal logic specifications 工具集的形式控制综合连续状态随机系统和时间逻辑规范
IF 3.7 2区 计算机科学
Nonlinear Analysis-Hybrid Systems Pub Date : 2025-05-30 DOI: 10.1016/j.nahs.2025.101607
B.C. van Huijgevoort , M.H.W. Engelaar , S. Soudjani , S. Haesaert
{"title":"SySCoRe 2.0: Toolset for formal control synthesis of continuous-state stochastic systems and temporal logic specifications","authors":"B.C. van Huijgevoort ,&nbsp;M.H.W. Engelaar ,&nbsp;S. Soudjani ,&nbsp;S. Haesaert","doi":"10.1016/j.nahs.2025.101607","DOIUrl":"10.1016/j.nahs.2025.101607","url":null,"abstract":"<div><div>We present <span>SySCoRe</span> 2.0, a <span>MATLAB</span> toolset that synthesizes controllers for stochastic systems to satisfy temporal logic specifications. Starting from a system description and a co-safe temporal logic specification, <span>SySCoRe</span> provides all necessary functions for synthesizing a robust controller and quantifying the associated formal robustness guarantees. It distinguishes itself from other available tools by supporting both stochastic model order reduction techniques and space discretizations, and by being applicable to nonlinear dynamics and complex co-safe temporal logic specifications over infinite horizons. To achieve this, <span>SySCoRe</span> generates a finite abstraction from a possibly reduced-order version of the provided model and performs probabilistic model checking. Then, it establishes a probabilistic coupling between the original model and its finite abstraction encoded in an approximate simulation relation, based on which a lower bound on the satisfaction probability is computed. The error computed by <span>SySCoRe</span> does not grow linearly in the horizon of the specification, thus it provides non-trivial lower bounds for infinite-horizon specifications and unbounded disturbances. <span>SySCoRe</span> exploits a tensor representation to facilitate an efficient computation of transition probabilities in the finite abstraction. We showcase these features on several benchmarks and compare the performance of the toolset with existing tools and with the previous version of <span>SySCoRe</span>.</div></div>","PeriodicalId":49011,"journal":{"name":"Nonlinear Analysis-Hybrid Systems","volume":"58 ","pages":"Article 101607"},"PeriodicalIF":3.7,"publicationDate":"2025-05-30","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"144178526","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
The tail behavior of Cox–Ingersoll–Ross processes with state-dependent switching 状态依赖切换的Cox-Ingersoll-Ross过程的尾部行为
IF 3.7 2区 计算机科学
Nonlinear Analysis-Hybrid Systems Pub Date : 2025-05-28 DOI: 10.1016/j.nahs.2025.101609
Yafei Zhai , Fubao Xi
{"title":"The tail behavior of Cox–Ingersoll–Ross processes with state-dependent switching","authors":"Yafei Zhai ,&nbsp;Fubao Xi","doi":"10.1016/j.nahs.2025.101609","DOIUrl":"10.1016/j.nahs.2025.101609","url":null,"abstract":"<div><div>As a continuation of the study by Hou and Shao [Sci. China Math., 63 (2020), pp. 1169-1180], this work makes three key advances in studying state-dependent switching Cox–Ingersoll–Ross processes. First, we establish tail behavior results for stationary distributions across both finite and infinite regimes-a significant extension beyond their framework. Second, through novel auxiliary Markov chains, we explicitly construct a comparison theorem specifically adapted for state-dependent switching diffusions. Third, we derive sufficient recurrence conditions for infinite-regime cases. Our approach provides rigorous control of state-dependent switching component processes with Markov chains and remains applicable to broader classes of state-dependent switching diffusion processes.</div></div>","PeriodicalId":49011,"journal":{"name":"Nonlinear Analysis-Hybrid Systems","volume":"57 ","pages":"Article 101609"},"PeriodicalIF":3.7,"publicationDate":"2025-05-28","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"144166907","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
Model predictive control of switched-actuator systems with setup times, and application to hyperthermia cancer therapies 具有设置时间的开关致动器系统的模型预测控制,以及在热疗癌症治疗中的应用
IF 3.7 2区 计算机科学
Nonlinear Analysis-Hybrid Systems Pub Date : 2025-05-20 DOI: 10.1016/j.nahs.2025.101604
D.A. Deenen , E. Maljaars , L.C. Sebeke , B. de Jager , E. Heijman , H. Grüll , W.P.M.H. Heemels
{"title":"Model predictive control of switched-actuator systems with setup times, and application to hyperthermia cancer therapies","authors":"D.A. Deenen ,&nbsp;E. Maljaars ,&nbsp;L.C. Sebeke ,&nbsp;B. de Jager ,&nbsp;E. Heijman ,&nbsp;H. Grüll ,&nbsp;W.P.M.H. Heemels","doi":"10.1016/j.nahs.2025.101604","DOIUrl":"10.1016/j.nahs.2025.101604","url":null,"abstract":"<div><div>A switched-actuator system with setup times (SAcSS) is a system in which the actuator configuration has to be switched during operation, and where the switching induces non-negligible actuator downtime. Optimally controlling SAcSSs requires the online solving of both a discrete actuator allocation problem, in which the switch-induced actuator downtime is taken into account, as well as an optimization problem for the (typically continuous) control inputs. Mixed-integer model predictive control (MI-MPC) offers a powerful framework for tackling such problems. However, the efficient modeling of SAcSSs for MI-MPC is not straightforward, and real-time feasibility is often a major hurdle in practice. It is the objective of this paper to provide an intuitive and systematic modeling procedure tailored to SAcSSs, which is specifically designed to allow for user-friendly controller synthesis, and to yield efficient MI-MPCs. We apply these new results in a case study of large-volume magnetic-resonance-guided high-intensity focused ultrasound hyperthermia, which involves the heating of tumors (using real-valued local heating controls, as well as discrete range-extending actuator relocation during which no heating is allowed) to enhance the efficacy of radio- and chemotherapy.</div></div>","PeriodicalId":49011,"journal":{"name":"Nonlinear Analysis-Hybrid Systems","volume":"57 ","pages":"Article 101604"},"PeriodicalIF":3.7,"publicationDate":"2025-05-20","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"144089442","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
Prescribed performance projective synchronization for unknown complex networks with mismatched dimensions via event-triggered mechanism 基于事件触发机制的未知维度不匹配复杂网络的预定性能投影同步
IF 3.7 2区 计算机科学
Nonlinear Analysis-Hybrid Systems Pub Date : 2025-05-15 DOI: 10.1016/j.nahs.2025.101601
Aili Fan , Lin Du , Junmin Li , Yuhua Du , Zichen Deng , Jinde Cao
{"title":"Prescribed performance projective synchronization for unknown complex networks with mismatched dimensions via event-triggered mechanism","authors":"Aili Fan ,&nbsp;Lin Du ,&nbsp;Junmin Li ,&nbsp;Yuhua Du ,&nbsp;Zichen Deng ,&nbsp;Jinde Cao","doi":"10.1016/j.nahs.2025.101601","DOIUrl":"10.1016/j.nahs.2025.101601","url":null,"abstract":"<div><div>In this article, we mainly address the function matrix projective synchronization (FMPS) problem with prescribed performance (PP) between a drive network (DN) with time-varying uncertain coupling, and its corresponding response network (RN) with mismatched dimensions. A new hybrid adaptive learning law is proposed, which consists of a discrete adaptive law designed for unknown time-varying coupling coefficients, and a continuous adaptive law designed for time-invariant coefficients. The proposed work extends the adaptive synchronization control that is originally applicable only with the constant coupling coefficient to the case where the coefficients are time-varying. To ensure the state trajectories of the RN are projectively synchronized to those of the DN while complying with PP constraints, a PP controller is designed. Meanwhile, to reduce the communication load, the event-triggered communication (ETC) mechanism is implemented. Finally, the effectiveness of the designed control scheme, adaptive laws and ETC protocol is validated through simulation.</div></div>","PeriodicalId":49011,"journal":{"name":"Nonlinear Analysis-Hybrid Systems","volume":"57 ","pages":"Article 101601"},"PeriodicalIF":3.7,"publicationDate":"2025-05-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"143948256","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
Conformal quantitative predictive monitoring of stochastic systems with conditional validity 条件有效随机系统的保形定量预测监测
IF 3.7 2区 计算机科学
Nonlinear Analysis-Hybrid Systems Pub Date : 2025-05-14 DOI: 10.1016/j.nahs.2025.101606
Francesca Cairoli , Tom Kuipers , Luca Bortolussi , Nicola Paoletti
{"title":"Conformal quantitative predictive monitoring of stochastic systems with conditional validity","authors":"Francesca Cairoli ,&nbsp;Tom Kuipers ,&nbsp;Luca Bortolussi ,&nbsp;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区 计算机科学
Nonlinear Analysis-Hybrid Systems Pub Date : 2025-05-14 DOI: 10.1016/j.nahs.2025.101608
Thomas Mejstrik , Vladimir Yu. Protasov
{"title":"Stability under dwell time constraints: Discretization revisited","authors":"Thomas Mejstrik ,&nbsp;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区 计算机科学
Nonlinear Analysis-Hybrid Systems Pub Date : 2025-05-12 DOI: 10.1016/j.nahs.2025.101605
Wenjing Wan , Zhao-Yan Li , Kai Zhang
{"title":"Cooperative output feedback tracking control of heterogeneous multi-agent systems with semi-Markovian switching topologies and multiple measurement noises","authors":"Wenjing Wan ,&nbsp;Zhao-Yan Li ,&nbsp;Kai Zhang","doi":"10.1016/j.nahs.2025.101605","DOIUrl":"10.1016/j.nahs.2025.101605","url":null,"abstract":"<div><div>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.</div></div>","PeriodicalId":49011,"journal":{"name":"Nonlinear Analysis-Hybrid Systems","volume":"57 ","pages":"Article 101605"},"PeriodicalIF":3.7,"publicationDate":"2025-05-12","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"143936018","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
Piecewise smooth vector fields with sliding motion preserving measure 具有滑动运动保持措施的分段光滑矢量场
IF 3.7 2区 计算机科学
Nonlinear Analysis-Hybrid Systems Pub Date : 2025-04-28 DOI: 10.1016/j.nahs.2025.101602
Marco Florentino , Tiago Carvalho
{"title":"Piecewise smooth vector fields with sliding motion preserving measure","authors":"Marco Florentino ,&nbsp;Tiago Carvalho","doi":"10.1016/j.nahs.2025.101602","DOIUrl":"10.1016/j.nahs.2025.101602","url":null,"abstract":"<div><div>In this paper we establish conditions in order to obtain a set of trajectories of <span><math><mi>n</mi></math></span>-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.</div></div>","PeriodicalId":49011,"journal":{"name":"Nonlinear Analysis-Hybrid Systems","volume":"57 ","pages":"Article 101602"},"PeriodicalIF":3.7,"publicationDate":"2025-04-28","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"143879020","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区 计算机科学
Nonlinear Analysis-Hybrid Systems Pub Date : 2025-04-26 DOI: 10.1016/j.nahs.2025.101603
Fei Wang , Jun-e Feng , Biao Wang
{"title":"Reconstructing networks from the algebraic model of networked evolutionary games","authors":"Fei Wang ,&nbsp;Jun-e Feng ,&nbsp;Biao Wang","doi":"10.1016/j.nahs.2025.101603","DOIUrl":"10.1016/j.nahs.2025.101603","url":null,"abstract":"<div><div>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.</div></div>","PeriodicalId":49011,"journal":{"name":"Nonlinear Analysis-Hybrid Systems","volume":"57 ","pages":"Article 101603"},"PeriodicalIF":3.7,"publicationDate":"2025-04-26","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"143873860","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
Input-to-state stability of nonlinear delayed systems with stochastic impulses 具有随机脉冲的非线性延迟系统的输入状态稳定性
IF 3.7 2区 计算机科学
Nonlinear Analysis-Hybrid Systems Pub Date : 2025-04-26 DOI: 10.1016/j.nahs.2025.101600
Qian Fan , Zhiyan Shi , Bao Wang , Lei Jiang
{"title":"Input-to-state stability of nonlinear delayed systems with stochastic impulses","authors":"Qian Fan ,&nbsp;Zhiyan Shi ,&nbsp;Bao Wang ,&nbsp;Lei Jiang","doi":"10.1016/j.nahs.2025.101600","DOIUrl":"10.1016/j.nahs.2025.101600","url":null,"abstract":"<div><div>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.</div></div>","PeriodicalId":49011,"journal":{"name":"Nonlinear Analysis-Hybrid Systems","volume":"57 ","pages":"Article 101600"},"PeriodicalIF":3.7,"publicationDate":"2025-04-26","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"143873859","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
0
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
提示
您的信息不完整,为了账户安全,请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
确定
请完成安全验证×
相关产品
×
本文献相关产品
联系我们:info@booksci.cn Book学术提供免费学术资源搜索服务,方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。 Copyright © 2023 布克学术 All rights reserved.
京ICP备2023020795号-1
ghs 京公网安备 11010802042870号
Book学术文献互助
Book学术文献互助群
群 号:481959085
Book学术官方微信