张志华;张平;托马斯·雷菲尔德 布尔控制网络故障诊断的降阶观测器设计。 (英语) Zbl 1504.93051号 Automatica公司 146,文章ID 110618,9 p.(2022).MSC公司:93B11号机组 93B53号 93元29角 93磅70 93个B07 PDF格式BibTeX公司 XML格式引用 \textit{Z.Zhang}等人,Automatica 146,文章ID 110618,9 p.(2022;Zbl 1504.93051) 全文: 内政部
萨哈尔·莫哈杰拉尼;罗比·马利克;安德鲁·温滕伯格;圣菲拉福顿;内克米耶·奥扎伊 基于线性时序逻辑规范的控制器综合发散型断续互仿真抽象。 (英语) Zbl 1478.93187号 Automatica公司 130,文章ID 109723,10 p.(2021).MSC公司:93亿B50 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{S.Mohajerani}等人,Automatica 130,文章ID 109723,10 p.(2021;Zbl 1478.93187) 全文: 内政部
西蒙·罗霍;卢克·杰林;柳德米拉·米哈伊洛娃;织物酒吧;Sandor M.Veres。 包含时间不确定性的可靠非线性状态估计。 (英语) Zbl 1400.93294号 Automatica公司 93, 379-388 (2018).MSC公司:93E10型 93立方厘米 93C85号 93立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{S.Rohou}等人,Automatica 93,379--388(2018;Zbl 1400.93294) 全文: 内政部
苏荣;本特·伦纳特森 具有从代理和需求模板实例化的类似动作的多代理系统的控制协议合成。 (英语) 兹比尔1371.93082 Automatica公司 79, 244-255 (2017).MSC公司:93亿B50 93甲14 68T42型 93个B05 90 C59 PDF格式BibTeX公司 XML格式引用 \textit{R.Su}和\textit{B.Lennartson},Automatica 79,244--255(2017;Zbl 1371.93082) 全文: 内政部
萨哈尔·莫哈杰拉尼;罗比·马利克;马丁·费比安 以状态机和状态图的形式对监控器进行合成。 (英语) Zbl 1352.93074号 Automatica公司 76, 277-281 (2017).MSC公司:93元65角 93亿B50 93甲13 93立方厘米 93B40码 68问题80 PDF格式BibTeX公司 XML格式引用 \textit{S.Mohajerani}等人,自动化76,277--281(2017;Zbl 1352.93074) 全文: 内政部 链接
苏荣;van Schuppen,Jan H。;雅各布斯·E·罗达。 非确定性离散事件系统的最大允许协调分布式监控。 (英语) Zbl 1246.93004号 Automatica公司 48,第7期,1237-1247(2012).MSC公司:93甲13 93元65角 93E03型 PDF格式BibTeX公司 XML格式引用 \textit{R.Su}等人,Automatica 48,第7期,1237--1247(2012;Zbl 1246.93004) 全文: 内政部
苏荣;van Schuppen,Jan H。;雅各布斯·E·罗达。;阿尔伯特·T·霍夫坎普。 使用基于弱观测等价的序列自动机抽象进行非冲突检查。 (英语) Zbl 1192.93078号 Automatica公司 46,第6期,968-978(2010).MSC公司:93元65角 93甲13 68问题80 PDF格式BibTeX公司 XML格式引用 \textit{R.Su}等人,Automatica 46,No.6,968--978(2010;Zbl 1192.93078) 全文: 内政部