Pub Date : 2023-10-22DOI: 10.1016/j.nahs.2023.101438
Haitao Zhu , Jianquan Lu , Jungang Lou , Yang Liu
This article aims to provide a unified theoretical framework for studying the dynamic behavior of uncertain impulsive systems involving saturation structure and packet loss phenomenon. The concept named average packet loss interval (APLI) is developed to characterize the distribution of packet loss intervals. In this scenario, the traditional restrictions on the number, the proportion, or the upper bound of packet loss intervals can be significantly relaxed. By modeling the original systems as the asynchronous impulsive switched systems, some sufficient criteria are derived via the set invariant approach, addressing how to integrate the effects of impulsive and external disturbances into input-to-state stability (ISS) performance. It is also shown that the robustness of system performance against packet loss can be guaranteed ideally. Then, an optimization algorithm is designed with the hope of getting the maximum estimate of the domain of initial values. Finally, two examples are discussed to demonstrate the effectiveness of our proposed results.
{"title":"Saturated control for uncertain nonlinear impulsive systems with non-uniformly distributed packet loss","authors":"Haitao Zhu , Jianquan Lu , Jungang Lou , Yang Liu","doi":"10.1016/j.nahs.2023.101438","DOIUrl":"https://doi.org/10.1016/j.nahs.2023.101438","url":null,"abstract":"<div><p>This article aims to provide a unified theoretical framework for studying the dynamic behavior of uncertain impulsive systems involving saturation structure and packet loss phenomenon. The concept named average packet loss interval (<em>APLI</em>) is developed to characterize the distribution of packet loss intervals. In this scenario, the traditional restrictions on the number, the proportion, or the upper bound of packet loss intervals can be significantly relaxed. By modeling the original systems as the asynchronous impulsive switched systems, some sufficient criteria are derived via the set invariant approach, addressing how to integrate the effects of impulsive and external disturbances into input-to-state stability (<em>ISS</em>) performance. It is also shown that the robustness of system performance against packet loss can be guaranteed ideally. Then, an optimization algorithm is designed with the hope of getting the maximum estimate of the domain of initial values. Finally, two examples are discussed to demonstrate the effectiveness of our proposed results.</p></div>","PeriodicalId":49011,"journal":{"name":"Nonlinear Analysis-Hybrid Systems","volume":null,"pages":null},"PeriodicalIF":4.2,"publicationDate":"2023-10-22","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"49893580","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 : 2023-10-20DOI: 10.1016/j.nahs.2023.101439
Mark Kelbert , Harold A. Moreno-Franco
In this paper, we study the regularity of the value function associated with a stochastic control problem involving two controls that act simultaneously on a modulated multidimensional diffusion process. The first is a switching control modelling a random clock. Whenever the random clock rings, the generator matrix is replaced by another, leading to a different dynamic for the finite state Markov chain of the modulated diffusion process. The second is a singular stochastic control that is executed on the process within each regime.
{"title":"A mixed singular/switching control problem with terminal cost for modulated diffusion processes","authors":"Mark Kelbert , Harold A. Moreno-Franco","doi":"10.1016/j.nahs.2023.101439","DOIUrl":"https://doi.org/10.1016/j.nahs.2023.101439","url":null,"abstract":"<div><p>In this paper, we study the regularity of the value function associated with a stochastic control problem involving two controls that act simultaneously on a modulated multidimensional diffusion process. The first is a switching control modelling a random clock. Whenever the random clock rings, the generator matrix is replaced by another, leading to a different dynamic for the finite state Markov chain of the modulated diffusion process. The second is a singular stochastic control that is executed on the process within each regime.</p></div>","PeriodicalId":49011,"journal":{"name":"Nonlinear Analysis-Hybrid Systems","volume":null,"pages":null},"PeriodicalIF":4.2,"publicationDate":"2023-10-20","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"49870360","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 : 2023-10-11DOI: 10.1016/j.nahs.2023.101436
Chao He, Junmin Li, Sanyang Liu, Jiaxian Wang
Iterative Learning Control (ILC) is commonly used for batch processes. However, it may face difficulties when dealing with non-repetitive disturbances and inconsistent initial states. In situations with non-repetitive disturbances, the output may disobey constraints and negatively impact tracking performance when using existing predictive ILC algorithms. This paper introduces a new model-predictive ILC incorporating feed-forward and feedback mechanisms. This new approach evaluates and attenuates the impact of non-repetitive disturbances on the output. As a result, constraints are guaranteed, and tracking performance is preserved and improved, even in the presence of non-repetitive disturbances. Furthermore, if the desired trajectory is unattainable, the proposed ILC can robustly track an optimal trajectory while still guaranteeing constraints. The convergence is proven rigorously. Finally, two examples are provided to demonstrate the effectiveness of this new approach.
{"title":"Robust model-based predictive iterative learning control for systems with non-repetitive disturbances","authors":"Chao He, Junmin Li, Sanyang Liu, Jiaxian Wang","doi":"10.1016/j.nahs.2023.101436","DOIUrl":"https://doi.org/10.1016/j.nahs.2023.101436","url":null,"abstract":"<div><p><span>Iterative Learning Control (ILC) is commonly used for </span>batch processes. However, it may face difficulties when dealing with non-repetitive disturbances and inconsistent initial states. In situations with non-repetitive disturbances, the output may disobey constraints and negatively impact tracking performance when using existing predictive ILC algorithms. This paper introduces a new model-predictive ILC incorporating feed-forward and feedback mechanisms. This new approach evaluates and attenuates the impact of non-repetitive disturbances on the output. As a result, constraints are guaranteed, and tracking performance is preserved and improved, even in the presence of non-repetitive disturbances. Furthermore, if the desired trajectory is unattainable, the proposed ILC can robustly track an optimal trajectory while still guaranteeing constraints. The convergence is proven rigorously. Finally, two examples are provided to demonstrate the effectiveness of this new approach.</p></div>","PeriodicalId":49011,"journal":{"name":"Nonlinear Analysis-Hybrid Systems","volume":null,"pages":null},"PeriodicalIF":4.2,"publicationDate":"2023-10-11","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"49893583","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 : 2023-10-09DOI: 10.1016/j.nahs.2023.101435
Zhaoqi Liu, Haitao Li
Fault-tolerant control is a fundamental and challenging branch in the control community, and has wide applications in aerospace, automotive technology and nuclear engineering. Particularly, the study of faulty Boolean control networks (BCNs) is meaningful to the gene engineering. This paper focuses on the stuck-at fault occurring in BCNs, and investigates the controllability and observability of faulty BCNs. The basic mathematical tool is semi-tensor product (STP) of matrices, which is used to determine the algebraic formulation of BCNs subject to the meaningful stuck-at fault. Through the construction of faulty matrix, the relation between stuck-at fault and controllability of BCNs is presented. In addition, the observability of BCNs subject to stuck-at fault is discussed. Several new criteria are derived for the controllability and observability of BCNs subject to stuck-at fault, which have lower complexity than that of original BCNs. Finally, the obtained results are applied to analyze the controllability and observability of an faulty apoptosis network.
{"title":"Controllability and observability of Boolean control networks subject to stuck-at fault","authors":"Zhaoqi Liu, Haitao Li","doi":"10.1016/j.nahs.2023.101435","DOIUrl":"https://doi.org/10.1016/j.nahs.2023.101435","url":null,"abstract":"<div><p>Fault-tolerant control is a fundamental and challenging branch in the control community, and has wide applications in aerospace, automotive technology and nuclear engineering. Particularly, the study of faulty Boolean control networks (BCNs) is meaningful to the gene engineering. This paper focuses on the stuck-at fault occurring in BCNs, and investigates the controllability and observability of faulty BCNs. The basic mathematical tool is semi-tensor product (STP) of matrices, which is used to determine the algebraic formulation of BCNs subject to the meaningful stuck-at fault. Through the construction of faulty matrix, the relation between stuck-at fault and controllability of BCNs is presented. In addition, the observability of BCNs subject to stuck-at fault is discussed. Several new criteria are derived for the controllability and observability of BCNs subject to stuck-at fault, which have lower complexity than that of original BCNs. Finally, the obtained results are applied to analyze the controllability and observability of an faulty apoptosis network.</p></div>","PeriodicalId":49011,"journal":{"name":"Nonlinear Analysis-Hybrid Systems","volume":null,"pages":null},"PeriodicalIF":4.2,"publicationDate":"2023-10-09","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"49870359","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 : 2023-10-05DOI: 10.1016/j.nahs.2023.101432
Everaldo de Mello Bonotto , Piotr Kalita
We propose new criteria, which are more general than those previously known in the literature, to guarantee the existence of global attractors for problems with state-dependent impulses. Our result on the existence of global attractors is proved for the case where the solutions on the underlying semiflow can possibly be nonunique, and it is even new for the case of solution uniqueness. Additionally, we provide collective versions of the proposed criteria, under which, as we prove, the global attractors exhibit upper-semicontinuity upon perturbation of the problem. The theory is illustrated through several examples of ODEs and PDEs.
{"title":"Long-time behavior for impulsive generalized semiflows","authors":"Everaldo de Mello Bonotto , Piotr Kalita","doi":"10.1016/j.nahs.2023.101432","DOIUrl":"https://doi.org/10.1016/j.nahs.2023.101432","url":null,"abstract":"<div><p>We propose new criteria, which are more general than those previously known in the literature, to guarantee the existence of global attractors for problems with state-dependent impulses. Our result on the existence of global attractors is proved for the case where the solutions on the underlying semiflow can possibly be nonunique, and it is even new for the case of solution uniqueness. Additionally, we provide collective versions of the proposed criteria, under which, as we prove, the global attractors exhibit upper-semicontinuity upon perturbation of the problem. The theory is illustrated through several examples of ODEs and PDEs.</p></div>","PeriodicalId":49011,"journal":{"name":"Nonlinear Analysis-Hybrid Systems","volume":null,"pages":null},"PeriodicalIF":4.2,"publicationDate":"2023-10-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"49870354","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 : 2023-10-01DOI: 10.1016/j.nahs.2023.101434
Yuhua Gao , Juan Yu , Cheng Hu , Shiping Wen , Fanchao Kong
This article is devoted to the analysis of fixed-time (FXT) and preassigned-time (PAT) output synchronization for T–S fuzzy complex networks (CNs). Firstly, to improve transmission efficiency of information, a kind of pure power-law control strategy with logarithmic quantization is designed and the power-law terms have only one free parameter. Then, by applying FXT stability theorem as well as inequality skills, some compact criteria are obtained to achieve FXT output synchronization of T–S fuzzy CNs, and the restriction on the output matrix with positive definite and diagonal form is removed. Furthermore, the PAT output synchronization of T–S fuzzy CNs is further explored by developing a quantized control scheme with power-law form. Three numerical examples in the end are given to attest the proposed control design and criteria.
{"title":"Fixed/preassigned-time output synchronization for T–S fuzzy complex networks via quantized control","authors":"Yuhua Gao , Juan Yu , Cheng Hu , Shiping Wen , Fanchao Kong","doi":"10.1016/j.nahs.2023.101434","DOIUrl":"https://doi.org/10.1016/j.nahs.2023.101434","url":null,"abstract":"<div><p>This article is devoted to the analysis of fixed-time (FXT) and preassigned-time (PAT) output synchronization for T–S fuzzy complex networks (CNs). Firstly, to improve transmission efficiency of information, a kind of pure power-law control strategy with logarithmic quantization is designed and the power-law terms have only one free parameter. Then, by applying FXT stability theorem as well as inequality skills, some compact criteria are obtained to achieve FXT output synchronization of T–S fuzzy CNs, and the restriction on the output matrix with positive definite and diagonal form is removed. Furthermore, the PAT output synchronization of T–S fuzzy CNs is further explored by developing a quantized control scheme with power-law form. Three numerical examples in the end are given to attest the proposed control design and criteria.</p></div>","PeriodicalId":49011,"journal":{"name":"Nonlinear Analysis-Hybrid Systems","volume":null,"pages":null},"PeriodicalIF":4.2,"publicationDate":"2023-10-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"49893584","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}
We consider the problem of computing the maximal probability of satisfying an -regular specification for stochastic, continuous-state, nonlinear systems evolving in discrete time. The problem reduces, after automata-theoretic constructions, to finding the maximal probability of satisfying a parity condition on a (possibly hybrid) state space. While characterizing the exact satisfaction probability is open, we show that a lower bound on this probability can be obtained by (I) computing an under-approximation of the qualitative winning region, i.e., states from which the parity condition can be enforced almost surely, and (II) computing the maximal probability of reaching this qualitative winning region.
The heart of our approach is a technique to symbolically compute the under-approximation of the qualitative winning region in step (I) via a finite-state abstraction of the original system as a -player parity game. Our abstraction procedure uses only the support of the probabilistic evolution; it does not use precise numerical transition probabilities. We prove that the winning set in the abstract -player game induces an under-approximation of the qualitative winning region in the original synthesis problem, along with a policy to solve it. By combining these contributions with (a) a symbolic fixpoint algorithm to solve -player games and (b) existing techniques for reachability policy synthesis in stochastic nonlinear systems, we get an abstraction-based algorithm for finding a lower bound on the maximal satisfaction probability.
We have implemented the abstraction-based algorithm in Mascot-SDS, where we combined the outlined abstraction step with our tool Genie (Majumdar et al., 2023) that solves -player parity games (through a reduction to Rabin games) more efficiently than existing algorithms. We evaluated our implementation on the nonlinear model of a perturbed bistable switch from the literature. We show empirically that the lower bound on the winning region computed by our approach is precise, by comparing against an over-approximation of the qualitative winning region. Moreover, our implementation outperforms a recently proposed tool for solving this problem by a large margin.
我们考虑在离散时间内演化的随机、连续状态、非线性系统满足ω-正则规范的最大概率的计算问题。在自动机理论构造之后,该问题简化为在(可能是混合的)状态空间上找到满足奇偶条件的最大概率。虽然表征精确满足概率是开放的,但我们表明,该概率的下界可以通过以下方式获得:(I)计算定性获胜区域的欠近似,即,几乎可以肯定地执行奇偶条件的状态,以及(II)计算到达该定性获胜区域的最大概率。我们方法的核心是一种技术,通过将原始系统的有限状态抽象为212人的奇偶游戏,在步骤(I)中象征性地计算定性获胜区域的欠近似。我们的抽象过程只使用概率进化的支持;它不使用精确的数值转移概率。我们证明了抽象212人博弈中的获胜集导致了原始综合问题中定性获胜区域的欠近似,以及解决该问题的策略。通过将这些贡献与(a)解决212人博弈的符号不动点算法和(b)随机非线性系统中可达性策略综合的现有技术相结合,我们得到了一个基于抽象的算法来寻找最大满足概率的下界。我们在Mascot SDS中实现了基于抽象的算法,其中我们将概述的抽象步骤与我们的工具Genie(Majumdar et al.,2023)相结合,该工具比现有算法更有效地解决了212个玩家奇偶性游戏(通过减少到Rabin游戏)。我们评估了我们在文献中扰动双稳态开关的非线性模型上的实现。通过与定性获胜区域的过近似进行比较,我们从经验上表明,通过我们的方法计算的获胜区域的下界是精确的。此外,我们的实现在很大程度上优于最近提出的解决此问题的工具。
{"title":"Symbolic control for stochastic systems via finite parity games","authors":"Rupak Majumdar , Kaushik Mallik , Anne-Kathrin Schmuck , Sadegh Soudjani","doi":"10.1016/j.nahs.2023.101430","DOIUrl":"https://doi.org/10.1016/j.nahs.2023.101430","url":null,"abstract":"<div><p>We consider the problem of computing the maximal probability of satisfying an <span><math><mi>ω</mi></math></span>-regular specification for stochastic, continuous-state, nonlinear systems evolving in discrete time. The problem reduces, after automata-theoretic constructions, to finding the maximal probability of satisfying a parity condition on a (possibly hybrid) state space. While characterizing the exact satisfaction probability is open, we show that a lower bound on this probability can be obtained by <strong>(I)</strong> computing an under-approximation of the <em>qualitative winning region</em>, i.e., states from which the parity condition can be enforced almost surely, and <strong>(II)</strong> computing the maximal probability of reaching this qualitative winning region.</p><p>The heart of our approach is a technique to <em>symbolically</em> compute the under-approximation of the qualitative winning region in step <strong>(I)</strong> via a <em>finite-state abstraction</em> of the original system as a <span><math><mrow><mn>2</mn><mfrac><mrow><mn>1</mn></mrow><mrow><mn>2</mn></mrow></mfrac></mrow></math></span>-<em>player parity game</em>. Our abstraction procedure uses only the support of the probabilistic evolution; it does not use precise numerical transition probabilities. We prove that the winning set in the abstract <span><math><mrow><mn>2</mn><mfrac><mrow><mn>1</mn></mrow><mrow><mn>2</mn></mrow></mfrac></mrow></math></span>-player game induces an under-approximation of the qualitative winning region in the original synthesis problem, along with a policy to solve it. By combining these contributions with (a) a symbolic fixpoint algorithm to solve <span><math><mrow><mn>2</mn><mfrac><mrow><mn>1</mn></mrow><mrow><mn>2</mn></mrow></mfrac></mrow></math></span>-player games and (b) existing techniques for reachability policy synthesis in stochastic nonlinear systems, we get an <em>abstraction-based algorithm</em> for finding a lower bound on the maximal satisfaction probability.</p><p>We have implemented the abstraction-based algorithm in <span>Mascot-SDS</span>, where we combined the outlined abstraction step with our tool <span>Genie</span> (Majumdar et al., 2023) that solves <span><math><mrow><mn>2</mn><mfrac><mrow><mn>1</mn></mrow><mrow><mn>2</mn></mrow></mfrac></mrow></math></span>-player parity games (through a reduction to Rabin games) more efficiently than existing algorithms. We evaluated our implementation on the nonlinear model of a perturbed bistable switch from the literature. We show empirically that the lower bound on the winning region computed by our approach is precise, by comparing against an over-approximation of the qualitative winning region. Moreover, our implementation outperforms a recently proposed tool for solving this problem by a large margin.</p></div>","PeriodicalId":49011,"journal":{"name":"Nonlinear Analysis-Hybrid Systems","volume":null,"pages":null},"PeriodicalIF":4.2,"publicationDate":"2023-09-27","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"49870353","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 : 2023-09-26DOI: 10.1016/j.nahs.2023.101433
Feng Li , Zhenghao Ni , Lei Su , Jianwei Xia , Hao Shen
The problem of the finite-region passive control for 2-D Markov jump Roesser systems, in which the partial statistical information issues on Markov parameters and transition probabilities are considered simultaneously. To model this situation, a 2-D hidden Markov model with partial statistical information is established. The purpose of this paper is to design a controller based on the 2-D hidden Markov model such that both the horizontal states and vertical states of 2-D Markov jump Roesser systems are bounded in finite-time and a passive performance is met. Based on the Lyapunov function method, the criteria for the finite-region boundedness of 2-D Markov jump Roesser systems are established and the design method of the 2-D hidden Markov model-based asynchronous controller is presented. The effectiveness of the design method is verified by an illustrative example.
{"title":"Passivity-based finite-region control of 2-D hidden Markov jump Roesser systems with partial statistical information","authors":"Feng Li , Zhenghao Ni , Lei Su , Jianwei Xia , Hao Shen","doi":"10.1016/j.nahs.2023.101433","DOIUrl":"https://doi.org/10.1016/j.nahs.2023.101433","url":null,"abstract":"<div><p><span>The problem of the finite-region passive control for 2-D Markov jump Roesser systems, in which the partial statistical information issues on Markov parameters and </span>transition probabilities<span> are considered simultaneously. To model this situation, a 2-D hidden Markov model with partial statistical information is established. The purpose of this paper is to design a controller based on the 2-D hidden Markov model such that both the horizontal states and vertical states of 2-D Markov jump Roesser systems are bounded in finite-time and a passive performance is met. Based on the Lyapunov function<span> method, the criteria for the finite-region boundedness of 2-D Markov jump Roesser systems are established and the design method of the 2-D hidden Markov model-based asynchronous controller is presented. The effectiveness of the design method is verified by an illustrative example.</span></span></p></div>","PeriodicalId":49011,"journal":{"name":"Nonlinear Analysis-Hybrid Systems","volume":null,"pages":null},"PeriodicalIF":4.2,"publicationDate":"2023-09-26","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"49893587","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 : 2023-09-23DOI: 10.1016/j.nahs.2023.101427
Mahathi Anand , Abolfazl Lavaei , Majid Zamani
This paper is concerned with a compositional scheme for the construction of control barrier certificates for interconnected discrete-time stochastic systems. The main objective is to synthesize switching controllers against -regular properties that can be described by accepting languages of deterministic Streett automata (DSA) along with providing probabilistic guarantees for the satisfaction of such specifications. The proposed framework leverages the interconnection topology and a notion of so-called control sub-barrier certificates of subsystems, which are used to compositionally construct control barrier certificates of interconnected systems by imposing some dissipativity-type compositionality conditions. We propose a systematic approach to decompose high-level -regular specifications into simpler tasks by utilizing the automata corresponding to the specifications. In addition, we formulate an alternating direction method of multipliers (ADMM) optimization problem in order to obtain suitable control sub-barrier certificates of subsystems while satisfying compositionality conditions. For systems with polynomial dynamics, we provide a sum-of-squares (SOS) optimization problem for the computation of control sub-barrier certificates and local controllers of subsystems. Finally, we demonstrate the effectiveness of our proposed approaches by applying them to a physical case study.
{"title":"Compositional synthesis of control barrier certificates for networks of stochastic systems against ω-regular specifications","authors":"Mahathi Anand , Abolfazl Lavaei , Majid Zamani","doi":"10.1016/j.nahs.2023.101427","DOIUrl":"https://doi.org/10.1016/j.nahs.2023.101427","url":null,"abstract":"<div><p><span>This paper is concerned with a compositional scheme for the construction of control barrier certificates for interconnected discrete-time stochastic systems. The main objective is to synthesize switching controllers against </span><span><math><mi>ω</mi></math></span>-regular properties that can be described by accepting languages of deterministic Streett automata (DSA) along with providing probabilistic guarantees for the satisfaction of such specifications. The proposed framework leverages the interconnection topology and a notion of so-called <em>control sub-barrier certificates</em><span> of subsystems, which are used to compositionally construct control barrier certificates of interconnected systems by imposing some dissipativity-type compositionality conditions. We propose a systematic approach to decompose high-level </span><span><math><mi>ω</mi></math></span><span>-regular specifications into simpler tasks by utilizing the automata corresponding to the specifications. In addition, we formulate an alternating direction method of multipliers (ADMM) optimization problem in order to obtain suitable control sub-barrier certificates of subsystems while satisfying compositionality conditions. For systems with polynomial dynamics, we provide a sum-of-squares (SOS) optimization problem for the computation of control sub-barrier certificates and local controllers of subsystems. Finally, we demonstrate the effectiveness of our proposed approaches by applying them to a physical case study.</span></p></div>","PeriodicalId":49011,"journal":{"name":"Nonlinear Analysis-Hybrid Systems","volume":null,"pages":null},"PeriodicalIF":4.2,"publicationDate":"2023-09-23","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"49893588","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 : 2023-09-19DOI: 10.1016/j.nahs.2023.101431
Chunmei Zhang, Huiling Chen, Qin Xu, Yuli Feng, Ran Li
This article discusses a class of stochastic hybrid delayed coupled systems with multiple weights (SHDCSMW). Both white noise and telegraph noise are included in the coupled systems. By employing Kirchhoff’s Matrix-Tree Theorem, a global Lyapunov function is rebuilt indirectly, which is closely related to Markovian switching. Moreover, based on Lyapunov stability theory and stochastic analysis, several sufficient conditions with respect to asymptotic synchronization and topology identification of SHDCSMW are derived. Finally, the validity of theoretical results is proved by numerical examples.
{"title":"Asymptotic synchronization and topology identification of stochastic hybrid delayed coupled systems with multiple weights","authors":"Chunmei Zhang, Huiling Chen, Qin Xu, Yuli Feng, Ran Li","doi":"10.1016/j.nahs.2023.101431","DOIUrl":"https://doi.org/10.1016/j.nahs.2023.101431","url":null,"abstract":"<div><p><span>This article discusses a class of stochastic hybrid delayed coupled systems with multiple weights (SHDCSMW). Both white noise and telegraph noise are included in the coupled systems. By employing Kirchhoff’s Matrix-Tree Theorem, a global Lyapunov function is rebuilt indirectly, which is closely related to Markovian switching. Moreover, based on </span>Lyapunov stability theory and stochastic analysis, several sufficient conditions with respect to asymptotic synchronization and topology identification of SHDCSMW are derived. Finally, the validity of theoretical results is proved by numerical examples.</p></div>","PeriodicalId":49011,"journal":{"name":"Nonlinear Analysis-Hybrid Systems","volume":null,"pages":null},"PeriodicalIF":4.2,"publicationDate":"2023-09-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"49893586","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}