达斯,斯潘丹;帕维特拉·普拉巴卡 海报摘要:平面概率分段常微分系统的稳定性分析。 (英语) Zbl 07807962号 第26届ACM混合系统国际会议论文集:计算与控制,HSCC 2023,第16届CPS-IoT周,美国德克萨斯州圣安东尼奥,2023年5月9日至12日。纽约州纽约市:计算机协会(ACM)。第21号论文,第2页(2023年)。MSC公司:第68季度第45季度 60年第68季度 93立方 PDF格式BibTeX公司 XML格式引用 \textit{S.Das}和\textit{P.Prabhakar},in:第26届ACM混合系统国际会议论文集:计算和控制,HSCC 2023,第16届CPS-IoT周的一部分,美国德克萨斯州圣安东尼奥,2023年5月9日至12日。纽约州纽约市:计算机协会(ACM)。第21号论文,第2页(2023;Zbl 07807962) 全文: 内政部
尼玛·鲁希;帕维特拉·普拉巴卡;马赫什·维斯瓦纳坦 混合自动机的相关句法和语义扰动。 (英语) Zbl 1520.68066号 Schewe,Sven(编辑)等人,第29届并发理论国际会议。CONCUR 2018,中国北京,2018年9月4-7日。诉讼程序。Wadern:达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。118,第26条,第16页(2018年)。MSC公司:第68季度第45季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{N.Roohi}等人,LIPIcs——莱布尼茨国际程序。通知。118,第26条,第16页(2018;Zbl 1520.68066) 全文: 内政部
帕维特拉·普拉巴卡;帕拉萨拉·斯里达尔·达吉拉拉;萨扬·密特拉;马赫什·维斯瓦纳坦 矩形混合系统的基于混合自动机的CEGAR。 (英语) Zbl 1341.68109号 形式方法系统。设计。 46,第2期,105-134(2015).MSC公司:第68季度第45季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{P.Prabhakar}等人,《表格方法系统》。设计。46,No.2,105--134(2015;Zbl 1341.68109) 全文: 内政部
帕维特拉·普拉巴卡;尼玛·鲁希;马赫什·维斯瓦纳坦 判定并发平面单调线性混合系统。 (英语) 兹比尔1465.68198 Sankaranarayanan,Sriram(编辑)等人,时间系统的形式化建模和分析。第13届国际会议,FORMATS 2015,西班牙马德里,2015年9月2-4日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。9268, 256-269 (2015).MSC公司:68问题85 第68季度第45季度 93立方 PDF格式BibTeX公司 XML格式引用 \textit{P.Prabhakar}等人,Lect。注释计算。科学。9268256-269(2015年;Zbl 1465.68198) 全文: 内政部
帕维特拉·普拉巴卡;弗拉基米罗;马赫什·维斯瓦纳坦;盖尔·杜勒鲁 一类可判定的平面线性混合系统。 (英语) Zbl 1318.68112号 西奥。计算。科学。 574, 1-17 (2015).MSC公司:第68季度第45季度 PDF格式BibTeX公司 XML格式引用 \textit{P.Prabhakar}等人,Theor。计算。科学。574,1-17(2015;Zbl 1318.68112) 全文: 内政部
帕维特拉·普拉巴卡;马赫什·维斯瓦纳坦 关于混合系统稳定性的可判定性。 (英语) Zbl 1362.68180号 2013年4月8日至11日,美国宾夕法尼亚州费城,2013年HSCC,第16届ACM混合系统国际会议论文集:计算与控制。纽约州纽约市:计算机协会(ACM)(ISBN 978-1-4503-1567-8)。53-62 (2013).MSC公司:60年第68季度 第68季度第45季度 93立方 93D05型 93D20型 PDF格式BibTeX公司 XML格式引用 \textit{P.Prabhakar}和\textit{M.Viswanathan},in:第16届ACM混合系统国际会议论文集:计算与控制,HSCC 2013,美国宾夕法尼亚州费城,2013年4月8日至11日。纽约州纽约市:计算机协会(ACM)。53-62(2013;Zbl 1362.68180) 全文: 内政部
弗拉基米罗;帕维特拉·普拉巴卡;马赫什·维斯瓦纳坦;盖尔·杜勒鲁 可判定混合游戏规范。 (英语) Zbl 1229.93104号 西奥。计算。科学。 412,第48号,6770-6785(2011).MSC公司:93立方 91A80型 第68季度第45季度 PDF格式BibTeX公司 XML格式引用 \textit{V.Vladimerou}等人,Theor。计算。科学。412,第48号,6770--6785(2011;Zbl 1229.93104) 全文: 内政部
帕维特拉·普拉巴卡;弗拉基米罗;马赫什·维斯瓦纳坦;盖尔·杜勒鲁(Geir E.Dullerud)。 一类可判定的平面线性混合系统。 (英语) Zbl 1143.68442号 Egerstedt,Magnus(编辑)等人,《混合系统:计算和控制》。2008年4月22日至24日在美国密苏里州圣路易斯举行的2008年HSCC第11届国际研讨会。诉讼程序。柏林:施普林格出版社(ISBN 978-3-540-78928-4/pbk)。计算机科学课堂讲稿4981401-414(2008)。MSC公司:第68季度第45季度 93个B03 93立方 PDF格式BibTeX公司 XML格式引用 \textit{P.Prabhakar}等人,Lect。注释计算。科学。4981、401-414(2008年;Zbl 1143.68442) 全文: 内政部