Nonlinear Analysis-Hybrid Systems最新文献

{"title":"Constraint-driven nonlinear reachability analysis with automated tuning of tool properties","authors":"Luca Geretti ,&nbsp;Pieter Collins ,&nbsp;Pierluigi Nuzzo ,&nbsp;Tiziano Villa","doi":"10.1016/j.nahs.2024.101532","DOIUrl":"10.1016/j.nahs.2024.101532","url":null,"abstract":"<div><p>The effectiveness of reachability analysis often depends on choosing appropriate values for a set of tool-specific properties which need to be manually tailored to the specific system involved and the reachable set to be evolved. Such <em>property tuning</em> is a time-consuming task, especially when dealing with nonlinear systems. In this paper, we propose, instead, a methodology to automatically and dynamically choose property values for reachability analysis along the system evolution, based on the actual verification objective, i.e., the verification or falsification of a set of constraints. By leveraging an initial solution to the reachable set, we estimate bounds on the numerical accuracy required from each integration step to provide a definite answer to the satisfaction of the constraints. Based on these accuracy bounds, we design a cost function which we use, after mapping the property space to an integer space, to search for locally optimal property values that yield the desired accuracy. Results from the application of our methodology to the nonlinear reachability analysis tool <span>Ariadne</span> show that the frequency of correct answers to constraint satisfaction problems increases significantly with respect to a manual approach.</p></div>","PeriodicalId":49011,"journal":{"name":"Nonlinear Analysis-Hybrid Systems","volume":"54 ","pages":"Article 101532"},"PeriodicalIF":3.7,"publicationDate":"2024-08-06","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://www.sciencedirect.com/science/article/pii/S1751570X24000694/pdfft?md5=5ec50d0940c1820368565a3ceb881f2f&pid=1-s2.0-S1751570X24000694-main.pdf","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141929725","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}

{"title":"A probability constrained dynamic switching optimization method for the energy dispatch strategy of hybrid power systems with renewable energy resources and uncertainty","authors":"Xiang Wu ,&nbsp;Xiaolan Yuan ,&nbsp;Kanjian Zhang","doi":"10.1016/j.nahs.2024.101535","DOIUrl":"10.1016/j.nahs.2024.101535","url":null,"abstract":"<div><p>The actual industrial process is usually an uncertain dynamic process. Probability constraints are appropriate for the industrial process modeling in uncertain environments, where constrained conditions do not require to be entirely satisfied or cannot be strictly satisfied. This paper models an energy dispatch strategy problem for hybrid power systems with renewable energy resources as a dynamic switching optimization problem with probability constraints. Finding an analytical solution of the probability constrained dynamic switching optimization problem (i.e., an infinite dimensional optimization problem) is usually very challenging because of the switching characteristic of its dynamic system and the complexity of probability constraints. To find a numerical solution, this problem is treated as a constrained nonlinear parameter optimization problem (i.e., a finite dimensional optimization problem) by using a relaxation approach, an improved sample approximation technique, two smooth approximation methods, and a control parameterization technique. The advantage of the proposed method is that the proposed method does not rely on the structure of the original problem and can be used to handle random variables with various distributions. Further, a penalty function-based intelligent optimization method is proposed for solving the resulting constrained nonlinear parameter optimization problem based on an improved limited-memory BFGS method and an improved intelligent optimization method. According to the convergence result, the penalty function-based intelligent optimization method has global convergence. Finally, two examples are adopted to demonstrate the effectiveness of the proposed approach. Numerical results show that compared with other methods, the proposed method not only can obtain a better solution with a smaller standard deviation, but also has relatively lower computational cost. Additionally, the proposed approach can achieve a stable and robust performance, when we consider the small noise disturbances in the initial system state. That is to say, an effective numerical optimization algorithm is proposed for solving the energy dispatch strategy problem for hybrid power systems with renewable energy resources. Further, a parameter setting method is also proposed by applying the sensitivity analysis approach to balance the calculation cost and the accuracy of obtained solutions.</p></div>","PeriodicalId":49011,"journal":{"name":"Nonlinear Analysis-Hybrid Systems","volume":"54 ","pages":"Article 101535"},"PeriodicalIF":3.7,"publicationDate":"2024-08-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141929772","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}

{"title":"Exponential input-to-state stability of non-linear reaction–diffusion systems with Markovian switching","authors":"Zhuo Xue ,&nbsp;Xin-Xin Han ,&nbsp;Kai-Ning Wu","doi":"10.1016/j.nahs.2024.101534","DOIUrl":"10.1016/j.nahs.2024.101534","url":null,"abstract":"<div><p>Mean square exponential input-to-state stability (MSEISS) is studied for Markovian reaction–diffusion systems (MRDSs) with partial unknown transition probabilities. Firstly, the representation of the weak infinitesimal operator is derived for the partial differential system with Markovian switching. When transition probabilities are partially unknown, with the Lyapunov functional method, free constants and Wirtinger-type inequality, a sufficient condition is established to obtain the MSEISS for MRDSs where both the boundary input and in-domain input are considered. Then, the boundary controller is considered for MRDSs, and a sufficient criterion related to control gain is established to ensure the MSEISS and the effectiveness of controller is illustrated. In addition, the robust MSEISS is investigated for uncertain MRDSs. Finally, the derived results are illustrated via battery temperature management systems.</p></div>","PeriodicalId":49011,"journal":{"name":"Nonlinear Analysis-Hybrid Systems","volume":"54 ","pages":"Article 101534"},"PeriodicalIF":3.7,"publicationDate":"2024-07-30","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141929773","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}

{"title":"Event-triggered stabilization of nonlinear systems by using fast-varying square wave dithers","authors":"Jin Zhang ,&nbsp;Zhihao Zhang ,&nbsp;Emilia Fridman","doi":"10.1016/j.nahs.2024.101533","DOIUrl":"10.1016/j.nahs.2024.101533","url":null,"abstract":"<div><p>This paper studies static output-feedback stabilization of the second- and third-order (with relative degree 3) nonlinear systems by a fast-varying square wave dither with a high gain. Recently, a constructive time-delay approach to design such a fast-varying output-feedback controller for linear systems was suggested by using continuous measurements. In the present paper, we extend these results to the case where the measurements are sent to the controller via a communication network. The sampling intervals are expected to be small due to the rapidly oscillating high gains. To reduce the network load, we suggest a dynamic event-trigger (ET) via switching approach. We present the closed-loop system as a switching between the system under periodic sampling and the one under continuous event-trigger and take the maximum sampling preserving the stability as the lower bound of inter-event time. We construct appropriate coordinate transformations that cancel the high gains in the closed-loop system and apply the time-delay approach to periodic averaging of the system in new coordinates. By employing appropriate Lyapunov functionals, we derive linear matrix inequalities (LMIs) for finding efficient bounds on the dither frequencies and inter-event times that guarantee the stability of the original systems. Numerical examples illustrate the efficiency of the method.</p></div>","PeriodicalId":49011,"journal":{"name":"Nonlinear Analysis-Hybrid Systems","volume":"54 ","pages":"Article 101533"},"PeriodicalIF":3.7,"publicationDate":"2024-07-30","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141929726","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}

{"title":"Self-triggered control for approximate synchronization of singular logical networks","authors":"Qiliang Zhang ,&nbsp;Yongyuan Yu ,&nbsp;Jun-e Feng","doi":"10.1016/j.nahs.2024.101531","DOIUrl":"10.1016/j.nahs.2024.101531","url":null,"abstract":"<div><p>This paper investigates the approximate synchronization of singular logical networks (SLNs) using algebraic representations. Different from complete synchronization, which requires the state trajectories of the drive-response SLNs to be completely consistent after a finite time, approximate synchronization allows for admissible errors between the state trajectories of the drive-response SLNs. A definition of approximate synchronization for SLNs is proposed. By analyzing the constructed admissible matrices, the solvability of SLNs is discussed. A criterion is provided for the approximate synchronization of SLNs. Self-triggered control is then introduced to address the approximate synchronization of SLNs. Based on this, an algorithm is presented to design the self-triggered state feedback control of approximate synchronization. The method presented in this paper can significantly reduce updating frequencies of controllers. Finally, obtained theoretical results are illustrated through a genetic regulatory network.</p></div>","PeriodicalId":49011,"journal":{"name":"Nonlinear Analysis-Hybrid Systems","volume":"54 ","pages":"Article 101531"},"PeriodicalIF":3.7,"publicationDate":"2024-07-30","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141929774","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}

{"title":"Estimating the minimal domains of attraction of uncertain discrete-time switched systems under state-dependent switching","authors":"Shijie Wang ,&nbsp;Junjie Lu ,&nbsp;Zhikun She","doi":"10.1016/j.nahs.2024.101527","DOIUrl":"10.1016/j.nahs.2024.101527","url":null,"abstract":"<div><p>In this paper, we inner-estimate the minimal domains of attraction of uncertain discrete-time switched systems under state-dependent switching, where the uncertain terms are described by bounded functions. At first, we introduce the uncertain parameter evolution to define the solution (or trajectory) of uncertain discrete-time switched system and then present the definitions of multi-step state subspaces, multi-step basins of attraction and multi-step Lyapunov-like functions. Then, based on using multi-step Lyapunov-like functions to iteratively compute multi-step basins of attraction, we establish an iterative framework to compute inner-estimations of the minimal domain of attraction. Especially, since certain multi-step state subspaces are empty sets, the corresponding constraints in the iterative framework are redundant. Therefore, we next realize the iterative framework by first finding out the non-empty multi-step state subspaces by the homotopy continuation method and then using S-procedure to under-approximately transform the iterative framework into a sum of squares programming. Moreover, we introduce a refinement method to improve our iterative method. At last, we apply our iterative method to four theoretical examples as well as a real-world example and present a short discussion on the results.</p></div>","PeriodicalId":49011,"journal":{"name":"Nonlinear Analysis-Hybrid Systems","volume":"54 ","pages":"Article 101527"},"PeriodicalIF":3.7,"publicationDate":"2024-07-18","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141638375","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}

{"title":"Stochastic safety analysis and synthesis of a class of human-in-the-loop systems via reachable set computation","authors":"Yang-Fan Liu ,&nbsp;Huai-Ning Wu","doi":"10.1016/j.nahs.2024.101526","DOIUrl":"10.1016/j.nahs.2024.101526","url":null,"abstract":"<div><p>This paper investigates the stochastic safety analysis and synthesis issues for a class of linear human-in-the-loop (HiTL) systems based on hidden semi-Markov human behavior modeling and stochastic reachable set computation. Firstly, by considering the random property of human internal state (HIS) reasoning and the uncertainty from HIS observation, a hidden semi-Markov model (HS-MM) is employed to describe the HIS behavior. A discrete-time hidden semi-Markov jump system (HS-MJS) model is then constructed to depict the HiTL control system, which can integrate human model, machine model, and their interaction in a stochastic framework. The safety constraints are described through a polyhedral set of the machine state. Subsequently, based on the HS-MJS model, a sufficient condition for the stochastic safety of the HiTL control system is provided in terms of linear matrix inequalities (LMIs) via reachable set computation. A human-assistance safety control design is derived on the basis of LMIs. Moreover, for some given safe confidence level, a stochastic safety criterion and an LMI-based human-assistance controller synthesis method are proposed for the HiTL control system by computing the probabilistic reachable set. Finally, a lane-keeping assistance system is employed to verify the feasibility of the theoretical results.</p></div>","PeriodicalId":49011,"journal":{"name":"Nonlinear Analysis-Hybrid Systems","volume":"54 ","pages":"Article 101526"},"PeriodicalIF":3.7,"publicationDate":"2024-07-17","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141638383","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}

{"title":"Detection of tampering attacks and parameter identification for FIR systems with binary-valued observations: An input design approach","authors":"Ruizhe Jia,&nbsp;Peng Yu,&nbsp;Yan Liu,&nbsp;Jin Guo","doi":"10.1016/j.nahs.2024.101529","DOIUrl":"10.1016/j.nahs.2024.101529","url":null,"abstract":"<div><p>This paper investigates the issues of data tampering attacks detection and system parameter identification in finite impulse response (FIR) systems with binary-valued observations. Without the need to acquire system-related prior information or perform operations such as adding watermarks or encryption to the data, a detection and identification joint algorithm is proposed using input design. This algorithm can detect potential data tampering attacks in the system while achieving consistent identification of system parameters. Subsequently, a pair of metrics for evaluating the detection performance of the algorithm, namely the missing detection rate and false detection rate, are introduced, and approximate expressions for both are provided, followed by a discussion on the impact of data length and detection threshold on these metrics. Finally, numerical simulations are conducted to validate the conclusions obtained and the results of the discussions.</p></div>","PeriodicalId":49011,"journal":{"name":"Nonlinear Analysis-Hybrid Systems","volume":"54 ","pages":"Article 101529"},"PeriodicalIF":3.7,"publicationDate":"2024-07-17","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141638384","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}

{"title":"Controllability of delayed generalized asynchronous Boolean control networks under disturbances","authors":"H. Zhang,&nbsp;X. Su,&nbsp;L. Xu,&nbsp;P. Yan","doi":"10.1016/j.nahs.2024.101528","DOIUrl":"10.1016/j.nahs.2024.101528","url":null,"abstract":"<div><p>For delayed generalized asynchronous Boolean networks with random disturbances, it is still uncertain about their robust controllability. This paper uses the semi-tensor product to transform these Boolean networks into linear representations to derive the dependence matrix of the network transition on the control mode. After that, three different control modes are utilized to define controllability. Each control mode provides both reachable trajectories set under a specific initial trajectory and an initial trajectory set under a specific target trajectory. It is also calculated for the likelihood of a transition between two states. Lastly, two concrete examples validate the theoretical findings under various control modes.</p></div>","PeriodicalId":49011,"journal":{"name":"Nonlinear Analysis-Hybrid Systems","volume":"54 ","pages":"Article 101528"},"PeriodicalIF":3.7,"publicationDate":"2024-07-14","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141623061","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}

{"title":"Bipartite quasi synchronization of stochastic delayed cooperation–competition networks with gain-waving intermittent control","authors":"Sen Li ,&nbsp;Yiyang Zhao ,&nbsp;Lingran Song","doi":"10.1016/j.nahs.2024.101523","DOIUrl":"https://doi.org/10.1016/j.nahs.2024.101523","url":null,"abstract":"<div><p>Given the cooperation and competition bi-directional mechanisms between subsystems, this paper aims at addressing bipartite quasi synchronization (BQS) of stochastic delayed cooperation–competition networks (SDCNs). We propose a gain-waving intermittent control policy, that includes more of the existing works, to assist the BQS, in an effort to cope with external interferences and the possibility of actuator damage caused by rapid switching. Intermittent gain is to be quantized legitimately via the postulate of waving average gain. Within this context, novel Lyapunov inequalities concerning bounded waving gain and unbounded one are advanced to ensure the BQS of SDCNs in conjunction with graph theory, since the present differential inequalities are incapable of being inoperative. Then we develop two kinds of BQS criteria and the bounds for the BQS error are estimated where the scenarios of bounded waving gain and unbounded one are involved separately. Besides, corresponding criteria about complete bipartite synchronization are presented and several design methods of gain-waving intermittent control are introduced by specific examples. Finally, the validity of the theoretical results is examined by an application on Chua’s circuit with numerical simulations being shown.</p></div>","PeriodicalId":49011,"journal":{"name":"Nonlinear Analysis-Hybrid Systems","volume":"54 ","pages":"Article 101523"},"PeriodicalIF":3.7,"publicationDate":"2024-07-08","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141592903","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}