穆洛省梅拉戈雷斯;康，恩苏克;圣菲拉福顿;斯塔夫罗斯·特里帕基斯 关于离散系统对过渡扰动的容差。 （英语） Zbl 07823704号 离散事件动态。系统。 33，第4号，395-424（2023）.MSC公司：93元65角 93C73号 PDF格式BibTeX公司 XML格式引用 \textit{R.Meira-Góes}等人，《离散事件动力学》。系统。33，编号4，395--424（2023；Zbl 07823704） 全文： 内政部 arXiv公司
伯恩德·芬克贝纳;考希·马利克;诺埃米，传球;马尔特·施莱德朱夫斯基;安妮·凯瑟琳·施穆克 BOCoSy：小型但功能强大的符号输出反馈控制。 （英语） Zbl 07807732号 第25届ACM混合系统国际会议论文集：计算与控制，HSCC 2022，CPS-IoT周，意大利米兰，虚拟，2022年5月4-6日。纽约州纽约市：计算机协会（ACM）。第24号论文，第11页（2022年）。MSC公司：65年第68季度 60年第68季度 93立方 PDF格式BibTeX公司 XML格式引用 \textit{B.Finkbeiner}等人，in：第25届ACM混合系统国际会议论文集：计算与控制，HSCC 2022，CPS-IoT周的一部分，意大利米兰，虚拟，2022年5月4-6日。纽约州纽约市：计算机协会（ACM）。第24号论文，第11页（2022；Zbl 07807732） 全文： 内政部
詹姆斯·费雷兹;海塔姆·凯德;亚瑟·舒克利 Fast BATLLNN：二级格型神经网络的快速盒分析。 （英语） Zbl 07807731号 第25届ACM混合系统国际会议论文集：计算与控制，HSCC 2022，CPS-IoT周，意大利米兰，虚拟，2022年5月4-6日。纽约州纽约市：计算机协会（ACM）。第23号论文，第11页（2022年）。MSC公司：65年第68季度 60年第68季度 93立方 PDF格式BibTeX公司 XML格式引用 \textit{J.Ferlez}等人，in：《第25届ACM混合系统国际会议论文集：计算与控制》，HSCC 2022，CPS-IoT周，意大利米兰，虚拟，2022年5月4-6日。纽约州纽约市：计算机协会（ACM）。论文编号23，第11页（2022；Zbl 07807731） 全文： 内政部 arXiv公司
松井，Shoma;圣菲拉福顿 利用监控理论对通信协议的成功攻击进行综合：两个案例研究。 （英语） Zbl 1505.93002号 离散事件动态。系统。 32，第4号，573-610（2022）.MSC公司：93甲13 93元65角 68平方米25 PDF格式BibTeX公司 XML格式引用 \textit{S.Matsui}和\textit{S.Lafortune}，离散事件动态。系统。32，第4号，573--610（2022；Zbl 1505.93002） 全文： 内政部 arXiv公司
拉多斯拉夫·伊万诺夫;泰勒·卡彭特;詹姆斯·韦默;拉杰夫·阿鲁尔;乔治·帕帕斯;Lee，Insup公司 Verisig 2.0：使用泰勒模型预处理验证神经网络控制器。 （英语） Zbl 1493.68211号 Silva，Alexandra（编辑）等人，《计算机辅助验证》。第33届国际会议，CAV 2021，虚拟活动，2021年7月20日至23日。诉讼程序。第一部分查姆：施普林格。莱克特。注释计算。科学。12759, 249-262 (2021).MSC公司：60年第68季度 34A34飞机 65G40型 65升05 93立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{R.Ivanov}等人，Lect。注释计算。科学。12759249-262（2021年；兹比尔1493.68211） 全文： 内政部
van Putten，Berend Jan Christiaan;范德桑登，布拉姆;米歇尔·雷尼尔斯;杰罗·沃顿;拉蒙·希夫勒 部分可控制制造系统的监督合成和吞吐量优化。 （英语） Zbl 1478.93190号 离散事件动态。系统。 31，编号1，103-135（2021）.MSC公司：93亿B50 93个B05 49纳米90 91A80型 PDF格式BibTeX公司 XML格式引用 \textit{B.J.C.van Putten}等人，离散事件动力学。系统。31，编号1，103--135（2021；Zbl 1478.93190） 全文： 内政部
安妮·凯瑟琳·施穆克;摩尔，托马斯;鲁帕克·马朱姆达尔 关于非终止过程的反应合成和监督控制之间的关系。 （英语） Zbl 1441.93173号 离散事件动态。系统。 30，编号1，81-124（2020）.MSC公司：93元62角 93元65角 93亿B50 65年第68季度 91A05型 PDF格式BibTeX公司 XML格式引用 \textit{A.-K.Schmuck}等人，离散事件动态。系统。30，第1号，81-124（2020；Zbl 1441.93173） 全文： 内政部
马吕斯·克劳泽;克里斯蒂安·马胡利亚 基于LTL规范和Petri网模型的机器人团队路径规划。 （英语） Zbl 1441.93194号 离散事件动态。系统。 30，第1期，55-79页（2020年）.MSC公司：93C85号 68问题85 03B44号 90立方厘米 PDF格式BibTeX公司 XML格式引用 \textit｛M.Kloetzer｝和\textit｛C.Mahulea｝，离散事件Dyn。系统。30，第1号，55-79（2020年；兹bl 1441.93194） 全文： 内政部
Masashi沟口;Toshimitsu Ushio 基于近似抽象观测器的无死锁输出反馈控制器设计。 （英语） Zbl 1408.93062号 非线性分析。，混合系统。 30, 58-71 (2018).MSC公司：第93页第52页 93亿B50 93A30型 93个B07 PDF格式BibTeX公司 XML格式引用 \textit{M.Mizoguchi}和\textit{T.Ushio}，非线性分析。，混合系统。30、58-71（2018；Zbl 1408.93062） 全文： 内政部
拉杰夫·阿鲁尔;萨拉尔·莫拉里夫;乌富克托普库 多智能体系统反应控制器的合成和符号合成。 （英语） Zbl 1395.68267号 Inf.计算。 261，第4部分，616-633（2018）.MSC公司：68T42型 93亿B50 PDF格式BibTeX公司 XML格式引用 \textit{R.Alur}等人，《信息计算》。261，第4部分，616--633（2018；Zbl 1395.68267） 全文： 内政部
布莱克·罗林斯。;B.埃里克·伊德斯蒂 混合控制系统中组合不变性和可达性规范的伪造。 （英语） Zbl 1379.93003号 离散事件动态。系统。 27，第2期，463-479（2017）.MSC公司：93甲13 93立方 93个B03 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{B.C.Rawlings}和\textit{B.E.Ydstie}，离散事件动态。系统。27，第2号，463--479（2017；Zbl 1379.93003） 全文： 内政部
安妮·凯瑟琳·施穆克;鲁帕克·马朱姆达尔;阿德里安·莱瓦 动态分层反应控制器综合。 （英语） Zbl 1379.93048号 离散事件动态。系统。 27，第2期，261-299（2017）.MSC公司：93B40码 93甲15 93甲13 93亿B50 91A65型 93C85号 94C15号机组 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{A.-K.Schmuck}等人，离散事件动态。系统。27，第2号，261--299（2017；Zbl 1379.93048） 全文： 内政部 arXiv公司
约阿希姆·克莱因;克里斯特尔·拜尔;克吕佩尔霍尔茨，萨沙 大多数通用控制器的组成结构。 （英语） Zbl 1329.68186号 学报信息。 52，No.4-5，443-482（2015）. 审核人：Jörg Desel（哈根） MSC公司：68问题85 03B44号 60年第68季度 93亿B50 PDF格式BibTeX公司 XML格式引用 \textit{J.Klein}等人，《学报》第52期，第4--5、443--482号（2015年；Zbl 1329.68186） 全文： 内政部
达姆，沃纳;汉斯·约格·彼得;詹·拉科夫;伯恩德·韦斯特法尔 我们能否建立它：合作驾驶员辅助系统控制策略的形式化综合。 （英语） Zbl 1269.93067号 数学。结构。计算。科学。 23，第4期，676-725（2013）.MSC公司：93C85号 2005年第68季度 60年第68季度 91A05型 PDF格式BibTeX公司 XML格式引用 \textit｛W.Damm｝等人，数学。结构。计算。科学。23，第4号，676--725（2013；Zbl 1269.93067） 全文： 内政部