维杰·加内什;Sanjit A.Seshia。;Jha，萨默什 机器学习和逻辑：人工智能的新前沿。 （英语） Zbl 07757157号 形式方法系统。设计。 60，第3期，426-451（2022年）.MSC公司：68倍 PDF格式BibTeX公司 XML格式引用 \textit{V.Ganesh}等人，《形式方法系统》。设计。60，编号3，426--451（2022；Zbl 07757157） 全文： DOI程序
马尼什·戈亚尔;帕拉萨拉·斯里达尔·达吉拉拉 提取线性混杂系统中安全违规引起的反例。 （英语） Zbl 1442.93020号 Automatica公司 117，文章ID 109005，12 p.（2020）.MSC公司：93立方 93亿B55 93二氧化碳 90C05（二氧化碳） 90立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{M.Goyal}和\textit{P.S.Duggirala}，Automatica 117，文章ID 109005，12 P.（2020；Zbl 1442.93020） 全文： DOI程序
哈迪·扎蒂;Ye，莉娜;菲利普·达格;珍妮·皮尔·加洛瓦;Travé-Massuyès，路易丝 混合系统可诊断性分析的抽象细化。 （英语） Zbl 1461.93236号 Sayed-Mouchaweh，Moamar（编辑），混合动态和网络物理系统的可诊断性、安全性和安全性。查姆：斯普林格。279-318 (2018). 审核人：Seenith Sivasundaram（代托纳海滩） MSC公司：93立方 93个B07 93元65角 PDF格式BibTeX公司 XML格式引用 \textit{H.Zaati}等人，in：混合动态和网络物理系统的可诊断性、安全性和安全性。查姆：斯普林格。279--318（2018；Zbl 1461.93236） 全文： DOI程序
尤金尼奥·莫吉;阿明·法朱迪安;亚当·杜拉茨;瓦利德·塔哈 混合系统的安全和鲁棒可达性分析。 （英语） Zbl 1400.68140号 西奥。计算。科学。 747, 75-99 (2018).MSC公司：68问题85 06B35号 18秒20 93B25型 PDF格式BibTeX公司 XML格式引用 \textit{E.Moggi}等人，Theor。计算。科学。747，75-99（2018；Zbl 1400.68140） 全文： DOI程序 arXiv公司
帕维特拉·普拉巴卡;帕拉萨拉·斯里达尔·达吉拉拉;萨扬·密特拉;马赫什·维斯瓦纳坦 矩形混合系统的基于混合自动机的CEGAR。 （英语） Zbl 1341.68109号 形式方法系统。设计。 46，第2期，105-134（2015）.MSC公司：65年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{P.Prabhakar}等人，《形式方法系统》。设计。46，No.2，105--134（2015；Zbl 1341.68109） 全文： DOI程序
詹乃军;王淑玲;赵恒军 混合系统的形式化建模、分析和验证。 （英语） Zbl 1444.68105号 刘志明（主编）等，《程序设计理论与形式工程方法的统一》。2013年8月26日至30日在中国上海ICTAC举办的软件工程国际培训学校。高级讲座。柏林：斯普林格。莱克特。注释计算。科学。8050, 207-281 (2013).MSC公司：60年第68季度 03B70号 68伏15 93立方 PDF格式BibTeX公司 XML格式引用 \textit{N.Zhan}等人，Lect。注释计算。科学。8050207--281（2013；Zbl 1444.68105） 全文： DOI程序
恩斯特·莫里茨·哈恩;阿恩·哈特曼斯;霍尔格·赫尔曼斯;Joost-Pieter卡托恩 随机混合系统的组合建模和分析框架。 （英语） Zbl 1291.68293号 形式方法系统。设计。 43，编号2191-232（2013）.MSC公司：87年第68季度 68问题85 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{E.M.Hahn}等人，《形式方法系统》。设计。43，第2号，191--232（2013；Zbl 1291.68293） 全文： DOI程序
张丽君;她，志坤;斯特凡·拉特肖恩;霍尔格·赫尔曼斯;恩斯特·莫里茨·哈恩 概率混合系统的安全验证。 （英语） Zbl 1291.93294号 欧洲药典控制 18，第6号，572-587（2012）.MSC公司：93E03型 93立方 PDF格式BibTeX公司 XML格式引用 \textit{L.Zhang}等人，《欧洲期刊控制》第18卷，第6期，第572--587页（2012年；Zbl 1291.93294） 全文： DOI程序
Jens Schönherr;马丁·弗雷博特;伯恩德·斯特劳贝;Jörg Bormann 通过基于SAT的特性检查对混合信号电路的稳态行为进行半形式化验证。 （英语） Zbl 1293.68193号 西奥。计算。科学。 404，第3号，293-307（2008）.MSC公司：60年第68季度 68号30 94立方厘米05 PDF格式BibTeX公司 XML格式引用 \textit{J.Schönherr}等人，Theor。计算。科学。404，第3号，293--307（2008；Zbl 1293.68193） 全文： DOI程序
阿什什·蒂瓦里 混合系统的抽象。 （英语） Zbl 1133.68368号 形式方法系统。设计。 32，编号1，57-83（2008）.MSC公司：65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Tiwari}，《形式方法系统》。设计。32，编号1，57--83（2008；Zbl 1133.68368） 全文： DOI程序
奥拉夫·斯特斯伯格 基于模型抽象和引导搜索的混合系统监控。 （英语） Zbl 1121.93046号 非线性分析。，理论方法应用。，序列号。A、 理论方法 65，第6期，1168-1187（2006）.MSC公司：93元65角 65年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{O.Stursberg}，非线性分析。，理论方法应用。，序列号。A、 理论方法65，No.6，1168--1187（2006；Zbl 1121.93046） 全文： DOI程序
拉杰夫·阿鲁尔;Thao Dang先生;弗兰乔·伊万契奇 混合系统的反例引导谓词抽象。 （英语） Zbl 1088.68096号 西奥。计算。科学。 354，第2期，250-271（2006）.MSC公司：60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{R.Alur}等人，Theor。计算。科学。354，No.2，250--271（2006；Zbl 1088.68096） 全文： DOI程序 链接
van Beek博士。;曼，K.L。;雷尼尔斯，M.A。;罗达，J.E。;Schiffelers，R.R.H。 混合Chi的语法和一致方程语义。 （英语） Zbl 1088.68111号 J.日志。阿尔盖布。程序。 68，编号1-2，129-210（2006）.MSC公司：60年第68季度 68问题55 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{D.A.van Beek}等人，J.Log。阿尔盖布。程序。68，编号1--2，129-210（2006；Zbl 1088.68111） 全文： DOI程序