德文德拉·巴韦;贾·萨加尔;桑卡拉·纳拉亚南·克里希纳;斯文·舍韦;阿舒托什·特里维迪 基于有界速率多模式系统的运动规划。 (英语) Zbl 1364.68246号 第18届ACM混合系统国际会议论文集:计算与控制,HSCC 2015,西雅图,华盛顿州,美国,2015年4月14-16日。纽约州纽约市:计算机协会(ACM)(ISBN 978-1-4503-3433-4)。41-50 (2015).MSC公司:65年第68季度 2017年第68季度 65年第68季度 93立方 PDF格式BibTeX公司 XML格式引用 \textit{D.Bhave}等人,in:第18届ACM混合系统国际会议论文集:计算与控制,HSCC 2015,西雅图,华盛顿州,美国,2015年4月14-16日。纽约州纽约市:计算机协会(ACM)。41-50(2015年;Zbl 1364.68246) 全文: 内政部 arXiv公司
桑卡拉·纳拉亚南·克里希纳;拉克希米·马纳萨;阿舒托什·特里维迪 递归混合自动机的决定因素是什么? (英语) 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格式引用 \textit{S.N.Krishna}等人,in:第18届ACM混合系统国际会议论文集:计算与控制,HSCC 2015,西雅图,华盛顿州,美国,2015年4月14-16日。纽约州纽约市:计算机协会(ACM)。31-40(2015年;Zbl 1364.68254) 全文: 内政部
桑卡拉·纳拉亚南·克里希纳;乌芒·马图尔;阿舒托什·特里维迪 弱奇异混合自动机。 (英语) Zbl 1448.68269号 Legay,Axel(编辑)等人,《定时系统的形式化建模和分析》。第十二届国际会议,FORMATS 2014,意大利佛罗伦萨,2014年9月8-10日。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。8711, 161-175 (2014).MSC公司:65年第68季度 第68季度第60季度 93立方 PDF格式BibTeX公司 XML格式引用 \textit{S.N.Krishna}等人,Lect。注释计算。科学。8711,161--175(2014;Zbl 1448.68269) 全文: 内政部 arXiv公司