费比安·伊姆勒 一个经过验证的ODE解算器和Lorenz吸引子。 (英语) 兹比尔1448.68460 J.汽车。推理 61,编号1-4,73-111(2018).MSC公司:68伏15 34-04 34A34飞机 37D45号 65G20个 65升05 PDF格式BibTeX公司 XML格式引用 \textit{F.Immler}、J.Autom。推理61,No.1--4,73-111(2018;Zbl 1448.68460) 全文: 内政部
斯特凡诺·席沃;罗姆·兰格拉克 使用UPPAAL对连续动力系统进行离散化。 (英语) Zbl 1498.68142号 Katoen,Joost Pieter(编辑)等人,ModelEd,testEd,trustEd。在埃德·布林克斯马60岁生日之际,为他撰写的论文。查姆:施普林格。莱克特。注释计算。科学。10500, 297-315 (2017).MSC公司:65年第68季度 2015年11月37日 65升05 60年第68季度 92立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{S.Schivo}和\textit{R.Langerak},莱克特。注释计算。科学。10500,297--315(2017;Zbl 1498.68142) 全文: 内政部
维勒·萨洛 拟极小子移位的可判定性和普适性。 (英语) Zbl 1372.68103号 J.计算。系统。科学。 89, 288-314 (2017).MSC公司:2005年第68季度 37B10号机组 37磅50英寸 65年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{V.Salo},J.计算。系统。科学。89、288--314(2017年;Zbl 1372.68103) 全文: 内政部 arXiv公司
杨正峰;黄超;陈欣;林,王;刘志明 一种基于线性规划松弛的混合系统屏障证书生成方法。 (英语) Zbl 1427.68176号 Fitzgerald,John(编辑)等,FM 2016:形式方法。第21届国际研讨会,2016年11月9日至11日,塞浦路斯利马索尔。诉讼程序。查姆:施普林格。莱克特。注释计算。科学。9995, 721-738 (2016).MSC公司:60年第68季度 37B10号机组 90 C90 PDF格式BibTeX公司 XML格式引用 \textit{Z.Yang}等人,Lect。注释计算。科学。9995721--738(2016年;Zbl 1427.68176) 全文: 内政部
奥利维尔·伯内兹;丹尼尔·格拉萨(Daniel S.Graça)。;伊曼纽尔·海因里 扰动动力系统的计算。 (英语) Zbl 1410.68119号 J.计算。系统。科学。 79,第5期,714-724(2013).MSC公司:2005年第68季度 03D78号 37N99型 65年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{O.Bournez}等人,J.Compute。系统。科学。79,第5号,714--724(2013;Zbl 1410.68119) 全文: 内政部
卡特、丽贝卡;伊娃·M·纳瓦罗·洛佩斯。 动态驱动的时间自动机抽象,用于证明连续系统的活性。 (英语) 兹比尔1375.68072 Jurdziñski,Marcin(ed.)等人,时间系统的形式化建模和分析。2012年9月18日至20日,第十届国际会议,FORMATS 2012,英国伦敦。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-33364-4/pbk)。计算机科学课堂讲稿7595,59-74(2012)。MSC公司:65年第68季度 37B10号机组 PDF格式BibTeX公司 XML格式引用 \textit{R.Carter}和\textit{E.M.Navarro-López},莱克特。注释计算。科学。7595,59-74(2012;Zbl 1375.68072) 全文: 内政部
懒惰,克里斯托弗;拉斐尔·维斯涅夫斯基 用时间自动机验证连续动力系统。 (英语) Zbl 1233.68158号 形式方法系统。设计。 39,第1期,47-82(2011).MSC公司:60年第68季度 37立方厘米 65年第68季度 37B25型 PDF格式BibTeX公司 XML格式引用 \textit{C.Sloth}和\textit{R.Wisniewski},《形式方法系统》。设计。39,第1号,47--82(2011;Zbl 1233.68158) 全文: 内政部 链接
福里·希·威特;彼得·奥普洛查;斯拉沃米尔·巴卡拉斯基 符号动力学、花自动机和无限轨迹。 (英语) Zbl 1226.68053号 Domaratzki,Michael(编辑)等人,《自动机的实现和应用》。2010年8月12日至15日,加拿大温尼伯CIAA 2010第15届国际会议。修订了选定的论文。柏林:施普林格出版社(ISBN 978-3-642-18097-2/pbk)。计算机科学课堂讲稿6482135-142(2011)。MSC公司:68问题85 37B10号机组 68号30 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{W.Fory sei}等人,莱克特。注释计算。科学。6482、135——142(2011年;Zbl 1226.68053) 全文: 内政部
维斯瓦纳特,K。 用动力系统计算。 (英语) Zbl 1128.68119号 不同。等于。戴恩。系统。 14、第1-2、1-25号(2006). 审核人:沃纳·M·塞勒(卡塞尔) MSC公司:68瓦40 37N99型 2005年第68季度 37M99型 37B99型 37号30 39B12号机组 PDF格式BibTeX公司 XML格式引用 \textit{K.Viswanath},不同。等于。戴恩。系统。14,编号1--2,1--25(2006;Zbl 1128.68119)