薛、白;马丁·范策尔;詹乃军 具有时变不确定性多项式系统的内逼近可达集。 （英语） 兹比尔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 1518.68170号 Jones，Cliff（编辑）等人，实时和混合系统研讨会。在周朝晨教授80岁生日之际为他撰写的论文。查姆：斯普林格。莱克特。注释计算。科学。11180, 165-185 (2018).MSC公司：65年第68季度 91A80型 93立方 PDF格式BibTeX公司 XML格式引用 \textit{M.Fränzle}和\textit{P.Kröger}，Lect。注释计算。科学。11180165-185（2018年；Zbl 1518.68170） 全文： 内政部
薛、白;马丁·范策尔;詹乃军 多项式连续系统的欠逼近可达集。 （英语） Zbl 1417.93064号 第21届ACM混合系统国际会议论文集：计算与控制，HSCC 2018，葡萄牙波尔图，2018年4月11-13日。纽约州纽约市：计算机协会（ACM）。51-60 (2018).MSC公司：93个B03 93B40码 93立方厘米20 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） 全文： 内政部
李美伦;彼得·莫萨德（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。注释计算。科学。11022、252--270（2018；Zbl 1518.93015） 全文： 内政部
马丁·范策尔（编辑）;安托万·吉拉德（编辑）;约翰·莱杰罗斯（编辑）;桑卡拉纳拉亚南，斯里拉姆（编辑） 混合系统专题：计算和控制。 （英语） Zbl 1384.00108号 非线性分析。，混合系统。 27, 174-176 (2018).MSC公司：00B25型 2006年3月 PDF格式BibTeX公司 XML格式引用 \textit{M.Fränzle}（编辑）等人，《非线性分析》。，混合系统。27174--176（2018；Zbl 1384.00108） 全文： 内政部 哈尔
薛、白;彼得·纳齐尔·莫萨德;马丁·范策尔;陈明帅;李，杨佳;詹乃军 时滞微分方程可达集的安全过逼近和欠逼近。 （英语） Zbl 1497.93100号 阿巴特，亚历山德罗（编辑）等，时间系统的形式化建模和分析。第15届国际会议，FORMATS 2017，德国柏林，2017年9月5日至7日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。10419, 281-299 (2017).MSC公司：93立方厘米 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） 全文： 内政部
邹亮;马丁·范策尔;詹乃军;彼得·纳齐尔·莫萨德 时滞微分方程稳定性和安全性的自动验证。 （英语） 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） 全文： 内政部
马丁·范策尔;塞巴斯蒂安·格温;保罗·克罗格;亚历山德罗·阿巴特;Joost-Pieter卡托恩 概率混合系统中的多目标参数综合。 （英语） Zbl 1465.68177号 Sankaranarayanan，Sriram（编辑）等人，时间系统的形式化建模和分析。2015年9月2日至4日，第13届国际会议，FORMATS 2015，西班牙马德里。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。9268, 93-107 (2015).MSC公司：60年第68季度 65年第68季度 87年第68季度 93立方 PDF格式BibTeX公司 XML格式引用 \textit{M.Fränzle}等人，Lect。注释计算。科学。9268、93-107（2015年；Zbl 1465.68177） 全文： 内政部
马丁·范策尔（编辑）;安东尼奥斯·索尔多斯（编辑） 2013年6月6日，德国萨尔布吕肯，混合自治系统第一次研讨会会议记录。 （英语） 兹比尔1310.68009 理论计算机科学电子笔记297.阿姆斯特丹：爱思唯尔。88页。，仅电子版（2013年）。MSC公司：68-06 93-06 65年第68季度 93立方 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{M.Fränzle}（编辑）和\textit{A.Tsordos}（编），混合自治系统第一次研讨会论文集，德国萨尔布吕肯，2013年6月6日。阿姆斯特丹：爱思唯尔（2013；Zbl 1310.68009） 全文： 链接
贾·戴维德·奎塞尔;马丁·范策尔;达姆，沃纳 跨越类似游戏之间的桥梁。 （英语） Zbl 1348.68147号 Fahrenberg，Uli（编辑）等人，《时间系统的形式化建模和分析》。2011年9月21日至23日，第九届国际会议，FORMATS 2011，丹麦奥尔堡。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-24309-7/pbk）。计算机科学课堂讲稿6919，160-176（2011）。MSC公司：60年第68季度 65年第68季度 91A80型 93立方 PDF格式BibTeX公司 XML格式引用 \textit{J.-D.Quesel}等人，Lect。注释计算。科学。6919、160--176（2011年；Zbl 1348.68147） 全文： 内政部
蒂诺·特伊格;安德烈亚斯·艾格斯;马丁·范策尔 并发概率混合系统的基于约束的分析：网络自动化系统的应用。 （英语） Zbl 1225.93102号 非线性分析。，混合系统。 5，第2期，343-366（2011）.MSC公司：93电子03 93个B03 93立方 PDF格式BibTeX公司 XML格式引用 \textit{T.Teige}等人，《非线性分析》。，混合系统。5，编号2434-366（2011年；兹bl 1225.93102） 全文： 内政部
马丁·范策尔;霍尔格·赫尔曼斯;蒂诺·特伊格 随机可满足性模理论：概率混合系统分析的新技术。 （英语） Zbl 1143.68452号 Egerstedt，Magnus（编辑）等人，《混合系统：计算和控制》。2008年4月22日至24日在美国密苏里州圣路易斯举行的2008年HSCC第11届国际研讨会。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-78928-4/pbk）。计算机科学课堂讲稿4981172-186（2008）。MSC公司：60年第68季度 65年第68季度 93立方 PDF格式BibTeX公司 XML格式引用 \textit{M.Fränzle}等人，Lect。注释计算。科学。4981、172--186（2008年；Zbl 1143.68452） 全文： 内政部