伯恩德·芬克贝纳;考希·马利克;诺埃米，传球;马尔特·施莱德朱夫斯基;安妮·凯瑟琳·施穆克 BOCoSy：小型但功能强大的符号输出反馈控制。 （英语） 兹伯利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） 全文： DOI程序
马钦·沃尼科夫斯基（Marcin Wojnakowski）;雷米吉乌斯·维希·涅夫斯基;巴兹德·奥格里戈兹;波普·阿夫斯基，马特乌斯 基于Petri网的网络物理系统控制部分规范中的安全性分析。 （英语） Zbl 1485.93366号 国际期刊申请。数学。计算。科学。 31，第4期，647-657（2021）.MSC公司：93元65角 93B70型 93立方厘米83 PDF格式BibTeX公司 XML格式引用 \textit{M.Wojnakowski}等人，国际期刊应用。数学。计算。科学。31，编号4647-657（2021；兹bl 1485.93366） 全文： DOI程序