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

Faithful dynamic timing analysis of digital circuits using continuous thresholded mode-switched ODEs

IF 3.7 2区计算机科学

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

Arman Ferdowsi , Matthias Függer , Thomas Nowak , Ulrich Schmid , Michael Drmota

{"title":"Faithful dynamic timing analysis of digital circuits using continuous thresholded mode-switched ODEs","authors":"Arman Ferdowsi , Matthias Függer , Thomas Nowak , Ulrich Schmid , Michael Drmota","doi":"10.1016/j.nahs.2024.101572","DOIUrl":"10.1016/j.nahs.2024.101572","url":null,"abstract":"<div><div>Thresholded hybrid systems are restricted dynamical systems, where the current mode, and hence the ODE system describing its behavior, is solely determined by externally supplied digital input signals and where the only output signals are digital ones generated by comparing an internal state variable to a threshold value. An attractive feature of such systems is easy composition, which is facilitated by their purely digital interface. A particularly promising application domain of thresholded hybrid systems is digital integrated circuits: Modern digital circuit design considers them as a composition of Millions and even Billions of elementary logic gates, like inverters, <span>OR</span> and <span>AND</span>. Since every such logic gate is eventually implemented as an electronic circuit, however, which exhibits a behavior that is governed by some ODE system, thresholded hybrid systems are ideally suited for making the transition from the analog to the digital world rigorous.</div><div>In this paper, we prove that the mapping from digital input signals to digital output signals is continuous for a large class of thresholded hybrid systems. Moreover, we show that, under some mild conditions regarding causality, this continuity also continues to hold for arbitrary compositions, which in turn guarantees that the composition faithfully captures the analog reality. By applying our generic results to some recently developed thresholded hybrid gate models, both for single-input single-output gates like inverters and for a two-input CMOS <span>NOR</span> gate, we show that they are continuous. Moreover, we provide a novel thresholded hybrid model for the two-input <span>NOR</span> gate, which is not only continuous but also, unlike the existing one, faithfully models all multi-input switching effects.</div></div>","PeriodicalId":49011,"journal":{"name":"Nonlinear Analysis-Hybrid Systems","volume":"56 ","pages":"Article 101572"},"PeriodicalIF":3.7,"publicationDate":"2025-01-06","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"143144672","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

A Floquet–Lyapunov theory for nonautonomous linear periodic differential equations with piecewise constant deviating arguments

IF 3.7 2区计算机科学

Nonlinear Analysis-Hybrid Systems Pub Date : 2024-12-30 DOI: 10.1016/j.nahs.2024.101574

Ricardo Torres Naranjo

引用次数: 0

On (θ,T)-periodic solutions of abstract generalized ODEs and applications to Volterra–Stieltjes–type integral equations

IF 3.7 2区计算机科学

Nonlinear Analysis-Hybrid Systems Pub Date : 2024-12-27 DOI: 10.1016/j.nahs.2024.101573

M. Ap. Silva , E.M. Bonotto , R. Collegari , M. Federson , M.C. Gadotti

引用次数: 0

Strategy optimization of controlled evolutionary games on a two-layer coupled network using Lebesgue sampling

IF 3.7 2区计算机科学

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

Shihua Fu , Ling Li , Jun-e Feng

引用次数: 0

Finite bit rate stabilization of switched linear systems with bounded delay based on event-triggering control

IF 3.7 2区计算机科学

Nonlinear Analysis-Hybrid Systems Pub Date : 2024-12-10 DOI: 10.1016/j.nahs.2024.101567

Yihong Tang, Yuan Liu, Qiang Ling

引用次数: 0

Measuring robustness in cyber-physical systems under sensor attacks

IF 3.7 2区计算机科学

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

Jian Xiang , Ruggero Lanotte , Simone Tini , Stephen Chong , Massimo Merro

{"title":"Measuring robustness in cyber-physical systems under sensor attacks","authors":"Jian Xiang , Ruggero Lanotte , Simone Tini , Stephen Chong , Massimo Merro","doi":"10.1016/j.nahs.2024.101559","DOIUrl":"10.1016/j.nahs.2024.101559","url":null,"abstract":"<div><div>This paper contributes a formal framework for quantitative analysis of bounded sensor attacks on cyber–physical systems, using the formalism of differential dynamic logic. Given a precondition and postcondition of a system, we formalize two quantitative safety notions, quantitative forward and backward safety, which respectively express (1) how strong the strongest postcondition of the system is with respect to the specified postcondition, and (2) how strong the specified precondition is with respect to the weakest precondition of the system needed to ensure the specified postcondition holds. We introduce two notions, forward and backward robustness, to characterize the robustness of a system against sensor attacks as the loss of safety. To reason about robustness, we introduce two simulation distances, forward and backward simulation distances, which are defined based on the behavioral distances between the original system and the system with compromised sensors. Forward and backward distances, respectively, characterize upper bounds of the degree of forward and backward safety loss caused by the sensor attacks. We verify the two simulation distances by expressing them as modalities, i.e., formulas of differential dynamic logic, and develop an ad-hoc proof system to reason with such formulas. We showcase our formal notions and reasoning techniques on two non-trivial case studies: an autonomous vehicle that needs to avoid collision and a water tank system.</div></div>","PeriodicalId":49011,"journal":{"name":"Nonlinear Analysis-Hybrid Systems","volume":"56 ","pages":"Article 101559"},"PeriodicalIF":3.7,"publicationDate":"2024-12-09","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"143144671","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

H2 dynamic output feedback control of phase-type semi-Markov jump linear systems

IF 3.7 2区计算机科学

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

André M. de Oliveira , Oswaldo L.V. Costa

{"title":"H2 dynamic output feedback control of phase-type semi-Markov jump linear systems","authors":"André M. de Oliveira , Oswaldo L.V. Costa","doi":"10.1016/j.nahs.2024.101557","DOIUrl":"10.1016/j.nahs.2024.101557","url":null,"abstract":"<div><div>This paper deals with the design of <span><math><msub><mrow><mi>H</mi></mrow><mrow><mn>2</mn></mrow></msub></math></span> dynamic output feedback controllers for phase-type distributed semi-Markov jump linear systems. It is assumed that the state-space of the semi-Markov jump process can be written as the union of disjoint sets, called <em>clusters</em>, and that the only information available to the controller regarding the jumping process is which cluster it belongs to. We provide two sets of design conditions for the <span><math><msub><mrow><mi>H</mi></mrow><mrow><mn>2</mn></mrow></msub></math></span> control problem, written in terms of bilinear matrix inequalities, which are associated with the observability and controllability Grammians (referred to as the “primal” and “dual” approaches, respectively). An iterative separation procedure, formulated as a sequence of linear matrix inequalities optimization problems, is proposed to reduce an upper bound of the <span><math><msub><mrow><mi>H</mi></mrow><mrow><mn>2</mn></mrow></msub></math></span> norm of the system for both the primal and dual design conditions. We show that our conditions are not conservative in the sense that, for the Markov mode-dependent case, they also become necessary. Finally, we study the robust case, considering that the system matrices and transition rate matrix have polytopic uncertainties, and the observer-based control case, for which the conditions can be simplified and written directly as linear matrix inequalities. The paper concludes with an illustrative example in the context of systems subject to actuator and sensor faults.</div></div>","PeriodicalId":49011,"journal":{"name":"Nonlinear Analysis-Hybrid Systems","volume":"56 ","pages":"Article 101557"},"PeriodicalIF":3.7,"publicationDate":"2024-12-04","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"143144622","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

Disturbance decoupling controller design of switched Boolean control networks in recursion

IF 3.7 2区计算机科学

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

Xiangshan Kong , Haitao Li

引用次数: 0

Secure control for uncertain nonlinear cyber–physical systems: A prescribed-time scheme based on temporal scaling 不确定非线性网络物理系统的安全控制：基于时间缩放的规定时间方案

IF 3.7 2区计算机科学

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

Zhiyu Duan, Airong Wei, Xianfu Zhang, Bo Sun

{"title":"Secure control for uncertain nonlinear cyber–physical systems: A prescribed-time scheme based on temporal scaling","authors":"Zhiyu Duan, Airong Wei, Xianfu Zhang, Bo Sun","doi":"10.1016/j.nahs.2024.101556","DOIUrl":"10.1016/j.nahs.2024.101556","url":null,"abstract":"<div><div>In this paper, the prescribed-time secure control is explored for uncertain nonlinear cyber–physical systems through temporal scaling transformation and gain control technique, where the nonlinearity is more generic than common linear growth conditions due to the presence of large uncertainties and low-order states. Given that security risks exist in open networks, the impact of deception attacks is considered, whereas, this prevents the gain control technique from being applied directly to control design. To lift the restriction, a novel auxiliary system is firstly constructed to cleverly turn the secure control to the boundedness control of the auxiliary system. Next, a crucial bridge, temporal scaling transformation, is employed to transform the control issue in the finite time into infinite time, which opens up more possibilities for solving studied issues. Then, by the gain control technique, a Zeno-free secure control strategy with dynamically adjustable triggering mechanism is devised, which successfully ensures the convergence of system states within the prescribed time meanwhile counteracting deception attacks. Further, an improved nonlinearity, i.e. containing both low-order and high-order states, is discussed. Particularly, the proposed control strategies not only avoid real-time control updates, but also the gains therein handle system nonlinearities efficiently. Eventually, the validity of major results is verified via simulation examples.</div></div>","PeriodicalId":49011,"journal":{"name":"Nonlinear Analysis-Hybrid Systems","volume":"55 ","pages":"Article 101556"},"PeriodicalIF":3.7,"publicationDate":"2024-11-22","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"142700631","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

Adaptive hybrid global attitude tracking controller 自适应混合全局姿态跟踪控制器

IF 3.7 2区计算机科学

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

João Pedro Silvestre , Pedro Casau , Paulo Oliveira

引用次数: 0