薛、白;马丁·范策尔;詹乃军 具有时变不确定性多项式系统的内逼近可达集。 (英语) Zbl 1533.93056号 IEEE传输。自动。控制 65,第4期,1468-1483(2020).MSC公司:93个B03 90立方厘米25 49升25 PDF格式BibTeX公司 XML格式引用 \textit{B.Xue}等人,IEEE Trans。自动。控制65,编号4,1468--1483(2020;Zbl 1533.93056) 全文: 内政部 arXiv公司
冯胜华;陈明帅;詹乃军;马丁·范策尔;薛、白 控制动力系统中的延迟。时滞微分方程的无界验证。 (英语) Zbl 1533.68156号 Dillig,Isil(编辑)等人,《计算机辅助验证》。第31届国际会议,CAV 2019,美国纽约市,2019年7月15日至18日。诉讼程序。第一部分查姆:施普林格。莱克特。注释计算。科学。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公司:93至XX 49倍X 90至XX PDF格式BibTeX公司 XML格式引用 \textit{B.Xue}等人,in:《第22届ACM混合系统国际会议论文集:计算与控制》,2019年HSCC,加拿大魁北克省蒙特利尔,2019月16-18日。纽约州纽约市:计算机协会(ACM)。128-137(2019年;Zbl 07120148) 全文: 内政部
薛、白;马丁·范策尔;詹乃军 多项式连续系统的欠逼近可达集。 (英语) Zbl 1417.93064号 第21届ACM混合系统国际会议论文集:计算与控制,HSCC 2018,葡萄牙波尔图,2018年4月11-13日。纽约州纽约市:计算机协会(ACM)。51-60 (2018).MSC公司:93个B03 93B40码 93C20美元 90C22型 90立方厘米25 90立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{B.Xue}等人,in:《第21届ACM混合系统国际会议论文集:计算与控制》,HSCC 2018,葡萄牙波尔图,2018年4月11-13日。纽约州纽约市:计算机协会(ACM)。51-60(2018年;Zbl 1417.93064) 全文: 内政部
李美伦;彼得·莫萨德(Peter N.Mosaad)。;马丁·范策尔;她,直坤;薛、白 自治动力系统可达集的安全过逼近和欠逼近。 (英语) Zbl 1518.93015号 Jansen,David N.(编辑)等人,《时间系统的形式化建模和分析》。2018年9月4日至6日,第16届国际会议,FORMATS 2018,中国北京。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。11022, 252-270 (2018).MSC公司:93个B03 93C85号 PDF格式BibTeX公司 XML格式引用 \textit{M.Li}等人,Lect。注释计算。科学。11022252-270(2018年;兹比尔1518.93015) 全文: 内政部
薛、白;彼得·纳齐尔·莫萨德;马丁·范策尔;陈明帅;李,杨佳;詹乃军 时滞微分方程可达集的安全过逼近和欠逼近。 (英语) 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) 全文: 内政部
薛、白;阿文德·伊斯瓦兰;Nam-Joon Cho;马丁·范策尔 基于边界分析的非线性系统可达性验证。 (英语) Zbl 1370.93045号 IEEE传输。自动。控制 62,第7号,3518-3523(2017).MSC公司:93个B03 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{B.Xue}等人,IEEE Trans。自动。控制62,编号7,3518-3523(2017;Zbl 1370.93045) 全文: 内政部
彼得·纳齐尔·莫萨德;马丁·范策尔;薛、白 时滞微分方程的时序逻辑验证。 (英语) Zbl 1482.68145号 Sampaio,Augusto(编辑)等人,《计算的理论方面——ICTAC 2016》。第十三届国际学术讨论会,中华民国台湾台北,2016年10月24日至31日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。9965, 405-421 (2016).MSC公司:60年第68季度 03B44号 34K07号 65升03 93立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{P.Nazier Mosaad}等人,Lect。注释计算。科学。9965,405--421(2016;Zbl 1482.68145) 全文: 内政部