Nonlinear Analysis-Hybrid Systems最新文献

{"title":"Numerical solutions of optimal stopping problems for a class of hybrid stochastic systems","authors":"Philip A. Ernst ,&nbsp;Xiaohang Ma ,&nbsp;Masoud H. Nazari ,&nbsp;Hongjiang Qian ,&nbsp;Le Yi Wang ,&nbsp;George Yin","doi":"10.1016/j.nahs.2024.101507","DOIUrl":"https://doi.org/10.1016/j.nahs.2024.101507","url":null,"abstract":"<div><p>This paper is devoted to numerically solving a class of optimal stopping problems for stochastic hybrid systems involving both continuous states and discrete events. The motivation for solving this class of problems stems from quickest event detection problems of stochastic hybrid systems in broad application domains. We solve the optimal stopping problems numerically by constructing feasible algorithms using Markov chain approximation techniques. The key tasks we undertake include designing and constructing discrete-time Markov chains that are locally consistent with switching diffusions, proving the convergence of suitably scaled sequences, and obtaining convergence for the cost and value functions. Finally, numerical results are provided to demonstrate the performance of the algorithms.</p></div>","PeriodicalId":49011,"journal":{"name":"Nonlinear Analysis-Hybrid Systems","volume":"53 ","pages":"Article 101507"},"PeriodicalIF":4.2,"publicationDate":"2024-05-17","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141068846","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 stochastic consensus of multiagent systems over random antagonistic network in a compound noisy environment","authors":"Jinxin Shang ,&nbsp;Yingxue Du ,&nbsp;Zhi Liu ,&nbsp;Ancai Zhang ,&nbsp;Yan Zhang ,&nbsp;Tianwei Zhou","doi":"10.1016/j.nahs.2024.101506","DOIUrl":"https://doi.org/10.1016/j.nahs.2024.101506","url":null,"abstract":"<div><p>This article investigates an event-triggered strategy to deal with the bipartite consensus issue for stochastic multiagent systems (SMASs) in a communication noisy environment. The communication network can be modeled by a random signed graph and the communication noise is compound noises (additive noise and multiplicative noise). The stochastic event-triggered bipartite consensus control protocol for SMASs with compound noises is presented by the stochastic approximation (SA) method. Due to the control gain is time-varying and agent-dependent, the implementation of event-triggered control protocol may cause out-sync of the control gain. Meanwhile, the coexistence of stochastic antagonistic information and compound noises causes it hard to turn the noises term into an error equation, which leads to the fact that the traditional error transition method is invalid for our underlying system. To deal with these challenges, the state’s boundedness for each agent is first constructed by the Lyapunov method, and then the event-triggered bipartite consensus can be demonstrated via a new semi-decomposition technique. Finally, the effectiveness of the proposed SA controller is verified by two examples.</p></div>","PeriodicalId":49011,"journal":{"name":"Nonlinear Analysis-Hybrid Systems","volume":"53 ","pages":"Article 101506"},"PeriodicalIF":4.2,"publicationDate":"2024-05-17","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141068847","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":"Observer-based asynchronously intermittent decentralized control of large-scale systems","authors":"Ruogu Wang ,&nbsp;Xuanrong Yang ,&nbsp;Jing Shi","doi":"10.1016/j.nahs.2024.101503","DOIUrl":"https://doi.org/10.1016/j.nahs.2024.101503","url":null,"abstract":"<div><p>This paper focuses on observer-based asynchronously intermittent decentralized control of large-scale linear systems. The controller and observer of each subsystem are assumed to work and rest simultaneously, whereas the controllers and observers in different subsystems have independently and asynchronously intermittent working/resting time. By designing a piece-wise continuous auxiliary timer and using it to construct a switching vertex-Lyapunov function for each subsystem, we provide linear matrix inequality (LMI) conditions to determine the minimal allowable control rate of the intermittent controller that preserves the stability of the closed-loop system. We also present the design of an observer-based decentralized controller via LMIs. Finally, a simulation example illustrates the validity of the results.</p></div>","PeriodicalId":49011,"journal":{"name":"Nonlinear Analysis-Hybrid Systems","volume":"53 ","pages":"Article 101503"},"PeriodicalIF":4.2,"publicationDate":"2024-05-10","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"140905563","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":"Optimal control strategies for stormwater detention ponds","authors":"Martijn A. Goorden ,&nbsp;Kim G. Larsen ,&nbsp;Jesper E. Nielsen ,&nbsp;Thomas D. Nielsen ,&nbsp;Weizhu Qian ,&nbsp;Michael R. Rasmussen ,&nbsp;Jiří Srba ,&nbsp;Guohan Zhao","doi":"10.1016/j.nahs.2024.101504","DOIUrl":"https://doi.org/10.1016/j.nahs.2024.101504","url":null,"abstract":"<div><p>Stormwater detention ponds are essential stormwater management solutions that regulate the urban catchment discharge towards streams. Their purposes are to reduce the hydraulic load to avoid stream erosion, as well as to minimize the degradation of the natural waterbody by direct discharge of pollutants. Currently, static controllers are widely implemented for detention pond outflow regulation in engineering practice, i.e., the outflow discharge is capped at a fixed value. Such a passive discharge setting fails to exploit the full potential of the overall water system, hence further improvements are needed. We apply formal methods to synthesize (i.e., derive automatically) optimal active controllers. We model the stormwater detention pond, including the urban catchment area and the rain forecasts with its uncertainty, as hybrid Markov decision processes. Subsequently, we use the tool <span>Uppaal</span> <span>Stratego</span> to synthesize using Q-learning a control strategy maximizing the retention time for pollutant sedimentation (optimality) while also minimizing the duration of emergency overflow in the detention pond (safety). These strategies are synthesized for both an off-line and on-line settings. Simulation results for an existing pond show that <span>Uppaal</span> <span>Stratego</span> can learn optimal strategies that significantly reduce emergency overflows. For off-line controllers, a scenario with low rain periods shows a 26% improvement of pollutant sedimentation with respect to static control, and a scenario with high rain periods shows a reduction of overflow probability of 10%–19% for static control to lower than 5%, while pollutant sedimentation has only declined by 7% compared to static-control. For on-line controllers, one scenario with heavy rain shows a 95% overflow duration reduction and a 29% pollutant sedimentation improvement compared to static control.</p></div>","PeriodicalId":49011,"journal":{"name":"Nonlinear Analysis-Hybrid Systems","volume":"53 ","pages":"Article 101504"},"PeriodicalIF":4.2,"publicationDate":"2024-05-10","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://www.sciencedirect.com/science/article/pii/S1751570X24000414/pdfft?md5=200e71aa2ed9483ffd9ff6f45ee3a527&pid=1-s2.0-S1751570X24000414-main.pdf","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"140905564","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":"State estimation of the semilinear wave equation over the limited capacity communication channel","authors":"Maxim V. Dolgopolik ,&nbsp;Alexander L. Fradkov ,&nbsp;Boris Andrievsky","doi":"10.1016/j.nahs.2024.101500","DOIUrl":"https://doi.org/10.1016/j.nahs.2024.101500","url":null,"abstract":"<div><p>In the paper the problem of state estimation of the nonlinear spatially-distributed system described by semilinear wave equations over the limited capacity communication channel is considered under the assumption that the boundary derivative is measured with the sampling and the external boundary control input is perfectly known. The Luenberger-type observer is designed based on the Speed-gradient method with an energy-like objective functional. An upper bound for the observer error in terms of the data transmission error and channel data rate (capacity) is derived and two data transmission procedures are numerically studied to find the admissible data transmission bounds. The key contribution of this paper is the extension of the previously existing results to the cases when the measurements and signal transmission in the control system cannot be available instantly and the finite capacity of the communication channels should be taken into account. The study of such cases is important for the observation and control of PDEs since the instant processing of infinite dimensional PDE data is problematic. The novelty of the results is threefold. Firstly, the state observer for distributed systems described by semilinear wave equations under limited channel data rate (capacity) is designed. Secondly, first time analytic bound for estimation error is obtained. Thirdly, first time the adaptive coding procedure is introduced and numerically studied for distributed systems.</p></div>","PeriodicalId":49011,"journal":{"name":"Nonlinear Analysis-Hybrid Systems","volume":"53 ","pages":"Article 101500"},"PeriodicalIF":4.2,"publicationDate":"2024-05-07","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"140879825","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":"A node-pinning and state-flipped approach to partial synchronization of Boolean Networks","authors":"Leihao Du ,&nbsp;Zhipeng Zhang ,&nbsp;Chengyi Xia","doi":"10.1016/j.nahs.2024.101501","DOIUrl":"https://doi.org/10.1016/j.nahs.2024.101501","url":null,"abstract":"<div><p>In this paper, the partial synchronization of general Boolean Networks is studied from the perspective of nodes and states by using the semi-tensor product of matrices. First, by introducing the Hamming distances and its algebraic expression, the partial synchronization of general Boolean Networks can be transformed into an ensemble stability problem. Second, through optimizing the pinning strategy, the conditions for achieving partial synchronization of general Boolean Networks are developed, and the algorithm for finding the optimal pinning nodes is given. Subsequently, to further simplify the above condition, the related pinning node strategy is further optimized and combined by introducing state-flipped mechanism, which makes the general Boolean Networks partially synchronous under no condition, and requires the less number of nodes to be pinned compared to the previous works. Meanwhile, the corresponding algorithm for seeking the optimal pinning nodes is designed in the context of flipping the state only once. Finally, the obtained results are validated by several specific numerical examples. In summary, the current work can further enrich and improve the study of partial synchronization problems in Boolean Networks.</p></div>","PeriodicalId":49011,"journal":{"name":"Nonlinear Analysis-Hybrid Systems","volume":"53 ","pages":"Article 101501"},"PeriodicalIF":4.2,"publicationDate":"2024-05-07","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"140879818","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":"Epidemic dynamics of cholera with impulsive sanitation","authors":"Xueying Wang ,&nbsp;Feng-Bin Wang","doi":"10.1016/j.nahs.2024.101502","DOIUrl":"https://doi.org/10.1016/j.nahs.2024.101502","url":null,"abstract":"<div><p>In this work, we develop an ordinary differential equation (ODE) model with impulsive sanitation of cholera. The sanitation interventions are classified into three types in this article. The first two types are human sanitation, with type-1 sanitation focused on the prevention of direct and indirect transmissions and type-2 focused on prevention of bacterial shedding. The third type refers to pathogen sanitation where interventions are performed in contaminated water environment via disinfection. For the developed impulsive model, we introduce the basic production number <span><math><msub><mrow><mi>R</mi></mrow><mrow><mn>0</mn></mrow></msub></math></span> and show that <span><math><msub><mrow><mi>R</mi></mrow><mrow><mn>0</mn></mrow></msub></math></span> remains a sharp disease threshold parameter despite the incorporation of impulsive sanitation. We numerically investigate the impact of impulsive sanitation on the prevention and control of the disease. Our numerical results indicate that type-1 sanitation tends to bear the longest time window between subsequent interventions among all the three types of sanitation provided the same level of sanitation efficacy. Particularly, when the sanitation efficacy is 50% under 90% compliance, type-1 sanitation can be implemented about every 7 months for the purpose of disease control, whereas type-2 and type-3 sanitation will have be performed on a daily basis and every three weeks or so, respectively.</p></div>","PeriodicalId":49011,"journal":{"name":"Nonlinear Analysis-Hybrid Systems","volume":"53 ","pages":"Article 101502"},"PeriodicalIF":4.2,"publicationDate":"2024-05-06","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"140843253","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":"Approximate propagation of normal distributions for stochastic optimal control of nonsmooth systems","authors":"Florian Messerer ,&nbsp;Katrin Baumgärtner ,&nbsp;Armin Nurkanović ,&nbsp;Moritz Diehl","doi":"10.1016/j.nahs.2024.101499","DOIUrl":"https://doi.org/10.1016/j.nahs.2024.101499","url":null,"abstract":"<div><p>We present a method for the approximate propagation of mean and covariance of a probability distribution through ordinary differential equations (ODE) with discontinuous right-hand side. For piecewise affine systems, a normalization of the propagated probability distribution at every time step allows us to analytically compute the expectation integrals of the mean and covariance dynamics while explicitly taking into account the discontinuity. This leads to a natural smoothing of the discontinuity such that for relevant levels of uncertainty the resulting ODE can be integrated directly with standard schemes and it is neither necessary to prespecify the switching sequence nor to use a switch detection method. We then show how this result can be employed in the more general case of piecewise smooth functions based on a structure preserving linearization scheme. The resulting dynamics can be straightforwardly used within standard formulations of stochastic optimal control problems with chance constraints.</p></div>","PeriodicalId":49011,"journal":{"name":"Nonlinear Analysis-Hybrid Systems","volume":"53 ","pages":"Article 101499"},"PeriodicalIF":4.2,"publicationDate":"2024-04-25","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://www.sciencedirect.com/science/article/pii/S1751570X24000360/pdfft?md5=336e52fbb6b773e070e11866caeedd91&pid=1-s2.0-S1751570X24000360-main.pdf","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"140644562","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":"Comments on “Global leader-following consensus in finite time for fractional-order multi-agent systems with discontinuous inherent dynamics subject to nonlinear growth”","authors":"Vahid Badri","doi":"10.1016/j.nahs.2024.101497","DOIUrl":"https://doi.org/10.1016/j.nahs.2024.101497","url":null,"abstract":"<div><p>Despite the proposed results on the non-existing of finite time stable equilibria for fractional order systems (Shen and Lam, 2014), the commented paper (Wang et al., 2020) has shown finite time convergence of fractional order control systems via a couple of theorems. This comment demonstrates that the proofs of the given theorems in Wang et al. (2020) are incorrect.</p></div>","PeriodicalId":49011,"journal":{"name":"Nonlinear Analysis-Hybrid Systems","volume":"53 ","pages":"Article 101497"},"PeriodicalIF":4.2,"publicationDate":"2024-04-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"140619930","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":"Observer-based SMC for discrete semi-Markov switching models","authors":"Shaowei Li ,&nbsp;Lei Li ,&nbsp;Huajian Wang ,&nbsp;Wenhai Qi ,&nbsp;Jinde Cao ,&nbsp;Jun Cheng","doi":"10.1016/j.nahs.2024.101498","DOIUrl":"https://doi.org/10.1016/j.nahs.2024.101498","url":null,"abstract":"<div><p>This study focuses on the observer-based sliding mode control (SMC) for discrete stochastic switching models, where the semi-Markov kernel information is incomplete. Because the sensors do not always have direct access to the state vector in a complex environment, an observer-based output measurement is considered to estimate the system state. In contrast to previous works, the observer-based strategy is first investigated in studying the SMC for semi-Markov switching systems under the discrete framework. The sufficient condition for achieving mean-square stability is proposed to solve the desired observer and controller gains by utilizing the upper bound of sojourn time, along with the Lyapunov function that pertains to the system mode and the elapsed time. A mode-dependent SMC law is also constructed to ensure that the system state can reach the specified sliding region. Finally, the efficiency of the proposed method is demonstrated through the single-link robot arm model.</p></div>","PeriodicalId":49011,"journal":{"name":"Nonlinear Analysis-Hybrid Systems","volume":"53 ","pages":"Article 101498"},"PeriodicalIF":4.2,"publicationDate":"2024-04-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"140619929","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}