Pub Date : 2025-02-13DOI: 10.1016/j.nahs.2025.101584
Zhe Zhao, Tiantian Wu
This paper explores chaotic dynamics in a class of three-dimensional piecewise linear systems with sliding heteroclinic cycles which are composed of two sliding heteroclinic orbits connecting two saddle-foci or a saddle-focus and a saddle. The system with a sliding heteroclinic cycle connecting two saddle-foci has infinite chaotic invariant sets under an eigenvalue condition, while the existence of chaotic invariant sets for the system with a sliding heteroclinic cycle connecting a saddle-focus and a saddle needs an additional condition except for an eigenvalue condition.
{"title":"Chaotic dynamics of three-dimensional piecewise linear systems with sliding heteroclinic cycles","authors":"Zhe Zhao, Tiantian Wu","doi":"10.1016/j.nahs.2025.101584","DOIUrl":"10.1016/j.nahs.2025.101584","url":null,"abstract":"<div><div>This paper explores chaotic dynamics in a class of three-dimensional piecewise linear systems with sliding heteroclinic cycles which are composed of two sliding heteroclinic orbits connecting two saddle-foci or a saddle-focus and a saddle. The system with a sliding heteroclinic cycle connecting two saddle-foci has infinite chaotic invariant sets under an eigenvalue condition, while the existence of chaotic invariant sets for the system with a sliding heteroclinic cycle connecting a saddle-focus and a saddle needs an additional condition except for an eigenvalue condition.</div></div>","PeriodicalId":49011,"journal":{"name":"Nonlinear Analysis-Hybrid Systems","volume":"56 ","pages":"Article 101584"},"PeriodicalIF":3.7,"publicationDate":"2025-02-13","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"143394894","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}
Pub Date : 2025-02-13DOI: 10.1016/j.nahs.2025.101583
Chunfeng Jiang , Shihua Fu , Carmen Del Vecchio , Biao Wang , Jianjun Wang , Jianli Zhao
This paper addresses the recurrent output tracking problem (ROTP) in Boolean networks (BNs), that is the property of systems output to intermittently and infinitely track a desired reference signal over long-term operation. Leveraging the semi-tensor product of matrices as the primary analytical tool, the study proposes solvability criteria for ROTP in both BNs and Boolean control networks (BCNs), and proposes algorithms to identify all states that enable recurrent tracking of the reference signal in these systems. Additionally, a truth matrix-based method is used to design state feedback controllers, ensuring ROTP solvability for BCNs initiating from such states. The study also explores the periodicity of the recurrent output tracking in B(C)Ns, demonstrating that the output tracking problem is a specific instance of the ROTP. The effectiveness of the proposed methods and results is validated through illustrative examples.
{"title":"Recurrent output tracking of Boolean networks","authors":"Chunfeng Jiang , Shihua Fu , Carmen Del Vecchio , Biao Wang , Jianjun Wang , Jianli Zhao","doi":"10.1016/j.nahs.2025.101583","DOIUrl":"10.1016/j.nahs.2025.101583","url":null,"abstract":"<div><div>This paper addresses the recurrent output tracking problem (ROTP) in Boolean networks (BNs), that is the property of systems output to intermittently and infinitely track a desired reference signal over long-term operation. Leveraging the semi-tensor product of matrices as the primary analytical tool, the study proposes solvability criteria for ROTP in both BNs and Boolean control networks (BCNs), and proposes algorithms to identify all states that enable recurrent tracking of the reference signal in these systems. Additionally, a truth matrix-based method is used to design state feedback controllers, ensuring ROTP solvability for BCNs initiating from such states. The study also explores the periodicity of the recurrent output tracking in B(C)Ns, demonstrating that the output tracking problem is a specific instance of the ROTP. The effectiveness of the proposed methods and results is validated through illustrative examples.</div></div>","PeriodicalId":49011,"journal":{"name":"Nonlinear Analysis-Hybrid Systems","volume":"56 ","pages":"Article 101583"},"PeriodicalIF":3.7,"publicationDate":"2025-02-13","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"143402959","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}
Pub Date : 2025-02-12DOI: 10.1016/j.nahs.2025.101582
Yue Zhang, Xin Ai, Zhenlei Li, Jie Gao
In this paper, the piecewise-smooth functional response function and distributed delay are used to describe the memory effect of predators and capture law when the abundance of prey changes greatly in ecosystems more realistically. A singular piecewise-smooth prey–predator model with distributed delay is studied. Considering the growth and loss rate of the predator much smaller than that of the prey, the model is described by a fast–slow system that mathematically leads to a singular perturbation problem. The dynamic behavior of the fast–slow system with distributed delay, piecewise smooth is novel and interesting. The system undergoes a Hopf bifurcation where the interior equilibrium becomes unstable leading to a stable limit cycle. As the perturbation parameter decreases, the co-existence equilibrium has a transition from the unstable node to the stable node which leads multiple relaxation oscillations occurring. This study reveals the occurrence of boundary equilibrium bifurcations, enriching the understanding of predator–prey dynamics. In addition, a sliding mode controller is designed in the fast–slow predator–prey system to make the periodic trajectory tend to the internal equilibrium point. Taking the predator–prey relationship between insect and bird as an example, numerical simulations are provided to verify the theoretical results.
{"title":"Bifurcation analysis and sliding mode control of a singular piecewise-smooth prey–predator model with distributed delay","authors":"Yue Zhang, Xin Ai, Zhenlei Li, Jie Gao","doi":"10.1016/j.nahs.2025.101582","DOIUrl":"10.1016/j.nahs.2025.101582","url":null,"abstract":"<div><div>In this paper, the piecewise-smooth functional response function and distributed delay are used to describe the memory effect of predators and capture law when the abundance of prey changes greatly in ecosystems more realistically. A singular piecewise-smooth prey–predator model with distributed delay is studied. Considering the growth and loss rate of the predator much smaller than that of the prey, the model is described by a fast–slow system that mathematically leads to a singular perturbation problem. The dynamic behavior of the fast–slow system with distributed delay, piecewise smooth is novel and interesting. The system undergoes a Hopf bifurcation where the interior equilibrium becomes unstable leading to a stable limit cycle. As the perturbation parameter decreases, the co-existence equilibrium has a transition from the unstable node to the stable node which leads multiple relaxation oscillations occurring. This study reveals the occurrence of boundary equilibrium bifurcations, enriching the understanding of predator–prey dynamics. In addition, a sliding mode controller is designed in the fast–slow predator–prey system to make the periodic trajectory tend to the internal equilibrium point. Taking the predator–prey relationship between insect and bird as an example, numerical simulations are provided to verify the theoretical results.</div></div>","PeriodicalId":49011,"journal":{"name":"Nonlinear Analysis-Hybrid Systems","volume":"56 ","pages":"Article 101582"},"PeriodicalIF":3.7,"publicationDate":"2025-02-12","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"143387469","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}
Pub Date : 2025-02-10DOI: 10.1016/j.nahs.2025.101580
Xiju Wu , Yue Zhang , Xinzhu Yan
In this paper, we investigate a stochastic hybrid epidemic model with alert effects and telegraph noise. The existence and uniqueness of global positive solution is discussed, and the sufficient conditions for the average persistence and ergodic stationary distribution are obtained. Furthermore, a sliding-mode controller is designed to prevent the large-scale spread of the epidemic. Finally, number simulations are employed to illustrate the theoretical analysis.
{"title":"Stationary distribution and sliding mode control on a stochastic hybrid epidemic model with telegraph noise","authors":"Xiju Wu , Yue Zhang , Xinzhu Yan","doi":"10.1016/j.nahs.2025.101580","DOIUrl":"10.1016/j.nahs.2025.101580","url":null,"abstract":"<div><div>In this paper, we investigate a stochastic hybrid epidemic model with alert effects and telegraph noise. The existence and uniqueness of global positive solution is discussed, and the sufficient conditions for the average persistence and ergodic stationary distribution are obtained. Furthermore, a sliding-mode controller is designed to prevent the large-scale spread of the epidemic. Finally, number simulations are employed to illustrate the theoretical analysis.</div></div>","PeriodicalId":49011,"journal":{"name":"Nonlinear Analysis-Hybrid Systems","volume":"56 ","pages":"Article 101580"},"PeriodicalIF":3.7,"publicationDate":"2025-02-10","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"143377025","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}
Pub Date : 2025-02-06DOI: 10.1016/j.nahs.2025.101579
Ran Tian, Jie Mei, Guangfu Ma
This paper addresses the issue of differential privacy-preserving in multi-agent systems (MASs) with the existence of misbehaving agents and antagonistic interactions over a signed digraph. Even with the existence of a maximum of faulty agents within the network, non-faulty agents pursue resilient bipartite consensus, with the requirement that their initial conditions can fulfill differential privacy. To this end, we propose the differentially private absolute weighted mean subsequence reduced (DP-AW-MSR) algorithm. Under the structurally balanced signed digraph with sufficient connectivity in terms of robustness, three essential properties of this algorithm are characterized: resilient bipartite consensus, accuracy and differential privacy. Numerical simulation is given to illustrate the effectiveness of our findings.
{"title":"Privacy-preserving resilient bipartite consensus of multi-agent systems: A differential privacy scheme","authors":"Ran Tian, Jie Mei, Guangfu Ma","doi":"10.1016/j.nahs.2025.101579","DOIUrl":"10.1016/j.nahs.2025.101579","url":null,"abstract":"<div><div>This paper addresses the issue of differential privacy-preserving in multi-agent systems (MASs) with the existence of misbehaving agents and antagonistic interactions over a signed digraph. Even with the existence of a maximum of <span><math><mi>f</mi></math></span> faulty agents within the network, non-faulty agents pursue resilient bipartite consensus, with the requirement that their initial conditions can fulfill differential privacy. To this end, we propose the differentially private absolute weighted mean subsequence reduced (DP-AW-MSR) algorithm. Under the structurally balanced signed digraph with sufficient connectivity in terms of robustness, three essential properties of this algorithm are characterized: resilient bipartite consensus, accuracy and differential privacy. Numerical simulation is given to illustrate the effectiveness of our findings.</div></div>","PeriodicalId":49011,"journal":{"name":"Nonlinear Analysis-Hybrid Systems","volume":"56 ","pages":"Article 101579"},"PeriodicalIF":3.7,"publicationDate":"2025-02-06","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"143329433","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}
Pub Date : 2025-01-31DOI: 10.1016/j.nahs.2025.101578
Dandan Zhang , Xin Jin , Hongye Su
By employing Lyapunov-like conditions along with the stochastic invariance principle, we develop a quaternion-hysteresis-based distributed stochastic hybrid feedback algorithm aimed at achieving robust global attitude synchronization, addressing both sure and almost sure convergence. The distributed hybrid algorithm integrates a hybrid control variable that experiences continuous changes and instantaneous resets according to a unit quaternion-based reset rule and the associated hysteresis-based conditions. In this hysteresis-based hybrid framework, by treating the reset coefficients as random variables, these coefficients introduce the unique source of randomness; these coefficients are dynamically and randomly selected by the reset rule, leading to varying hysteresis half-widths and, consequently, different nominal levels of robustness; the orientation of the spring force, which reversely pulls the rigid body along the rotation axis to prevent the unwinding phenomenon, is determined by the deterministic sign of the hybrid control variable, whereas the hysteresis half-widths can delay this pulling. By dynamically and randomly adjusting the stochastic hysteresis half-widths, we create a flexible tradeoff between mitigating the amount of unwinding and enhancing the nominal level of robustness to measurement noise. By imposing different constraints on the support domain of random reset coefficients, the hybrid algorithm achieves both sure robust global and robust global almost sure attitude synchronization.
{"title":"Sure robust global versus robust global almost sure convergence: Implementing a dynamic random coefficient selection in a quaternion-hysteresis-based distributed hybrid algorithm","authors":"Dandan Zhang , Xin Jin , Hongye Su","doi":"10.1016/j.nahs.2025.101578","DOIUrl":"10.1016/j.nahs.2025.101578","url":null,"abstract":"<div><div>By employing Lyapunov-like conditions along with the stochastic invariance principle, we develop a quaternion-hysteresis-based distributed stochastic hybrid feedback algorithm aimed at achieving robust <em>global</em> attitude synchronization, addressing both <em>sure</em> and <em>almost sure</em> convergence. The distributed hybrid algorithm integrates a hybrid control variable that experiences continuous changes and instantaneous resets according to a unit quaternion-based reset rule and the associated hysteresis-based conditions. In this hysteresis-based hybrid framework, by treating the reset coefficients as random variables, these coefficients introduce the unique source of randomness; these coefficients are dynamically and randomly selected by the reset rule, leading to varying hysteresis half-widths and, consequently, different nominal levels of robustness; the orientation of the spring force, which reversely pulls the rigid body along the rotation axis to prevent the unwinding phenomenon, is determined by the deterministic sign of the hybrid control variable, whereas the hysteresis half-widths can delay this pulling. By dynamically and randomly adjusting the stochastic hysteresis half-widths, we create a flexible tradeoff between mitigating the amount of unwinding and enhancing the nominal level of robustness to measurement noise. By imposing different constraints on the support domain of random reset coefficients, the hybrid algorithm achieves both <em>sure</em> robust <em>global</em> and robust <em>global almost sure</em> attitude synchronization.</div></div>","PeriodicalId":49011,"journal":{"name":"Nonlinear Analysis-Hybrid Systems","volume":"56 ","pages":"Article 101578"},"PeriodicalIF":3.7,"publicationDate":"2025-01-31","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"143144670","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}
Pub Date : 2025-01-29DOI: 10.1016/j.nahs.2025.101576
Gustavo A. Cardona, Disha Kamale, Cristian-Ioan Vasile
This paper introduces an efficient optimization-based control synthesis methodology tailored for Signal Temporal Logic (STL) and its extension, weighted Signal Temporal Logic (wSTL). While STL captures Boolean and temporal operators, wSTL further allows users to express preferences and priorities over concurrent and sequential tasks denoted by weights over logical and temporal operators along with satisfaction times. The proposed approach utilizes Mixed Integer Linear Programming (MILP) for synthesis with both STL and wSTL formulae. We introduce efficient disjunction-centric encodings for STL and wSTL that capture both qualitative and quantitative semantics. This encoding minimizes the number of variables and constraints necessary to represent STL and wSTL formulae by efficiently handling conjunction operations (e.g., conjunction, always operators) and only introducing variables when disjunction operations are used (e.g., disjunction, eventually). Multiple case studies are conducted to demonstrate the proposed methodology’s operation and computational efficiency for the control synthesis with STL and wSTL specifications. While non-linear dynamics and predicates can be considered using piecewise linear functions, this work focuses on linear predicates and dynamics. We show how cost functions involving potentially conflicting objectives expressed in terms of states, controls, and satisfaction robustness impact the solutions to the control synthesis problem for STL and wSTL. We conduct a sensitivity analysis of weights used in wSTL formulae, offering detailed insights into how these weights modulate solutions for given formulae. Finally, the time performance of the disjunction-centric encodings for both STL and wSTL is compared against state-of-the-art frameworks, comprehensively evaluating their efficiency and practical applicability.
{"title":"STL and wSTL control synthesis: A disjunction-centric mixed-integer linear programming approach","authors":"Gustavo A. Cardona, Disha Kamale, Cristian-Ioan Vasile","doi":"10.1016/j.nahs.2025.101576","DOIUrl":"10.1016/j.nahs.2025.101576","url":null,"abstract":"<div><div>This paper introduces an efficient optimization-based control synthesis methodology tailored for Signal Temporal Logic (STL) and its extension, weighted Signal Temporal Logic (wSTL). While STL captures Boolean and temporal operators, wSTL further allows users to express preferences and priorities over concurrent and sequential tasks denoted by weights over logical and temporal operators along with satisfaction times. The proposed approach utilizes Mixed Integer Linear Programming (MILP) for synthesis with both STL and wSTL formulae. We introduce efficient disjunction-centric encodings for STL and wSTL that capture both qualitative and quantitative semantics. This encoding minimizes the number of variables and constraints necessary to represent STL and wSTL formulae by efficiently handling conjunction operations (e.g., conjunction, always operators) and only introducing variables when disjunction operations are used (e.g., disjunction, eventually). Multiple case studies are conducted to demonstrate the proposed methodology’s operation and computational efficiency for the control synthesis with STL and wSTL specifications. While non-linear dynamics and predicates can be considered using piecewise linear functions, this work focuses on linear predicates and dynamics. We show how cost functions involving potentially conflicting objectives expressed in terms of states, controls, and satisfaction robustness impact the solutions to the control synthesis problem for STL and wSTL. We conduct a sensitivity analysis of weights used in wSTL formulae, offering detailed insights into how these weights modulate solutions for given formulae. Finally, the time performance of the disjunction-centric encodings for both STL and wSTL is compared against state-of-the-art frameworks, comprehensively evaluating their efficiency and practical applicability.</div></div>","PeriodicalId":49011,"journal":{"name":"Nonlinear Analysis-Hybrid Systems","volume":"56 ","pages":"Article 101576"},"PeriodicalIF":3.7,"publicationDate":"2025-01-29","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"143144667","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}
Pub Date : 2025-01-25DOI: 10.1016/j.nahs.2025.101577
Bo Chen, Wei Zhu
In this study, the problem of multiple circles formation-circumnavigation switching control around a nonstationary target of multiple heterogeneous autonomous underwater vehicle (AUV) systems with intermittent communication among partial individuals is investigated. An intermittent communication-based two-layer control strategy is proposed, comprising finite time observers and finite time controller. Since the communication between individuals is intermittent and only partial AUVs can directly obtain partial information from the target, a distributed adaptive finite-time hybrid observer is designed to estimate the information of the target. Additionally, another observer is developed to estimate the state of cluster leader. Subsequently, based on geometric structure and variable substitution, a distributed finite-time multiple circles formation-circumnavigation switching controller is designed, using the estimated value as the reference signal. The controller enables smooth switching between formation and circumnavigation for multiple AUV systems in intermittent communication scenarios, which can effectively improve the economy and practicality of applications. A homogeneous technique is used to show that the control objective can be achieved in finite time under the proposed controller. Numerical simulations are conducted to illustrate the effectiveness of the proposed control strategy.
{"title":"Multiple circles formation-circumnavigation switching control around a nonstationary target","authors":"Bo Chen, Wei Zhu","doi":"10.1016/j.nahs.2025.101577","DOIUrl":"10.1016/j.nahs.2025.101577","url":null,"abstract":"<div><div>In this study, the problem of multiple circles formation-circumnavigation switching control around a nonstationary target of multiple heterogeneous autonomous underwater vehicle (AUV) systems with intermittent communication among partial individuals is investigated. An intermittent communication-based two-layer control strategy is proposed, comprising finite time observers and finite time controller. Since the communication between individuals is intermittent and only partial AUVs can directly obtain partial information from the target, a distributed adaptive finite-time hybrid observer is designed to estimate the information of the target. Additionally, another observer is developed to estimate the state of cluster leader. Subsequently, based on geometric structure and variable substitution, a distributed finite-time multiple circles formation-circumnavigation switching controller is designed, using the estimated value as the reference signal. The controller enables smooth switching between formation and circumnavigation for multiple AUV systems in intermittent communication scenarios, which can effectively improve the economy and practicality of applications. A homogeneous technique is used to show that the control objective can be achieved in finite time under the proposed controller. Numerical simulations are conducted to illustrate the effectiveness of the proposed control strategy.</div></div>","PeriodicalId":49011,"journal":{"name":"Nonlinear Analysis-Hybrid Systems","volume":"56 ","pages":"Article 101577"},"PeriodicalIF":3.7,"publicationDate":"2025-01-25","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"143144666","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}
Pub Date : 2025-01-16DOI: 10.1016/j.nahs.2025.101575
Jung-Min Yang , Seong Woo Kwak
This article addresses a novel attack-resilient corrective control scheme for nondeterministic input/state asynchronous sequential machines (ASMs) vulnerable to actuator attacks. The considered actuator attack causes ASMs to undergo unauthorized state transitions in both fundamental and non-fundamental mode. In comparison with the case of deterministic ASMs, different control objectives and reachability conditions should be presented to fulfill complete attack detection and recovery. In the framework of corrective control theory with the state-burst feedback, we present the existence condition and design procedure for an attack-resilient corrective controller which harnesses nondeterminism in the machine’s operation. To demonstrate the superiority and applicability of the proposed control strategy, hardware experiments on field-programmable gate array (FPGA) circuits implementing a space-borne digital system are conducted and convincing experimental verifications are provided.
{"title":"Attack-resilient corrective control of nondeterministic asynchronous sequential machines and its application to a space-borne digital system","authors":"Jung-Min Yang , Seong Woo Kwak","doi":"10.1016/j.nahs.2025.101575","DOIUrl":"10.1016/j.nahs.2025.101575","url":null,"abstract":"<div><div>This article addresses a novel attack-resilient corrective control scheme for nondeterministic input/state asynchronous sequential machines (ASMs) vulnerable to actuator attacks. The considered actuator attack causes ASMs to undergo unauthorized state transitions in both fundamental and non-fundamental mode. In comparison with the case of deterministic ASMs, different control objectives and reachability conditions should be presented to fulfill complete attack detection and recovery. In the framework of corrective control theory with the state-burst feedback, we present the existence condition and design procedure for an attack-resilient corrective controller which harnesses nondeterminism in the machine’s operation. To demonstrate the superiority and applicability of the proposed control strategy, hardware experiments on field-programmable gate array (FPGA) circuits implementing a space-borne digital system are conducted and convincing experimental verifications are provided.</div></div>","PeriodicalId":49011,"journal":{"name":"Nonlinear Analysis-Hybrid Systems","volume":"56 ","pages":"Article 101575"},"PeriodicalIF":3.7,"publicationDate":"2025-01-16","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"143144669","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}
Pub Date : 2025-01-09DOI: 10.1016/j.nahs.2024.101571
Yushen Huang , Ertai Luo , Stanley Bak, Yifan Sun
In real world applications, uncertain parameters are the rule rather than the exception. We present a reachability algorithm for linear systems with uncertain parameters and inputs using set propagation of polynomial zonotopes. In contrast to previous methods, our approach is able to tightly capture the non-convexity of the reachable set. Building up on our main result, we show how our reachability algorithm can be extended to handle linear time-varying systems as well as linear systems with time-varying parameters. Moreover, our approach opens up new possibilities for reachability analysis of linear time-invariant systems, nonlinear systems, and hybrid systems. We compare our approach to other state of the art methods, with superior tightness on two benchmarks including a 9-dimensional vehicle platooning system. Moreover, as part of the journal extension, we investigate through a polynomial zonotope with special structure named multi-affine zonotopes and its optimization problem. We provide the corresponding optimization algorithm and experiment over the examples obtained from two benchmark systems, showing the efficiency and scalability comparing to the state of the art method for handling such type of set representation.
{"title":"Reachability analysis for linear systems with uncertain parameters using polynomial zonotopes","authors":"Yushen Huang , Ertai Luo , Stanley Bak, Yifan Sun","doi":"10.1016/j.nahs.2024.101571","DOIUrl":"10.1016/j.nahs.2024.101571","url":null,"abstract":"<div><div>In real world applications, uncertain parameters are the rule rather than the exception. We present a reachability algorithm for linear systems with uncertain parameters and inputs using set propagation of polynomial zonotopes. In contrast to previous methods, our approach is able to tightly capture the non-convexity of the reachable set. Building up on our main result, we show how our reachability algorithm can be extended to handle linear time-varying systems as well as linear systems with time-varying parameters. Moreover, our approach opens up new possibilities for reachability analysis of linear time-invariant systems, nonlinear systems, and hybrid systems. We compare our approach to other state of the art methods, with superior tightness on two benchmarks including a 9-dimensional vehicle platooning system. Moreover, as part of the journal extension, we investigate through a polynomial zonotope with special structure named multi-affine zonotopes and its optimization problem. We provide the corresponding optimization algorithm and experiment over the examples obtained from two benchmark systems, showing the efficiency and scalability comparing to the state of the art method for handling such type of set representation.</div></div>","PeriodicalId":49011,"journal":{"name":"Nonlinear Analysis-Hybrid Systems","volume":"56 ","pages":"Article 101571"},"PeriodicalIF":3.7,"publicationDate":"2025-01-09","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"143144673","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}
扫码关注我们
求助内容：
应助结果提醒方式：
京公网安备 11010802042870号