佐丹奴·波罗;德桑蒂斯,埃琳娜;迪·贝内代托,玛丽亚·多梅尼卡;大卫·佩祖蒂 有限状态机网络分散临界观测器的设计:一种形式化方法。 (英语) Zbl 1375.93014号 Automatica公司 86, 174-182 (2017).MSC公司:93甲15 93个B07 68页30 68问题80 PDF格式BibTeX公司 XML格式引用 \textit{G.Pola}等人,Automatica 86,174--182(2017;Zbl 1375.93014) 全文: 内政部 arXiv公司
德桑蒂斯,埃琳娜;迪·贝内代托,玛丽亚·多梅尼卡 有限状态系统的可观测性和可诊断性:一个统一的框架。 (英语) Zbl 1372.93044号 Automatica公司 81, 115-122 (2017).MSC公司:93个B07 90B25型 93亿B51 93立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{E.De Santis}和\textit{M.D.Di Benedetto},自动化81、115-122(2017;Zbl 1372.93044) 全文: 内政部 arXiv公司
贾纳·Tůmová;Dimarogonas,Dimos V。 本地LTL规范下的多代理规划和基于事件的同步。 (英语) Zbl 1339.93080号 Automatica公司 70, 239-248 (2016).MSC公司:93立方65 93亿B50 93甲14 68T42型 PDF格式BibTeX公司 XML格式引用 \textit{J.Tůmová}和\textit{D.V.Dimarogonas},Automatica 70,239--248(2016;Zbl 1339.93080) 全文: 内政部 arXiv公司
吴义钦;拉福,Stéphane 用于增强不透明度安全属性的插入函数的合成。 (英语) Zbl 1296.93114号 Automatica公司 50,第5期,1336-1348(2014).MSC公司:93元65角 68问题80 93A30型 PDF格式BibTeX公司 XML格式引用 \textit{Y.-C.Wu}和\textit{S.Lafortune},Automatica 50,No.5,1336--1348(2014;Zbl 1296.93114) 全文: 内政部
苏荣 基于广播的并行组合多agent系统的离散事件建模。 (英语) Zbl 1315.93061号 Automatica公司 49,第11期,3502-3506(2013).MSC公司:93元65角 93A30型 93甲14 68T42型 PDF格式BibTeX公司 XML格式引用 \textit{R.Su},Automatica 49,第11期,3502--3506(2013;Zbl 1315.93061) 全文: 内政部
苏荣;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}等人,《自动化48》,第7期,1237-1247页(2012年;Zbl 1246.93004) 全文: 内政部
苏荣;格哈德·沃金格 有限语言的字符串执行时间:最大值很容易,最小值很难。 (英语) Zbl 1228.93005号 Automatica公司 47,第10号,2326-2329(2011).MSC公司:93甲13 93亿B51 68问题80 65年20月 15A80型 PDF格式BibTeX公司 XML格式引用 \textit{R.Su}和\textit{G.Woeginger},Automatica 47,No.10,2326--2329(2011;Zbl 1228.93005) 全文: 内政部
苏荣;van Schuppen,Jan H。;雅各布斯·E·罗达。;艾伯特·霍夫坎普。 使用基于弱观测等价的序列自动机抽象进行非冲突检查。 (英语) 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) 全文: 内政部
安德烈亚·保利;拉福,Stéphane 离散通风系统容错监测的安全诊断能力。 (英语) Zbl 1086.93043号 Automatica公司 41,第8期,1335-1347(2005).MSC公司:93元65角 93B35型 PDF格式BibTeX公司 XML格式引用 \textit{A.Paoli}和\textit{S.Lafortune},自动化41,第8期,1335--1347(2005;Zbl 1086.93043) 全文: 内政部
Hadjicostis,Christopros N。 单热编码FSM中的周期性和非电流错误检测和识别。 (英语) Zbl 1162.93381号 Automatica公司 40,第10期,1665-1676(2004). 审核人:Alex V.Kolnogorov(诺夫哥罗德) MSC公司:93元65角 93年2月25日 PDF格式BibTeX公司 XML格式引用 \textit{C.N.Hadjicostis},Automatica 40,第10期,1665--1676(2004;Zbl 1162.93381) 全文: 内政部
傅金波;阿索克·雷;君士坦丁诺·拉戈亚。 正则语言的无约束最优控制。 (英语) 兹比尔1168.93375 Automatica公司 40,第4期,639-646(2004). 审核人:Messoud A.Efendiev(柏林) MSC公司:93立方65 PDF格式BibTeX公司 XML格式引用 \textit{J.Fu}等人,Automatica 40,No.4,639--646(2004;Zbl 1168.93375) 全文: 内政部
陈一良;拉福,Stéphane;林,冯 离散事件系统管理器的增量模型演化和可重用性。 (英语) Zbl 0957.93054号 Automatica公司 36,第2期,243-259(2000). 审核人:伊戈尔·格伦斯基(顿涅茨克) MSC公司:93元65角 93甲13 PDF格式BibTeX公司 XML格式引用 \textit{Y.-L.Chen}等人,Automatica 36,No.2,243--259(2000;Zbl 0957.93054) 全文: 内政部
Coraluppi、Stefano P。;马库斯,史蒂文一世。 离散时间有限状态马尔可夫决策过程的风险敏感和极小极大控制。 (英语) Zbl 0936.93052号 Automatica公司 35,第2期,301-309(1999). 审核人:M.Nisio(大阪) MSC公司:93E20型 93C55美元 60J05型 PDF格式BibTeX公司 XML格式引用 \textit{S.P.Coraluppi}和\textit{S.I.Marcus},Automatica 35,No.2,301--309(1999;Zbl 0936.93052) 全文: 内政部
维克拉姆·萨克塞纳(Vikram R.Saksena)。;J.B.jun克鲁兹。 马尔可夫链递阶控制中的最优和近最优激励策略。 (英语) Zbl 0564.90105号 Automatica公司 21, 181-191 (1985).MSC公司:91A35型 90B50型 93甲13 90B35型 93甲15 PDF格式BibTeX公司 XML格式引用 \textit{V.R.Saksena}和\textit{J.B.Cruz jun.},自动化21,181-191(1985;Zbl 0564.90105) 全文: 内政部
吉滕德拉·图格奈特。 间断观测系统的辨识与自适应估计。 (英语) Zbl 0507.93062号 Automatica公司 19, 61-73 (1983).MSC公司:93E12号机组 93E10型 93C40型 93E25型 93立方厘米05 93C55美元 60J10型 2012年12月62日 62层35 PDF格式BibTeX公司 XML格式引用 \textit{J.K.Tugnait},Automatica 19,61-73(1983;Zbl 0507.93062) 全文: 内政部
Jitendra K.图格奈特。 突变系统的检测和估计。 (英语) Zbl 0496.93053号 Automatica公司 18, 607-615 (1982).MSC公司:93E10型 93E11号机组 93C55美元 60J10型 93E12号机组 93E25型 PDF格式BibTeX公司 XML格式引用 \textit{J.K.Tugnait},自动化18,607--615(1982;Zbl 0496.93053) 全文: 内政部