斯坦利·巴克;帕拉萨拉·斯里达尔·达吉拉拉 基于严格仿真的线性混合系统分析。 (英语) Zbl 1452.68098号 Legay,Axel(编辑)等人,《系统构建和分析的工具和算法》。2017年4月22日至29日在瑞典乌普萨拉举行的第23届国际会议(TACAS 2017),是欧洲软件理论与实践联合会议(ETAPS 2017)的一部分。诉讼程序。第一部分柏林:施普林格。莱克特。注释计算。科学。10205, 555-572 (2017).MSC公司:第68季度第45季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Bak}和\textit{P.S.Duggirala},莱克特。注释计算。科学。10205555--572(2017;Zbl 1452.68098) 全文: 内政部
亨德里克·罗姆;延斯·奥勒金;马蒂亚斯·沃尔;马蒂亚斯·阿尔霍夫 混合自动机的Reachset一致性测试。 (英语) Zbl 1366.68181号 第19届ACM混合系统国际会议论文集:计算与控制,2016年HSCC,奥地利维也纳,2016年4月12-14日。纽约州纽约市:计算机协会(ACM)(ISBN 978-1-4503-3955-1)。277-286 (2016).MSC公司:60年第68季度 第68季度第45季度 PDF格式BibTeX公司 XML格式引用 \textit{H.Roehm}等人,in:第19届ACM混合系统国际会议论文集:计算与控制,HSCC 2016,奥地利维也纳,2016年4月12-14日。纽约州纽约市:计算机协会(ACM)。277--286(2016年;Zbl 1366.68181) 全文: 内政部 链接
斯坦利·巴克;塞尔吉·博戈莫洛夫;托马斯·亨辛格(Thomas A.Henzinger)。;泰勒·T·约翰逊。;普拉卡什,普拉多特 非线性系统分析的可伸缩静态杂交方法。 (英语) Zbl 1364.68243号 第19届ACM混合系统国际会议论文集:计算与控制,2016年HSCC,奥地利维也纳,2016年4月12-14日。纽约州纽约市:计算机协会(ACM)(ISBN 978-1-4503-3955-1)。155-164 (2016).MSC公司:第68季度第45季度 第34页38 60年第68季度 68岁20岁 PDF格式BibTeX公司 XML格式引用 \textit{S.Bak}等人,in:第19届ACM混合系统国际会议论文集:计算与控制,HSCC 2016,奥地利维也纳,2016年4月12-14日。纽约州纽约市:计算机协会(ACM)。155-164(2016年;Zbl 1364.68243) 全文: 内政部