塞尔吉·博戈莫洛夫;马塞洛·福雷茨;戈兰·弗雷斯;安德烈亚斯·波德尔斯基;克里斯蒂安·席林 用低维集合和高维矩阵分解可达集合计算（扩展版）。 （英文） Zbl 07629131号 Inf.计算。 289，A部分，文章ID 104937，24 p.（2022）.MSC公司：68季度xx PDF格式BibTeX公司 XML格式引用 \textit{S.Bogomolov}等人，《信息计算》。289，A部分，文章ID 104937，24 p.（2022；Zbl 07629131） 全文： 内政部
塞尔吉·博戈莫洛夫;戈兰·弗雷斯;阿米特·古龙;李东旭;乔治·马蒂乌斯;Rayarshi Ray 利用符号可达性分析和轨迹拼接对混合系统进行伪造。 （英文） Zbl 1479.90044号 非线性分析。，混合系统。 42，文章ID 101093，21 p.（2021）.MSC公司：90B10型 90B25型 90C05（二氧化碳） 90立方 PDF格式BibTeX公司 XML格式引用 \textit{S.Bogomolov}等人，《非线性分析》。，混合系统。42，文章ID 101093，21 p.（2021；Zbl 1479.90044） 全文： 内政部
塞尔吉·博戈莫洛夫;马塞洛·福雷茨;戈兰·弗雷斯;科斯蒂安·波托姆金;克里斯蒂安·席林 JuliaReach：一个基于集合的可达性工具箱。 （英文） Zbl 07120139号 2019年4月16日至18日，加拿大魁北克蒙特利尔，HSCC 2019，第22届ACM混合系统：计算和控制国际会议记录。纽约州纽约市：计算机协会（ACM）。39-44 (2019).MSC公司：65年第68季度 60年第68季度 93立方 PDF格式BibTeX公司 XML格式引用 \textit｛S.Bogomolov｝等人，在：第22届ACM混合系统国际会议论文集：计算与控制，HSCC 2019，加拿大魁北克省蒙特利尔，2019年4月16日至18日。纽约州纽约市：计算机协会（ACM）。39-44（2019年；Zbl 07120139） 全文： 内政部 arXiv公司
塞尔吉·博戈莫洛夫;戈兰·弗雷斯;阿米特·古隆;李东旭;乔治·马蒂乌斯;Rayarshi Ray 使用符号可达性和轨迹拼接对混合系统进行伪造。 （英文） Zbl 07120135号 2019年4月16日至18日，加拿大魁北克蒙特利尔，HSCC 2019，第22届ACM混合系统：计算和控制国际会议记录。纽约州纽约市：计算机协会（ACM）。1-10 (2019).MSC公司：65年第68季度 60年第68季度 93立方 PDF格式BibTeX公司 XML格式引用 \textit｛S.Bogomolov｝等人，在：第22届ACM混合系统国际会议论文集：计算与控制，HSCC 2019，加拿大魁北克省蒙特利尔，2019年4月16日至18日。纽约州纽约市：计算机协会（ACM）。1-10（2019；Zbl 07120135） 全文： 内政部
塞尔吉·博戈莫洛夫;马塞洛·福雷茨;戈兰·弗雷斯;Viry，Frédéric;安德烈亚斯·波德尔斯基;克里斯蒂安·席林 通过低维集和高维矩阵的分解达到集近似。 （英文） Zbl 1417.93059号 第21届ACM混合系统国际会议论文集：计算与控制，HSCC 2018，葡萄牙波尔图，2018年4月11-13日。纽约州纽约市：计算机协会（ACM）。41-50 (2018).MSC公司：93个B03 93立方厘米05 93B40码 PDF格式BibTeX公司 XML格式引用 \textit{S.Bogomolov}等人，in：第21届ACM混合系统国际会议论文集：计算与控制，HSCC 2018，葡萄牙波尔图，2018年4月11-13日。纽约州纽约市：计算机协会（ACM）。41-50（2018；Zbl 1417.93059） 全文： 内政部 arXiv公司
斯特凡诺·米诺波利;戈兰·弗雷斯 从模拟模型到使用紧急和松弛的混合自动机。 （英文） Zbl 1366.68148号 第19届ACM混合系统国际会议论文集：计算与控制，2016年HSCC，奥地利维也纳，2016年4月12-14日。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-4503-3955-1）。287-296 (2016).MSC公司：65年第68季度 60年第68季度 68平方英寸 93A30型 PDF格式BibTeX公司 XML格式引用 \textit{S.Minopoli}和\textit{G.Frehse}，in：第19届ACM混合系统国际会议论文集：计算和控制，HSCC 2016，奥地利维也纳，2016年4月12-14日。纽约州纽约市：计算机协会（ACM）。287--296（2016年；Zbl 1366.68148） 全文： 内政部