×

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

基于有界速率多模式系统的运动规划。 (英语) Zbl 1364.68246号

第18届ACM混合系统国际会议论文集:计算与控制,HSCC 2015,西雅图,华盛顿州,美国,2015年4月14-16日。纽约州纽约市:计算机协会(ACM)(ISBN 978-1-4503-3433-4)。41-50 (2015).
PDF格式BibTeX公司 XML格式引用

递归混合自动机的决定因素是什么? (英语) Zbl 1364.68254号

第18届ACM混合系统国际会议论文集:计算与控制,HSCC 2015,美国华盛顿州西雅图,2015年4月14日至16日。纽约州纽约市:计算机协会(ACM)(ISBN 978-1-4503-3433-4)。31-40 (2015).
MSC公司:65年第68季度
PDF格式BibTeX公司 XML格式引用
全文: 内政部

弱奇异混合自动机。 (英语) Zbl 1448.68269号

Legay,Axel(编辑)等人,《定时系统的形式化建模和分析》。第十二届国际会议,FORMATS 2014,意大利佛罗伦萨,2014年9月8-10日。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。8711, 161-175 (2014).
PDF格式BibTeX公司 XML格式引用

筛选结果依据…

出版年份

主字段

软件