×

找到3个文档(结果1-3)

基于严格仿真的线性混合系统分析。 (英语) Zbl 1452.68098号

Legay,Axel(编辑)等人,《系统构建和分析的工具和算法》。2017年4月22日至29日在瑞典乌普萨拉举行的第23届国际会议(TACAS 2017),是欧洲软件理论与实践联合会议(ETAPS 2017)的一部分。诉讼程序。第一部分柏林:施普林格。莱克特。注释计算。科学。10205, 555-572 (2017).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

混合自动机的Reachset一致性测试。 (英语) Zbl 1366.68181号

第19届ACM混合系统国际会议论文集:计算与控制,2016年HSCC,奥地利维也纳,2016年4月12-14日。纽约州纽约市:计算机协会(ACM)(ISBN 978-1-4503-3955-1)。277-286 (2016).
PDF格式BibTeX公司 XML格式引用
全文: 内政部 链接

非线性系统分析的可伸缩静态杂交方法。 (英语) Zbl 1364.68243号

第19届ACM混合系统国际会议论文集:计算与控制,2016年HSCC,奥地利维也纳,2016年4月12-14日。纽约州纽约市:计算机协会(ACM)(ISBN 978-1-4503-3955-1)。155-164 (2016).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

筛选结果依据…

出版年份

主字段