白雪 0001
人员信息
附属： 中国科学院软件研究所，SKLCS，中国北京 隶属关系（2015-2017）： 德国奥尔登堡大学计算机科学系Carl von Ossietzky 隶属关系（2014-2015）： 新加坡南洋理工大学高性能嵌入式系统中心 从属关系（2014年博士）： 中国北京航空航天大学数学与系统科学学院
其他同名人员
白雪 — 消歧页
优化列表
2020年–今天
2024 
[公元20年] 甄亮 , 赵长元 , 刘万伟 , 白雪 , 杨文静 , 彭正斌 :
基于Koopman算子理论的训练神经网络的学分分配。 前沿计算。 科学。 18 ( 1 ) : 181324 ( 2024 ) [公元19年] 白雪 
, 詹乃军（Naijun Zhan） , 马丁·弗伦泽 , Ji Wang（音译） , 刘万伟 :
基于凸优化的可达-无效验证。 IEEE传输。 自动。 控制。 69 ( 1 ) : 598-605 ( 2024 ) [公元18年] 白雪 , 詹乃军（Naijun Zhan） , 马丁·弗伦泽 :
多项式随机微分方程的到达回避分析。 IEEE传输。 自动。 控制。 69 ( 三 ) : 1882-1889 ( 2024 ) [i27] 甄亮 , 陶然·吴 , 冉照 , 白雪 , Ji Wang（音译） , 杨文静 , 邓少军 , 刘万伟 :
UR4NNV：神经网络验证，欠近似可达性工作！ CoRR公司 abs/2401.12550 ( 2024 ) [i26] 李永汉 , 吴晨雨 , 陶然·吴 , 王世杰 , 白雪 :
连续摄动确定性系统有限时间安全验证的逆向屏障证书。 CoRR公司 abs/2402.17167 ( 2024 ) [i25] 陶然·吴 , Yiqing余 , 碧灿霞 , Ji Wang（音译） , 白雪 :
随机动力系统安全概率不变性验证框架。 CoRR公司 abs/2404.09007 ( 2024 ) 2023 [公元17年] 张书远（Shuyuan Zhang） , 宋世忠 , 王磊（Lei Wang） , 白雪 :
通过迭代SOS编程验证异构复杂网络的稳定性。 IEEE控制。 系统。 莱特。 7 : 559-564 ( 2023 ) [公元16年] 张书远（Shuyuan Zhang） , 王磊（Lei Wang） , 白雪 , 李昌英 , 王庆国 :
异构多项式网络系统的一致性验证。 J.弗兰克尔。 仪器。 360 ( 17 ) : 12878-12891 ( 2023 ) [公元15年] 甄亮 , 陶然·吴 , 刘万伟 , 白雪 , 杨文静 , Ji Wang（音译） , 彭正斌 :
通过全局和单调递减的鲁棒性训练策略实现鲁棒神经网络。 前沿信息技术。 电子。 工程师。 24 ( 10 ) : 1375-1389 ( 2023 ) [公元14年] 赵长元 , 张书远（Shuyuan Zhang） , 王磊（Lei Wang） , 白雪 :
离散时间多项式动力系统的内逼近鲁棒到达无效集。 IEEE传输。 自动。 控制。 68 ( 8 ) : 4682-4694 ( 2023 ) [c34] 刘莹（音） , 安德烈亚·图里尼 , 恩斯特·莫里茨·哈恩 , 白雪 , 张丽君 :
参数马尔可夫模型的场景方法。 ATVA（1） 2023 : 158-180 [公元33年] Yiqing余 , 陶然·吴 , 碧灿霞 , Ji Wang（音译） , 白雪 :
随机离散时间动力系统的安全概率不变性验证。 疾病预防控制中心 2023 : 5804-5811 [c32] 甄亮 , 赵长元 , 刘万伟 , 白雪 , 杨文静 :
图像数据集特征密度的几何表征。 国际货币兑换协会 2023 : 1823-1828 [公元31年] 任德进 , 万里路 , 吕继东 , 张丽君 , 白雪 :
基于Reach-avoid分析的模型预测控制。 国际JCAI 2023 : 5437-5445 [公元30年] 甄亮 , 德金仁 , 刘万伟 , Ji Wang（音译） , 杨文静 , 白雪 :
基于集边界分析的神经网络安全性验证。 TASE公司 2023 : 248-267 【i24】 刘莹（音） , 安德里亚·图里尼 , 恩斯特·莫里茨·哈恩 , 白雪 , 张丽君 :
参数马尔可夫模型的情景方法。 CoRR公司 abs/2304.08330 ( 2023 ) [第23条] 丁建强 , 陶然·吴 , 钱玉平 , 张丽君 , 白雪 :
基于内逼近受控可达无效集的可证明可达无效控制器综合。 CoRR公司 abs/2304.11550 ( 2023 ) [i22] 甄亮 , 陶然·吴 , 赵长元 , 刘万伟 , 白雪 , 杨文静 , Ji Wang（音译） :
基于行为模拟的深度神经网络修复。 CoRR公司 abs/2305.03365 ( 2023 ) 【i21】 德金仁 , 万里路 , 吕继东 , 张丽君 , 白雪 :
基于Reach-avoid分析的模型预测控制。 CoRR公司 abs/2305.08712 ( 2023 ) [i20] 甄亮 , 德金仁 , 白雪 , Ji Wang（音译） , 杨文静 , 刘万伟 :
从拓扑角度验证神经网络的安全性。 CoRR公司 abs/2306.15403 ( 2023 ) [i19] 刘江 , 韩苏（Han Su） , 白云君 , Bin Gu先生 , 白雪 , 杨梦飞 , 詹乃军（Naijun Zhan） :
通过综合重置控制器实现混合系统的正确构造。 CoRR公司 abs/2309.05906 ( 2023 ) [i18] 陶然·吴 , 德金仁 , 张书远（Shuyuan Zhang） , 王磊（Lei Wang） , 白雪 :
测量不确定采样数据系统的可达性分析。 CoRR公司 abs/2310.04961 ( 2023 ) [i17] 郝武 , 王秋叶 , 白雪 , 詹乃军（Naijun Zhan） , 李洪志 , 杨志宏 :
用半定规划合成多项式程序的不变量。 CoRR公司 abs/2310.11133 ( 2023 ) 2022 [j13] 王秋叶 , 陈明帅 , 白雪 , 詹乃军（Naijun Zhan） , Joost-Pieter Katoen公司 :
将归纳不变量编码为屏障证书：通过差分凸编程进行合成。 Inf.计算。 289 ( 零件 ) : 104965 ( 2022 ) [公元12年] 白雪 , 詹乃军（Naijun Zhan） :
离散时间扰动非线性系统的鲁棒不变集计算。 IEEE传输。 自动。 控制。 67 ( 2 ) : 1053-1060 ( 2022 ) [公元29年] 白雪 , 王秋叶 , 詹乃军（Naijun Zhan） , 马丁·弗伦泽 , 盛华丰 :
基于不变集生成的微分对策。 行政协调会 2022 : 1285-1292 [公元28年] 赵长元 , 楚楚凡 , 白雪 :
多项式系统的超逼近控制到达无效集。 疾病预防控制中心 2022 : 3839-3845 [公元27年] 李仁觉 , 杨鹏飞 , 黄成超 , 孙友成 , 白雪 , 张丽君 :
基于PAC-模型学习的DNN实用鲁棒性分析。 ICSE公司 2022 : 2189-2201 [i16] 白雪 , 詹乃军（Naijun Zhan） , 马丁·弗伦泽 , Ji Wang（音译） , 刘万伟 :
基于凸优化的可达性验证。 CoRR公司 abs/2208.08105 ( 2022 ) 【i15】 白雪 , 詹乃军（Naijun Zhan） , 马丁·弗伦泽 :
随机微分方程的Reach-Avoid分析。 CoRR公司 abs/2208.10752 ( 2022 ) [第14条] 王秋叶 , 陈明帅 , 白雪 , 詹乃军（Naijun Zhan） , Joost-Pieter Katoen公司 :
将归纳不变量编码为屏障证书：通过凸规划的差分进行综合。 CoRR公司 abs/2209.09703 ( 2022 ) [i13] 甄亮 , 德金仁 , 刘万伟 , Ji Wang（音译） , 杨文静 , 白雪 :
基于集边界分析的神经网络安全性验证。 CoRR公司 abs/2210.04175 ( 2022 ) [i12] 甄亮 , 赵长元 , 刘万伟 , 白雪 , 杨文静 , 彭正斌 :
基于Koopman算子理论的训练神经网络学分分配。 CoRR公司 abs/2212.00998 ( 2022 ) 2021 [公元11年] 白雪 , 王秋叶 , 詹乃军（Naijun Zhan） , 王世杰 , 知坤社 :
状态约束摄动多项式系统鲁棒吸引域的综合。 SIAM J.控制。 优化。 59 ( 2 ) : 1083-1108 ( 2021 ) [公元10年] 白雪 , 王秋叶 , 盛华丰 , 詹乃军（Naijun Zhan） :
扰动时滞微分方程的过近似和欠近似到达集。 IEEE传输。 自动。 控制。 66 ( 1 ) : 283-290 ( 2021 ) [公元9年] 张书远（Shuyuan Zhang） , 王磊（Lei Wang） , 王海辉 , 白雪 :
异构多车辆系统的一致性控制：一种迭代学习方法。 IEEE传输。 神经网络学习。 系统。 32 ( 12 ) : 5356-5368 ( 2021 ) [公元26年] 白雪 , 李仁觉 , 詹乃军（Naijun Zhan） , 马丁·弗伦泽 :
随机离散时间系统的到达-无效分析。 行政协调会 2021 : 4879-4885 [公元25年] 王秋叶 , 陈明帅 , 白雪 , 詹乃军（Naijun Zhan） , Joost-Pieter Katoen公司 :
通过凸差分编程合成不变障碍证书。 卡瓦（1） 2021 : 443-466 [公元24年] 白雪 , 白云君 , 詹乃军（Naijun Zhan） , 刘文友 , 李娇 :
时滞微分方程的Reach-Avoid分析。 疾病预防控制中心 2021 : 1301-1307 【c23】 白云君 , 汀甘 , 李娇 , 碧灿霞 , 白雪 , 詹乃军（Naijun Zhan） :
扰动下时滞混合系统的切换控制器综合。 高速列车控制中心 2021 : 3:1-3:11 [公元22年] 伯华詹 , Bin Gu先生 , 熊旭 , 金祥宇 , 王淑玲（Shuling Wang） , 白雪 , 李晓峰 , 姚晨 , 杨梦飞 , 詹乃军（Naijun Zhan） :
简要行业论文：火星着陆器下降制导控制的建模和验证。 RTAS公司 2021 : 457-460 【c21】 杨鹏飞 , 李仁觉 , 李建林 , 黄成超 , 王静怡 , 孙军（Jun Sun） , 白雪 , 张丽君 :
通过伪区域引导细化改进神经网络验证。 TACAS（1） 2021 : 389-408 [i11] 李仁觉 , 杨鹏飞 , 黄成超 , 白雪 , 张丽君 :
基于PAC学习的DNN概率稳健性分析。 CoRR公司 abs/2101.10102 ( 2021 ) [i10] 白云君 , 汀甘 , 李娇 , 碧灿霞 , 白雪 , 詹乃军（Naijun Zhan） :
扰动下时滞混合系统的开关控制器综合。 CoRR公司 abs/2103.11565 ( 2021 ) [第九章] 王秋叶 , 陈明帅 , 白雪 , 詹乃军（Naijun Zhan） , Joost-Pieter Katoen公司 :
通过凸差分编程合成不变障碍证书。 CoRR公司 abs/2105.14311 ( 2021 ) [i8] 李仁觉 , 张汉伟（Hanwei Zhang） , 杨鹏飞 , 黄成超 , 周爱民 , 白雪 , 张丽君 :
数据多样性的集成防御：弱相关性意味着强鲁棒性。 CoRR公司 abs/2106.02867 ( 2021 ) 2020 [j8] 白雪 , 马丁·弗伦泽 , 詹乃军（Naijun Zhan） :
具有时变不确定性的多项式系统的内逼近可达集。 IEEE传输。 自动。 控制。 65 ( 4 ) : 1468-1483 ( 2020 ) [j7] 白雪 , 张妙妙 , 阿尔文德·伊斯瓦兰 , 秦丽 :
黑盒连续时间动力系统的PAC模型检验。 IEEE传输。 计算。 辅助设计。 集成。 电路系统。 39 ( 11 ) : 3944-3955 ( 2020 ) [j6] 白雪 , 马丁·弗伦泽 , 詹乃军（Naijun Zhan） , 塞尔吉·博戈莫洛夫 , 碧灿霞 :
随机常微分方程的安全性验证。 IEEE传输。 计算。 辅助设计。 集成。 电路系统。 39 ( 11 ) : 4090-4101 ( 2020 ) [公元20年] 盛华丰 , 陈明帅 , 白雪 , 斯里拉姆·桑卡拉纳拉亚南 , 詹乃军（Naijun Zhan） :
随机微分动力学的无限时间安全验证。 CAV（2） 2020 : 327-348 [第19条] 汀甘 , 碧灿霞 , 白雪 , 詹乃军（Naijun Zhan） , 戴丽云 :
非线性Craig插值生成。 CAV（1） 2020 : 415-438 [第18条] 白雪 , 詹乃军（Naijun Zhan） , 马丁·弗兰兹勒 :
离散时间多项式系统的内逼近Reach-avoid集。 疾病预防控制中心 2020 : 867-873 [第17条] 魏慎 , 杰安 , 伯华詹 , 张妙妙 , 白雪 , 詹乃军（Naijun Zhan） :
确定性单块时间自动机的PAC学习。 ICFEM公司 2020 : 129-146 [第16条] 白雪 , 詹乃军（Naijun Zhan） :
可能是近似正确的插值生成。 设置 2020 : 143-159 [第15条] 李仁觉 , 李建林 , 黄成超 , 杨鹏飞 , 黄晓伟 , 张丽君 , 白雪 , 霍尔格·赫尔曼斯 :
PRODeep：深度神经网络鲁棒性验证平台。 ESEC/SIGSOFT FSE 2020 : 1630-1634 [i7] 白雪 , 张妙妙 , 阿尔文德·伊斯瓦兰 , 秦丽 :
黑盒连续时间动力系统的PAC模型检验。 CoRR公司 abs/2007.10141 ( 2020 ) [i6] 杨鹏飞 , 李仁觉 , 李建林 , 黄成超 , 王静怡 , 孙军（Jun Sun） , 白雪 , 张丽君 :
通过伪区域引导细化改进神经网络验证。 CoRR公司 abs/2010.07722 ( 2020 )
2010 – 2019
2019 [第14条] 盛华丰 , 陈明帅 , 詹乃军（Naijun Zhan） , 马丁·弗伦泽 , 白雪 :
控制动力系统中的延迟-延迟微分方程的无界验证。 CAV（1） 2019 : 650-669 [第13条] 白雪 , 王秋叶 , 詹乃军（Naijun Zhan） , 马丁·弗伦泽 :
状态约束扰动多项式系统的鲁棒不变集生成。 高速列车控制中心 2019 : 128-137 [第12条] 白雪 , 马丁·弗伦泽 , 赵恒军 , 詹乃军（Naijun Zhan） , 阿尔文德·伊斯瓦兰 :
混合动力系统的近似安全验证。 ICFEM公司 2019 : 236-252 [i5] 汀甘 , 碧灿霞 , 白雪 , 詹乃军（Naijun Zhan） :
非线性Craig插值生成。 CoRR公司 abs/1903.01297 ( 2019 ) [i4] 王秋叶 , 李洪志 , 詹乃军（Naijun Zhan） , 白雪 , 杨志宏 :
用半定规划综合更具表达性的不变量。 CoRR公司 abs/1903.04668 ( 2019 ) 2018 [第11条] 李美伦 , 彼得·纳齐尔·莫萨德 , 马丁·弗伦泽 , 知坤社 , 白雪 :
自治动力系统可达集的安全过逼近和欠逼近。 格式 2018 : 252-270 [第10条] 白雪 , 马丁·弗伦泽 , 詹乃军（Naijun Zhan） :
多项式连续系统的欠近似到达集。 高速列车控制中心 2018 : 51-60 【c9】 白雪 , 詹乃军（Naijun Zhan） , 杨佳丽 , 王秋叶 :
数值软件的稳健无终止分析。 西塔 2018 : 69-88 [i3] 白雪 , 詹乃军（Naijun Zhan） :
切换离散时间多项式系统的鲁棒不变集计算。 CoRR公司 腹肌/1811.11454 ( 2018 ) [i2] 白雪 , 王秋叶 , 詹乃军（Naijun Zhan） , 王世杰 , 知坤社 :
状态约束摄动多项式系统鲁棒吸引域的综合。 CoRR公司 abs/1812.10588 ( 2018 ) [i1] 白雪 , 王秋叶 , 盛华丰 , 詹乃军（Naijun Zhan） :
扰动时滞微分方程的过逼近和欠逼近可达集。 CoRR公司 abs/1812.11718 ( 2018 ) 2017 [j5] 彼得·纳齐尔·莫萨德 , 马丁·弗伦泽 , 白雪 :
针对度量区间时间逻辑的时滞微分方程的模型检验。 科学。 Ann.计算机。 科学。 27 ( 1 ) : 77-109 ( 2017 ) 【j4】 白雪 , 阿尔文德·伊斯瓦兰 , 南俊秋 , 马丁·弗伦泽 :
基于边界分析的非线性系统可达-无效验证。 IEEE传输。 自动。 控制。 62 ( 7 ) : 3518-3523 ( 2017 ) [j3] 白雪 , 知坤社 , 阿尔文德·伊斯瓦兰 :
半代数集对后向可达集的欠逼近。 IEEE传输。 自动。 控制。 62 ( 10 ) : 5185-5197 ( 2017 ) 【c8】 白雪 , 马丁·弗兰兹勒 , 彼得·纳齐尔·莫萨德 :
仅触及表面：在可达集计算中对初始值的部分探索。 疾病预防控制中心 2017 : 1769-1775 【c7】 白雪 , 彼得·纳齐尔·莫萨德 , 马丁·弗伦泽 , 陈明帅 , 杨佳丽 , 詹乃军（Naijun Zhan） :
时滞微分方程可达集的安全过逼近和欠逼近。 格式 2017 : 281-299 2016 【c6】 白雪 , 知坤社 , 阿文德·伊斯瓦兰 :
由多面体逼近后向可达集。 CAV（1） 2016 : 457-476 【c5】 彼得·纳齐尔·莫萨德 , 马丁·弗伦泽 , 白雪 :
时滞微分方程的时序逻辑验证。 ICTAC公司 2016 : 405-421 2015 【c4】 陆俊杰 , 知坤社 , 白雪 :
发现具有全局指数稳定性的切换混杂系统的多个Lyapunov函数。 疾病预防控制中心 2015 : 4252-4259 2014 [注2] 知坤社 , 白雪 :
发现切换混合系统的多个Lyapunov函数。 SIAM J.控制。 优化。 52 ( 5 ) : 3312-3340 ( 2014 ) 2013 [j1] 知坤社 , 李浩阳 , 白雪 , 郑志明 , 碧灿霞 :
发现连续动力系统的多项式Lyapunov函数。 J.塞姆。 计算。 58 : 41-63 ( 2013 ) 2012 【c3】 知坤社 , 白雪 :
切换混杂系统渐近稳定性的代数分析。 高速列车控制中心 2012 : 187-196 2011 【c2】 知坤社 , 白雪 :
通过求解双线性半定问题来计算对目标区域的吸引盆地。 中国科学院 2011 : 333-344 【c1】 She直坤 , 白雪 , 郑志明 :
连续动力系统渐近稳定性的代数分析。 ISSAC公司 2011 : 313-320
合著者索引
