Asymptotical Stability and Stabilization of Continuous-Time Probabilistic Logic Networks

• 成果类型: Article
• 署名作者: Guo, Yuqian; Li, Zhitao; Liu, Yang; Gui, Weihua
• 署名单位: Central South University; Zhejiang Normal University
• 刊物名称: IEEE TRANSACTIONS ON AUTOMATIC CONTROL
• ISSN/ISSBN: 0018-9286
• DOI: 10.1109/TAC.2021.3063130
• 发表日期: 2022
• 页码: 279-291
• 关键词: Asymptotic stability; Probabilistic logic; Stability criteria; Monte Carlo methods; Transmission line measurements; Time-domain analysis; switches; Monte Carlo simulation; sampled-data feedback; semitensor product (STP) of matrices; stability and stabilization; probabilistic Boolean network

摘要

Discrete-time probabilistic logic networks (DT-PLNs), of which probabilistic Boolean networks (PBNs) are a special type, are an important qualitative model for gene regulatory networks (GRNs). Although a DT-PLN can predict the long-term behavior of a GRN, using it to describe the transient kinetics at the microtimescale level remains inconvenient. In this article, we investigate the problems associated with the stability and stabilization of continuous-time probabilistic logic networks (CT-PLNs). First, we demonstrate that the concept of finite-time stability for DT-PLNs cannot be extended to CT-PLNs owing to the nonsingularity of transitional probability matrices. Thus, we introduce the concept of asymptotical stability, which is defined as the convergence in distribution of the network state. Second, by developing the theory of invariant subsets for CT-PLNs, a necessary and sufficient condition for asymptotical stability with respect to a subset is proposed, which is expressed in terms of the transition rate matrix of probability. Third, for a CT-PLN with input nodes, termed a continuous-time probabilistic logic control network, we discuss the subsets that are invariant under piece-wise constant input. Based thereupon, we propose a necessary and sufficient condition under which asymptotically stabilizing sampled-data feedback exists. A method for designing sampled-data feedback is proposed. Last, Monte Carlo simulation algorithms are proposed to efficiently simulate a CT-PLN in the time domain. Examples are provided to demonstrate the methods proposed in this article.