罗、二台；尼古拉斯·科奇杜普尔；斯坦利·巴克 利用多项式分区图对具有不确定参数的线性系统进行可达性分析。 （英语） Zbl 07807958号 第26届ACM混合系统国际会议论文集：计算与控制，HSCC 2023，第16届CPS-IoT周，美国德克萨斯州圣安东尼奥，2023年5月9日至12日。纽约州纽约市：计算机协会（ACM）。第17号论文，第12页（2023年）。MSC公司：65年第68季度 60年第68季度 93立方 PDF格式BibTeX公司 XML格式引用 \textit{E.Luo}等人，in：《第26届ACM混合系统国际会议论文集：计算与控制》，HSCC 2023，第16届CPS-IoT周，美国德克萨斯州圣安东尼奥，2023年5月9日至12日。纽约州纽约市：计算机协会（ACM）。第17号论文，第12页（2023；Zbl 07807958） 全文： 内政部
维格内什·拉古拉曼；贾斯汀·科尔恩（Justin P.Koeln）。 为受限分区设置操作和订单减少。 （英语） Zbl 1485.93101号 Automatica公司 139，文章ID 110204，13 p.（2022）.MSC公司：93B11号机组 93二氧化碳 PDF格式BibTeX公司 XML格式引用 \textit｛V.Raghuraman｝和\textit｛J.P.Koeln｝，自动化139，文章ID 110204，第13页（2022；Zbl 1485.93101） 全文： 内政部 arXiv公司
巴斯蒂安·舒尔曼；里卡多·维格纳利；玛丽亚·普兰迪尼；马蒂亚斯·阿尔霍夫 具有状态和驱动约束的扰动分段仿射系统的基于集合的控制。 （英语） Zbl 1441.93167号 非线性分析。，混合系统。 36，文章ID 100826，17 p.（2020）.MSC公司：93C55美元 93B52号 93个B03 PDF格式BibTeX公司 XML格式引用 \textit{B.Schürmann}等人，《非线性分析》。，混合系统。36，文章ID 100826，17 p.（2020；Zbl 1441.93167） 全文： 内政部 链接
雨果·内斯托·维莱加斯·皮科；Aliprantis，酒神C。 具有常数、任意和Lipschitz连续输入的线性动态系统的可达性分析。 （英语） Zbl 1402.93051号 Automatica公司 95293-305（2018）.MSC公司：93个B03 93二氧化碳 93立方厘米 93B40码 PDF格式BibTeX公司 XML格式引用 \textit{H.N.Villegas Pico}和\textit{D.C.Aliprantis}，Automatica 95，293--305（2018；Zbl 1402.93051） 全文： 内政部 链接
劳伦特·多恩；戈兰·弗雷斯；乔治·帕帕斯。；安德烈·普拉泽 混合动力系统的验证。 （英语） Zbl 1392.68246号 Clarke，Edmund M.（编辑）等人，《模型检查手册》。查姆：施普林格（ISBN 978-3-319-10574-1/hbk；978-3-3169-10575-8/电子书）。1047-1110 (2018).MSC公司：60年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{L.Doyen}等人，in：模型检查手册。查姆：斯普林格。1047--1110（2018；Zbl 1392.68246） 全文： 内政部
斯坦利·巴克；帕拉萨拉·斯里达尔·达吉拉拉 基于严格仿真的线性混合系统分析。 （英语） Zbl 1452.68098号 Legay，Axel（编辑）等人，《系统构建和分析的工具和算法》。2017年4月22日至29日在瑞典乌普萨拉举行的第23届国际会议（TACAS 2017），是欧洲软件理论与实践联合会议（ETAPS 2017）的一部分。诉讼程序。第一部分柏林：施普林格。莱克特。票据计算。科学。10205, 555-572 (2017).MSC公司：65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Bak}和\textit{P.S.Duggirala}，莱克特。票据计算。科学。10205555--572（2017；Zbl 1452.68098） 全文： 内政部
米查尔·科内奇；瓦利德·塔哈；Ferenc A.Bartha。；简·杜拉茨；亚当·杜拉茨；亚伦·D·埃姆斯。 封闭混合自动机在Zeno点前后的行为。 （英语） Zbl 1336.93085号 非线性分析。，混合系统。 20, 1-20 (2016).MSC公司：93立方 93B40码 37纳米35 PDF格式BibTeX公司 XML格式引用 \textit{M.Konečn}等人，《非线性分析》。，混合系统。20，1--20（2016；Zbl 1336.93085） 全文： 内政部
艾克·莫尔曼；威廉·哈格曼；奥利弗·泰尔 用于混合动力系统的混合动力工具——同时证明稳定性和安全性。 （英语） Zbl 1465.93101号 Sankaranarayanan，Sriram（编辑）等人，时间系统的形式化建模和分析。第13届国际会议，FORMATS 2015，西班牙马德里，2015年9月2-4日。诉讼程序。查姆：斯普林格。莱克特。票据计算。科学。9268222-239（2015年）。MSC公司：93立方 65年第68季度 60年第68季度 93个B03 93D05型 PDF格式BibTeX公司 XML格式引用 \textit{E.Möhlmann}等人，Lect。票据计算。科学。9268、222--239（2015；Zbl 1465.93101） 全文： 内政部
穆萨·马伊加；纳西姆·拉姆达尼；Travé-Massuyès，路易丝；克利斯朵夫·康巴斯特 在非线性混合可达性中求解保护集交集的CSP与基于分区的方法。 （英语） Zbl 1302.65123号 数学。计算。科学。 8，编号3-4，407-423（2014）.MSC公司：65G40型 93立方 34A38型 PDF格式BibTeX公司 XML格式引用 \textit{M.Maíga}等人，《数学》。计算。科学。8、编号3--4、407--423（2014；Zbl 1302.65123） 全文： 内政部 哈尔