纳瓦罗-洛佩斯。;医学博士O'Toole。 多刚体机械系统混合自动机的自动生成及其在安全特性伪造中的应用。 (英语) Zbl 1485.93277号 数学。计算。模型。动态。系统。 24,第1号,44-75(2018).MSC公司:93立方 2005年第70季度 92-08 PDF格式BibTeX公司 XML格式引用 \textit{E.M.Navarro-López}和\textit{M.D.O'Toole},数学。计算。模型。动态。系统。24,第1号,44--75(2018;Zbl 1485.93277) 全文: 内政部
谢丁宝;卜、雷;赵建华;李宣东 线性混合自动机的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) 全文: 内政部
亚历山德罗·西马蒂;塞尔吉奥·莫弗;斯特凡诺·托内塔 混合系统基于SMT的场景验证。 (英语) 兹比尔1284.03216 形式方法系统。设计。 42,第1期,46-66(2013).MSC公司:05年3月 60年第68季度 68T20型 65年第68季度 03B44号 03D78号 PDF格式BibTeX公司 XML格式引用 \textit{A.Cimatti}等人,《形式方法系统》。设计。42,第1号,46--66(2013;Zbl 1284.03216) 全文: 内政部
达姆,沃纳;海宁·迪尔克斯;斯特凡·迪什;威廉·哈格曼;弗洛里安·皮戈什;克里斯托夫·斯科尔;乌韦·沃尔德曼;鲍里斯·维茨 具有大型离散状态空间的线性混合自动机的精确和完全符号验证。 (英语) Zbl 1243.68212号 科学。计算。程序。 77,编号10-11122-1150(2012).MSC公司:60年第68季度 65年第68季度 68瓦30 PDF格式BibTeX公司 XML格式引用 \textit{W.Damm}等人,科学。计算。程序。77,编号10-11122-1150(2012年;兹bl 1243.68212) 全文: 内政部
Fränzle,马丁;蒂诺·特伊格;安德烈亚斯·艾格斯 概率混合自动机自动分析的工程约束求解器。 (英语) Zbl 1205.68252号 J.日志。阿尔盖布。程序。 79,第7期,436-466(2010).MSC公司:87年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Fränzle}等人,J.Log。阿尔盖布。程序。79,编号7,436--466(2010;Zbl 1205.68252) 全文: 内政部
李宣东;苏米特·贾·安纳德;卜、雷 针对线性混合系统的有界可达性分析,提出了一种高效的面向路径的工具。 (英语) Zbl 1277.68139号 Strichman,Ofer(编辑)等人,《第四届有界模型检验国际研讨会论文集》(BMC 2006),西雅图,华盛顿州,美国,2006年8月15日。阿姆斯特丹:爱思唯尔。《理论计算机科学电子笔记》174,第3期,57-70(2007)。MSC公司:60年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{X.Li}等人,《电子》。注释Theor。计算。科学。174,第3号,57--70(2007;Zbl 1277.68139) 全文: 内政部