盛华丰
人员信息
优化列表
2020年–今天
2023 [注2] 盛华丰 , 陈明帅 , 韩苏(Han Su) , 本杰明·卢西安·卡明斯基 , 乔斯特·皮特·卡托恩 , 詹乃军(Naijun Zhan) 以下为:
可能发散概率程序的下限。 程序。 ACM计划。 语言。 7 ( OOPSLA1公司 ) 以下为: 696-726 ( 2023 ) [i4] 盛华丰 , 陈明帅 , 韩苏(Han Su) , 本杰明·卢西安·卡明斯基 , 乔斯特·皮特·卡托恩 , 詹乃军(Naijun Zhan) 以下为:
可能发散概率程序的下限。 CoRR公司 abs/2302.06082 ( 2023 ) [i3] 韩苏(Han Su) , 朱继宇 , 盛华丰 , 白云君 , Bin Gu先生 , 姜柳 , 杨梦飞 , 詹乃军(Naijun Zhan) 以下为:
基于Reach-avoid分析的时滞混合系统重置控制器综合。 CoRR公司 abs/2309.05908 ( 2023 ) [i2] 郝武 , 盛华丰 , 汀甘 , 王杰(音译) , 碧灿霞 , 詹乃军(Naijun Zhan) 以下为:
通过去掉阿基米德条件将基于SDP的障碍证书综合推广到无界域。 CoRR公司 abs/2312.15416 ( 2023 ) 2022 【c3】 白雪 , 王秋叶 , 詹乃军(Naijun Zhan) , 马丁·弗伦泽 , 盛华丰 以下为:
基于不变集生成的微分对策。 行政协调会 2022 以下为: 1285-1292 2021 [j1] 白雪 , 王秋叶 , 盛华丰 , 詹乃军(Naijun Zhan) 以下为:
扰动时滞微分方程的过近似和欠近似到达集。 IEEE传输。 自动。 控制。 66 ( 1 ) 以下为: 283-290 ( 2021 ) 2020 [c2] 盛华丰 , 陈明帅 , 白雪 , 斯里拉姆·桑卡拉纳拉亚南 , 詹乃军(Naijun Zhan) 以下为:
随机微分动力学的无限时间安全验证。 CAV(2) 2020 以下为: 327-348
2010 – 2019
2019 【c1】 盛华丰 , 陈明帅 , 詹乃军(Naijun Zhan) , 马丁·弗伦泽 , 白雪 以下为:
控制动力系统中的延迟-延迟微分方程的无界验证。 CAV(1) 2019 以下为: 650-669 2018 [i1] 白雪 , 王秋叶 , 盛华丰 , 詹乃军(Naijun Zhan) 以下为:
扰动时滞微分方程的过逼近和欠逼近可达集。 CoRR公司 abs/1812.11718 ( 2018 )