Masashi Wakaiki;保罗·塔布阿达;Joáo P.赫斯帕尼亚。 受到攻击的离散事件系统的监督控制。 (英语) Zbl 1431.91080号 动态。游戏应用程序。 9,第4号,965-983(2019).MSC公司:91A80型 93元65角 93C83号 PDF格式BibTeX公司 XML格式引用 \textit{M.Wakaiki}等人,Dyn。游戏应用程序。9,第4号,965--983(2019;Zbl 1431.91080) 全文: 内政部 arXiv公司
苏荣 通过有限的传感器读数更改来阻止网络攻击的监督员合成。 (英语) Zbl 1400.93189号 Automatica公司 94,35-44(2018).MSC公司:93元65角 93甲13 94A62型 93个B05 93亿B50 68问题80 PDF格式BibTeX公司 XML格式引用 \textit{R.Su},自动化94,35-44(2018;Zbl 1400.93189) 全文: 内政部 arXiv公司
尹、香;圣菲拉福顿 模块离散事件系统一类观测性质的验证复杂性。 (英语) Zbl 1373.93220号 Automatica公司 83, 199-205 (2017).MSC公司:93元65角 93个B07 93B40码 65年20月 PDF格式BibTeX公司 XML格式引用 \textit{X.Yin}和\textit{S.Lafortune},Automatica 83,199--205(2017;Zbl 1373.93220) 全文: 内政部
王伟林 监控传感器激活的在线最小化。 (英语) Zbl 1372.93006号 Automatica公司 73, 8-14 (2016).MSC公司:93甲13 93元65角 93个B07 PDF格式BibTeX公司 XML格式引用 \textit{W.Wang},Automatica自动化73,8--14(2016;Zbl 1372.93006) 全文: 内政部
劳拉·博泽利;汉斯·范·迪特马什;法语,蒂姆;詹姆斯·黑尔斯;苏菲·平奇纳特 细化模态逻辑。 (英语) Zbl 1309.68175号 Inf.计算。 239, 303-339 (2014).MSC公司:68T27型 03B45号 PDF格式BibTeX公司 XML格式引用 \textit{L.Bozzelli}等人,《信息计算》。239303--339(2014年;Zbl 1309.68175) 全文: 内政部 arXiv公司
简·科门达 部分观察的监督控制。 (英语) Zbl 1304.93015号 Seatzu,Carla(编辑)等人,《离散事件系统的控制》。自动机和Petri网透视图。纽约州纽约市:施普林格出版社(ISBN 978-1-4471-4275-1/pbk;978-1-447 1-4276-8/电子书)。《控制与信息科学课堂讲稿》433,65-84(2013)。MSC公司:93甲13 93元65角 68问题80 PDF格式BibTeX公司 XML格式引用 \文本{J.Komenda},Lect。票据控制信息科学。433、65-84(2013;Zbl 1304.93015) 全文: 内政部
鲁迪、凯伦 总结了一些离散事件系统控制问题。 (英语) Zbl 1297.93112号 Domaratzki,Michael(编辑)等人,《自动机的实现和应用》。2010年8月12日至15日,加拿大温尼伯CIAA 2010第15届国际会议。修订了选定的论文。柏林:施普林格出版社(ISBN 978-3-642-18097-2/pbk)。计算机科学课堂讲稿6482,4-16(2011)。MSC公司:93元65角 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{K.Rudie},莱克特。注释计算。科学。6482,4--16(2011;Zbl 1297.93112) 全文: 内政部
菲利普·巴尔比亚尼;法希玛·谢赫;纪尧姆·费伊莱德 通过过滤进行控制器/编配器合成。 (英语) Zbl 1345.68227号 Bolander,Thomas(编辑)等人,《第六届模式方法研讨会论文集》(M4M-6 2009),丹麦哥本哈根,2009年11月12-14日。阿姆斯特丹:爱思唯尔。《理论计算机科学电子笔记》262,33-48(2010)。MSC公司:68问题85 03B45号 PDF格式BibTeX公司 XML格式引用 \textit{P.Balbiani}等人,《电子》。注释Theor。计算。科学。262、33-48(2010年;Zbl 1345.68227) 全文: 内政部
阿兰·吉拉尔;埃里克·拉特 使用离散控制器综合自动添加容错。 (英语) Zbl 1186.68051号 形式方法系统。设计。 35,第2期,190-225(2009).MSC公司:68米15 PDF格式BibTeX公司 XML格式引用 \textit{A.Girault}和\textit{E.Rutten},《形式方法系统》。设计。35,第2号,190--225(2009;Zbl 1186.68051) 全文: 内政部 哈尔
王伟林;圣菲拉福顿;林,冯 计算具有部分可观察跃迁的有限状态自动机中不可区分状态和簇的算法。 (英语) Zbl 1155.93387号 系统。控制信函。 56,编号9-10,656-661(2007).MSC公司:93元65角 93个B07 93C85号 93甲13 PDF格式BibTeX公司 XML格式引用 \textit{W.Wang}等人,系统。控制信函。56,编号9--10,656--661(2007;Zbl 1155.93387) 全文: 内政部
简·科门达;van Schuppen,Jan H。 具有模块化或分布式结构的离散事件系统的控制。 (英语) 兹比尔1143.68053 西奥。计算。科学。 388,编号1-3,199-226(2007).MSC公司:68问题85 60年第68季度 93元65角 PDF格式BibTeX公司 XML格式引用 \textit{J.Komenda}和\textit{J.H.van Schuppen},Theor。计算。科学。388,编号1--3,199-226(2007;Zbl 1143.68053) 全文: 内政部
高井,Shigemasa;Ushio、Toshimitsu 部分观测下时间离散事件系统的一类新监督算子。 (英语) Zbl 1104.93042号 离散事件动态。系统。 16,第2期,257-278(2006).MSC公司:93元65角 93个B07 PDF格式BibTeX公司 XML格式引用 \textit{S.Takai}和\textit{T.Ushio},离散事件Dyn。系统。16,第2号,257--278(2006;Zbl 1104.93042) 全文: 内政部
你,泰西;圣菲拉福顿 部分观测下集中监控的可解性。 (英语) Zbl 1103.93015号 离散事件动态。系统。 16,第4期,527-553(2006).MSC公司:93个B05 93C55美元 93个B07 93亿B50 PDF格式BibTeX公司 XML格式引用 \textit{T.-S.Yoo}和\textit{S.Lafortune},离散事件动态。系统。16,第4号,527--553(2006;Zbl 1103.93015) 全文: 内政部
库尔特·罗洛夫。;萨米尔·库勒;盖·科茨 近似监测控制的最小传感器选择。 (英语) Zbl 1103.93019号 离散事件动态。系统。 16,第1期,143-170(2006).MSC公司:93B17号机组 68周25 93亿B50 65年第68季度 93B40码 PDF格式BibTeX公司 XML格式引用 \textit{K.R.Rohloff}等人,《离散事件动力学》。系统。16,编号143-170(2006年;兹bl 1103.93019) 全文: 内政部
蒂斯特尔,J.G。 分散监督的不确定性。 (英语) Zbl 1129.93451号 系统。控制信函。 54,第5期,503-509(2005).MSC公司:93元65角 03天35分 93年第14页 PDF格式BibTeX公司 XML格式引用 \textit{J.G.Thistle},系统。控制信函。54,第5号,503--509(2005;Zbl 1129.93451) 全文: 内政部
简·科门达;van Schuppen,Jan H。 利用余代数和共缩聚对具有部分观测的离散事件系统进行控制。 (英语) Zbl 1101.93050号 离散事件动态。系统。 15,第3期,257-315(2005).MSC公司:93元65角 93B25型 PDF格式BibTeX公司 XML格式引用 \textit{J.Komenda}和\textit{J.H.van Schuppen},离散事件动力学。系统。15,第3号,257--315(2005;Zbl 1101.93050) 全文: 内政部
高井,Shigemasa;Ushio、Toshimitsu 部分观测下一类并发离散事件系统的监督控制。 (英语) 兹比尔1130.93381 离散事件动态。系统。 15,第1期,7-32(2005).MSC公司:93元65角 93个B05 PDF格式BibTeX公司 XML格式引用 \textit{S.Takai}和\textit{T.Ushio},离散事件动态。系统。15,第1号,第7--32号(2005年;Zbl 1130.93381) 全文: 内政部
斯塔夫罗斯·特里帕基斯 常规语言分散观察和控制的不确定问题。 (英语) Zbl 1178.68327号 信息处理。莱特。 90,第1期,21-28(2004).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Tripakis},Inf.过程。莱特。90,第1号,第21--28号(2004年;Zbl 1178.68327) 全文: 内政部
van Schuppen,Jan H。 系统辨识的系统理论。 (英语) 兹比尔1033.93015 《经济学杂志》。 118,编号1-2,313-339(2004).MSC公司:93B30型 PDF格式BibTeX公司 XML格式引用 \textit{J.H.van Schuppen},J.Econom。118,编号1--2,313--339(2004;Zbl 1033.93015) 全文: 内政部
文森特·德·布隆德尔。;约翰·齐齐克利斯(John N.Tsitsiklis)。 对计算复杂性的调查导致了系统和控制。 (英语) Zbl 0989.93006号 Automatica公司 36,第9期,1249-1274(2000).MSC公司:93-02 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{V.D.Blondel}和\textit{J.N.Tsitsiklis},Automatica 36,No.9,1249--1274(2000;Zbl 0989.93006) 全文: 内政部
哈默,雅各布 关于顺序机器的纠正控制。 (英语) Zbl 0855.93009号 国际J.控制 65,第2期,249-276(1996).MSC公司:93年10月 93A99型 93立方 90B25型 92C40型 PDF格式BibTeX公司 XML格式引用 \textit{J.Hammer},国际期刊控制65,第2期,249--276(1996;Zbl 0855.93009) 全文: 内政部
蒂斯特尔,J.G。 离散事件系统的监督控制。 (英语) Zbl 0854.93005号 数学。计算。建模 23,第11-12、25-53号(1996年).MSC公司:93-02 93甲13 93年10月 93亿B50 93B11号机组 PDF格式BibTeX公司 XML格式引用 \textit{J.G.Thistle},数学。计算。模型23,编号11-12,25-53(1996;Zbl 0854.93005) 全文: 内政部
阿米特·帕特拉;悉达多;Supratik Bose公司 离散偶数系统的逻辑模型:比较阐述。 (英语) 兹比尔1028.68053 萨达纳 21,第6期,683-718(1996).MSC公司:2010年第68季度 2005年第68季度 93元65角 PDF格式BibTeX公司 XML格式引用 \textit{A.Patra}等人,《萨达纳21》,第6期,第683--718页(1996年;Zbl 1028.68053) 全文: 内政部
安妮·贝杰伦 在分布式进程中共享控制。 (英语) Zbl 0874.68305号 西奥。计算。科学。 139,第1-2号,163-186(1995).MSC公司:68单位99 PDF格式BibTeX公司 XML格式引用 \文本{A.Bergeron},Theor。计算。科学。139,编号1--2,163--186(1995;Zbl 0874.68305) 全文: 内政部
迈克尔·海曼;林,冯 部分观测离散事件系统的在线控制。 (英语) Zbl 0811.93004号 离散事件动态。系统。 4,第3期,221-236(1994).MSC公司:93甲13 93个B07 93年10月 93B40码 93个B05 93亿B51 93元65角 PDF格式BibTeX公司 XML格式引用 \textit{M.Heymann}和\textit{F.Lin},离散事件动态。系统。4,第3号,221--236(1994;Zbl 0811.93004) 全文: 内政部
高井,Shigemasa;Kodama、Shinzo;Ushio、Toshimitsu 离散事件系统的分散状态反馈控制。 (英语) Zbl 0827.93004号 系统。控制信函。 22,第5号,369-375(1994). 审核人:Y.Y.Sugai(千叶市) MSC公司:93年第14页 93B52号 93个B05 93个B07 93立方 PDF格式BibTeX公司 XML格式引用 \textit{S.Takai}等人,系统。控制信函。22,第5号,369--375(1994;Zbl 0827.93004) 全文: 内政部
盛路钟;圣菲拉福顿;林,冯 离散事件系统有限前瞻监控的递归计算。 (英语) Zbl 0772.93001号 离散事件动态。系统。 3,第1号,71-100(1993).MSC公司:93年10月 90立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{S.-L.Chung}等人,离散事件动态。系统。3,编号1,71--100(1993;Zbl 0772.93001) 全文: 内政部
拉特内什·库马尔;维杰·加格;史蒂文·马库斯。 离散事件动力系统的能控性和正规性。 (英语) 兹比尔0759.93013 系统。控制信函。 17,第3期,157-168(1991).MSC公司:93个B05 93亿B50 PDF格式BibTeX公司 XML格式引用 \textit{R.Kumar}等人,系统。控制信函。17,第3号,157--168(1991;Zbl 0759.93013) 全文: 内政部