陈明帅;马丁·范策尔;李，杨佳;彼得·莫萨德（Peter N.Mosaad）。;詹乃军 不确定性和延迟是失败的根源——通过综合延迟控制在算法上驯服它们。 （英文） Zbl 1528.68214号 学报信息。 58，第5期，497-528（2021）.MSC公司：60年第68季度 91A80型 PDF格式BibTeX公司 XML格式引用 \textit{M.Chen}等人，《学报》第58期，第5期，第497--528页（2021年；Zbl 1528.68214） 全文： 内政部 OA许可证
冯胜华;陈明帅;詹乃军;马丁·范策尔;薛、白 控制动力系统中的延迟。时滞微分方程的无界验证。 （英文） Zbl 1533.68156号 Dillig，Isil（编辑）等人，《计算机辅助验证》。2019年7月15日至18日在美国纽约州纽约市举行的第31届CAV 2019国际会议。诉讼程序。第一部分查姆：施普林格。莱克特。注释计算。科学。11561, 650-669 (2019).MSC公司：60年第68季度 34千20 93立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{S.Feng}等人，Lect。注释计算。科学。11561650-669（2019年；Zbl 1533.68156） 全文： 内政部 OA许可证
陈明帅;马丁·范策尔;李杨佳;彼得·莫萨德（Peter N.Mosaad）。;詹乃军 接下来会发生什么还不确定。合成对延迟交互有弹性的控制器。 （英文） Zbl 1520.91077号 Lahiri，Shuvendu K.（编辑）等人，《验证和分析自动化技术》。第16届国际研讨会，2018年10月7日至10日，美国加利福尼亚州洛杉矶，ATVA 2018。诉讼程序。查姆：施普林格。莱克特。注释计算。科学。11138, 56-74 (2018).MSC公司：91A43型 91A68型 91A05型 91A80型 PDF格式BibTeX公司 XML格式引用 \textit{M.Chen}等人，Lect。注释计算。科学。11138，56-74（2018；Zbl 1520.91077） 全文： 内政部
薛、白;彼得·纳齐尔·莫萨德;马丁·范策尔;陈明帅;李杨佳;詹乃军 时滞微分方程可达集的安全过逼近和欠逼近。 （英文） Zbl 1497.93100号 阿巴特，亚历山德罗（编辑）等，时间系统的形式化建模和分析。2017年9月5-7日在德国柏林举行的2017年FORMATS第15届国际会议。诉讼程序。查姆：施普林格。莱克特。注释计算。科学。10419, 281-299 (2017).MSC公司：93C23型 93B52号 93立方厘米 93个B03 PDF格式BibTeX公司 XML格式引用 \textit{B.Xue}等人，Lect。注释计算。科学。10419、281--299（2017年；Zbl 1497.93100） 全文： 内政部
陈明帅;马丁·范策尔;李杨佳;彼得·莫萨德（Peter N.Mosaad）。;詹乃军 验证了基于仿真的延迟微分动力学验证。 （英文） Zbl 1427.68163号 Fitzgerald，John（编辑）等，FM 2016：形式方法。第21届国际研讨会，2016年11月9日至11日，塞浦路斯利马索尔。诉讼程序。查姆：施普林格。莱克特。注释计算。科学。9995, 137-154 (2016).MSC公司：60年第68季度 34K05号 37立方厘米10 PDF格式BibTeX公司 XML格式引用 \textit{M.Chen}等人，Lect。注释计算。科学。9995，137--154（2016；Zbl 1427.68163） 全文： 内政部