×

找到4个文档(结果1-4)

多边形混杂系统状态空间约简的静态分析。 (英语) Zbl 1141.68438号

Asarin,Eugene(编辑)等人,《时间系统的形式化建模和分析》。第四届国际会议,FORMATS 2006,巴黎,法国,2006年9月25-27日。诉讼程序。柏林:施普林格出版社(ISBN 978-3-540-45026-9/pbk)。计算机科学课堂讲稿4202306-321(2006)。
PDF格式BibTeX公司 XML格式引用
全文: DOI程序 链接

计算多边形微分包裹体的相图。 (英语) Zbl 1054.93030号

Tomlin,Claire J.(编辑)等人,《混合系统:计算和控制》。2002年3月25日至27日在美国加利福尼亚州斯坦福举行的2002年HSCC第五届国际研讨会。诉讼程序。柏林:施普林格出版社(ISBN 3-540-43321-X)。莱克特。注释计算。科学。2289, 49-61 (2002).
PDF格式BibTeX公司 XML格式引用
全文: 链接

筛选结果依据…

文档类型

出版年份

全部的 前3名

主字段