Xin Chen（新晨） 0002
人员信息
unicode名称： 陈鑫 附属： 新墨西哥大学：美国新墨西哥州阿尔伯克基 附属： 美国俄亥俄州代顿大学 附属： 科罗拉多大学博尔德分校，科罗拉多州，美国 从属关系（2015年博士）： 德国亚琛RWTH
其他同名人员
Xin Chen（新晨） — 消歧页 Xin Chen（新晨） 0001 -阿拉巴马大学伯明翰分校，美国阿拉巴马州 Xin Chen（新晨） 0003 ![[0000-0002-3685-0854]](https://dblp.uni-trier.de/img/orcid-mark.12x12.png "0000-0002-3685-0854")
-英国伦敦国王学院成像科学和生物医学工程部 Xin Chen（新晨） 0004 -华南理工大学机械与汽车工程学院，中国广州 Xin Chen（新晨） 0005 — 广东工业大学计算机集成制造系统重点实验室，广州，中国 （还有1个） Xin Chen（新晨） 0006 -厦门大学信息科学与工程学院 Xin Chen（新晨） 0007 -美国新泽西州纽瓦克市新泽西理工学院信息系统部 Xin Chen（新晨） 0008 -中国长沙国防科技大学电子科学与工程学院 Xin Chen（新晨） 0009 -南京科技大学紫金学院 Xin Chen（新晨） 0010 -南京师范大学数学科学学院江苏省NSLSCS重点实验室
Xin Chen（新晨） 0011 -中国科学院信息工程研究所信息安全国家重点实验室 Xin Chen（新晨） 0012 — 中国地质大学自动化学院，武汉 （还有2个以上） Xin Chen（新晨） 0013 -英国普雷斯顿中央兰开夏大学 Xin Chen（新晨） 0014 -英国爱丁堡大学 Xin Chen（新晨） 0015 -桑德兰大学，英国泰恩威尔 Xin Chen（新晨） 0016 — 彭博社，纽约，美国纽约 （还有1个） Xin Chen（新晨） 0017 -上海交通大学电子信息与电气工程学院上海导航与定位服务重点实验室 Xin Chen（新晨） 0018 -北京信息科技大学计算机学院 Xin Chen（新晨） 0019 — 中国科学院声学研究所高性能网络实验室，中国北京 （还有1个） Xin Chen（新晨） 0020 -中国厦门华侨大学计算机科学与技术学院 Xin Chen（新晨） 0021 -暨南大学信息科学与技术学院，广州，中国 Xin Chen（新晨） 0022 — 美国纽约石溪大学 （还有1个） Xin Chen（新晨） 0023 — 中国郑州国家数字交换系统工程技术研究中心 （还有1个） Xin Chen（新晨） 0024 -广东工业大学自动化学院物联网信息技术重点实验室，广州 Xin Chen（新晨） 0025 — 深圳大学生物医学工程学院/广东省生物医学测量与超声成像重点实验室 （还有1个） Xin Chen（新晨） 0026 -伊利诺伊大学厄巴纳-香槟分校，美国伊利诺伊州厄巴纳工业与企业系统工程系 Xin Chen（新晨） 0027 -南京大学计算机科学与技术系，中国新软件技术国家重点实验室 Xin Chen（新晨） 0028 -中山大学电子与信息技术学院，中国广州 Xin Chen（新晨） 0029 -厦门大学，教育部水声通信与海洋信息技术重点实验室，中国 Xin Chen（新晨） 0030 -重庆大学软件工程学院 Xin Chen（新晨） 0031 -中国三峡大学计算机与信息技术学院，宜昌 Xin Chen（新晨） 0032 — 杭州电子大学计算机科学与技术学院 （还有1个） Xin Chen（新晨） 0033 — 华为公司，中国深圳 （还有1个） Xin Chen（新晨） 0034 — 询问。 com，爱迪生，新泽西州，美国 （还有1个） Xin Chen（新晨） 0036 -美国马萨诸塞州剑桥市哈佛大学工程与应用科学学院 Xin Chen（新晨） 0037 — 新加坡南洋理工大学物理与数学科学学院 （还有1个） Xin Chen（新晨） 0038 — 美国纽约康宁公司 （还有1个） Xin Chen（新晨） 0039 -英国诺丁汉大学计算机科学学院智能建模与分析小组 Xin Chen（新晨） 0040 -上海理工大学信息科学与技术学院 Xin Chen（新晨） 0041 -德雷塞尔大学信息科学与技术学院，美国宾夕法尼亚州费城 Xin Chen（新晨） 0042 -美国北卡罗来纳大学教堂山分校 Xin Chen（新晨） 0043 -中国南京东南大学信息科学与工程学院 Xin W.Chen先生 （又名：陈欣 0044 ) -美国伊利诺伊州爱德华兹维尔南伊利诺伊大学 Xin Chen（新晨） 0045 -英国克兰菲尔德大学航空、运输和制造学院 Xin Chen（新晨） 0046 — 中国深圳理工大学 （还有1个） Xin Chen（新晨） 0047 -中国深圳南方科技大学 Xin Chen（新晨） 0048 -瑞典斯德哥尔摩皇家理工学院 Xin Chen（新晨） 0049 -北京交通大学电子与信息工程学院 Xin Chen（新晨） 0050 -吉林大学化学系，长春，中国 Xin Chen（新晨） 0051 -福建师范大学数学与信息学院，福州，中国 Xin Chen（新晨） 0052 -山东科技大学计算机科学与工程学院，中国青岛 Xin Chen（新晨） 0053 -中国农业大学土地科学技术学院，中国北京 Xin Chen（新晨） 0054 -大连理工大学软件学院 Xin Chen（新晨） 0055 -中南大学资源与安全工程学院，长沙，中国 Xin Chen（新晨） 0056 -东北石油大学机械科学与工程学院，大庆，中国 Xin Chen（新晨） 0057 -辽宁工业大学电子与信息工程学院，锦州，中国 Xin Chen（新晨） 0058 -华南理工大学医学院广州市第一人民医院放射科 Xin Chen（新晨） 0059 -腾讯PCG，中国 Xin Chen（新晨） 0061 -华南农业大学电子工程学院和人工智能学院，中国广州 Xin Chen（新晨） 0062 -华为技术，中国深圳
优化列表
2020年–今天
2024 
[j6] 王一轩 , 周伟超 , 嘉盟扇 , 王志璐 , 李佳军 , Xin Chen（新晨） , 朝皇 , 李文超 , 朱琦 :
POLAR-Express:神经网络控制系统的高效精确形式可达性分析。 IEEE传输。 计算。 辅助设计。 集成。 电路系统。 43 ( 三 ) : 994-1007 ( 2024 ) [c36] 费斯福 , 王志璐 , 周伟超 , 王一轩 , 嘉盟扇 , 朝皇 , 齐朱 , Xin Chen（新晨） , 李文超 :
REGLO：用于全局鲁棒性属性的可证明神经网络修复。 AAAI公司 2024 : 12061-12071 [公元35年] 张琳 , 路易斯·布尔巴诺 , Xin Chen（新晨） , 阿尔瓦罗·A·Cárdenas , 史蒂文·德拉格 , 马修·安德森 , 繁新港 :
随机网络物理系统的快速攻击恢复。 RTAS公司 2024 : 280-293 2023 [公元34年] 齐朱 , 李文超 , 朝皇 , Xin Chen（新晨） , 周伟超 , 王一轩 , 李佳军 , 费斯福 :
鲁棒和安全的神经网络支持的自治系统的验证和设计。 阿勒顿 2023 : 1-8 [公元33年] 张琳 , 考斯图布·斯里达尔 , 刘梦雨 , 鹏元路 , Xin Chen（新晨） , 繁新港 , 奥列格·索科尔斯基 , 因苏普·李 :
复杂网络物理系统的实时数据预测攻击恢复。 RTAS公司 2023 : 209-222 [i4] 王一轩 , 周伟超 , 嘉盟扇 , 王志璐 , 李佳军 , Xin Chen（新晨） , 朝皇 , 李文超 , 齐朱 :
POLAR-Express:神经网络控制系统的高效精确形式可达性分析。 CoRR公司 abs/2304.01218 ( 2023 ) [i3] 刘梦雨 , 卢鹏远 , Xin Chen（新晨） , 繁新港 , 奥列格·索科尔斯基 , 因苏普·李 :
通过无模型强化学习尽快实现正式规范。 CoRR公司 abs/2304.12508 ( 2023 ) 2022 [公元32年] 迭戈·曼扎纳斯·洛佩兹 , 马蒂亚斯·阿尔霍夫 , 路易斯·贝内特 , Xin Chen（新晨） , 嘉盟扇 , 马塞洛森林 , 朝皇 , 泰勒·T·约翰逊 , 托比亚斯·拉德纳 , 李文超 , 克里斯蒂安·席林 , 齐朱 :
ARCH-COMP22类别报告：连续和混合系统电厂的人工智能和神经网络控制系统（AINNCS）。 拱@SAFECOMP 2022 : 142-184 [公元31年] 朝皇 , 嘉盟扇 , Xin Chen（新晨） , 李文超 , 齐朱 :
POLAR：用于验证神经网络控制系统的多项式算法框架。 ATVA公司 2022 : 414-430 [c30] Xin Chen（新晨） , 斯里拉姆·桑卡拉纳拉亚南 :
网络物理系统的可达性分析：我们还存在吗？ 非金融市场 2022 : 109-130 2021 [j5] 张琳 , 鹏元路 , 繁新港 , Xin Chen（新晨） , 奥列格·索科尔斯基 , 因苏普·李 :
使用线性二次调节器的网络物理系统实时攻击恢复。 ACM事务处理。 嵌入。 计算。 系统。 20 ( 5秒 ) : 79:1-79:24 ( 2021 ) [i2] 朝皇 , 嘉盟扇 , Xin Chen（新晨） , 李文超 , 齐朱 :
POLAR：用于验证神经网络控制系统的多项式算法框架。 CoRR公司 abs/2106.13867 ( 2021 ) 2020 [j4] 朝皇 , 嘉盟扇 , Xin Chen（新晨） , 李文超 , 齐朱 :
分割和滑动：深层神经网络输出范围分析的分层细化。 IEEE传输。 计算。 辅助设计。 集成。 电路系统。 39 ( 11 ) : 3323-3335 ( 2020 ) [公元29年] 卢卡·杰雷蒂 , 朱利安·亚历山大·迪特·桑德雷托 , 马蒂亚斯·阿尔霍夫 , 路易斯·贝内特 , 亚历山大·查普特 , Xin Chen（新晨） , 彼得·柯林斯 , 马塞洛森林 , 丹尼尔·弗雷尔 , 费比安·伊姆勒 , Niklas Kochdumper公司 , 大卫·P·桑德斯 , 克里斯蒂安·席林 :
ARCH-COMP20类别报告：具有非线性动力学的连续和混合系统。 建筑 2020 : 49-75 [公元28年] 嘉盟扇 , 朝皇 , Xin Chen（新晨） , 李文超 , 齐朱 :
ReachNN*：神经网络控制系统可达性分析工具。 ATVA公司 2020 : 537-542 [c27] 秦琳 , Xin Chen（新晨） , 阿曼·库拉纳 , 约翰·M·多兰 :
ReachFlow：自动驾驶汽车航路点跟踪的在线安全保证框架。 IROS公司 2020 : 6627-6632 [公元26年] 张琳 , Xin Chen（新晨） , 繁新港 , 阿尔瓦罗·A·Cárdenas :
使用线性近似的网络物理系统的实时攻击恢复。 RTSS系统 2020 : 205-217
2010 – 2019
2019 [j3] 朝皇 , 嘉盟扇 , 李文超 , Xin Chen（新晨） , 齐朱 :
ReachNN：神经网络控制系统的可达性分析。 ACM事务处理。 嵌入。 计算。 系统。 18 ( 5秒 ) : 106:1-106:22 ( 2019 ) [公元25年] 费比安·伊姆勒 , 马蒂亚斯·阿尔霍夫 , 路易斯·贝内特 , 亚历山大·查普特 , Xin Chen（新晨） , 马塞洛森林 , 卢卡·杰雷蒂 , Niklas Kochdumper公司 , 大卫·P·桑德斯 , 克里斯蒂安·席林 :
ARCH-COMP19类别报告：具有非线性动力学的连续和混合系统。 建筑@CPSIoTWeek 2019 : 41-61 [公元24年] Souradeep Dutta公司 , Xin Chen（新晨） , 斯里拉姆·桑卡拉纳拉亚南 :
基于回归多项式规则推理的神经反馈系统可达性分析。 高速列车控制中心 2019 : 157-168 【c23】 Souradeep Dutta公司 , Xin Chen（新晨） , 苏斯米特·贾 , 斯里拉姆·桑卡拉纳拉亚南 , 阿什什·蒂瓦里 :
Sherlock-神经网络反馈系统验证工具：演示摘要。 高速列车控制中心 2019 : 262-263 [公元22年] 嘉盟扇 , 朝皇 , 李文超 , Xin Chen（新晨） , 齐朱 :
面向神经网络控制系统的验证感知知识提取：邀请论文。 国际计算机辅助设计协会 2019 : 1-8 【c21】 汉索尔·尹 , 易周 , Xin Chen（新晨） , 埃里克·弗雷 , 斯里拉姆·桑卡拉纳拉亚南 :
线性随机系统的预测运行时监测及其在无人机地理围栏实施中的应用。 RV汽车 2019 : 349-367 [i1] 朝皇 , 嘉盟扇 , 李文超 , Xin Chen（新晨） , 齐朱 :
ReachNN：神经网络控制系统的可达性分析。 CoRR公司 腹肌/1906.10654 ( 2019 ) 2018 [公元20年] 马蒂亚斯·阿尔霍夫 , 斯坦利·巴克 , Xin Chen（新晨） , 楚楚凡 , 马塞洛森林 , 戈兰·弗雷斯 , Niklas Kochdumper公司 , 杨格丽 , 萨扬密特拉 , 拉贾什·雷 , 克里斯蒂安·席林 , 斯特凡·舒普 :
ARCH-COMP18类别报告：具有线性连续动力学的连续和混合系统。 ADHS建筑 2018 : 23-52 [第19条] 费比安·伊姆勒 , 马蒂亚斯·阿尔霍夫 , Xin Chen（新晨） , 楚楚凡 , 戈兰·弗雷斯 , Niklas Kochdumper公司 , 杨格丽 , 萨扬密特拉 , 马亨德拉·辛格·托马尔 , 马吉德·扎马尼 :
ARCH-COMP18类别报告：具有非线性动力学的连续和混合系统。 ADHS建筑 2018 : 53-70 2017 [注2] Xin Chen（新晨） , 塞尔吉奥·莫弗 , 斯里拉姆·桑卡拉纳拉亚南 :
非线性混合系统的组合关系抽象。 ACM事务处理。 嵌入。 计算。 系统。 16 ( 5秒 ) : 187:1-187:19 ( 2017 ) [第18条] 易周 , Xin Chen（新晨） , 斯里拉姆·桑卡拉纳拉亚南 :
用于验证的模型降阶技术研究。 NSV@CAV 2017 : 98-113 [c17] Xin Chen（新晨） , Souradeep Dutta公司 , 斯里拉姆·桑卡拉纳拉亚南 :
多基础胰岛素输注控制模型的形式验证。 建筑@CPSWeek 2017 : 75-91 [第16条] 马蒂亚斯·阿尔霍夫 , 斯坦利·巴克 , 达里奥·卡塔鲁扎 , Xin Chen（新晨） , 戈兰·弗雷斯 , 拉贾什·雷 , 斯特凡·舒普 :
ARCH-COMP17分类报告：具有线性连续动力学的连续和混合系统。 建筑@CPSWeek 2017 : 143-159 [第15条] Xin Chen（新晨） , 马蒂亚斯·阿尔特霍夫 , 费比安·伊姆勒 :
ARCH-COMP17类别报告：具有非线性动力学的连续系统。 建筑@CPSWeek 2017 : 160-169 [第14条] Xin Chen（新晨） , 斯里拉姆·桑卡拉纳拉亚南 :
线性系统的模型预测实时监测。 RTSS系统 2017 : 297-306 2016 [j1] 穆罕默德·阿明·本·萨西 , 斯里拉姆·桑卡拉纳拉亚南 , Xin Chen（新晨） , 埃里卡·阿布拉哈姆 :
多项式Lyapunov函数综合的多项式正性的线性松弛。 IMA数学杂志。 控制。 信息。 33 ( 三 ) : 723-756 ( 2016 ) [第13条] Xin Chen（新晨） , 斯里拉姆·桑卡拉纳拉亚南 :
非线性系统的分解可达性分析。 RTSS系统 2016 : 13-24 2015 【b1】 Xin Chen（新晨） :
基于泰勒模型的非线性混合系统可达性分析。 德国亚琛RWTH大学， 2015 [第12条] Xin Chen（新晨） , 斯里拉姆·桑卡拉纳拉亚南 , 埃里卡·阿布拉哈姆 :
流程*1.2：更有效地使用混合动力系统。 建筑@CPSWeek 2015 : 152-159 [第11条] 斯特凡·舒普 , 埃里卡·阿布拉哈姆 , Xin Chen（新晨） , 伊布蒂西姆·本·马克洛夫（Ibtisem Ben Makhlouf） , 戈兰·弗雷斯 , 斯里拉姆·桑卡拉纳拉亚南 , 斯特凡·科瓦列夫斯基 :
混合系统验证中的当前挑战。 CyPhy公司 2015 : 8-24 [第10条] Xin Chen（新晨） , 斯特凡·舒普 , 伊布蒂西姆·本·马克洛夫（Ibtisem Ben Makhlouf） , 埃里卡·阿布拉哈姆 , 戈兰·弗雷斯 , 斯特凡·科瓦列夫斯基 :
混合系统可达性分析的基准套件。 非金融市场 2015 : 408-414 2014 【c9】 Xin Chen（新晨） , 斯里拉姆·桑卡拉纳拉亚南 , 埃里卡·阿布拉哈姆 :
非线性连续系统的欠近似流量管。 FMCAD公司 2014 : 59-66 2013 【c8】 Xin Chen（新晨） , 埃里卡·阿布拉哈姆 , 斯里拉姆·桑卡拉纳拉亚南 :
Flow*：非线性混合系统分析仪。 CAV汽车 2013 : 258-263 【c7】 约翰娜·内伦 , 埃里卡·阿布拉哈姆 , Xin Chen（新晨） , 彼得·柯林斯 :
混合自动机的反例生成。 FTSCS公司 2013 : 88-106 【c6】 张燕（音译） , 斯里拉姆·桑卡拉纳拉亚南 , 法比奥·萨蒙齐 , Xin Chen（新晨） , 埃里卡·阿布拉哈姆 :
从统计模型检查到统计模型推断：表征模拟电路中过程变化的影响。 国际计算机辅助设计协会 2013 : 662-669 【c5】 斯里拉姆·桑卡拉纳拉亚南 , Xin Chen（新晨） , 埃里卡·阿布拉哈姆 :
使用Handelman表示的Lyapunov函数综合。 诺尔科斯 2013 : 576-581 2012 【c4】 Xin Chen（新晨） , 埃里卡·阿布拉哈姆 , 斯里拉姆·桑卡拉纳拉亚南 :
非线性混合系统的泰勒模型流管构造。 RTSS系统 2012 : 183-192 2011 【c3】 Xin Chen（新晨） , 埃里卡·阿布拉哈姆 :
混合系统可达集逼近的方向选择。 EUROCAST（1） 2011 : 535-542 [c2] Xin Chen（新晨） , 埃里卡·阿布拉哈姆 , 戈兰·弗雷斯 :
矩形自动机的有效有界可达性计算。 RP公司 2011 : 139-152
2000 – 2009
合著者索引
