Pub Date : 2024-06-25DOI: 10.1016/j.nahs.2024.101522
Hongjie Pang , Jun Cheng , Huaicheng Yan , Dan Zhang , Wenhai Qi
This study is dedicated to exploring the challenge of asynchronous resilient robust model predictive control (RMPC) for linear parameter-varying (LPV) systems operating under a stochastic communication protocol (SCP). In contrast to the conventional Markov-based SCP, a novel sojourn probability-based SCP is introduced to regulate packet transmissions. This innovative approach simplifies the determination of transition probabilities and lessens the computational burden. Acknowledging the challenges associated with observing sojourn probability information, a mode detector is employed to describe the connection between mode discrepancies. To address parameter uncertainties, a novel detected-mode-based resilient control law is formulated to ensure the mean-square stability of the LPV system within the resilient RMPC framework. Additionally, an online algorithm for resilient RMPC is presented, grounded in an auxiliary optimization problem. Ultimately, the effectiveness of the proposed control strategy is validated via a high-purity distillation process model.
{"title":"Asynchronous model predictive control of LPV systems with stochastic communication protocol","authors":"Hongjie Pang , Jun Cheng , Huaicheng Yan , Dan Zhang , Wenhai Qi","doi":"10.1016/j.nahs.2024.101522","DOIUrl":"https://doi.org/10.1016/j.nahs.2024.101522","url":null,"abstract":"<div><p>This study is dedicated to exploring the challenge of asynchronous resilient robust model predictive control (RMPC) for linear parameter-varying (LPV) systems operating under a stochastic communication protocol (SCP). In contrast to the conventional Markov-based SCP, a novel sojourn probability-based SCP is introduced to regulate packet transmissions. This innovative approach simplifies the determination of transition probabilities and lessens the computational burden. Acknowledging the challenges associated with observing sojourn probability information, a mode detector is employed to describe the connection between mode discrepancies. To address parameter uncertainties, a novel detected-mode-based resilient control law is formulated to ensure the mean-square stability of the LPV system within the resilient RMPC framework. Additionally, an online algorithm for resilient RMPC is presented, grounded in an auxiliary optimization problem. Ultimately, the effectiveness of the proposed control strategy is validated via a high-purity distillation process model.</p></div>","PeriodicalId":49011,"journal":{"name":"Nonlinear Analysis-Hybrid Systems","volume":"54 ","pages":"Article 101522"},"PeriodicalIF":3.7,"publicationDate":"2024-06-25","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141485684","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 : 2024-06-21DOI: 10.1016/j.nahs.2024.101520
Aya Younes, Félix Miranda-Villatoro, Bernard Brogliato
This work is largely concerned with trajectory tracking in linear complementarity systems (LCS). The main analytical tool for stability analysis and control design is passivity and the associated linear matrix inequalities (LMIs) for feedback passification. Cases with and without state-jumps, with and without parametric uncertainties, are analyzed. Theoretical findings are illustrated with examples from circuits with set-valued, nonsmooth electronic components, networks with unilateral interactions, and mechanical system with unilateral spring.
{"title":"Trajectory tracking in linear complementarity systems with and without state jumps: A passivity approach","authors":"Aya Younes, Félix Miranda-Villatoro, Bernard Brogliato","doi":"10.1016/j.nahs.2024.101520","DOIUrl":"https://doi.org/10.1016/j.nahs.2024.101520","url":null,"abstract":"<div><p>This work is largely concerned with trajectory tracking in linear complementarity systems (LCS). The main analytical tool for stability analysis and control design is passivity and the associated linear matrix inequalities (LMIs) for feedback passification. Cases with and without state-jumps, with and without parametric uncertainties, are analyzed. Theoretical findings are illustrated with examples from circuits with set-valued, nonsmooth electronic components, networks with unilateral interactions, and mechanical system with unilateral spring.</p></div>","PeriodicalId":49011,"journal":{"name":"Nonlinear Analysis-Hybrid Systems","volume":"54 ","pages":"Article 101520"},"PeriodicalIF":3.7,"publicationDate":"2024-06-21","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141438966","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 : 2024-06-08DOI: 10.1016/j.nahs.2024.101518
Armin Nurkanović , Anton Pozharskiy , Jonathan Frey , Moritz Diehl
This paper develops high-accuracy methods for the numerical solution of optimal control problems subject to nonsmooth differential equations with set-valued Heaviside step functions. An important subclass of these systems are Filippov systems. By writing the Heaviside step function as the solution map of a linear program and using its optimality conditions, the initial nonsmooth system is rewritten into an equivalent Dynamic Complementarity System (DCS). The Finite Elements with Switch Detection (FESD) method (Nurkanović et al., 2024) was originally developed for Filippov systems transformed via Stewart’s reformulation into DCS (Stewart, 1990). This paper extends it to the above mentioned class of nonsmooth systems. The key ideas are to start with a standard Runge–Kutta method for the DCS and to let the integration step sizes to be degrees of freedom. Then, additional conditions are introduced to allow implicit but accurate switch detection and to remove possible spurious degrees of freedom when no switches occur. The theoretical properties of the FESD method are studied. The motivation for these developments is to obtain a computationally tractable formulation of nonsmooth optimal control problems. Numerical simulations and optimal control examples are used to illustrate the favorable properties of the proposed approach. All methods introduced in this paper are implemented in the open-source software package nosnoc (Nurkanović and Diehl, 2022).
{"title":"Finite Elements with Switch Detection for numerical optimal control of nonsmooth dynamical systems with set-valued heaviside step functions","authors":"Armin Nurkanović , Anton Pozharskiy , Jonathan Frey , Moritz Diehl","doi":"10.1016/j.nahs.2024.101518","DOIUrl":"https://doi.org/10.1016/j.nahs.2024.101518","url":null,"abstract":"<div><p>This paper develops high-accuracy methods for the numerical solution of optimal control problems subject to nonsmooth differential equations with set-valued Heaviside step functions. An important subclass of these systems are Filippov systems. By writing the Heaviside step function as the solution map of a linear program and using its optimality conditions, the initial nonsmooth system is rewritten into an equivalent Dynamic Complementarity System (DCS). The Finite Elements with Switch Detection (FESD) method (Nurkanović et al., 2024) was originally developed for Filippov systems transformed via Stewart’s reformulation into DCS (Stewart, 1990). This paper extends it to the above mentioned class of nonsmooth systems. The key ideas are to start with a standard Runge–Kutta method for the DCS and to let the integration step sizes to be degrees of freedom. Then, additional conditions are introduced to allow implicit but accurate switch detection and to remove possible spurious degrees of freedom when no switches occur. The theoretical properties of the FESD method are studied. The motivation for these developments is to obtain a computationally tractable formulation of nonsmooth optimal control problems. Numerical simulations and optimal control examples are used to illustrate the favorable properties of the proposed approach. All methods introduced in this paper are implemented in the open-source software package <span>nosnoc</span> (Nurkanović and Diehl, 2022).</p></div>","PeriodicalId":49011,"journal":{"name":"Nonlinear Analysis-Hybrid Systems","volume":"54 ","pages":"Article 101518"},"PeriodicalIF":4.2,"publicationDate":"2024-06-08","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://www.sciencedirect.com/science/article/pii/S1751570X24000554/pdfft?md5=70b77995cfbab380b741b9d892cf00bf&pid=1-s2.0-S1751570X24000554-main.pdf","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141291173","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}
We provide new dynamic event-triggered controls for continuous-time linear systems that contain additive uncertainties. We prove input-to-state stability properties that imply uniform global exponential stability when the additive uncertainties are zero. Significant novel features include (a) new dynamic extensions and new trigger rules that provide a new positive systems analog of significant prior dynamic event-triggered work of A. Girard and (b) our application to a BlueROV2 underwater vehicle model, where we provide significantly larger lower bounds on the inter-execution times, and usefully fewer trigger times, compared with standard dynamic event-triggered approaches that used the usual Euclidean norm, and as compared with static event-triggered controls that instead used positive systems approaches.
我们为包含加性不确定性的连续时间线性系统提供了新的动态事件触发控制。我们证明了输入到状态的稳定性,这意味着当加法不确定性为零时,均匀的全局指数稳定性。重要的新特性包括:(a) 新的动态扩展和新的触发规则,为 A. Girard 先前的重要动态事件触发工作提供了新的正系统类比;(b) 我们对 BlueROV2 水下航行器模型的应用,与使用通常欧氏规范的标准动态事件触发方法相比,以及与使用正系统方法的静态事件触发控制相比,我们提供了更大的执行间时间下限和更少的触发时间。
{"title":"Dynamic event-triggered control of linear continuous-time systems using a positive systems approach","authors":"Safeyya Alyahia , Corina Barbalata , Michael Malisoff , Frédéric Mazenc","doi":"10.1016/j.nahs.2024.101508","DOIUrl":"https://doi.org/10.1016/j.nahs.2024.101508","url":null,"abstract":"<div><p>We provide new dynamic event-triggered controls for continuous-time linear systems that contain additive uncertainties. We prove input-to-state stability properties that imply uniform global exponential stability when the additive uncertainties are zero. Significant novel features include (a) new dynamic extensions and new trigger rules that provide a new positive systems analog of significant prior dynamic event-triggered work of A. Girard and (b) our application to a BlueROV2 underwater vehicle model, where we provide significantly larger lower bounds on the inter-execution times, and usefully fewer trigger times, compared with standard dynamic event-triggered approaches that used the usual Euclidean norm, and as compared with static event-triggered controls that instead used positive systems approaches.</p></div>","PeriodicalId":49011,"journal":{"name":"Nonlinear Analysis-Hybrid Systems","volume":"54 ","pages":"Article 101508"},"PeriodicalIF":4.2,"publicationDate":"2024-06-07","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141291174","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 : 2024-06-04DOI: 10.1016/j.nahs.2024.101509
N. Aravinth , R. Sakthivel , N. Birundha devi , Ardashir Mohammadzadeh , S. Saat
The presented research is to focus on the issue of fault alarm-based quantized hybrid control strategy for semi-Markov jump neural networks subject to multiple vulnerable factors, namely, actuator faults, quantization effects and time-varying delays. Particularly, the fault-based alarm signal with a threshold value is proposed for controller switching and also for preventing false alarms. Precisely, a logarithmic quantizer is incorporated in the control design to adjust the transmission of signals and to enhance better robustness on system performance. Besides, a mixed and passivity performance is employed in order to handle the traces of external disturbances. By proposing Lyapunov–Krasovskii functional involving time delays along with Wirtinger based integral inequality, the anticipated control gain parameters that confirm the stochastic stability of the addressed system can be determined with the assistance of linear matrix inequality. The excellent dynamic performances of the proposed control scheme are clarified through two numerical examples, whereas the stability of the system is restrained with the timely alert performance of the configured alarm signal.
{"title":"Stabilization of delayed semi-Markov jump neural networks with actuator faults: A quantized hybrid control approach","authors":"N. Aravinth , R. Sakthivel , N. Birundha devi , Ardashir Mohammadzadeh , S. Saat","doi":"10.1016/j.nahs.2024.101509","DOIUrl":"https://doi.org/10.1016/j.nahs.2024.101509","url":null,"abstract":"<div><p>The presented research is to focus on the issue of fault alarm-based quantized hybrid control strategy for semi-Markov jump neural networks subject to multiple vulnerable factors, namely, actuator faults, quantization effects and time-varying delays. Particularly, the fault-based alarm signal with a threshold value is proposed for controller switching and also for preventing false alarms. Precisely, a logarithmic quantizer is incorporated in the control design to adjust the transmission of signals and to enhance better robustness on system performance. Besides, a mixed <span><math><msub><mrow><mi>H</mi></mrow><mrow><mi>∞</mi></mrow></msub></math></span> and passivity performance is employed in order to handle the traces of external disturbances. By proposing Lyapunov–Krasovskii functional involving time delays along with Wirtinger based integral inequality, the anticipated control gain parameters that confirm the stochastic stability of the addressed system can be determined with the assistance of linear matrix inequality. The excellent dynamic performances of the proposed control scheme are clarified through two numerical examples, whereas the stability of the system is restrained with the timely alert performance of the configured alarm signal.</p></div>","PeriodicalId":49011,"journal":{"name":"Nonlinear Analysis-Hybrid Systems","volume":"54 ","pages":"Article 101509"},"PeriodicalIF":4.2,"publicationDate":"2024-06-04","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141242352","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 : 2024-05-28DOI: 10.1016/j.nahs.2024.101505
Shuting Zhang , Xueying Ding , Jianquan Lu , Jungang Lou , Yang Liu
To simulate a more realistic and uncertain system model, this paper innovatively studies the output feedback control strategy to stabilize probabilistic Boolean control networks (PBCNs). This is the first time that output feedback method is used to solve stability problems in PBCNs. Compared with the traditional state feedback, observing output states is more direct and efficient. Firstly, a condition for the output-feedback stabilization in the sense of minimum time is explored. A sufficient and necessary condition is then provided to determine time-invariant output-feedback stabilizers. Afterwards, two constructive algorithms for design time-invariant output-feedback controllers are proposed. To comprehensively solve the output feedback stabilization problems, this paper explores two sufficient conditions for obtaining stabilizers under time-varying feedback control inputs, which provides more feasibility and significance for solving biomedical problems.
{"title":"Output-feedback stabilization of probabilistic Boolean control networks","authors":"Shuting Zhang , Xueying Ding , Jianquan Lu , Jungang Lou , Yang Liu","doi":"10.1016/j.nahs.2024.101505","DOIUrl":"10.1016/j.nahs.2024.101505","url":null,"abstract":"<div><p>To simulate a more realistic and uncertain system model, this paper innovatively studies the output feedback control strategy to stabilize probabilistic Boolean control networks (PBCNs). This is the first time that output feedback method is used to solve stability problems in PBCNs. Compared with the traditional state feedback, observing output states is more direct and efficient. Firstly, a condition for the output-feedback stabilization in the sense of minimum time is explored. A sufficient and necessary condition is then provided to determine time-invariant output-feedback stabilizers. Afterwards, two constructive algorithms for design time-invariant output-feedback controllers are proposed. To comprehensively solve the output feedback stabilization problems, this paper explores two sufficient conditions for obtaining stabilizers under time-varying feedback control inputs, which provides more feasibility and significance for solving biomedical problems.</p></div>","PeriodicalId":49011,"journal":{"name":"Nonlinear Analysis-Hybrid Systems","volume":"53 ","pages":"Article 101505"},"PeriodicalIF":4.2,"publicationDate":"2024-05-28","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141171781","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 : 2024-05-17DOI: 10.1016/j.nahs.2024.101507
Philip A. Ernst , Xiaohang Ma , Masoud H. Nazari , Hongjiang Qian , Le Yi Wang , George Yin
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.
{"title":"Numerical solutions of optimal stopping problems for a class of hybrid stochastic systems","authors":"Philip A. Ernst , Xiaohang Ma , Masoud H. Nazari , Hongjiang Qian , Le Yi Wang , 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}
Pub Date : 2024-05-17DOI: 10.1016/j.nahs.2024.101506
Jinxin Shang , Yingxue Du , Zhi Liu , Ancai Zhang , Yan Zhang , Tianwei Zhou
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.
本文研究了一种事件触发策略,用于处理通信噪声环境下随机多代理系统(SMAS)的两端共识问题。通信网络可以用随机符号图建模,通信噪声是复合噪声(加噪声和乘噪声)。本文采用随机逼近(SA)方法,提出了具有复合噪声的 SMAS 的随机事件触发双方位共识控制协议。由于控制增益是时变型的,且与代理相关,事件触发控制协议的实施可能会导致控制增益不同步。同时,随机拮抗信息和复合噪声的共存导致噪声项很难转化为误差方程,从而导致传统的误差转换方法对我们的底层系统无效。为了应对这些挑战,我们首先用 Lyapunov 方法构建了每个代理的状态有界性,然后通过一种新的半分解技术证明了事件触发的两方共识。最后,通过两个实例验证了所提出的 SA 控制器的有效性。
{"title":"Event-triggered stochastic consensus of multiagent systems over random antagonistic network in a compound noisy environment","authors":"Jinxin Shang , Yingxue Du , Zhi Liu , Ancai Zhang , Yan Zhang , 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}
Pub Date : 2024-05-10DOI: 10.1016/j.nahs.2024.101503
Ruogu Wang , Xuanrong Yang , Jing Shi
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.
{"title":"Observer-based asynchronously intermittent decentralized control of large-scale systems","authors":"Ruogu Wang , Xuanrong Yang , 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}
Pub Date : 2024-05-10DOI: 10.1016/j.nahs.2024.101504
Martijn A. Goorden , Kim G. Larsen , Jesper E. Nielsen , Thomas D. Nielsen , Weizhu Qian , Michael R. Rasmussen , Jiří Srba , Guohan Zhao
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 UppaalStratego 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 UppaalStratego 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.
{"title":"Optimal control strategies for stormwater detention ponds","authors":"Martijn A. Goorden , Kim G. Larsen , Jesper E. Nielsen , Thomas D. Nielsen , Weizhu Qian , Michael R. Rasmussen , Jiří Srba , 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}