×

有限状态机网络的分散临界观测器的设计:一种形式化方法。 (英语) Zbl 1375.93014号

摘要:受网络物理系统中安全关键应用的启发,本文研究了临界可观测性的概念和有限状态机网络观测器的设计。临界可观测性对应于检测FSM当前状态是否处于给定的关注区域(称为临界状态集)的可能性。临界观测器在线检测临界状态的发生。当考虑大规模的FSM网络时,由于需要大量的计算工作,因此禁止构造这样的观测器。我们提出了一种用于FSM网络关键观测器的分散体系结构,其中关键状态的在线检测由本地关键观测者执行,每个观测器都与网络的FSM关联,无需交互。为了有效设计分散的关键观测器,我们首先扩展了FSM验证和控制设计的形式化方法社区中传统使用的在线算法。然后我们扩展到FSM网络,互模拟理论传统上是在单个FSM的形式化方法社区中给出的。如本文所述,所提出的技术显著降低了计算复杂性,并通过示例进行了证明。

MSC公司:

93甲15 大型系统
93个B07 可观察性
68页30 编码和信息理论(压缩、压缩、通信模型、编码方案等)(计算机科学方面)
68问题80 细胞自动机(计算方面)

软件:

UMDES公司
PDF格式BibTeX公司 XML格式引用

参考文献:

[1] 卡桑德拉斯,C.G。;Lafortune,S.,《离散事件系统导论》(1999),Kluwer学术出版社·Zbl 0934.93001号
[2] 污染物,O。;Lafortune,S。;Teneketzis,D.,模块化结构离散事件系统的可诊断性,离散事件动态系统,16,9-37(2006)·Zbl 1134.93306号
[3] Courcoubetis,C。;瓦尔迪,M。;Wolper,P。;Yannakakis,M.,用于验证时间属性的内存效率算法,系统设计中的形式化方法,1,2-3,275-288(1992)
[5] 德桑蒂斯,E。;医学博士Di Benedetto。;Di Gennaro,S。;D'Inocenzo,A。;Pola,G.,(一类混合系统的临界可观测性及其在空中交通管理中的应用。一类混杂系统的临界可观测性及其在航空交通管理中应用,控制与信息科学讲义(2005),Springer Verlag),(书籍章节)·Zbl 1130.93319号
[6] 医学博士Di Benedetto。;迪根纳罗,S。;D'Innocenzo,A.,混合系统的离散状态可观测性,国际鲁棒与非线性控制杂志,混合系统可观测性与观测器设计专刊,19,141564-1580(2008)·Zbl 1298.93079号
[7] 林,F。;Wonham,W.,《离散事件系统的可观测性》,信息科学,44,173-198(1988)·Zbl 0644.93008号
[9] Milner,R.,《通信与并发》(1989),普伦蒂斯·霍尔·Zbl 0683.68008号
[10] 佩奇,R。;Tarjan,R.,《三分区优化算法》,SIAM计算杂志,16,6,987-989(1987)·兹伯利0654.68072
[11] Park,D.M.R.,(无限序列上的并发和自动机。无限序列上并行和自动机,计算机科学讲义,第104卷(1981),Springer-Verlag),167-183·Zbl 0457.68049号
[14] Rudie,K。;Lafortune,S。;Lin,F.,分布式离散事件系统中的最小通信,IEEE自动控制汇刊,48957-975(2003)·Zbl 1364.93482号
[15] Rudie,K。;Wonham,W.,《全球思考,本地行动:分散监管控制》,IEEE自动控制事务,37,11,1692-1708(1989)·兹比尔0778.93002
[16] Sampath,M。;Sengupta,R。;Lafortune,S。;Sinnamohideen,K。;Teneketzis,D.,离散事件系统的可诊断性,IEEE自动控制汇刊,40,9,1555-1575(1995)·Zbl 0839.93072号
[17] Schmidt,K.W.,用离散事件系统的本地规范验证模块可诊断性,IEEE系统汇刊,人与控制论,43(5),1130-1140(2013)
[18] 舒,S。;林,F。;Ying,H.,离散事件系统的可检测性,IEEE自动控制汇刊,52,12,2356-2359(2007)·兹比尔1366.93366
[19] 苏,R。;Wonham,W.M.,离散事件系统分布式故障诊断中的全局和局部一致性,IEEE自动控制汇刊,50,12,1923-1935(2005)·Zbl 1365.93303号
[20] Tripakis,S。;Altisen,K.,离散和稠密时间系统的实时控制器综合,(计算系统开发中形式方法世界大会。计算系统开发的形式方法世界会议,计算机科学讲稿,第1708卷(1999),Springer Verlag:Springer Verlag Berlin),233-252·Zbl 1037.93522号
[21] Wang,W。;Girard,A.R。;Lafortune,S。;Lin,F.,关于动态观测的可诊断性和可观测性,IEEE自动控制汇刊,56,7,1551-1566(2011)·Zbl 1368.93392号
[22] Wang,W。;Lafortune,S。;Girard,A.R。;Lin,F.,诊断离散事件系统的最佳传感器激活,Automatica,46,1165-1175(2010)·Zbl 1194.93140号
[23] Wang,W。;Lafortune,S。;Lin,F.,在具有部分可观察跃迁的有限状态自动机中计算不可区分状态和簇的算法,系统与控制快报,56656-661(2007)·Zbl 1155.93387号
[24] Wang,W。;Lafortune,S。;林,F。;Girard,A.R.,为了控制目的,离散事件系统中动态传感器激活最小化,IEEE自动控制汇刊,552447-2461(2010)·Zbl 1368.93393号
[25] 扎德·S·H。;Kwong,R.H。;Wonham,W.M.,《离散事件系统的故障诊断:框架和模型简化》,IEEE自动控制汇刊,48,7,51-65(2003)·Zbl 1364.93464号
此参考列表基于出版商或数字数学图书馆提供的信息。它的项目与zbMATH标识符启发式匹配,并且可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。