韩晓光;杨文东;陈晓燕;李志武;陈曾强 概率布尔网络的可检测性验证。(概率布尔网络的可检测性与验证。) (英文) Zbl 1478.93293号 信息科学。 548, 313-327 (2021). 摘要:本文研究了具有输出观测值的概率布尔网络的当前状态估计问题。首先,我们根据不同的目的,提出了PBN中三个基本可检测性类别的概念,即周期可检测性、(周期)\(k\)-可检测性和(周期)\(d\)-可检测性。其次,利用半张量积技术,我们创建了一种统一的方法来验证上述所有类别的可检测性。因此,导出了几个必要和充分的验证标准。本文得到的所有结果都是数值上易于处理的,因为它们避免了基于图形的符号操作。最后,给出了用同一个PBN建模的几个例子,以例证所得结果的正确性和有效性。 引用于8文件 MSC公司: 93元29角 布尔控制/观测系统 93B70型 网络控制 93E03型 控制理论中的随机系统(一般) 关键词:概率布尔网络;周期可探测性;\(k)-可检测性;\(d)-可检测性;矩阵的半张量积 软件:UMDES公司 PDF格式BibTeX公司 XML格式引用 \textit{X.-G.Han}等人,《信息科学》。548313-327(2021;Zbl 1478.93293) 全文: 内政部 参考文献: [1] 卡桑德拉斯,C。;Lafortune,S.,《离散事件系统导论》(2008),Springer:Springer New York·Zbl 1165.93001号 [2] 陈,H。;Sun,J.,上下文敏感概率布尔网络的稳定性和稳定性,IET控制理论应用。,8, 17, 2115-2121 (2014) [3] 陈,H。;Liang,J.,具有随机扰动的互连布尔网络的局部同步,IEEE Trans。神经网络。学习。系统。,31, 2, 452-463 (2020) [4] H.Chen,Z.Wang,J.Liang,M.Li,随机时变布尔网络的状态估计,IEEE Trans。自动。控制doi:10.1109/TAC.2020.2973817·Zbl 07320122号 [5] Cheng,D。;Qi,H.,布尔网络动力学的线性表示,IEEE Trans。自动。控制,55,10,2251-2258(2010)·Zbl 1368.37025号 [6] Cheng,D。;Qi,H.,布尔控制网络的可控性和可观测性,Automatica,45,7,1659-1667(2009)·Zbl 1184.93014号 [7] Cheng,D。;Qi,H.等人。;Zhao,Y.,矩阵的半张量乘积及其应用导论(2012),世界科学:新加坡世界科学·Zbl 1273.15029号 [8] Fornasini,E。;Valcher,M.,布尔控制网络的可观测性、可重构性和状态观测器,IEEE Trans。自动。控制,58,6,1390-1401(2013)·Zbl 1369.93101号 [9] Hadjicostis,C。;Seatzu,C.,离散事件系统中的K-可检测性,(IEEE第55届决策与控制会议论文集(2016)),420-425 [10] 韩,X。;陈,Z。;Su,R.,非确定性离散事件系统最小限制最优稳定执行监督的合成,系统。控制信函。,123, 33-39 (2019) ·兹比尔1408.93138 [11] 黄建中,陆建中,翟国荣,等。概率布尔网络的概率稳定性和稳定性,IEEE Trans。神经网络。学习。系统。doi:10.1109/TNNLS.2020.2978345。 [12] 黄,C。;卢,J。;Ho,D.,通过固定控制策略稳定概率布尔网络,信息科学。,510, 205-217 (2020) ·Zbl 1461.93381号 [13] Kitano,H.,《系统生物学基础》(2001),麻省理工学院出版社:麻省理学院出版社Cambrige [14] Kauffman,S.,随机构建遗传网络中的代谢稳定性和表观发生,J.Theor。《生物学》,22,3,437-467(1969) [15] 李,F。;Sun,J。;Wu,Q.,状态时滞布尔控制网络的可观测性,IEEE Trans。神经网络。,22, 6, 948-954 (2011) [16] 李,R。;杨,M。;Chu,T.,布尔控制网络的可观测条件,国际鲁棒非线性控制,24,17,2711-2723(2014)·兹比尔1305.93038 [17] 卢,J。;李,H。;刘,Y。;Li,F.,半张量积方法及其在逻辑网络和其他有限值系统中的应用综述,IET控制理论应用。,11, 13, 2040-2047 (2017) [18] 施穆列维奇,I。;Dougherty,E。;Kim,S。;张伟,概率布尔网络:基因调控网络的基于规则的不确定性模型,生物信息学,2261-274(2002) [19] 舒,S。;Lin,F.,离散事件系统的广义可检测性,系统。控制信函。,60, 5, 310-317 (2011) ·Zbl 1214.93066号 [20] 王,B。;冯,J.,概率布尔网络的可检测性,信息科学。,483, 383-395 (2019) [21] Wang,W。;Lafortune,S。;Lin,F.,计算具有部分可观察跃迁的有限状态自动机中不可区分状态和簇的算法,系统。控制信函。,56, 9, 656-661 (2007) ·Zbl 1155.93387号 [22] Wu,Y。;徐,J。;Sun,X.,布尔复合控制网络的可观测性,科学。代表,746495(2017) [23] Xu,X。;Hong,Y.,有限自动机的矩阵表示与可达性分析,J.控制理论应用。,10, 2, 210-215 (2012) [24] Yan,Y。;Yue,J。;Chen,Z.,使用矩阵的半张量积简化布尔网络的代数方法,亚洲控制杂志,21,6,2569-2577(2019)·兹比尔1451.93061 [25] 扎德,S。;Kwong,R。;Wonham,W.,《离散事件系统的故障诊断:框架和模型简化》,IEEE Trans。自动。控制,48,7,1199-1212(2003)·Zbl 1364.93464号 [26] 张凯。;Zhang,L.,布尔控制网络的可观测性:基于有限自动机的统一方法,IEEE Trans。自动。控制,61,9,2733-2738(2016)·Zbl 1359.93074号 [27] 张凯。;张,L。;Su,R.,用于布尔控制网络可重构性的加权对图表示,SIAM J.control Optim。,54, 6, 3040-3060 (2016) ·Zbl 1350.93048号 [28] 张凯。;张,L。;Xie,L.,离散时间和离散空间动力系统(2020),Springer:Springer Switzerland·Zbl 1430.93007号 [29] 张,Z。;陈,Z。;Liu,Z.,基于矩阵半张量积的概率有限自动机建模与可达性,科学。中国信息科学。,61, 12 (2018), 129202 [30] Zhao,Y。;Cheng,D.,关于概率布尔控制网络的可控性和稳定性,科学。中国信息科学。,57, 1 (2014), 012202 ·兹比尔1331.93027 [31] 钟建忠,李斌,刘玉英,等,大维布尔网络的稳态设计,IEEE Trans。神经网络。学习。系统。doi:10.1109/TNNLS.2020.2980632。 [32] 周,R。;郭毅。;Gui,W.,概率布尔网络的集可达性和可观测性,Automatica,106,230-241(2019)·Zbl 1429.93034号 [33] 朱,S。;卢,J。;刘毅,基于输出反馈控制的概率布尔网络输出跟踪,信息科学。,483, 96-105 (2019) ·Zbl 1453.93116号 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。