Van Huijgevoort，Birgit公司;奥利弗·舍恩;萨代赫·苏贾尼;苏菲·海瑟特 SySCoRe：通过随机耦合关系进行合成。 （英语） Zbl 07807954号 第26届ACM混合系统国际会议论文集：计算与控制，HSCC 2023，第16届CPS-IoT周，美国德克萨斯州圣安东尼奥，2023年5月9日至12日。纽约州纽约市：计算机协会（ACM）。第13号论文，第11页（2023年）。MSC公司：65年第68季度 第68季度第60季度 93立方 PDF格式BibTeX公司 XML格式引用 \textit{B.Van Huijgevoort}等人，in：《第26届ACM混合系统国际会议论文集：计算与控制》，HSCC 2023，第16届CPS-IoT周，美国德克萨斯州圣安东尼奥，2023年5月9日至12日。纽约州纽约市：计算机协会（ACM）。论文编号13，第11页（2023；Zbl 07807954） 全文： 内政部 arXiv公司
弗吉尼亚州德鲍什;Della Rossa，马特奥;拉斐尔·荣格斯 使用附加闭合模板的路径完整稳定性证书的排序特征。 （英语） 兹伯利07807949 第26届ACM混合系统国际会议论文集：计算与控制，HSCC 2023，第16届CPS-IoT周，美国德克萨斯州圣安东尼奥，2023年5月9日至12日。纽约州纽约市：计算机协会（ACM）。第8号论文，第10页（2023年）。MSC公司：65年第68季度 第68季度第60季度 93立方 PDF格式BibTeX公司 XML格式引用 \textit{V.Debauche}等人，in：《第26届ACM混合系统国际会议论文集：计算与控制》，HSCC 2023，第16届CPS-IoT周，美国德克萨斯州圣安东尼奥，2023年5月9日至12日。纽约州纽约市：计算机协会（ACM）。第8号论文，第10页（2023；Zbl 07807949） 全文： 内政部
陈洪凯;斯科特·斯莫尔卡。;尼古拉·保莱蒂;林，单 基于STL的网络物理系统弹性控制方法。 （英语） Zbl 07807943号 第26届ACM混合系统国际会议论文集：计算与控制，HSCC 2023，第16届CPS-IoT周，美国德克萨斯州圣安东尼奥，2023年5月9日至12日。纽约州纽约市：计算机协会（ACM）。第2号论文，第12页（2023年）。MSC公司：65年第68季度 第68季度第60季度 93立方 PDF格式BibTeX公司 XML格式引用 \textit{H.Chen}等人，《第26届ACM混合系统国际会议论文集：计算与控制》，HSCC 2023，第16届CPS-IoT周，美国德克萨斯州圣安东尼奥，2023年5月9日至12日。纽约州纽约市：计算机协会（ACM）。第2号论文，第12页（2023；Zbl 07807943） 全文： 内政部 arXiv公司
弗吉尼亚州德博切;Della Rossa，马特奥;拉斐尔·荣格斯。 路径完备Lyapunov方法的模板依赖排序的充要条件。 （英语） Zbl 07807722号 第25届ACM混合系统国际会议论文集：计算与控制，HSCC 2022，CPS-IoT周，意大利米兰，虚拟，2022年5月4-6日。纽约州纽约市：计算机协会（ACM）。第14号论文，第10页（2022年）。MSC公司：65年第68季度 第68季度第60季度 93立方 PDF格式BibTeX公司 XML格式引用 \textit{V.Debauche}等人，in：《第25届ACM混合系统国际会议论文集：计算与控制》，HSCC 2022，CPS-IoT周，意大利米兰，虚拟，2022年5月4-6日。纽约州纽约市：计算机协会（ACM）。第14号论文，第10页（2022；Zbl 07807722） 全文： 内政部 链接
马哈提·阿南德;毗湿奴·穆拉利;阿舒托什·特里维迪;马吉德·扎马尼 随机系统的k-感应势垒证明。 （英语） 兹伯利07807720 第25届ACM混合系统国际会议论文集：计算与控制，HSCC 2022，CPS-IoT周，意大利米兰，虚拟，2022年5月4-6日。纽约州纽约市：计算机协会（ACM）。第12号论文，第11页（2022年）。MSC公司：65年第68季度 第68季度第60季度 93立方 PDF格式BibTeX公司 XML格式引用 \textit{M.Anand}等人，in：《第25届ACM混合系统国际会议论文集：计算与控制》，HSCC 2022，CPS-IoT周，意大利米兰，虚拟，2022年5月4-6日。纽约州纽约市：计算机协会（ACM）。第12号论文，第11页（2022；Zbl 07807720） 全文： 内政部
奎西·拉特利奇;内克米耶·奥扎伊 使用双线性优化对未知线性系统进行构造探索和开发，从而纠正错误。 （英语） Zbl 07807716号 第25届ACM混合系统国际会议论文集：计算与控制，HSCC 2022，CPS-IoT周，意大利米兰，虚拟，2022年5月4-6日。纽约州纽约市：计算机协会（ACM）。第8号论文，第11页（2022年）。MSC公司：65年第68季度 第68季度第60季度 93立方 PDF格式BibTeX公司 XML格式引用 \textit{K.Rutledge}和\textit{N.Ozay}，in：第25届ACM混合系统国际会议论文集：计算和控制，HSCC 2022，CPS-IoT周的一部分，意大利米兰和虚拟，2022年5月4-6日。纽约州纽约市：计算机协会（ACM）。第8号论文，第11页（2022；Zbl 07807716） 全文： 内政部
高荣轩;查、奥龙;Shusuke Shigenaka;Masaki Onishi 道路网络中大规模人群运动的混合建模与预测控制。 （英语） Zbl 07807699号 第24届ACM混合系统国际会议论文集：计算和控制，HSCC 2021，CPS物联网周的一部分，美国田纳西州纳什维尔，2021年5月19日至21日。纽约州纽约市：计算机协会（ACM）。第26号论文，第7页（2021年）。MSC公司：65年第68季度 第68季度第60季度 93立方 PDF格式BibTeX公司 XML格式引用 \textit{R.Gao}等人，《第24届ACM混合系统国际会议论文集：计算与控制》，HSCC 2021，CPS-IoT周，美国田纳西州纳什维尔，2021年5月19-21日。纽约州纽约市：计算机协会（ACM）。第26号论文，第7页（2021；Zbl 07807699） 全文： 内政部
阿尔卑斯山艾迪诺格鲁;马亚尔·法兹利亚布;曼弗雷德·莫拉里;波萨，迈克尔 具有神经网络控制器的互补系统的稳定性分析。 （英语） Zbl 07807692号 第24届ACM混合系统国际会议论文集：计算和控制，HSCC 2021，CPS物联网周的一部分，美国田纳西州纳什维尔，2021年5月19日至21日。纽约州纽约市：计算机协会（ACM）。第19号论文，第10页（2021年）。MSC公司：65年第68季度 第68季度第60季度 93立方 PDF格式BibTeX公司 XML格式引用 \textit{A.Aydinoglu}等人，in：第24届ACM混合系统国际会议论文集：计算与控制，HSCC 2021，CPS-IoT周的一部分，美国田纳西州纳什维尔，2021年5月19-21日。纽约州纽约市：计算机协会（ACM）。第19号论文，第10页（2021；Zbl 07807692） 全文： 内政部 arXiv公司
克里希南德·查特吉;拉斯穆斯·易卜森·延森;鲁帕克·马朱姆达尔 编辑定时自动机的距离。 （英语） Zbl 1360.68544号 第17届ACM混合系统国际会议论文集：计算与控制，HSCC 2014，德国柏林，2014年4月15日至17日。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-4503-2732-9）。303-312 (2014).MSC公司：65年第68季度 2017年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{K.Chatterjee}等人，《第17届ACM混合系统国际会议论文集：计算与控制》，HSCC 2014，德国柏林，2014年4月15-17日。纽约州纽约市：计算机协会（ACM）。303--312（2014；Zbl 1360.68544） 全文： 内政部 链接
托马斯·亨辛格（Thomas A.Henzinger）。;奥托普，简 混合系统的模型测量。 （英语） Zbl 1362.68173号 第17届ACM混合系统国际会议论文集：计算与控制，HSCC 2014，德国柏林，2014年4月15日至17日。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-4503-2732-9）。213-222 (2014).MSC公司：第68季度第60季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{T.A.Henzinger}和\textit{J.Otop}，摘自：第17届ACM混合系统国际会议论文集：计算与控制，HSCC 2014，德国柏林，2014年4月15-17日。纽约州纽约市：计算机协会（ACM）。213--222（2014；Zbl 1362.68173） 全文： 内政部
塞尔吉·博戈莫洛夫;克里斯蒂安·埃雷拉;马尔科·穆尼兹;伯恩德·韦斯特法尔;安德烈亚斯·波德尔斯基 混合自动机中的准相关变量。 （英语） Zbl 1361.68118号 第17届ACM混合系统国际会议论文集：计算与控制，HSCC 2014，德国柏林，2014年4月15日至17日。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-4503-2732-9）。93-102 (2014).MSC公司：65年第68季度 第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Bogomolov}等人，in：第17届ACM混合系统国际会议论文集：计算与控制，HSCC 2014，德国柏林，2014年4月15-17日。纽约州纽约市：计算机协会（ACM）。93-102（2014年；Zbl 1361.68118） 全文： 内政部 链接