摘要
2017年，Expokit。 https://github.com/acry/Expokit.jl。 (2017). 谷歌学者 
2017年，JuliaReach。 https://github.com/JuliaReach。 (2017). 谷歌学者 Matthias Althoff和Goran Frehse。 2016年，将分区图和支持功能结合起来，对线性系统进行有效可达性分析。 在CDC。 IEEE标准，7439-7446。 谷歌学者 马蒂亚斯·阿尔霍夫和布鲁斯·科洛夫。 2014.非线性微分代数系统的可达性分析。 IEEE传输。 自动化。 合同。 59, 2 (2014), 371--383. 谷歌学者 交叉引用 
爱德华·安德森（Edward Anderson）、白昭君（Zhaojun Bai）、杰克·多纳拉（Jack J.Dongarra）、安妮·格林鲍姆（Anne Greenbaum）、阿兰姆克肯尼（AlanMcKenney）、杰里米·杜克罗兹（Jeremy Du Croz）、斯文·哈马林（Sven Hammarl。 1990年LAPACK：用于高性能计算机的便携式线性代数库。 在超级计算中。 IEEE计算机学会，2-11。 谷歌学者 数字图书馆 
Athanasios C Antoulas、Danny C Sorensen和Serkan Gugercin。 2001年，大型系统模型简化方法调查。 当代数学280（2001），193-220。 谷歌学者 尤金·阿萨林（Eugene Asarin）和陶当（Thao Dang）。 2004年，投影抽象与多仿射系统应用。 在HSCC中。 施普林格，32-47岁。 谷歌学者 尤金·阿萨林（Eugene Asarin）、陶当（Thao Dang）、奥德·马勒（Oded Maler）和奥利维尔·伯内斯（Olivier Bournez）。 2000.分段线性动力系统的近似可达性分析。 在HSCC中。 施普林格，20-31岁。 谷歌学者 数字图书馆 斯坦利·贝克（Stanley Bak）和帕拉萨拉·斯里达尔·达吉拉拉（Parasara Sridhar Duggirala）。 2017.具有输入的大型线性系统的模拟等效可达性。 在CAV中。 斯普林格，401-420。 谷歌学者 彼得·本纳（Peter Benner）、沃尔克·梅尔曼（Volker Mehrmann）、瓦西尔·西蒙（Vasile Sima）、萨宾·范·赫菲尔（Sabine Van Huffel）和安德拉斯·瓦尔加（Andras Varga），1999年。 SLICOT-系统和控制理论中的子程序库。 在应用和计算控制、信号和电路中。 施普林格，499-539。 谷歌学者 Jeff Bezanson、Alan Edelman、Stefan Karpinski和Viral B.Shah。 2017年，朱莉娅：数值计算的新方法。 SIAM第59版，第1版（2017年），65-98。 谷歌学者 数字图书馆 Sergiy Bogomolov、Marcelo Forets、Goran Frehse、Andreas Podelski、Christian Schilling和Frédéric Viry。 2018.通过低维集和高维矩阵分解实现到达集近似。 CoRR abs/1801.09526（2018年）。 谷歌学者 Sergiy Bogomolov、Goran Frehse、Mirco Giacobbe和Thomas A.Henzinger。 2017.模板多面体的反例引导细化。 在TACAS中。 施普林格，589-606。 谷歌学者 Sergiy Bogomolov、Christian Herrera、Marco Muñiz、Bernd Westphal和Andreas Podelski。 2014.混合自动机中的拟因变量。 在HSCC中。 美国医学会，93--102。 谷歌学者 数字图书馆 Sergiy Bogomolov、Corina Mitrohin和Andreas Podelski。 2010年，混合系统安全性和稳定性可达性分析。 在ATVA。 施普林格，67-81。 谷歌学者 数字图书馆 Younes Chahlaoui和Paul Van Dooren。 2005.线性时不变动力系统模型简化的基准示例。 在大尺度系统的降维中。 施普林格，379-392。 谷歌学者 Mo Chen、Sylvia L.Herbert和Claire J.Tomlin。 2017年。通过系统分解，准确高效的Hamilton-Jacobi保证安全分析。 在ICRA中。 IEEE，87-92。 谷歌学者 Xin Chen和Sriram Sankaranarayanan。 2016.非线性系统分解可达性分析。 在RTSS中。 IEEE，13--24。 谷歌学者 阿森·多奇夫（Asen L.Dontchev）。 约束线性系统可达集的时间尺度分解。 MCSS 5，3（1992），327--340。 谷歌学者 戈兰·弗雷泽（Goran Frehse）、塞尔吉·博戈莫洛夫（Sergiy Bogomolov）、马吕斯·格雷楚斯（Marius Greitschus）、托马斯·斯特伦普（Thomas Strump）和安德烈亚斯·波德尔斯基（Andreas Podelski）。 2015年，通过支持功能消除可达性中的虚假过渡。 在HSCC中。 美国医学会，149-158。 谷歌学者 数字图书馆 戈兰·弗雷泽（Goran Frehse）、科拉斯·勒格尼奇（Colas Le Guernic）、亚历山大·唐泽（Alexandre Donzé）、斯科特·科顿（Scott Cotton）、拉贾西·雷（Rajarshi Ray）、奥利维尔·勒贝泰尔（Olivier Lebeltel）、鲁道夫·里帕多（Rodolfo Ri。 2011年，SpaceEx：混合系统的可扩展验证。 在CAV中。 施普林格，379-395。 谷歌学者 数字图书馆 Goran Frehse、Rajat Kateja和Colas Le Guernic。 2013年，流管近似和时空聚类。 在HSCC中。 美国医学会，203--212。 谷歌学者 数字图书馆 福田康美。 2004.从zonotope构造到凸多面体的Minkowski加法。 J.塞姆。 计算。 38, 4 (2004), 1261--1272. 谷歌学者 交叉引用 安托万·吉拉德。 2005年，不确定线性系统使用Zonotopes的可达性。 在HSCC中。 施普林格，291--305。 谷歌学者 数字图书馆 安托万·吉拉德（Antoine Girard）和科拉斯·勒·格尔尼奇（Colas Le Guernic）。 2008.使用支持函数对线性系统进行有效可达性分析。 IFAC会议记录第41、2、8966-8971卷。 谷歌学者 交叉引用 安托万·吉拉德（Antoine Girard）、科尔斯·勒格尼奇（Colas Le Guernic）和奥德·马勒（Oded Maler）。 2006.具有输入的线性时变系统可达集的高效计算。 在HSCC中。 施普林格，257--271。 谷歌学者 数字图书馆 Elena V.Goncharova和Alexander I.Ovseevich。 2009.奇摄动可达集的渐近性。 在LSSC中。 施普林格，280-285。 谷歌学者 数字图书馆 Mark R.Greenstreet和Ian Mitchell。 1999.使用多边形投影的可达性分析。 在HSCC中。 施普林格，103-116。 谷歌学者 数字图书馆 Colas Le Guernic和Antoine Girard。 2009.使用支持功能的混合系统可达性分析。 在CAV中。 施普林格，540-554。 谷歌学者 数字图书馆 弗雷德·古斯塔夫森。 1978.稀疏矩阵的两种快速算法：乘法和置换。 ACM事务处理。 数学。 柔和。 4, 3 (1978), 250--269. 谷歌学者 数字图书馆 知汉和布鲁斯·克罗格。 2006.使用低维多面体的大规模仿射系统的可达性分析。 在HSCC中。 施普林格，287--301。 谷歌学者 数字图书馆 Jochen Hoenicke、Rupak Majumdar和Andreas Podelski。 2017年，多层次线程模块化：组成验证中的一颗明珠。 在POPL中。 顶点，473-485。 谷歌学者 数字图书馆 Shahab Kaynama和Meeko Oishi。 2010年。通过相似性转换过度逼近LTI系统的可达集。 在ACC.1874-1879中。 谷歌学者 Shahab Kaynama和Meeko Oishi。 2011.通过基于Schur的分解降低线性时不变系统可达性分析的复杂性。 《国际期刊控制》84，1（2011），165-179。 谷歌学者 交叉引用 Alexander B.Kurzhanski和Pravin Varaiya。 2000.可达性分析的椭球技术。 在HSCC中。 施普林格，202-214。 谷歌学者 数字图书馆 亚历山大·库赞斯基（Alexander A.Kurzhanskiy）和普拉文·瓦莱亚（Pravin Varaiya）。 2006.椭球工具箱（ET）。 在CDC。 1498--1503. 谷歌学者 科尔斯·勒格尔尼奇（Colas Le Guernic）。 2009.线性连续动力学混合系统的可达性分析。 博士论文。 格勒诺布尔大学1-约瑟夫·傅里叶。 谷歌学者 Colas Le Guernic和Antoine Girard。 2010年。使用支持函数对线性系统进行可达性分析。 非线性分析：混合系统4，2（2010），250-262。 2008年国际会计师联合会世界大会。 谷歌学者 交叉引用 亚历山大·弗拉基米罗维奇·洛托夫和亚历克西斯一世·波斯佩洛夫。 2008.凸多面体的多面体近似的改进边界方法。 计算数学和数学物理48，6（2008），933--941。 谷歌学者 交叉引用 伊恩·米切尔和克莱尔·汤姆林。 2003.用Hamilton-Jacobi投影超逼近可达集。 科学杂志。 计算。 19, 1-3 (2003), 323--346. 谷歌学者 数字图书馆 大卫·莫尼奥（David Monniaux）。 2010.通过惰性模型枚举消除量词。 在CAV中。 施普林格，585-599。 谷歌学者 数字图书馆 Rajarshi Ray、Amit Gurung、Binayak Das、Ezio Bartocci、Sergiy Bogomolov和Radu Grosu。 2015.XSpeed：加速多核处理器上的可达性分析。 在海法核查会议上。 施普林格，3-18岁。 谷歌学者 交叉引用 斯特凡·舒普、约翰娜·内伦和埃里卡·阿布拉姆。 2017.分而治之：混合系统可达性分析中的变量集分离。 在 QAPL@ETAPS（预计到达时间）。 1--14. 谷歌学者 Yassamine Seladji和Olivier Bouissou。 2013.使用支持函数的数值抽象域。 在NASA正式方法中。 施普林格，155-169。 谷歌学者 罗杰·西德（Roger B.Sidje）。 Expokit:计算矩阵指数的软件包。 ACM事务处理。 数学。 柔和。 24, 1 (1998), 130--156. 谷歌学者 数字图书馆 Hoang-Dung Tran、Luan Viet Nguyen和Taylor T.Johnson。 2016.订单减少的大型线性系统。 《建筑》第43卷。 EasyChair，60-67岁。 谷歌学者 Hoang-Dung Tran、Luan Viet Nguyen、Weiming Xiang和Taylor T.Johnson。 2017.高维线性系统安全验证的订单还原抽象。 离散事件动态系统27，2（2017），443--461。 谷歌学者 数字图书馆 赵燕和马克·格林斯特雷特。 2008.基于投影的快速电路级验证方法。 在ASP-DAC中。 IEEE，410-415。 谷歌学者 数字图书馆
建议
粗糙近似空间中vague集的近似集 模糊集是模糊集的进一步推广。 在粗糙集理论中，目标概念可以是定义集、模糊集或模糊集。 我们在其他论文中分别详细分析了目标概念是一个定义集或模糊集。 在…中。。。
