帕维特拉·普拉巴卡;弗拉基米罗;马赫什·维斯瓦纳坦;盖尔·杜勒鲁 一类可判定的平面线性混合系统。 (英语) Zbl 1318.68112号 西奥。计算。科学。 574, 1-17 (2015).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{P.Prabhakar}等人,Theor。计算。科学。574,1-17(2015;Zbl 1318.68112) 全文: 内政部
弗拉基米罗;帕维特拉·普拉巴卡;马赫什·维斯瓦纳坦;盖尔·杜勒鲁 可判定混合游戏规范。 (英语) Zbl 1229.93104号 西奥。计算。科学。 412,第48号,6770-6785(2011).MSC公司:93立方 91A80型 65年第68季度 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公司:65年第68季度 93个B03 93立方 PDF格式BibTeX公司 XML格式引用 \textit{P.Prabhakar}等人,Lect。注释计算。科学。4981、401-414(2008年;Zbl 1143.68442) 全文: 内政部 链接