摘要
马蒂亚斯·阿尔霍夫。 2013.使用保守多项式和非凸集的非线性系统可达性分析。 在 2006年HSCC。 美国医学会,173-182。 谷歌学者 数字图书馆 M.Althoff和J.M.Dolan。 2014.使用可达性分析对自动道路车辆进行在线验证。 IEEE机器人汇刊 30, 4 (2014), 903--918. 谷歌学者 交叉引用 R.Alur、T.A.Henzinger、G.Lafferiere和G.J.Pappas。 2000.混合系统的离散抽象。 程序。 电气与电子工程师协会 88, 7 (2000), 971--984. 谷歌学者 交叉引用 E.Asarin、T.Dang和A.Girard。 2007.非线性系统分析的混合方法。 信息学报 43 (2007), 451--476. 第7版。 谷歌学者 数字图书馆 R.J.Bagley和Leon Glass。 1996.高维动力系统中吸引子的计数和分类。 理论生物学杂志 183, 3 (1996), 269 -- 284. 谷歌学者 交叉引用 斯坦利·贝克和马可·卡卡莫尔。 2013年,使用HyCreate计算非线性系统的可达性。 HSCC 2013海报演示。 谷歌学者 吉奥拉·巴纳特、尼古拉·贝内什、卢博什·布里姆、马丁·德姆科、马特杰·哈伊纳尔、塞缪尔·帕斯特瓦和大卫·萨夫兰内克。 2017年,在参数不确定的生物模型中检测吸引子。 在 CMSB 2017(LNBI), Jéróme Feret和Heinz Koeppl(编辑),第10545卷。 斯普林格。 谷歌学者 G.Batt、C.Belta和R.Weiss。 2007.基因调控网络活性特性的模型检查。 在 TACAS 2007(LNCS), Orna Grumberg和Michael Huth(编辑),第4424卷。 施普林格,323-338。 谷歌学者 数字图书馆 格雷戈里·巴特(Gregory Batt)、希德·德容(Hidde de Jong)、米歇尔·佩奇(Michel Page)和约翰内斯·盖瑟曼(Johannes Geiselmann)。 2008年。使用离散抽象对基因调控网络进行符号可达性分析。 Automatica公司 44 (2008), 982--989. 第4版。 谷歌学者 数字图书馆 Calin Belta和Luc C.G.J.M.Habets。 2006.控制矩形上的一类非线性系统。 IEEE传输。 自动化。 控制 51, 11 (2006), 1749--1759. 谷歌学者 交叉引用 S.Berman,安大略省。 Halász和V.Kumar。 2007年,MARCO:多仿射系统的可达性算法,应用于生物系统。 在 HSCC 2007(LNCS), 阿尔贝托·本普拉德(Alberto Bempoad)、乔治·布塔佐(Giorgio Buttazzo)和安东尼奥·比奇(Antonio Bicchi)(编辑)。 施普林格,76-89。 谷歌学者 数字图书馆 Sergiy Bogomolov、Mirco Giacobe、Thomas A.Henzinger和Hui Kong。 2017年,混合系统的圆锥抽象。 在 2017年格式, Alessandro Abate和Gilles Geerraerts(编辑)。 施普林格,116-132。 谷歌学者 交叉引用 丽贝卡·卡特和伊娃·M·纳瓦罗-洛佩兹。 2012.用于证明连续系统活力的动态驱动时间自动机抽象。 在 格式2012(LNCS), Marcin Jurdziński和Dejan Ničković(编辑),第7595卷。 施普林格,59-74。 谷歌学者 数字图书馆 Xin Chen、Erika Al brahám和Sriram Sankaranarayanan。 2013.Flow*:非线性混合系统分析仪。 在 CAV 2013(LNCS), Natasha Sharygina和Helmut Veith(编辑),第8044卷。 施普林格,258-263。 谷歌学者 交叉引用 A.Chutinan和B.H.Krogh。 2003.混合系统验证的计算技术。 IEEE传输。 自动化。 控制 48, 1 (2003), 64--75. 谷歌学者 交叉引用 亚历山德罗·西马蒂(Alessandro Cimatti)、阿尔贝托·格里乔(Alberto Griggio)、塞尔吉奥·莫弗(Sergio Mover)和斯特凡诺·托内塔(Stefano Tonetta)。 2014.使用K-Liveness验证混合系统的LTL属性。 在 计算机辅助验证(LNCS), Armin Biere和Roderick Bloem(编辑),第8559卷。 施普林格,424-440。 谷歌学者 数字图书馆 彼得·柯林斯(Pieter Collins)和亚历山大·戈德斯坦(Alexandre Goldsztejn)。 2008年。非线性动力系统可达性分析的可达性与进化算法。 理论计算机科学电子笔记 223 (2008), 87 -- 102. 谷歌学者 数字图书馆 Pieter J.Collins、Luc C.G.J.M.Habets、Jan H.van Schuppen、Ivana Courna、Jana Fabriková和DavidŠafránek。 2011年,《多基因生化反应系统的抽象》。 IFAC会议记录卷 44, 1 (2011), 14869--14875. 谷歌学者 Thao Dang、Colas Le Guernic和Oded Maler。 2009年,计算非线性生物模型的可达状态。 在 CMSB 2009, Pierpaolo Degano和Roberto Gorrieri(编辑)。 施普林格,126--141。 谷歌学者 数字图书馆 安德烈亚斯·艾格斯(Andreas Eggers)、马丁·弗伦泽(Martin Fränzle)和克里斯蒂安·赫德(Christian Herde)。 2008.SAT模ODE:混合系统的直接SAT方法。 在 ATVA 2008, Sungdeok(Steve)Cha、Jin-Young Choi、Moonzoo Kim、Insup Lee和Mahesh Viswanathan(编辑)。 施普林格,171-185。 谷歌学者 数字图书馆 A.El-Guindy、D.Han和M.Althoff。 2017年。通过前向可达集估计吸引力区域。 在 2017年ACC。 IEEE,1263-1270。 谷歌学者 戈兰·弗雷泽(Goran Frehse)、科拉斯·勒格尼奇(Colas Le Guernic)、亚历山大·唐泽(Alexandre Donzé)、斯科特·科顿(Scott Cotton)、拉贾西·雷(Rajarshi Ray)、奥利维尔·勒贝泰尔(Olivier Lebeltel)、鲁道夫·里帕多(Rodolfo Ri。 2011年,SpaceEx:混合系统的可扩展验证。 在 CAV 2011, Ganesh Gopalakrishnan和Shaz Qadeer(编辑)。 施普林格,379-395。 谷歌学者 数字图书馆 Sicun Gao、Jeremy Avigad和Edmund M Clarke,2012年。 实域上的Delta可判定性。 在 LICS 2012。 IEEE,305-314。 谷歌学者 数字图书馆 高思春、孔顺浩和埃德蒙·克拉克,2013年。 dReal:实数上非线性理论的SMT解算器。 在 CADE 2013(LNCS), 玛丽亚·保拉·博纳西纳(编辑),第7898卷。 施普林格,208-214。 谷歌学者 数字图书馆 R.Ghosh和C.Tomlin。 2004.分段仿射混合自动机的符号可达集计算及其在生物建模中的应用:Delta-notch蛋白质信号传递。 IEE会议录-系统生物学 1,1(2004),170-183。 谷歌学者 交叉引用 安托万·吉拉德(Antoine Girard)、科尔斯·勒格尼奇(Colas Le Guernic)和奥德·马勒(Oded Maler)。 2006.具有输入的线性时变系统可达集的高效计算。 在 HSCC 2006(LNCS), Joáo P.Hespanha和Ashish Tiwari(编辑),第3927卷。 施普林格,257--271。 谷歌学者 数字图书馆 拉杜·格罗苏(Radu Grosu)、格雷戈里·巴特(Grégory Batt)、弗拉维奥·芬顿(Flavio H.Fenton)、詹姆斯·格利姆(James Glimm)、科拉斯·勒格尔尼奇(Colas Le Guernic)、斯科特·斯莫尔卡(Scott A.Smolka)和。 2011年,从心脏细胞到遗传调控网络。 在 CAV 2011(LNCS), Ganesh Gopalakrishnan和Shaz Qadeer(编辑),第6806卷。 396--411. 谷歌学者 数字图书馆 L.C.Habets和J.H.van Schuppen。 全维多面体上仿射动力系统的控制问题。 Automatica公司 40, 1 (2004), 21 -- 35. 谷歌学者 数字图书馆 M.Kloetzer和C.Belta。 2010年。多仿射系统的可达性分析。 计量控制研究所学报 32 (2010), 445--467. 谷歌学者 交叉引用 Ker-I Ko.公司。 1983.关于常微分方程的计算复杂性。 信息和控制 58, 1--3 (1983), 157--194. 谷歌学者 数字图书馆 慧光、艾齐奥·巴托西、塞尔吉·博戈莫洛夫、拉杜·格罗苏、托马斯·汉津格、于江和克里斯蒂安·席林。 2016.多仿射系统的离散抽象。 在 HSB 2016(LNCS), Eugenio Cinquemani和Alexandre Donzé(编辑)。 施普林格,128--144。 谷歌学者 孔顺浩(Soonho Kong)、高思春(Sicun Gao)、陈伟(Wei Chen)和埃德蒙·克拉克(Edmund Clarke),2015年。 dReach:Δ-混合系统的可达性分析。 在 TACAS 2015(LNCS), Christel Baier和Cesare Tinelli(编辑),第9035卷。 施普林格,200-205。 谷歌学者 数字图书馆 Soonho Kong、Armando Solar-Lezama和Sicun Gao。 2018年,三角洲-存在的决策程序-雷亚尔的所有问题。 在 2018年CAV,2018年FloC的一部分,英国牛津,2018年7月14-17日,会议记录,第二部分。 219--235. 谷歌学者 交叉引用 Jun Liu和Necmiye Ozay。 2014.动态系统时序逻辑控制中的抽象、离散和鲁棒性。 在 HSCC 14,德国柏林,2014年4月15日至17日。 293--302. 谷歌学者 数字图书馆 刘军(Jun Liu)、欧扎伊(Necmiye Ozay)、乌夫克·托普(Ufuk Topcu)和理查德·默里(Richard M.Murray)。 2013.根据时序逻辑规范合成反应式交换协议。 IEEE传输。 自动化。 合同。 58, 7 (2013), 1771--1785. 谷歌学者 交叉引用 O.Maler和G.Batt。 2008.时间自动机近似连续系统。 在 FMSB 2008(LNCS), 第5054卷。 施普林格,77-89。 谷歌学者 数字图书馆 Petter Nilsson、Necmiye Ozay和Jun Liu。 2017.作为控制合成抽象的增强有限转换系统。 离散事件动态系统 27, 2 (2017), 301--340. 谷歌学者 数字图书馆 Necmiye Ozay、Jun Liu、Pavithra Prabhakar和Richard M.Murray。 2013.计算增强有限转换系统以合成多项式交换系统的交换协议。 在 ACC 2013,美国华盛顿特区,2013年6月17日至19日。 6237--6244. 谷歌学者 安德烈·普拉泽(AndréPlatzer)和詹·德维德·奎塞尔(Jan-David Quesel)。 KeYmaera:混合系统的混合定理证明器(系统描述)。 在 自动推理(LNCS), Alessandro Armando、Peter Baumgartner和Gilles Dowek(编辑),第5195卷。 施普林格,171--178。 谷歌学者 数字图书馆 帕维思拉·普拉巴卡和米丽亚姆·加西亚·索托。 2015。混合系统稳定性分析的定量谓词抽象基础。 在 VMCAI 2015,印度孟买,2015年1月12-14日。 诉讼程序。 318--335. 谷歌学者 数字图书馆 斯蒂芬·普拉纳(Stephen Prajna)。 2006.非线性模型验证屏障证书。 Automatica公司 42, 1 (2006), 117 -- 126. 谷歌学者 数字图书馆 斯特凡·拉思坎(Stefan Ratschan)和谢志坤(Zhikun She)。 2007年,通过基于约束传播的抽象精化对混合系统进行安全验证。 嵌入式计算系统ACM事务 第6、1条,第8条(2007年)。 谷歌学者 数字图书馆 冈特·雷西格(Gunther Reissig)。 2011.非线性系统的计算抽象。 IEEE传输。 自动化。 合同。 56, 11 (2011), 2583--2598. 谷歌学者 交叉引用 尼玛·鲁希(Nima Roohi)、帕维思拉·普拉巴卡(Pavithra Prabhakar)和马赫什·维斯瓦纳坦(Mahesh Viswanathan)。 2017.HARE:用于验证非线性混合自动机的混合抽象精化引擎。 在 2017年TACAS,作为2017年ETAPS的一部分举行,2017年4月22日至29日,瑞典乌普萨拉,会议记录,第一部分(LNCS), Axel Legay和Tiziana Margaria(编辑),第10205卷。 573--588. 谷歌学者 数字图书馆 马蒂亚斯·伦格和马吉德·扎马尼。 2016年,SCOTS:符号控制器合成工具。 在 2016年HSCC,奥地利维也纳,2016年4月12-14日。 99--104. 谷歌学者 数字图书馆 Sriram Sankaranarayanan和Ashish Tiwari,2011年。 连续和混合系统的关系抽象。 在CAV 2011(LNCS)中, Ganesh Gopalakrishnan和Shaz Qadeer(编辑),第6806卷。 施普林格,686--702。 谷歌学者 数字图书馆 梅西耶·斯瓦特(Maciej Swat)、亚历山大·凯尔(Alexander Kel)和汉斯彼得·赫泽尔(Hanspeter Herzel)。 2004.哺乳动物G1/S转变调控模块的分叉分析。 生物信息学 20, 10 (2004), 1506--1511. 谷歌学者 数字图书馆 阿什什·蒂瓦里(Ashish Tiwari),2008年。 混合系统的抽象。 系统设计中的形式化方法 32, 1 (2008), 57--83. 谷歌学者 数字图书馆 马特杰·特罗亚克(Matej Troják)、大卫·萨夫兰内克(DavidŠafránek)、雅库布·拉贝克(Jakub Hrabec)、雅库布·萨拉戈维奇(Jakub-Šalagović)、弗朗蒂什卡·罗曼诺夫斯克(Franti ska Romanovska)和。 2016.E-蓝细菌网:基于网络的蓝藻系统生物学平台 CMSB 2016(LNBI), 第9859卷。 施普林格,316-322。 谷歌学者 交叉引用 拉斐尔·维斯涅夫斯基和克里斯托弗·斯洛。 2011.时间自动机对动力系统的抽象。 建模、识别和控制 32, 2 (2011), 79--90. 谷歌学者 交叉引用 马吉德·扎马尼(Majid Zamani)、佐丹诺·波拉(Giordano Pola)、小曼纽尔·马佐(Manuel Mazo Jr.)和保罗·塔布阿达(Paulo Tabuada)。 2012.无稳定性假设的非线性控制系统符号模型。 IEEE传输。 自动化。 合同。 57, 7 (2012), 1804--1809. 谷歌学者 交叉引用