吉安尼斯·德尔姆帕尔塔基斯；加布里埃尔·德·阿尔伯克基·格莱泽；伊沃·范斯特拉伦；Manuel jun，马祖。 ETMetera：超出事件触发控制。 （英语） Zbl 07807728号 第25届ACM混合系统国际会议论文集：计算与控制，HSCC 2022，CPS-IoT周，意大利米兰，虚拟，2022年5月4-6日。纽约州纽约市：计算机协会（ACM）。第20号论文，第11页（2022年）。MSC公司：65年第68季度 60年第68季度 93立方 PDF格式BibTeX公司 XML格式引用 \textit{G.Delimpaltadakis}等人，in：《第25届ACM混合系统国际会议论文集：计算与控制》，HSCC 2022，CPS-IoT周的一部分，意大利米兰，虚拟，2022年5月4-6日。纽约州纽约市：计算机协会（ACM）。第20号论文，第11页（2022；Zbl 07807728） 全文： 内政部 arXiv公司
莫纳尔·纳拉西姆哈默西；桑卡拉纳拉亚南，斯里拉姆 离散时间线性混合系统的输出序列解码。 （英语） Zbl 07807714号 第25届ACM混合系统国际会议论文集：计算与控制，HSCC 2022，CPS-IoT周，意大利米兰，虚拟，2022年5月4-6日。纽约州纽约市：计算机协会（ACM）。第6号论文，第7页（2022年）。MSC公司：65年第68季度 60年第68季度 93立方 PDF格式BibTeX公司 XML格式引用 \textit{M.Narasimhamurthy}和\textit{S.Sankaranarayanan}，摘自：第25届ACM混合系统国际会议论文集：计算与控制，HSCC 2022，CPS-IoT周的一部分，意大利米兰与虚拟，2022年5月4-6日。纽约州纽约市：计算机协会（ACM）。第6号论文，第7页（2022；Zbl 07807714） 全文： 内政部
亚历山德罗·阿巴特；丹尼尔·艾哈迈德；亚历克·爱德华兹；米尔科·贾科布；安德烈亚·佩鲁福 FOSSIL：使用神经网络对Lyapunov函数和屏障证书进行形式化合成的软件工具。 （英语） Zbl 07807697号 2021年5月19日至21日，美国田纳西州纳什维尔，第24届ACM混合系统国际会议论文集：计算与控制，HSCC 2021，CPS-IoT周的一部分。纽约州纽约市：计算机协会（ACM）。第24号论文，第11页（2021年）。MSC公司：65年第68季度 60年第68季度 93立方 PDF格式BibTeX公司 XML格式引用 \textit{A.Abate}等人，in：《第24届ACM混合系统国际会议论文集：计算与控制》，HSCC 2021，CPS-IoT周的一部分，美国田纳西州纳什维尔，2021年5月19-21日。纽约州纽约市：计算机协会（ACM）。第24号论文，第11页（2021；Zbl 07807697） 全文： 内政部
加布里埃尔·德·A·格莱泽；曼纽尔·马佐 计算事件触发控件的采样性能。 （英语） Zbl 07807693号 2021年5月19日至21日，美国田纳西州纳什维尔，第24届ACM混合系统国际会议论文集：计算与控制，HSCC 2021，CPS-IoT周的一部分。纽约州纽约市：计算机协会（ACM）。第20号论文，第7页（2021年）。MSC公司：65年第68季度 60年第68季度 93立方 PDF格式BibTeX公司 XML格式引用 \textit｛G.de A.Gleizer｝和\textit｛M.Mazo｝，在：第24届ACM混合系统国际会议论文集：计算和控制，HSCC 2021，CPS物联网周的一部分，美国田纳西州纳什维尔，2021年5月19-21日。纽约州纽约市：计算机协会（ACM）。第20号文件，第7页（2021；Zbl 07807693） 全文： 内政部 arXiv公司
塞尔吉·博戈莫洛夫；克里斯蒂安·埃雷拉；马尔科·穆尼兹；伯恩德·韦斯特法尔；安德烈亚斯·波德尔斯基 混合自动机中的准相关变量。 （英语） Zbl 1361.68118号 第17届ACM混合系统国际会议论文集：计算与控制，HSCC 2014，德国柏林，2014年4月15日至17日。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-4503-2732-9）。93-102 (2014).MSC公司：65年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Bogomolov}等人，in：第17届ACM混合系统国际会议论文集：计算与控制，HSCC 2014，德国柏林，2014年4月15-17日。纽约州纽约市：计算机协会（ACM）。93-102（2014年；Zbl 1361.68118） 全文： 内政部 链接
谢丁宝；卜、雷；赵建华；李宣东 线性混合自动机的SAT-LP-IIS联合定向路径有界可达性分析。 （英语） Zbl 1317.68126号 形式方法系统。设计。 45，第1期，42-62（2014）.MSC公司：60年第68季度 65年第68季度 90C05（二氧化碳） PDF格式BibTeX公司 XML格式引用 \textit{D.Xie}等人，《形式方法系统》。设计。45，第1号，42--62（2014；Zbl 1317.68126） 全文： 内政部
达姆，沃纳；卡斯滕·伊勒曼；维奥里卡Sofrone-Stokkerman 合理线性混合自动机安全特性的PTIME参数验证。 （英语） 兹比尔1262.68113 数学。计算。科学。 5，第4期，469-497（2011）.MSC公司：60年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{W.Damm}等人，数学。计算。科学。5，第4号，469--497（2011；Zbl 1262.68113） 全文： 内政部 链接