摘要
M.阿尔托夫。 2013.使用保守多项式和非凸集的非线性系统可达性分析。 在 HSCC。 ACM出版社,173-182。 谷歌学者 数字图书馆 J.-P.Aubin,2001年。 微分包含下的生存核和集的捕获域。 SIAM控制与优化杂志 (2001年)。 谷歌学者 数字图书馆 S.Bansal、M.Chen、S.L.Herbert和C.J.Tomlin。 2017年,汉密尔顿-雅各比可达性:简要概述和最新进展。 在 疾病预防控制中心。 谷歌学者 P.Cardaliaguet、M.Quincampoix和P.Saint-Pierre。 1999 最优控制和微分对策的集值数值分析。 Birkhäuser。 谷歌学者 X.Chen、E.ábrahám和S.Sankaranarayanan。 2012.非线性混合系统的泰勒模型流管施工。 在 RTSS。 谷歌学者 数字图书馆 X.Chen、S.Sankaranarayanan和E.Abraham。 2014.非线性连续系统的欠近似流量管。 在 FMCAD。 谷歌学者 数字图书馆 J.Comba和J.Stolfi。 1993年。仿射算法及其在计算机图形学中的应用。 在SIBGRAPI (1993). 谷歌学者 A.E.C.达库尼亚。 2015.基准:四轮姿态控制。 在 14-15拱, 第34卷。 EasyChair,57-72岁。 谷歌学者 T.Dang、O.Maler和R.Testylier。 2010.非线性系统的精确混合。 在 HSCC。 谷歌学者 数字图书馆 I.Filippidis、S.Dathathri、S.C.Livingston、N.Ozay和R.M.Murray。 2016.TuLiP混合系统的控制设计:时间逻辑规划工具箱。 在 CCA公司。 IEEE,1030--1041。 谷歌学者 J.F.Fisac、M.Chen、C.J.Tomlin和S.S.Sastry。 2015年,具有时变动力学、目标和约束的现实问题。 在 HSCC公司。 谷歌学者 数字图书馆 J·Förster。 2015年,Crazyflie 2.0纳米四旋翼机的系统识别。 学士论文。 谷歌学者 A.吉拉德。 2005.使用区域图的不确定线性系统的可达性。 在 2005年HSCC。 斯普林格。 谷歌学者 数字图书馆 A.Girard、C.Le Guernic和O.Maler。 2006.具有输入的线性时变系统可达集的高效计算。 在 HSCC。 谷歌学者 数字图书馆 A.戈德斯坦。 2006.非线性AE解集近似的分支和删减算法。 在 ACM SAC公司。 谷歌学者 数字图书馆 亚历山大·戈德斯坦(Alexandre Goldsztejn)。 2012年,模态区间重温,第1部分:广义区间自然延伸。 可靠的计算 16(2012),130-183。 谷歌学者 亚历山大·戈德斯坦(Alexandre Goldsztejn)。 2012年,模态区间重温,第2部分:广义区间平均值扩展。 可靠的计算 16 (2012), 184--209. 谷歌学者 A.Goldsztejn、D.Daney、M.Rueher和P.Taillibert。 2005.重温模态区间:广义区间的均值扩展。 在 2005年QCP。 谷歌学者 E.古堡和S.普特。 2017.非线性连续系统的远期内在近似可达性。 在 HSCC。 ACM公司。 谷歌学者 数字图书馆 E.Goubault、S.Putt和L.Sahlman。 2018.延迟微分方程的内部和外部近似流管。 在 CAV。 谷歌学者 R.Scitovski J.Cumin,B.Grizelj。 2009.大口径气步枪弹道飞行方程的数值求解。 技术公报 16 (2009). 谷歌学者 E.W.考彻。 1980.扩展区间空间IR中的区间分析。 计算。 (补充)2 (1980). 谷歌学者 S.Kaynama、J.Maidens、M.Oishi、I.M.Mitchell和G.A.Dumont。 2012.使用最大可达集计算生存核。 在 HSCC。 ACM公司。 谷歌学者 数字图书馆 S.Kaynama、M.Oishi、I.M.Mitchell和G.A.Dumont。 2011.连续可达性集合及其使用最大可达性技术的计算。 在 IEEE CDC。 谷歌学者 M.Korda、D.Henrion和C.N.Jones。 2013.多项式动力系统吸引区域的内部近似。 在 NOLCOS公司。 谷歌学者 A.B Kurzhanski和P.Varaiya。 可达性分析的椭球技术:内部近似。 系统和控制信函 (2000年)。 谷歌学者 D.利伯松。 2003 切换系统和控制。 比克豪泽。 谷歌学者 C.Luis和J.Le Ny。 2016年,Nanoquadcopter轨迹跟踪控制器的设计。 https://arxiv.org/abs/1608.05786v1。 谷歌学者 K.Margellos和J.Lygeros。 2011.区域-无效微分对策的哈密尔顿-雅各比公式。 IEEE传输。 自动化。 合同。 56, 8 (2011), 1849--1861. 谷歌学者 交叉引用 T.Le Mézo、L.Jaulin和B.Zerr。 2017.支持具有不确定初始条件的常微分方程的解。 申请。 数学。 计算。 (2017). 谷歌学者 数字图书馆 I.M.Mitchell。 2007年,将前后可达性作为安全分析工具进行比较。 在 HSCC。 谷歌学者 数字图书馆 拉蒙·摩尔。 1966 区间分析。 谷歌学者 N.S.Nedialkov、K.Jackson和G.Corliss。 1999.常微分方程初值问题的验证解决方案。 申请。 数学。 公司。 (1999). 谷歌学者 数字图书馆 M.Amin Ben Sassi、R.Testylier、T.Dang和A.Girard。 2012.使用线性规划松弛的多项式系统可达性分析。 在 阿特瓦。 谷歌学者 C.J.Tomlin、J.Lygeros和S.Shankar Sastry。 2000.混合系统控制器设计的博弈论方法。 程序。 电气与电子工程师协会 88, 7 (2000), 949--970. 谷歌学者 交叉引用 T.Wongpiromsarn、U.Topcu、N.Ozay、H.Xu和R.M.Murray。 2011.TuLiP:用于滚动时域逻辑规划的软件工具箱。。 在 HSCC。 ACM公司。 谷歌学者 数字图书馆 B.Xue、M.Fränzle和N.Zhan。 2018年,多项式连续系统的欠近似到达集。 在 HSCC’18会议记录。 ACM公司。 51--60. 谷歌学者 数字图书馆 B.Xue、P.Nazier Mosaad、M.Fränzle、M.Chen、Y.Li和N.Zhan。 2017.时滞微分方程可达集的安全过逼近和欠逼近。 在 格式(LNCS), 第10419卷。 施普林格,281-299。 谷歌学者 白雪、谢直坤和阿文德·伊斯瓦兰。 2016年,多面体的后向可及集合近似不足。 在 CAV。 谷歌学者 Z.Zhou、J.Ding、H.Huang、R.Takei和C.Tomlin。 2018.可达-无效问题中的高效路径规划算法。 Automatica公司 89 (2018). 谷歌学者
建议
利用符号可达性和轨迹拼接的混合系统伪造 HSCC’19:第22届ACM混合系统国际会议论文集:计算与控制 混合系统的伪造旨在发现违反给定安全特性的轨迹。 这是一个具有挑战性的问题,当前证伪算法的实际适用性仍然受到其高时间复杂性的影响。 在…中。。。 Ivy:通过交互式泛化进行安全验证 PLDI’16:第37届ACM SIGPLAN编程语言设计与实现会议记录 尽管经过几十年的研究,无限状态系统的形式化验证问题仍然阻碍了有效的自动化。 我们描述了一个系统——Ivy——用于交互式验证无限状态系统的安全性。 艾薇的主要原则是。。。