马哈提·阿南德;阿波法兹·拉瓦伊;马吉德·扎马尼 针对\(ω)-正则规范的随机系统网络的控制屏障证书的合成。 (英语) 兹比尔07812047 非线性分析。,混合系统。 51,文章ID 101427,20 p.(2024).MSC公司:93亿B50 93E03型 93C55美元 93B70型 PDF格式BibTeX公司 XML格式引用 \textit{M.Anand}等人,《非线性分析》。,混合系统。51,文章ID 101427,20 p.(2024;Zbl 07812047) 全文: 内政部 arXiv公司
科恩,马克斯·H。;塞林,扎卡里;莱希、凯文;加利福尼亚州贝尔塔 时序逻辑指导的基于安全模型的强化学习:一种混合系统方法。 (英语) Zbl 1505.93116号 非线性分析。,混合系统。 47,文章ID 101295,23 p.(2023).MSC公司:93立方 93C40型 03B44号 93立方厘米10 PDF格式BibTeX公司 XML格式引用 \textit{M.H.Cohen}等人,《非线性分析》。,混合系统。47,文章ID 101295,23 p.(2023;Zbl 1505.93116) 全文: 内政部
埃齐奥·巴托西;布洛克,罗德里克;马德巴赫,贝内迪克特;奈维迪塔·曼朱纳特;德扬·尼契科维奇 CPS模型中规范覆盖和细化的自适应测试。 (英语) Zbl 07601773号 非线性分析。,混合系统。 46,文章ID 101254,16 p.(2022).MSC公司:68倍 93至XX PDF格式BibTeX公司 XML格式引用 \textit{E.Bartocci}等人,《非线性分析》。,混合系统。46,文章ID 101254,16 p.(2022;Zbl 07601773) 全文: 内政部
林德曼,拉尔斯;迪马罗戈纳斯,迪莫斯五世。 信号时序逻辑规范片段下全驱动系统的漏斗控制。 (英语) Zbl 1478.93136号 非线性分析。,混合系统。 39,文章ID 100973,17 p.(2021).MSC公司:93B35型 93B52号 93立方 03B44号 92D25型 PDF格式BibTeX公司 XML格式引用 \textit{L.Lindemann}和\textit{D.V.Dimarogonas},非线性分析。,混合系统。39,文章ID 100973,17 p.(2021;Zbl 1478.93136) 全文: 内政部
韩慧珍;里卡多·桑费利斯(Ricardo G.Sanfelice)。 混合动力系统的线性时序逻辑:特征和充分条件。 (英语) Zbl 1441.93132号 非线性分析。,混合系统。 36,文章ID 100865,18 p.(2020).MSC公司:93立方 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{H.Han}和\textit{R.G.Sanfelice},非线性分析。,混合系统。36,文章ID 100865,18 p.(2020;Zbl 1441.93132) 全文: 内政部 arXiv公司
马里亚·斯沃雷奥娃;简·Křetínsk;马丁·奇梅利克;克里希南德·查特吉;伊万娜·乔纳;加利福尼亚州贝尔塔 随机线性系统的时间逻辑控制,使用概率对策的抽象精化。 (英语) Zbl 1351.93138号 非线性分析。,混合系统。 23, 230-253 (2017).MSC公司:93E03型 93二氧化碳 93C55美元 91A15型 93E25型 PDF格式BibTeX公司 XML格式引用 \textit{M.Svoreňová}等人,《非线性分析》。,混合系统。23、230-253(2017年;Zbl 1351.93138) 全文: 内政部 arXiv公司
刘军;内克米耶·奥扎伊 基于时序逻辑的控制综合的具有鲁棒裕度的有限抽象。 (英语) Zbl 1344.93046号 非线性分析。,混合系统。 22, 1-15 (2016).MSC公司:93亿B50 93B35型 93C57 93立方厘米 93C40型 PDF格式BibTeX公司 XML格式引用 \textit{J.Liu}和\textit{N.Ozay},非线性分析。,混合系统。22、1-15(2016;Zbl 1344.93046) 全文: 内政部
艾丁·戈尔(Ebru Aydin Gol);加利福尼亚州贝尔塔 多仿射系统的时间约束时序逻辑控制。 (英语) Zbl 1302.93113号 非线性分析。,混合系统。 10, 21-33 (2013). 审核人:Wiesław Kotarski(索斯诺伊克) MSC公司:93B52号 93个B05 49公里15 70年第68季度 90C25型 PDF格式BibTeX公司 XML格式引用 \textit{E.Aydin Gol}和\textit{C.Belta},非线性分析。,混合系统。10、21——33(2013;Zbl 1302.93113) 全文: 内政部 arXiv公司
沃克,马丁;伊安尼斯·帕帕佐普洛斯 基于PANDORA的时序故障树的合成与分析:优先级和门的时间。 (英语) Zbl 1279.90052号 非线性分析。,混合系统。 2,第2号,368-382(2008).MSC公司:90B25型 93元65角 PDF格式BibTeX公司 XML格式引用 \textit{M.Walker}和\textit{Y.Papadopoulos},非线性分析。,混合系统。2,第2号,368--382(2008;Zbl 1279.90052) 全文: 内政部