马克·韦兹林格;尼古拉斯·科奇杜普尔;斯坦利·巴克;马蒂亚斯·阿尔霍夫 使用支持函数的可达性分析对线性系统进行全自动验证。 （英语） Zbl 07807946号 第26届ACM混合系统国际会议论文集：计算与控制，HSCC 2023，第16届CPS-IoT周，美国德克萨斯州圣安东尼奥，2023年5月9日至12日。纽约州纽约市：计算机协会（ACM）。第5号论文，第12页（2023年）。MSC公司：65年第68季度 60年第68季度 93立方 PDF格式BibTeX公司 XML格式引用 \textit{M.Wetzlinger}等人，in：《第26届ACM混合系统国际会议论文集：计算与控制》，HSCC 2023，第16届CPS-IoT周，美国德克萨斯州圣安东尼奥，2023年5月9日至12日。纽约州纽约市：计算机协会（ACM）。第5号论文，第12页（2023；Zbl 07807946） 全文： 内政部 链接
斯特凡·舒普;艾丽卡·阿尔布拉汉姆;特里斯坦·埃伯特 混合系统验证理论和工具支持的最新发展HyPro公司. （英语） 兹伯利07629138 Inf.计算。 289，A部分，文章ID 104945，25 p.（2022）.MSC公司：60年第68季度 93-04 93个B03 93立方 PDF格式BibTeX公司 XML格式引用 \textit{S.Schupp}等人，《信息计算》。289，A部分，文章ID 104945，25 p.（2022；Zbl 07629138） 全文： 内政部 OA许可证
马尼什·戈亚尔;帕拉萨拉·斯里达尔·达吉拉拉 提取线性混杂系统中安全违规引起的反例。 （英语） 兹比尔1442.93020 Automatica公司 117，文章ID 109005，12 p.（2020）.MSC公司：93立方 93亿B55 93二氧化碳 90C05（二氧化碳） 90立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{M.Goyal}和\textit{P.S.Duggirala}，Automatica 117，文章ID 109005，12 P.（2020；Zbl 1442.93020） 全文： 内政部
拉坦·拉尔;帕维特拉·普拉巴卡 概率混合系统可达性的有界验证。 （英语） Zbl 1514.68139号 McIver，Annabelle（编辑）等人，《系统的定量评估》。2018年9月4日至7日，第15届QEST国际会议，中国北京。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。11024, 240-256 (2018).MSC公司：60年第68季度 90立方厘米 93个B03 93立方厘米 93立方 PDF格式BibTeX公司 XML格式引用 \textit{R.Lal}和\textit{P.Prabhakar}，莱克特。注释计算。科学。11024，240-256（2018；Zbl 1514.68139） 全文： 内政部
伊娃·M·纳瓦罗·洛佩斯。;卡特、丽贝卡 混合动力系统中的死性和如何反驳活性。 （英语） Zbl 1345.68215号 西奥。计算。科学。 642, 1-23 (2016).MSC公司：65年第68季度 60年第68季度 93立方 93D05型 PDF格式BibTeX公司 XML格式引用 \textit｛E.M.Navarro-López｝和\textit｛R.Carter｝，Theor。计算。科学。642，1--23（2016；Zbl 1345.68215） 全文： 内政部 OA许可证
辛齐亚·伯纳德斯基;安德烈亚·多梅尼奇 通过原型验证系统的交互式定理证明，验证非线性控制的安全特性。 （英语） Zbl 1356.68177号 信息处理。莱特。 116，第6号，409-415（2016）.MSC公司：68吨15 60年第68季度 93立方厘米 93立方 PDF格式BibTeX公司 XML格式引用 \textit{C.Bernardeschi}和\textit{A.Domenici}，Inf.过程。莱特。116，第6号，409--415（2016；Zbl 1356.68177） 全文： 内政部 链接
大卫·布雷索林;卢卡·杰雷蒂;蒂齐亚诺别墅;彼得·柯林斯 混合系统验证介绍阿里阿德涅. （英语） Zbl 1403.93108号 van Schuppen，Jan H.（编辑）等人，《分布式系统的协调控制》。查姆：施普林格（ISBN 978-3-319-10406-5/pbk；978-3-316-10407-2/电子书）。《控制与信息科学课堂讲稿》456339-346（2015）。MSC公司：93立方 93B40码 93个B03 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{D.Bresolin}等人，Lect。票据控制信息科学。456339-346（2015年；兹比尔1403.93108） 全文： 内政部
林，王;吴敏;杨正峰;曾振兵 使用平方和表示法对混合系统进行精确安全验证。 （英语） Zbl 1343.93051号 科学。中国，信息科学。 57，第5号，文章ID 052101，13 p.（2014）.MSC公司：93立方 90C22型 PDF格式BibTeX公司 XML格式引用 \textit{W.Lin}等人，科学。中国，信息科学。57，第5号，文章ID 052101，13 p.（2014；Zbl 1343.93051） 全文： 内政部 arXiv公司 链接
卢卡·本维努蒂;大卫·布雷索林;彼得·柯林斯;阿尔贝托·法拉利;卢卡·杰雷蒂;蒂齐亚诺别墅 用ARIADNE对非线性混合系统进行假设保证验证。 （英语） Zbl 1284.93121号 国际J鲁棒非线性控制 第4期，第4期，第699-724页（2014年）.MSC公司：93立方 93B15号机组 93立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{L.Benvenuti}等人，《国际鲁棒非线性控制》24，第4期，699--724（2014；Zbl 1284.93121） 全文： 内政部
詹乃军;王淑玲;赵恒军 混合系统的形式化建模、分析和验证。 （英语） 兹比尔1444.68105 刘志明（主编）等，《程序设计理论与形式工程方法的统一》。2013年8月26日至30日在中国上海ICTAC举办的软件工程国际培训学校。高级讲座。柏林：斯普林格。莱克特。注释计算。科学。8050, 207-281 (2013).MSC公司：60年第68季度 03B70号 68伏15 93立方 PDF格式BibTeX公司 XML格式引用 \textit{N.Zhan}等人，Lect。注释计算。科学。8050207--281（2013；Zbl 1444.68105） 全文： 内政部
张丽君;她，志坤;斯特凡·拉特肖恩;霍尔格·赫尔曼斯;恩斯特·莫里茨·哈恩 概率混合系统的安全验证。 （英语） Zbl 1291.93294号 欧洲药典控制 18，第6号，572-587（2012）.MSC公司：93E03型 93立方 PDF格式BibTeX公司 XML格式引用 \textit{L.Zhang}等人，《欧洲期刊控制》第18卷，第6期，第572--587页（2012年；Zbl 1291.93294） 全文： 内政部
贾·戴维德·奎塞尔;马丁·范策尔;达姆，沃纳 跨越类似游戏之间的桥梁。 （英语） Zbl 1348.68147号 Fahrenberg，Uli（编辑）等人，《时间系统的形式化建模和分析》。2011年9月21日至23日，第九届国际会议，FORMATS，丹麦奥尔堡。诉讼程序。柏林：施普林格出版社（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） 全文： 内政部
纳西·拉姆达尼;内迪亚科夫（Nedialko S.）。 使用区间约束传播技术计算不确定非线性混合系统的可达集。 （英语） Zbl 1225.93026号 非线性分析。，混合系统。 5，第2期，149-162（2011）.MSC公司：93个B03 93立方 65G40型 93立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{N.Ramdani}和\textit{N.S.Nedialkov}，非线性分析。，混合系统。5，第2号，149--162（2011；Zbl 1225.93026） 全文： 内政部
贝扎德·阿克巴普尔;劳伦斯·C·鲍尔森。 的应用MetiTarski公司在控制和混合系统的验证中。 （英语） Zbl 1237.93087号 Majumdar，Rupak（编辑）等人，《混合系统：计算和控制》。2009年4月13日至15日在美国加利福尼亚州旧金山举行的2009年HSCC第12届国际会议。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-00601-2/pbk）。计算机科学课堂讲稿5469，1-15（2009）。MSC公司：93立方 60年第68季度 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{B.Akbarpour}和\textit{L.C.Paulson}，莱克特。注释计算。科学。5469，1-15（2009年；兹bl 1237.93087） 全文： 内政部
安德烈亚斯·波德尔斯基;希尔克·瓦格纳 混合系统的模型检验：从可达性到稳定性。 （英语） Zbl 1178.93077号 Hespanha，Joáo（编辑）等人，《混合系统：计算和控制》。2006年3月29日至31日在美国加利福尼亚州圣巴巴拉举行的2006年HSCC第九届国际研讨会。诉讼程序。柏林：施普林格出版社（ISBN 3-540-33170-0/pbk）。计算机科学课堂讲稿3927507-521（2006）。MSC公司：93立方 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Podelski}和\textit{S.Wagner}，莱克特。注释计算。科学。3927507--521（2006年；Zbl 1178.93077） 全文： 内政部
斯特凡·拉特肖恩;她，志坤 基于约束传播的抽象求精的混合系统安全性验证。 （英语） Zbl 1078.93508号 Morari，Manfred（编辑）等人，《混合系统：计算和控制》。2005年3月9日至11日，瑞士苏黎世，2005年HSCC第八届国际研讨会。诉讼程序。柏林：施普林格出版社（ISBN 3-540-25108-1/pbk）。计算机科学课堂讲稿3414573-589（2005）。MSC公司：93个B03 93立方 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Ratschan}和\textit{Z.She}，Lect。注释计算。科学。3414573-589（2005年；Zbl 1078.93508） 全文： 内政部
戈兰·弗雷斯 PHAVer：通过HyTech对混合系统进行算法验证。 （英语） Zbl 1078.93533号 Morari，Manfred（编辑）等人，《混合系统：计算和控制》。2005年3月9日至11日，瑞士苏黎世，2005年HSCC第八届国际研讨会。诉讼程序。柏林：施普林格出版社（ISBN 3-540-25108-1/pbk）。计算机科学课堂讲稿3414，258-273（2005）。MSC公司：93立方 93B25型 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{G.Frehse}，莱克特。注释计算。科学。3414，258--273（2005；Zbl 1078.93533） 全文： 内政部