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

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

Input/output corrective control of switched asynchronous sequential machines under arbitrary switching 任意开关下开关式异步连续机器的输入/输出纠正控制

IF 4.2 2区计算机科学

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

Jung-Min Yang , Seong Woo Kwak

引用次数: 0

A necessary and sufficient condition for the existence of the stabilizing solution of a large class of discrete-time Riccati type equations with periodic coefficients 一大类具有周期性系数的离散-时间 Riccati 型方程稳定解存在的必要和充分条件

IF 4.2 2区计算机科学

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

Vasile Drăgan , Ioan-Lucian Popa , Samir Aberkane , Vladimir Răsvan

引用次数: 0

Weak convergence and stability of functional diffusion systems with singularly perturbed regime switching 具有奇异扰动制度转换的函数扩散系统的弱收敛性和稳定性

IF 4.2 2区计算机科学

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

Wenjie Cao , Fuke Wu , Minyu Wu

引用次数: 0

Quantization-based distributed design strategy for adaptive consensus tracking of asynchronously switched nonlinear multiagent systems 基于量化的分布式设计策略，用于异步切换非线性多代理系统的自适应共识跟踪

IF 4.2 2区计算机科学

Nonlinear Analysis-Hybrid Systems Pub Date : 2024-03-14 DOI: 10.1016/j.nahs.2024.101488

Seok Gyu Jang, Sung Jin Yoo

{"title":"Quantization-based distributed design strategy for adaptive consensus tracking of asynchronously switched nonlinear multiagent systems","authors":"Seok Gyu Jang, Sung Jin Yoo","doi":"10.1016/j.nahs.2024.101488","DOIUrl":"https://doi.org/10.1016/j.nahs.2024.101488","url":null,"abstract":"<div><p>We propose a quantization-based distributed consensus tracking design to resolve the unknown control direction problem of uncertain switched nonlinear multiagent systems under a fully quantized environment. All feedback and communication signals for the local control design are quantized and the control coefficient functions and directions of agents are unknown. Differing from the previous literature results, the primary contribution of this work is to present a quantization-based distributed design solution to the unknown control direction problem of asynchronously switched agents in the consensus tracking field. The non-differentiability problem of virtual control laws using quantized feedback signals is addressed by employing the filter-based recursive method and developing the analysis technique of the quantization errors of Nussbaum functions. Quantization effects in local adaptive neural control laws are compensated via the adaptive tuning mechanism using quantized states. The practical stability of the overall closed-loop system is established by the common Lyapunov theory. Illustrative simulations verify the efficacy of the proposed quantization-based consensus tracking approach.</p></div>","PeriodicalId":49011,"journal":{"name":"Nonlinear Analysis-Hybrid Systems","volume":"53 ","pages":"Article 101488"},"PeriodicalIF":4.2,"publicationDate":"2024-03-14","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"140133984","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

Robust dynamic self-triggered control for nonlinear systems using hybrid Lyapunov functions 利用混合 Lyapunov 函数实现非线性系统的鲁棒动态自触发控制

IF 4.2 2区计算机科学

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

Michael Hertneck, Frank Allgöwer

{"title":"Robust dynamic self-triggered control for nonlinear systems using hybrid Lyapunov functions","authors":"Michael Hertneck, Frank Allgöwer","doi":"10.1016/j.nahs.2024.101485","DOIUrl":"https://doi.org/10.1016/j.nahs.2024.101485","url":null,"abstract":"<div><p>Self-triggered control (STC) is a resource efficient approach to determine sampling instants for Networked Control Systems. At each sampling instant, an STC mechanism determines not only the control inputs but also the next sampling instant. In this article, an STC approach for perturbed nonlinear systems is proposed. The approach uses a dynamic variable in addition to current state information to determine the next sampling instant, rendering the resulting STC mechanisms dynamic. Using dynamic variables has proven to be powerful for increasing sampling intervals for the closely related concept of event-triggered control, but has so far rarely been exploited for STC. Two variants of the dynamic STC approach are presented. The first variant can be used without further knowledge on the disturbance and leads to guarantees on input-to-state stability. The second variant exploits a known disturbance bound to determine sampling instants and guarantees asymptotic stability of a set containing the origin. In both cases, hybrid Lyapunov function techniques are used to derive the respective stability guarantees. Different choices for the dynamics of the dynamic variable, that lead to different particular STC mechanisms, are presented for both variants of the approach. The resulting dynamic STC mechanisms are illustrated with two numerical examples to emphasize their benefits in comparison to existing static STC approaches. Both variants are illustrated with a numerical example.</p></div>","PeriodicalId":49011,"journal":{"name":"Nonlinear Analysis-Hybrid Systems","volume":"53 ","pages":"Article 101485"},"PeriodicalIF":4.2,"publicationDate":"2024-03-11","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://www.sciencedirect.com/science/article/pii/S1751570X24000220/pdfft?md5=8e34ea67e5ecc41b9a2977f105f9c727&pid=1-s2.0-S1751570X24000220-main.pdf","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"140095618","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

Corrigendum to “Stability analysis and stabilization of linear symmetric matrix-valued continuous, discrete, and impulsive dynamical systems – A unified approach for the stability analysis and the stabilization of linear systems” [Nonlinear Anal. Hybrid Syst. 46 (2022) 101242] 线性对称矩阵值连续、离散和脉冲动力系统的稳定性分析和稳定化 - 线性系统稳定性分析和稳定化的统一方法"[Nonlinear Anal. Hybrid Syst.

IF 4.2 2区计算机科学

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

Corentin Briat , Vasile Dragan

引用次数: 0

Relaxed criteria on admissibility analysis for singular Markovian jump systems with time delay 具有时延的奇异马尔可夫跃迁系统可接受性分析的宽松标准

IF 4.2 2区计算机科学

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

Xingyue Liang, Shengyuan Xu

引用次数: 0

Mixed self/event-triggered ternary control for resilient consensus against mobile adversarial agents 混合自触发/事件触发三元控制，对抗移动对抗代理的弹性共识

IF 4.2 2区计算机科学

Nonlinear Analysis-Hybrid Systems Pub Date : 2024-02-20 DOI: 10.1016/j.nahs.2024.101473

Hiroki Matsume , Yuan Wang , Hideaki Ishii , Xavier Défago

{"title":"Mixed self/event-triggered ternary control for resilient consensus against mobile adversarial agents","authors":"Hiroki Matsume , Yuan Wang , Hideaki Ishii , Xavier Défago","doi":"10.1016/j.nahs.2024.101473","DOIUrl":"https://doi.org/10.1016/j.nahs.2024.101473","url":null,"abstract":"<div><p>In this paper, we consider the problem of multi-agent consensus in the presence of mobile adversaries. Faulty agents try to prevent the coordination among the regular agents and moreover are mobile in the sense that they can change their identities over time. Our approach towards resilient consensus is to extend the so-called mean subsequence reduced (MSR) algorithms to reduce the necessary communication based on three measures: (i) The information exchanged by the agents takes the form of ternary data in each message. (ii) A self-triggered method is first used so that agents avoid overreacting to DoS type attacks and maintain a certain communication rate. (iii) To enable the transmissions to terminate after reaching consensus, an event-triggered method is further introduced into the algorithm, resulting in a mixed protocol. Our study reveals that certain new features introduced in the protocols as well as in the conditions on network structures are critical to cope with potential attack strategies enabled by the mobile nature of the adversarial agents under ternary control. We verify the effectiveness of the proposed algorithm by means of a numerical example.</p></div>","PeriodicalId":49011,"journal":{"name":"Nonlinear Analysis-Hybrid Systems","volume":"52 ","pages":"Article 101473"},"PeriodicalIF":4.2,"publicationDate":"2024-02-20","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"139914591","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