×

兹马思-数学第一资源

混合系统可达性分析中避免几何交集运算。(英语) Zbl 1362.93012
第15届ACM混合动力系统国际会议论文集:计算与控制,HSCC 2012,北京,2012年4月17-19日。纽约,纽约:计算机机械协会(ACM)(ISBN 978-1-4503-1220-2)。45-54(2012年)。

理学硕士:
93B03型 可达集,可达性
34A38型 混合常微分方程组
68Q60型 规范和验证(程序逻辑、模型检查等)
PDF格式 BibTeX公司 XML 引用
全文: 内政部 链接