安德鲁·索戈孔;保罗·B·杰克逊。;泰勒·T·约翰逊。 使用流管道和连续不变量验证混合系统中的安全性和持久性。 (英语) Zbl 1468.68135号 J.汽车。推理 63,第4号,1005-1029(2019).MSC公司:60年第68季度 65年第68季度 93个B03 93立方 PDF格式BibTeX公司 XML格式引用 \textit{A.Sogokon}等人,J.Autom。推理63,No.4,1005--1029(2019;Zbl 1468.68135) 全文: 内政部 链接
斯坦利·巴克;帕拉萨拉·斯里达尔·达吉拉拉 基于严格仿真的线性混合系统分析。 (英语) Zbl 1452.68098号 Legay,Axel(编辑)等人,《系统构建和分析的工具和算法》。2017年4月22日至29日在瑞典乌普萨拉举行的第23届国际会议(TACAS 2017),是欧洲软件理论与实践联合会议(ETAPS 2017)的一部分。诉讼程序。第一部分柏林:施普林格。莱克特。票据计算。科学。10205, 555-572 (2017).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Bak}和\textit{P.S.Duggirala},莱克特。票据计算。科学。10205555--572(2017;Zbl 1452.68098) 全文: 内政部