丹尼尔·斯特劳泽;布莱恩·威廉姆斯 通过混合搜索实现复杂代理和环境下的不确定性运动规划。 (英语) Zbl 07596563号 J.阿蒂夫。智力。研究(JAIR) 75, 1-81 (2022).MSC公司:68次发射 PDF格式BibTeX公司 XML格式引用 \textit{D.Strawser}和\textit{B.Williams},J.Artif。智力。研究(JAIR)75,1--81(2022;Zbl 07596563) 全文: 内政部
胡瑞奇;李美伦;她,志坤 OURS:解析时不变微分方程的过逼近和欠逼近可达集。 (英语) Zbl 1505.65328号 秦胜超(主编)等,可靠软件工程。理论、工具和应用。第七届国际研讨会,SETTA 2021,中国北京,2021年11月25-27日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。13071, 261-278 (2021).MSC公司:65日元 PDF格式BibTeX公司 XML格式引用 \textit{R.Hu}等人,Lect。注释计算。科学。13071、261--278(2021;Zbl 1505.65328) 全文: 内政部
Tsachouridis,Vassilios A。;乔治·詹塔米迪斯;Stylianos巴萨吉安尼斯;科斯塔斯库拉马斯 Schulz矩阵反演算法的形式化分析:通用矩阵流求解器的计算机辅助验证范例。 (英语) Zbl 1458.65035号 数字。代数控制优化。 177-206年第2期第10期(2020年).MSC公司:65层10 2009年10月15日 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{V.A.Tsachouridis}等人,数字。代数控制优化。10,编号2,177--206(2020;Zbl 1458.65035) 全文: 内政部
Jan Kuřátko 动态系统优化中鞍点矩阵的因式分解-重用枢轴。 (英语) Zbl 1410.65079号 线性代数应用。 566, 61-85 (2019).MSC公司:65平方英尺 65层50 65千5 90立方厘米20 90立方 PDF格式BibTeX公司 XML格式引用 \textit{J.Kuřátko},线性代数应用。566、61-85(2019年;Zbl 1410.65079) 全文: 内政部 arXiv公司
纳瓦罗·洛佩斯,E.M。;医学博士O'Toole。 多刚体机械系统混合自动机的自动生成及其在安全特性伪造中的应用。 (英语) Zbl 1485.93277号 数学。计算。模型。动态。系统。 24,第1号,44-75(2018).MSC公司:93立方 2005年第70季度 92-08 PDF格式BibTeX公司 XML格式引用 \textit{E.M.Navarro-López}和\textit{M.D.O'Toole},数学。计算。模型。动态。系统。24,第1号,44--75(2018;Zbl 1485.93277) 全文: 内政部
安德烈亚斯·霍夫曼。;布莱恩·威廉姆斯。 动态混合系统的时空灵活计划执行。 (英语) Zbl 1420.68212号 Artif公司。智力。 247, 266-294 (2017).MSC公司:68T40型 68分20秒 PDF格式BibTeX公司 XML格式引用 \textit{A.G.霍夫曼}和\textit{B.C.威廉姆斯},阿蒂夫。智力。247266-294(2017;Zbl 1420.68212) 全文: 内政部
亚历山德罗·西马蒂;塞尔吉奥·莫弗;斯特凡诺·托内塔 混合系统不变量的无量子化编码。 (英语) Zbl 1317.68111号 形式方法系统。设计。 45,第2期,165-188(2014).MSC公司:60年第68季度 93立方 PDF格式BibTeX公司 XML格式引用 \textit{A.Cimatti}等人,《形式方法系统》。设计。45,第2号,165--188(2014;Zbl 1317.68111) 全文: 内政部
伊恩·米切尔(Ian M.Mitchell)。;沙哈卜·卡纳玛;陈,莫;Meeko Oishi先生 采样数据系统的安全保护控制综合。 (英语) Zbl 1291.93192号 非线性分析。,混合系统。 10, 63-82 (2013).MSC公司:93元57 93亿B50 93立方厘米 93个B03 PDF格式BibTeX公司 XML格式引用 \textit{I.M.Mitchell}等人,《非线性分析》。,混合系统。10、63——82(2013年;Zbl 1291.93192) 全文: 内政部
埃里昂·普拉库;利迪亚·卡夫拉基。;莫舍·瓦尔迪。 混合系统中LTL安全特性的伪造。 (英语) Zbl 1234.68264号 Kowalewski,Stefan(编辑)等人,《系统构建和分析的工具和算法》。2009年3月22日至29日在英国约克举行的第15届国际会议TACAS 2009,是欧洲软件理论与实践联合会议的一部分。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-00767-5/pbk)。计算机科学讲座笔记5505368-382(2009)。MSC公司:60年第68季度 93立方 PDF格式BibTeX公司 XML格式引用 \textit{E.Plaku}等人,Lect。注释计算。科学。5505368-382(2009年;Zbl 1234.68264) 全文: 内政部