陈明帅;马丁·范策尔;李，杨佳;彼得·莫萨德（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许可证
薛、白;马丁·范策尔;詹乃军 具有时变不确定性多项式系统的内逼近可达集。 （英语） 兹比尔1533.93056 IEEE传输。自动。控制 65，第4期，1468-1483（2020）.MSC公司：93个B03 90C25型 49升25 PDF格式BibTeX公司 XML格式引用 \textit{B.Xue}等人，IEEE Trans。自动。控制65，编号4，1468--1483（2020；Zbl 1533.93056） 全文： 内政部 arXiv公司
冯胜华;陈明帅;詹乃军;马丁·范策尔;薛、白 控制动力系统中的延迟。时滞微分方程的无界验证。 （英语） Zbl 1533.68156号 Dillig，Isil（编辑）等人，《计算机辅助验证》。2019年7月15日至18日在美国纽约州纽约市举行的第31届CAV 2019国际会议。诉讼程序。第一部分查姆：施普林格。莱克特。注释计算。科学。11561, 650-669 (2019).MSC公司：60年第68季度 34K20码 93立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{S.Feng}等人，Lect。注释计算。科学。11561650-669（2019年；Zbl 1533.68156） 全文： 内政部 OA许可证
薛、白;王秋叶;詹乃军;马丁·范策尔 状态约束摄动多项式系统的鲁棒不变集生成。 （英语） Zbl 07120148号 2019年4月16日至18日，加拿大魁北克蒙特利尔，HSCC 2019，第22届ACM混合系统：计算和控制国际会议记录。纽约州纽约市：计算机协会（ACM）。128-137 (2019).MSC公司：65年第68季度 60年第68季度 93立方 PDF格式BibTeX公司 XML格式引用 \textit{B.Xue}等人，in：《第22届ACM混合系统国际会议论文集：计算与控制》，2019年HSCC，加拿大魁北克省蒙特利尔，2019月16-18日。纽约州纽约市：计算机协会（ACM）。128-137（2019年；Zbl 07120148） 全文： 内政部
马丁·范策尔（编辑）;卡普尔，迪帕克（编辑）;海克·卫尔海姆（编辑）;詹乃军（编辑） 编辑。 （英语） Zbl 1425.68010号 正式Asp。计算。 31，第1、1号（2019年）.MSC公司：68-06 68牛顿 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{M.Fränzle}（编辑）等，《形式语法》。计算。31，第1、1号（2019年；Zbl 1425.68010） 全文： 内政部
陈明帅;马丁·范策尔;李，杨佳;彼得·莫萨德（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 1417.93064号 第21届ACM混合系统国际会议论文集：计算与控制，HSCC 2018，葡萄牙波尔图，2018年4月11-13日。纽约州纽约市：计算机协会（ACM）。51-60 (2018).MSC公司：93个B03 93B40码 93C20美元 90C22型 90C25型 90立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{B.Xue}等人，in：《第21届ACM混合系统国际会议论文集：计算与控制》，HSCC 2018，葡萄牙波尔图，2018年4月11-13日。纽约州纽约市：计算机协会（ACM）。51-60（2018年；Zbl 1417.93064） 全文： 内政部
薛、白;王秋叶;詹乃军;马丁·范策尔;冯胜华 基于不变量生成的到达-无效微分对策。 arXiv：1811.03215 预印本，arXiv:1811.03215[math.OC]（2018）。 BibTeX公司 引用 \textit{B.Xue}等人，“基于不变生成的Reach-Avoid微分对策”，预印本，arXiv:1811.03215[math.OC]（2018） 全文： arXiv公司 OA许可证
薛、白;彼得·纳齐尔·莫萨德;马丁·范策尔;陈明帅;李，杨佳;詹乃军 时滞微分方程可达集的安全过逼近和欠逼近。 （英语） Zbl 1497.93100号 阿巴特，亚历山德罗（编辑）等，时间系统的形式化建模和分析。第15届国际会议，FORMATS 2017，德国柏林，2017年9月5日至7日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。10419, 281-299 (2017).MSC公司：93立方厘米 第93页第52页 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立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{M.Chen}等人，Lect。注释计算。科学。9995，137--154（2016；Zbl 1427.68163） 全文： 内政部
马丁·范策尔（编辑）;卡普尔，迪帕克（编辑）;詹乃军（编辑） 可靠的软件工程：理论、工具和应用。2016年11月9日至11日，第二届国际研讨会，SETTA 2016，中国北京。诉讼程序。 （英语） Zbl 1347.68007号 计算机科学课堂讲稿9984.查姆：施普林格（ISBN 978-3-319-47676-6/pbk；978-3-3169-47677-3/电子书）。十八、323页。(2016).MSC公司：68-06 68牛顿 00B25型 PDF格式BibTeX公司 XML格式引用 \textit｛M.Fränzle｝（编辑）等人，《可靠软件工程：理论、工具和应用》。2016年11月9日至11日，第二届国际研讨会，SETTA 2016，中国北京。诉讼程序。查姆：斯普林格（2016；Zbl 1347.68007） 全文： 内政部
邹亮;马丁·范策尔;詹乃军;彼得·纳齐尔·莫萨德 时滞微分方程稳定性和安全性的自动验证。 （英语） Zbl 1381.68188号 Kroening，Daniel（编辑）等人，《计算机辅助验证》。2015年7月18日至24日，第27届国际会议，CAV 2015，美国加利福尼亚州旧金山。诉讼程序。第二部分。查姆：施普林格（ISBN 978-3-319-21667-6/pbk；978-3-3169-21668-3/ebook）。计算机科学课堂讲稿9207338-355（2015）。MSC公司：60年第68季度 34K20码 93立方 PDF格式BibTeX公司 XML格式引用 \textit{L.Zou}等人，Lect。注释计算。科学。9207338--355（2015；Zbl 1381.68188） 全文： 内政部
邹亮;詹乃军;王淑玲;马丁·范策尔 Simulink/Stateflow图的正式验证。 （英语） Zbl 1471.68159号 Finkbeiner，Bernd（编辑）等人，《验证和分析自动化技术》。2015年10月12日至15日，第13届国际研讨会，亚洲电视协会，中国上海。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。9364, 464-481 (2015).MSC公司：60年第68季度 68伏15 第93页至第10页 93立方 93立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{L.Zou}等人，Lect。注释计算。科学。9364、464--481（2015年；Zbl 1471.68159） 全文： 内政部