尤金·亚萨林;迈索尔(Mysore)、文卡特斯(Venkatesh P.)。;阿米尔·普努利;杰拉尔多·施奈德 低维混合系统——可判定、不可判定、未知。 (英语) Zbl 1279.68127号 Inf.计算。 211, 138-159 (2012).MSC公司:65年第68季度 2005年第68季度 37B99型 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{E.Asarin}等人,《信息计算》。211、138--159(2012;Zbl 1279.68127) 全文: DOI程序
尤金·阿萨林;佩斯,戈登;杰拉尔多·施奈德;塞尔吉奥·尤文 多边形混合系统的算法分析。二: 相位图和工具。 (英语) Zbl 1134.68026号 西奥。计算。科学。 390,编号1,1-26(2008).MSC公司:65年第68季度 34A60型 60年第68季度 93个B05 93立方 PDF格式BibTeX公司 XML格式引用 \textit{E.Asarin}等人,Theor。计算。科学。390,编号1,1--26(2008;Zbl 1134.68026) 全文: DOI程序
佩斯,戈登;杰拉尔多·施奈德 多边形混杂系统状态空间约简的静态分析。 (英语) Zbl 1141.68438号 Asarin,Eugene(编辑)等人,《时间系统的形式化建模和分析》。第四届国际会议,FORMATS 2006,巴黎,法国,2006年9月25-27日。诉讼程序。柏林:施普林格出版社(ISBN 978-3-540-45026-9/pbk)。计算机科学课堂讲稿4202306-321(2006)。MSC公司:65年第68季度 93立方 PDF格式BibTeX公司 XML格式引用 \textit{G.Pace}和\textit{G.Schneider},Lect。注释计算。科学。4202306--321(2006;Zbl 1141.68438) 全文: DOI程序 链接
尤金·亚萨林;杰拉尔多·施奈德;塞尔吉奥·尤文 计算多边形微分包裹体的相图。 (英语) Zbl 1054.93030号 Tomlin,Claire J.(编辑)等人,《混合系统:计算和控制》。2002年3月25日至27日在美国加利福尼亚州斯坦福举行的2002年HSCC第五届国际研讨会。诉讼程序。柏林:施普林格出版社(ISBN 3-540-43321-X)。莱克特。注释计算。科学。2289, 49-61 (2002). 审核人:Do Van Luu(河内) MSC公司:93立方 93个B05 65年第68季度 34C07(二氧化碳) 34A60型 PDF格式BibTeX公司 XML格式引用 \textit{E.Asarin}等人,Lect。注释计算。科学。2289、49-61(2002年;Zbl 1054.93030) 全文: 链接