白雪 0001
人员信息
附属: 中国科学院软件研究所,SKLCS,中国北京 隶属关系(2015-2017): 德国奥尔登堡大学计算机科学系Carl von Ossietzky 隶属关系(2014-2015): 新加坡南洋理工大学高性能嵌入式系统中心 从属关系(2014年博士): 中国北京航空航天大学数学与系统科学学院
其他同名人员
白雪 — 消歧页
优化列表
期刊文章
2024 [公元20年] 甄亮 , 赵长元 , 刘万伟 , 白雪 , 杨文静 , 彭正斌 以下为:
基于Koopman算子理论的训练神经网络的学分分配。 前沿计算。 科学。 18 ( 1 ) 以下为: 181324 ( 2024 ) [公元19年] 白雪 , 詹乃军(Naijun Zhan) , 马丁·弗伦泽 , Ji Wang(音译) , 刘万伟 以下为:
基于凸优化的可达-无效验证。 IEEE传输。 自动。 控制。 69 ( 1 ) 以下为: 598-605 ( 2024 ) [公元18年] 白雪 , 詹乃军(Naijun Zhan) , 马丁·弗伦泽 以下为:
多项式随机微分方程的Reach-Avoid分析。 IEEE传输。 自动。 控制。 69 ( 三 ) 以下为: 1882-1889 ( 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 ) 2022 [j13] 王秋叶 , 陈明帅 , 白雪 , 詹乃军(Naijun Zhan) , 乔斯特·皮特·卡托恩 以下为:
将归纳不变量编码为屏障证书:通过差分凸编程进行合成。 Inf.计算。 289 ( 零件 ) 以下为: 104965 ( 2022 ) [公元12年] 白雪 , 詹乃军(Naijun Zhan) 以下为:
离散时间扰动非线性系统的鲁棒不变集计算。 IEEE传输。 自动。 控制。 67 ( 2 ) 以下为: 1053-1060 ( 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 ) 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 ) 2017 [j5] 彼得·纳齐尔·莫萨德 , 马丁·弗伦泽 , 白雪 以下为:
基于度量区间时序逻辑的时滞微分方程模型检验。 科学。 Ann.计算。 科学。 27 ( 1 ) 以下为: 77至109 ( 2017 ) 【j4】 白雪 , 阿尔文德·伊斯瓦兰 , 南俊町 , 马丁·弗伦泽 以下为:
基于边界分析的非线性系统可达-无效验证。 IEEE传输。 自动。 控制。 62 ( 7 ) 以下为: 3518-3523 ( 2017 ) [j3] 白雪 , 知坤社 , 阿尔文德·伊斯瓦兰 以下为:
用半代数集对后向可达集进行欠逼近。 IEEE传输。 自动。 控制。 62 ( 10 ) 以下为: 5185-5197 ( 2017 ) 2014 [注2] 知坤社 , 白雪 以下为:
切换混合系统的多Lyapunov函数发现。 SIAM J.控制。 最佳方案。 52 ( 5 ) 以下为: 3312-3340 ( 2014 ) 2013 [j1] 知坤社 , 李浩阳 , 白雪 , 郑志明 , 碧灿霞 以下为:
发现连续动力系统的多项式Lyapunov函数。 J.塞姆。 计算。 58 以下为: 41-63 ( 2013 )
会议和研讨会文件
2023 [公元34年] 刘莹(音) , 安德烈亚·图里尼 , 恩斯特·莫里茨·哈恩 , 白雪 , 张丽君 以下为:
参数马尔可夫模型的情景方法。 ATVA(1) 2023 以下为: 158-180 [公元33年] Yiqing余 , 吴陶然 , 碧灿霞 , Ji Wang(音译) , 白雪 以下为:
随机离散时间动力系统的安全概率不变性验证。 疾病预防控制中心 2023 以下为: 5804-5811年 [公元32年] 甄亮 , 赵长元 , 刘万伟 , 白雪 , 杨文静 以下为:
图像数据集特征密度的几何表征。 国际货币兑换协会 2023 以下为: 1823-1828 [公元31年] 德金仁 , 万里路 , 吕继东 , 张丽君 , 白雪 以下为:
基于Reach-avoid分析的模型预测控制。 IJCAI公司 2023 以下为: 5437-5445 [公元30年] 甄亮 , 德金仁 , 刘万伟 , Ji Wang(音译) , 杨文静 , 白雪 以下为:
基于集边界分析的神经网络安全性验证。 TASE公司 2023 以下为: 248-267 2022 [公元29年] 白雪 , 王秋叶 , 詹乃军(Naijun Zhan) , 马丁·弗伦泽 , 盛华丰 以下为:
基于不变集生成的微分对策。 行政协调会 2022 以下为: 1285-1292 [公元28年] 赵长元 , 楚楚凡 , 白雪 以下为:
多项式系统的超逼近控制到达无效集。 疾病预防控制中心 2022 以下为: 3839-3845 [公元27年] 李仁觉 , 杨鹏飞 , 黄成超 , 孙友成 , 白雪 , 张丽君 以下为:
基于PAC-模型学习的DNN实用鲁棒性分析。 ICSE公司 2022 以下为: 2189-2201 2021 [c26] 白雪 , 李仁觉 , 詹乃军(Naijun Zhan) , 马丁·弗伦泽 以下为:
随机离散时间系统的到达-无效分析。 行政协调会 2021 以下为: 4879-4885 [公元25年] 王秋叶 , 陈明帅 , 白雪 , 詹乃军(Naijun Zhan) , 乔斯特·皮特·卡托恩 以下为:
通过凸差分编程合成不变障碍证书。 CAV(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 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 2019 [第14条] 盛华丰 , 陈明帅 , 詹乃军(Naijun Zhan) , 马丁·弗伦泽 , 白雪 以下为:
控制动力系统中的延迟-延迟微分方程的无界验证。 CAV(1) 2019 以下为: 650-669 [第13条] 白雪 , 王秋叶 , 詹乃军(Naijun Zhan) , 马丁·弗伦泽 以下为:
状态约束摄动多项式系统的鲁棒不变集生成。 高速列车控制中心 2019 以下为: 128-137 [c12] 白雪 , 马丁·弗伦泽 , 赵恒军 , 詹乃军(Naijun Zhan) , 阿尔文德·伊斯瓦兰 以下为:
混合动力系统的近似安全性验证。 ICFEM公司 2019 以下为: 236-252 2018 [第11条] 李美伦 , 彼得·纳齐尔·莫萨德 , 马丁·弗伦泽 , 知坤社 , 白雪 以下为:
自治动力系统可达集的安全过近似和欠近似。 格式 2018 以下为: 252至270 [第10条] 白雪 , 马丁·弗伦泽 , 詹乃军(Naijun Zhan) 以下为:
多项式连续系统的欠近似到达集。 高速列车控制中心 2018 以下为: 51-60 【c9】 白雪 , 詹乃军(Naijun Zhan) , 杨佳丽 , 王秋叶 以下为:
数值软件的稳健无终止分析。 设置 2018 以下为: 69-88 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 2012 【c3】 知坤社 , 白雪 以下为:
切换混杂系统渐近稳定性的代数分析。 高速列车控制中心 2012 以下为: 187-196 2011 [c2] 知坤社 , 白雪 以下为:
通过求解双线性半定问题计算目标区域的吸引域。 中国科学院 2011 以下为: 333-344 【c1】 知坤社 , 白雪 , 郑志明 以下为:
连续动力系统渐近稳定性的代数分析。 ISSAC公司 2011 以下为: 313-320
非正式出版物和其他出版物
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 【i24】 刘莹(音) , 安德烈亚·图里尼 , 恩斯特·莫里茨·哈恩 , 白雪 , 张丽君 以下为:
参数马尔可夫模型的情景方法。 CoRR公司 abs/2304.08330 ( 2023 ) [第23条] 丁建强 , 吴陶然 , 钱玉平 , 张丽君 , 白雪 以下为:
基于内逼近受控可达无效集的可证明可达无效控制器综合。 CoRR公司 腹肌/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 [i16] 白雪 , 詹乃军(Naijun Zhan) , 马丁·弗伦泽 , Ji Wang(音译) , 刘万伟 以下为:
基于凸优化的可达性验证。 CoRR公司 abs/2208.08105 ( 2022 ) 【i15】 白雪 , 詹乃军(Naijun Zhan) , 马丁·弗伦泽 以下为:
随机微分方程的到达回避分析。 CoRR公司 abs/2208.10752 ( 2022 ) [i14] 王秋叶 , 陈明帅 , 白雪 , 詹乃军(Naijun Zhan) , 乔斯特·皮特·卡托恩 以下为:
将归纳不变量编码为屏障证书:通过差分凸编程进行综合。 CoRR公司 abs/2209.09703 ( 2022 ) [i13] 甄亮 , 德金仁 , 刘万伟 , Ji Wang(音译) , 杨文静 , 白雪 以下为:
基于集边界分析的神经网络安全性验证。 CoRR公司 abs/2210.04175 ( 2022 ) [i12] 甄亮 , 赵长元 , 刘万伟 , 白雪 , 杨文静 , 彭正斌 以下为:
基于Koopman算子理论的训练神经网络学分分配。 CoRR公司 腹肌/2212.00998 ( 2022 ) 2021 [i11] 李仁觉 , 杨鹏飞 , 黄成超 , 白雪 , 张丽君 以下为:
基于PAC学习的DNN概率鲁棒性分析。 CoRR公司 绝对值/2101.10102 ( 2021 ) [i10] 白云君 , 汀甘 , 李娇 , 碧灿霞 , 白雪 , 詹乃军(Naijun Zhan) 以下为:
扰动下时滞混合系统的开关控制器综合。 CoRR公司 abs/2103.11565 ( 2021 ) [第九章] 王秋叶 , 陈明帅 , 白雪 , 詹乃军(Naijun Zhan) , 乔斯特·皮特·卡托恩 以下为:
通过凸差分编程合成不变障碍证书。 CoRR公司 abs/2105.14311 ( 2021 ) [i8] 李仁觉 , 张汉伟(Hanwei Zhang) , 杨鹏飞 , 黄成超 , 周爱民 , 白雪 , 张丽君 以下为:
数据多样性的集成防御:弱相关性意味着强鲁棒性。 CoRR公司 abs/2106.02867 ( 2021 ) 2020 [i7] 白雪 , 张妙妙 , 阿尔文德·伊斯瓦兰 , 秦丽 以下为:
黑盒连续时间动力系统的PAC模型检验。 CoRR公司 abs/2007.10141 ( 2020 ) [i6] 杨鹏飞 , 李仁觉 , 李建林 , 黄成超 , 王静怡 , 孙军(Jun Sun) , 白雪 , 张丽君 以下为:
通过伪区域引导细化改进神经网络验证。 CoRR公司 abs/2010.07722 ( 2020 ) 2019 [i5] 汀甘 , 碧灿霞 , 白雪 , 詹乃军(Naijun Zhan) 以下为:
非线性Craig插值生成。 CoRR公司 abs/1903.01297 ( 2019 ) [i4] 王秋叶 , 李洪志 , 詹乃军(Naijun Zhan) , 白雪 , 杨志宏 以下为:
用半定规划合成更具表现力的不变量。 CoRR公司 abs/1903.04668 ( 2019 ) 2018 [i3] 白雪 , 詹乃军(Naijun Zhan) 以下为:
切换离散时间多项式系统的鲁棒不变集计算。 CoRR公司 abs/1811.11454 ( 2018 ) [i2] 白雪 , 王秋叶 , 詹乃军(Naijun Zhan) , 王世杰 , 知坤社 以下为:
状态约束摄动多项式系统鲁棒吸引域的综合。 CoRR公司 abs/1812.10588 ( 2018 ) [i1] 白雪 , 王秋叶 , 盛华丰 , 詹乃军(Naijun Zhan) 以下为:
扰动时滞微分方程的过逼近和欠逼近可达集。 CoRR公司 abs/1812.11718 ( 2018 )