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

Decompositional reach-and-stay contract-based control of nonlinear systems with an application to glucose control 基于到达-停留契约的非线性系统分解控制及其在葡萄糖控制中的应用

IF 3.7 2区计算机科学

Nonlinear Analysis-Hybrid Systems Pub Date : 2025-08-11 DOI: 10.1016/j.nahs.2025.101627

Alessandro Borri , Ilaria Di Loreto , Maria Domenica Di Benedetto

引用次数: 0

Exponential synchronization for stochastic multi-links networks with time-varying delays 时变时滞随机多链路网络的指数同步

IF 3.7 2区计算机科学

Nonlinear Analysis-Hybrid Systems Pub Date : 2025-08-11 DOI: 10.1016/j.nahs.2025.101624

Dong Hou, Zijun Cheng, Xin Zhao, Wenxue Li

引用次数: 0

Stability of linear systems with slow and fast time variation and switching: General case 具有慢、快时变和切换的线性系统的稳定性：一般情况

IF 3.7 2区计算机科学

Nonlinear Analysis-Hybrid Systems Pub Date : 2025-08-05 DOI: 10.1016/j.nahs.2025.101626

Hyungbo Shim , Daniel Liberzon

引用次数: 0

Continuous-time constrained linear quadratic regulator for switched linear systems 切换线性系统的连续时间约束线性二次型调节器

IF 3.7 2区计算机科学

Nonlinear Analysis-Hybrid Systems Pub Date : 2025-08-05 DOI: 10.1016/j.nahs.2025.101625

Pietro Gori, Michele Pierallini, Franco Angelini, Manolo Garabini

{"title":"Continuous-time constrained linear quadratic regulator for switched linear systems","authors":"Pietro Gori, Michele Pierallini, Franco Angelini, Manolo Garabini","doi":"10.1016/j.nahs.2025.101625","DOIUrl":"10.1016/j.nahs.2025.101625","url":null,"abstract":"<div><div>Switched systems, characterized by a family of subsystems governed by a switching rule, widely apply to complex real-world scenarios. However, their inherent switching dynamics pose significant challenges in phase analysis and control design. To address these challenges, we propose a framework for solving the Continuous-Time Constrained Linear Quadratic Regulator (CT-CLQR) problem for switched linear systems. Our approach partitions the time horizon into a finite number of intervals, each associated with a specific system mode. The duration of these intervals is parameterized by the switching instants, enabling a reformulation of the problem. We indirectly optimize the switching sequence by fixing the switching sequence and optimizing the interval durations. We derive analytical expressions for the cost function and its gradient, which are critical for efficient optimization. Unlike state-of-the-art methods that impose equality constraints on state evolution, our approach inherently considers the state evolution in the cost function. This not only simplifies the problem formulation but also reduces computational overhead by precomputing shared terms offline, enhancing efficiency during online operations. The proposed method significantly advances existing techniques, offering improved computational efficiency and flexibility. We demonstrate the effectiveness of our approach through comprehensive numerical examples, showcasing its potential for practical applications.</div></div>","PeriodicalId":49011,"journal":{"name":"Nonlinear Analysis-Hybrid Systems","volume":"58 ","pages":"Article 101625"},"PeriodicalIF":3.7,"publicationDate":"2025-08-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"144779860","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

Non-stationary value iteration for adaptive average control of piecewise deterministic Markov processes 分段确定性马尔可夫过程的非平稳迭代自适应平均控制

IF 3.7 2区计算机科学

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

O.L.V. Costa , F. Dufour , A. Genadot

{"title":"Non-stationary value iteration for adaptive average control of piecewise deterministic Markov processes","authors":"O.L.V. Costa , F. Dufour , A. Genadot","doi":"10.1016/j.nahs.2025.101622","DOIUrl":"10.1016/j.nahs.2025.101622","url":null,"abstract":"<div><div>The main goal of this paper is to present a non-stationary value iteration scheme for the adaptive average control of Piecewise Deterministic Markov Processes (PDMPs), introduced by M.H.A. Davis in Davis (1984, 1993) as a family of continuous-time Markov processes punctuated by random jumps and with inter-jump movement driven by a deterministic flow. It is assumed in this paper that there are no boundary jumps. We study the adaptive average optimal control problem of PDMPs, considering that the jump intensity <span><math><mi>λ</mi></math></span>, the post-jump transition kernel <span><math><mi>Q</mi></math></span>, as well as the cost <span><math><mi>C</mi></math></span> depend on an unknown parameter <span><math><msup><mrow><mi>β</mi></mrow><mrow><mo>∗</mo></mrow></msup></math></span>. For a sequence of strongly consistent estimators <span><math><mrow><mo>{</mo><msubsup><mrow><mi>β</mi></mrow><mrow><mi>n</mi></mrow><mrow><mo>∗</mo></mrow></msubsup><mo>}</mo></mrow></math></span> of <span><math><msup><mrow><mi>β</mi></mrow><mrow><mo>∗</mo></mrow></msup></math></span> (that is, <span><math><msubsup><mrow><mi>β</mi></mrow><mrow><mi>n</mi></mrow><mrow><mo>∗</mo></mrow></msubsup></math></span> converge to <span><math><msup><mrow><mi>β</mi></mrow><mrow><mo>∗</mo></mrow></msup></math></span> almost surely) a non-stationary value iteration (depending on the current estimate <span><math><msubsup><mrow><mi>β</mi></mrow><mrow><mi>n</mi></mrow><mrow><mo>∗</mo></mrow></msubsup></math></span>) is shown to be optimal for the long-run average control problem. We assume a total variation norm condition on the parameters <span><math><mi>λ</mi></math></span> and <span><math><mi>Q</mi></math></span> of the process (which generalizes the minorization condition considered in Costa, Dufour and Genadot (2024), resulting in a span-contraction operator. The paper concludes with a numerical example.</div></div>","PeriodicalId":49011,"journal":{"name":"Nonlinear Analysis-Hybrid Systems","volume":"58 ","pages":"Article 101622"},"PeriodicalIF":3.7,"publicationDate":"2025-07-29","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"144721952","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

Globally exponentially stable adaptive control of switched linear systems: A memory augmented approach 切换线性系统的全局指数稳定自适应控制：一种记忆增强方法

IF 3.7 2区计算机科学

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

Pritesh Patel , Sayan Basu Roy , Shubhendu Bhasin

{"title":"Globally exponentially stable adaptive control of switched linear systems: A memory augmented approach","authors":"Pritesh Patel , Sayan Basu Roy , Shubhendu Bhasin","doi":"10.1016/j.nahs.2025.101619","DOIUrl":"10.1016/j.nahs.2025.101619","url":null,"abstract":"<div><div>This paper introduces a switched model reference adaptive control (S-MRAC) architecture for uncertain switched multi-input multi-output (MIMO) linear time-invariant (LTI) systems with a switched reference model. One distinctive aspect of the suggested method is the use of memory to augment the parameter estimator, leading to parameter learning even during inactive periods of the subsystems. Together with an intermittently initial excitation (IIE) condition, the memory augmentation-based approach guarantees exponential stability of the tracking and parameter estimation error systems. An online parameter estimator with a dual-layer low-pass filter and a bank of memory filters is at the heart of the proposed architecture. The addition of the <span><math><mrow><mi>σ</mi><mo>−</mo></mrow></math></span> modification term in adaptive law facilitates the computation of a unified expression of dwell time that is valid for both excitation and non-excitation scenarios. Further, the dwell time expression is tunable and thus, allows for fast switching. Simulation results are showcased to confirm the efficacy of the suggested outcome.</div></div>","PeriodicalId":49011,"journal":{"name":"Nonlinear Analysis-Hybrid Systems","volume":"58 ","pages":"Article 101619"},"PeriodicalIF":3.7,"publicationDate":"2025-07-11","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"144596371","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

Observer-based switched-linear system identification 基于观测器的切换线性系统辨识

IF 3.7 2区计算机科学

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

Fethi Bencherki , Semiha Türkay , Hüseyin Akçay

{"title":"Observer-based switched-linear system identification","authors":"Fethi Bencherki , Semiha Türkay , Hüseyin Akçay","doi":"10.1016/j.nahs.2025.101620","DOIUrl":"10.1016/j.nahs.2025.101620","url":null,"abstract":"<div><div>In this paper, we present a framework to identify discrete-time, single-input/single-output, switched linear systems (SISO-SLSs) from input–output data measurements. Continuous state is not assumed to be measured. The key step is a deadbeat observer-based transformation of the SLS model to a switched auto-regressive with exogenous input (SARX) model. Discrete states are estimated by a three-stage algorithm from input–output data. First, a sparse optimization problem is solved to detect segments with large dwell times. Then, a clustering algorithm is applied to midpoint estimates in these segments, revealing the system order, the number of discrete states, and the observer discrete states. In the third stage, back-transformation from the observer to a finite set of SLS Markov parameters is carried out and a subspace algorithm extracts discrete states from SLS Markov parameters. A MOESP subspace algorithm is also proposed to estimate discrete states directly from input–output data in segments with large dwell times. Switch and discrete-state identifiability issues are carefully examined and persistence of excitation (PE) conditions on input–output data, switching signal, and system structure are derived to retrieve discrete states. Monte Carlo simulations and case studies are presented to illustrate the derived results.</div></div>","PeriodicalId":49011,"journal":{"name":"Nonlinear Analysis-Hybrid Systems","volume":"58 ","pages":"Article 101620"},"PeriodicalIF":3.7,"publicationDate":"2025-07-07","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"144571197","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

Optimization of HAP administration in cancer therapy 肿瘤治疗中HAP给药的优化

IF 3.7 2区计算机科学

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

Anita Krawczyk, Andrzej Nowakowski

{"title":"Optimization of HAP administration in cancer therapy","authors":"Anita Krawczyk, Andrzej Nowakowski","doi":"10.1016/j.nahs.2025.101618","DOIUrl":"10.1016/j.nahs.2025.101618","url":null,"abstract":"<div><div>We study a mathematical model of a tumor described and investigated in Mathur et al. (2024). Hypoxia is often a factor that contributes to tumor resistance against anticancer treatments. However, the use of Hypoxia-Activated Prodrugs (HAPs) turns this challenge into an advantage, offering potential benefits in treatment. By specifically targeting hypoxic tumor regions, HAPs can enhance the efficacy of drug delivery, making hypoxia a beneficial aspect in the therapeutic approach. In Mathur et al. (2024) optimal schedules for different finite number of simulation of treatment combinations is study. Optimization is done by observation of tissue under treatment. We develop approximate sufficient optimality conditions for that mathematical model of cancer with controls on the boundary. It is a starting point to present numerical algorithm with verification theorem of approximate solution. Numerical calculations are performed to optimize the density of the active drug within the tissue. The results show that the maximum density of active drugs can be achieved by increasing the injection of the drug and reducing oxygen levels, with optimal control parameters set. We refer our result to the simulations done by other authors with direct treatments.</div></div>","PeriodicalId":49011,"journal":{"name":"Nonlinear Analysis-Hybrid Systems","volume":"58 ","pages":"Article 101618"},"PeriodicalIF":3.7,"publicationDate":"2025-07-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"144563747","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

A refined stability result for linear Markovian switching systems and its implications 线性马尔可夫切换系统的一个改进稳定性结果及其意义

IF 3.7 2区计算机科学

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

Shen Cong

引用次数: 0

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 , M.H.W. Engelaar , S. Soudjani , 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