罗比·马利克;萨哈尔·莫哈杰拉尼;马丁·费比安 监督控制中用于验证和综合的组合算法综述。 (英语) Zbl 1522.93014号 离散事件动态。系统。 33,编号3,279-340(2023).MSC公司:93甲13 93B30型 93元65角 93-02 PDF格式BibTeX公司 XML格式引用 \textit{R.Malik}等人,离散事件动态。系统。33,编号3,279--340(2023;Zbl 1522.93014) 全文: 内政部 OA许可证
休伯特·加拉维;弗雷德里克·朗 40年后的等效性检查:互模拟工具综述。 (英语) Zbl 1524.68189号 Jansen,Nils(编辑)等人,《从过程代数到时间自动机到模型学习的旅程》。在弗里茨·瓦德拉格60岁生日之际,为他撰写的论文。查姆:斯普林格。莱克特。注释计算。科学。13560, 213-265 (2022).MSC公司:60年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{H.Garavel}和\textit{F.Lang},莱克特。注释计算。科学。13560213--265(2022年;Zbl 1524.68189) 全文: 内政部 哈尔
张志华;张平;托马斯·莱菲尔德 布尔控制网络故障诊断的降阶观测器设计。 (英语) Zbl 1504.93051号 Automatica公司 146,文章ID 110618,9 p.(2022).MSC公司:93B11号机组 93B53号 93元29角 93B70型 93个B07 PDF格式BibTeX公司 XML格式引用 \textit{Z.Zhang}等人,Automatica 146,文章ID 110618,9 p.(2022;Zbl 1504.93051) 全文: 内政部
西尔万·伦巴第;雅克·萨卡洛维奇 加权自动机的形态和最小化。 (英语) 兹伯利07597933 芬丹。通知。 186,编号1-4195-218(2022).MSC公司:68倍 PDF格式BibTeX公司 XML格式引用 \textit{S.Lombardy}和\textit{J.Sakarovitch},Fundam。通知。186,编号1--4,195-218(2022;Zbl 07597933) 全文: 内政部 arXiv公司
塞缪尔·黄;牧场克利夫兰 有限线性时间逻辑的表结构。 (英语) Zbl 07485818号 J.日志。阿尔盖布。方法计划。 125,文章ID 100743,25 p.(2022).MSC公司:68倍 PDF格式BibTeX公司 XML格式引用 \textit{S.Huang}和\textit{R.Cleaveland},J.Log。阿尔盖布。方法计划。125,文章ID 100743,25 p.(2022;Zbl 07485818) 全文: 内政部 arXiv公司
萨哈尔·莫哈杰拉尼;罗比·马利克;安德鲁·温滕伯格;圣菲拉福顿;内克米耶·奥扎伊 基于线性时序逻辑规范的控制器综合发散型断续互仿真抽象。 (英语) 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) 全文: 内政部
罗伯特·约翰逊;Dong,Qing(清·东);埃里克·温弗里 验证化学反应网络的实现:一种相互模拟方法。 (英语) Zbl 1423.68286号 西奥。计算。科学。 765, 3-46 (2019).MSC公司:60年第68季度 65年第68季度 68问题85 92C40型 PDF格式BibTeX公司 XML格式引用 \textit{R.Johnson}等人,Theor。计算。科学。765,3-46(2019年;Zbl 1423.68286) 全文: 内政部
苏、荣;本特·伦纳特森 具有从代理和需求模板实例化的类似动作的多代理系统的控制协议合成。 (英语) Zbl 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) 全文: 内政部
Jan Friso,格鲁特;大卫·詹森(David N.Jansen)。;Jeroen J.A.Keiren。;安东·威伊斯(Anton J.Wijs)。 一种计算断续等价和分支互模拟的(mathcal O(m\log n))算法。 (英语) Zbl 1367.68211号 ACM事务处理。计算。日志。 18,第2号,第13条,第34页(2017年).MSC公司:68问题85 03B70号 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.F.Groote}等人,ACM Trans。计算。日志。18,第2号,第13条,第34页(2017年;Zbl 1367.68211) 全文: 内政部
亚历山大·布尔加科夫;托马斯·吉布森·罗宾逊;A.W.罗斯科。 计算最大弱互模拟和其他互模拟。 (英语) Zbl 1355.68190号 正式Asp。计算。 28,第3期,381-407(2016).MSC公司:68问题85 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Boulgakov}等人,正式Asp。计算。28,第3号,381--407(2016;Zbl 1355.68190) 全文: 内政部
贾森·马尔科夫斯基 使用行为预序来定义不确定性离散事件系统的可控性。 (英语) Zbl 1328.93055号 离散事件动态。系统。 25,编号1-2,227-250(2015).MSC公司:93个B03 93元65角 93E03型 PDF格式BibTeX公司 XML格式引用 \textit{J.Markovski},离散事件动态。系统。25,编号1--2,227--250(2015;Zbl 1328.93055) 全文: 内政部 链接
西蒙·沃尔;罗比·马利克 使用抽象和规范自动机对广义非阻塞属性进行组合验证。 (英语) Zbl 1291.68270号 发现的国际期刊。计算。科学。 24,第8期,1183-1208(2013).MSC公司:60年第68季度 65年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{S.Ware}和\textit{R.Malik},国际期刊发现。计算。科学。24,第8号,1183--1208(2013;Zbl 1291.68270) 全文: 内政部
西蒙·沃尔;罗比·马利克 使用注释自动机的离散事件系统的冲突保护抽象。 (英语) Zbl 1267.93111号 离散事件动态。系统。 22,第4期,451-477(2012).MSC公司:93元65角 94C15号机组 PDF格式BibTeX公司 XML格式引用 \textit{S.Ware}和\textit{R.Malik},离散事件动态。系统。22,第4号,451--477(2012;Zbl 1267.93111) 全文: 内政部 链接
苏荣;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) 全文: 内政部
布利切夫,P.E。 博弈论模拟检查工具。 (英语。俄文原件) Zbl 1242.68154号 程序。计算。柔和。 37,第4期,200-209(2011); 译自Programmirovanie 37,No.4(2011)。MSC公司:60年第68季度 68问题85 03B44号 91A80型 68号30 PDF格式BibTeX公司 XML格式引用 \textit{P.E.Bulychev},程序。计算。柔和。37,第4号,200--209(2011;Zbl 1242.68154);译自Programmirovanie 37,No.4(2011) 全文: 内政部
冯磊;W.M.沃纳姆。 离散事件系统中自然观测器的计算。 (英语) Zbl 1195.93081号 离散事件动态。系统。 20,第1期,63-102(2010).MSC公司:93元65角 93个B07 PDF格式BibTeX公司 XML格式引用 \textit{L.Feng}和\textit{W.M.Wonham},离散事件动力学。系统。20,编号1,63--102(2010;Zbl 1195.93081) 全文: 内政部
苏荣;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) 全文: 内政部
安蒂·瓦尔马里 在\(O(m\logn)\)时间内的双相似性最小化。 (英语) Zbl 1242.68186号 Franceschinis,Giuliana(编辑)等人,《Petri网的应用和理论》。第30届国际会议,PETRI NETS 2009,巴黎,法国,2009年6月22-26日。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-02423-8/pbk)。计算机科学课堂讲稿5606123-142(2009)。MSC公司:68问题85 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Valmari},莱克特。注释计算。科学。5606123--142(2009年;Zbl 1242.68186) 全文: 内政部
斯特凡·布隆;Boudewijn R.哈维尔科特。;马蒂亚斯·昆茨;范德波尔(Jaco van de Pol) 针对CSL模型检验的分布式马尔可夫互模拟约简。 (英语) Zbl 1286.68306号 乔纳·伊瓦纳(编辑)等人,《第七届平行和分布式验证方法国际研讨会论文集》(PDMC 2008),匈牙利布达佩斯,2008年3月29日。阿姆斯特丹:爱思唯尔。《理论计算机科学电子笔记》220,第2期,35-50(2008)。MSC公司:60年第68季度 68问题85 87年第68季度 68宽15 PDF格式BibTeX公司 XML格式引用 \textit{S.Blom}等人,《电子》。注释Theor。计算。科学。220,编号2,35--50(2008;Zbl 1286.68306) 全文: 内政部
韩婷婷;Joost-Pieter卡托恩;亚历山大·梅雷克莱 时间非均匀马尔可夫链的组合建模和最小化。 (英语) Zbl 1144.93379号 Egerstedt,Magnus(编辑)等人,《混合系统:计算和控制》。2008年4月22日至24日在美国密苏里州圣路易斯举行的2008年HSCC第11届国际研讨会。诉讼程序。柏林:施普林格出版社(ISBN 978-3-540-78928-4/pbk)。计算机科学课堂讲稿4981,244-258(2008)。MSC公司:93E25型 60J27型 PDF格式BibTeX公司 XML格式引用 \textit{T.Han}等人,Lect。注释计算。科学。4981244--258(2008年;Zbl 1144.93379) 全文: 内政部 链接
保罗·塔布阿达 控制系统的符号模型。 (英语) Zbl 1134.93003号 学报信息。 43,第7期,477-500(2007).MSC公司:93A30型 68N99型 PDF格式BibTeX公司 XML格式引用 \textit{P.Tabuada},Acta Inf.43,No.7,477--500(2007;Zbl 1134.93003) 全文: 内政部
T·卡维。;蒂纳里,M。;R·凯沃拉。 修饰跟踪语义中过程代数规范的逐步开发。 (英语) Zbl 1083.68080号 形式方法系统。设计。 26,第3期,293-317(2005).MSC公司:68问题85 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{T.Karvi}等人,《形式方法系统》。设计。26,第3号,293--317(2005;Zbl 1083.68080) 全文: 内政部
Gianluigi法拉利;乌戈·蒙塔纳里;埃米利奥·托斯托 使用多态类型对\(\pi\)-演算的HD-自动机进行协代数最小化。 (英语) Zbl 1070.68102号 西奥。计算。科学。 331,编号2-3,325-365(2005).MSC公司:68问题85 PDF格式BibTeX公司 XML格式引用 \textit{G.Ferrari}等人,Theor。计算。科学。331,编号2--3325--365(2005;Zbl 1070.68102) 全文: 内政部
亲爱的,丹尼斯;亚辛·拉赫内奇;马丁·斯特芬 迭代换能器。 (英语) 兹比尔1008.68062 J.日志。阿尔盖布。程序。 52-53109-127(2002年).MSC公司:2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{D.Dams}等人,J.Log。阿尔盖布。程序。52-53、109-127(2002年;Zbl 1008.68062) 全文: 内政部
克里斯特尔·拜尔;贝蒂娜·恩格伦;米拉·卡德巴姆少校 概率过程的双相似性和相似性的判定。 (英语) Zbl 1073.68690号 J.计算。系统。科学。 60,第1期,187-231(2000).MSC公司:68问题85 PDF格式BibTeX公司 XML格式引用 \textit{C.Baier}等人,《计算杂志》。系统。科学。60,第1号,187--231(2000;Zbl 1073.68690) 全文: 内政部
马可·贝尔纳多;罗伯托·戈里埃里 EMPA教程:具有不确定性、优先级、概率和时间的并发过程理论。 (英语) Zbl 0902.68075号 西奥。计算。科学。 202,编号1-2,1-54(1998).MSC公司:第68季度10 PDF格式BibTeX公司 XML格式引用 \textit{M.Bernardo}和\textit{R.Gorrieri},Theor。计算。科学。202,编号1--2,1--54(1998;Zbl 0902.68075) 全文: 内政部
贾安娜·埃洛兰塔;马尔蒂·蒂纳里;安蒂·瓦尔马里 相互模拟等效的基本转换。 (英语) 兹比尔0901.68140 西奥。计算。科学。 179,编号1-2,397-419(1997).MSC公司:68问题85 PDF格式BibTeX公司 XML格式引用 \textit{J.Eloranta}等人,Theor。计算。科学。179,编号1--2,397--419(1997;Zbl 0901.68140) 全文: 内政部
安蒂·瓦尔马里 状态空间验证方法中的组合性。 (英语) Zbl 1418.68155号 Billington,Jonathan(编辑)等人,《Petri网的应用和理论》,1996年。第17届国际会议,日本大阪,1996年6月24日至28日。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。1091, 29-56 (1996).MSC公司:68问题85 68问题55 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Valmari},莱克特。注释计算。科学。1091、29-56(1996年;Zbl 1418.68155) 全文: 内政部
莱因哈德·恩德斯;托马斯·菲尔科恩;德克·托布纳 生成用于CCS中符号模型检查的BDD。 (英语) Zbl 0778.68063号 分布计算。 第6期,第3期,第155-164页(1993年).MSC公司:60年第68季度 第68季度10 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{R.Enders}等人,《分布计算》。6,第3号,155--164(1993;Zbl 0778.68063) 全文: 内政部
贾安娜·埃洛兰塔 在观测等效性方面尽量减少过渡次数。 (英语) Zbl 0738.68061号 比特币 31,第4期,576-590(1991).MSC公司:68问题85 60年第68季度 2005年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Eloranta},BIT 31,编号4,576--590(1991;Zbl 0738.68061) 全文: 内政部