吉安尼斯·德尔姆帕尔塔基斯;加布里埃尔·德·阿尔伯克基·格莱泽;伊沃·范斯特拉伦;Manuel jun,马祖。 ETMetera:超出事件触发控制。 (英语) Zbl 07807728号 第25届ACM混合系统国际会议论文集:计算与控制,HSCC 2022,CPS-IoT周,意大利米兰,虚拟,2022年5月4-6日。纽约州纽约市:计算机协会(ACM)。第20号论文,第11页(2022年)。MSC公司:第68季度第45季度 60年第68季度 93立方 PDF格式BibTeX公司 XML格式引用 \textit{G.Delimpaltadakis}等人,in:《第25届ACM混合系统国际会议论文集:计算与控制》,HSCC 2022,CPS-IoT周的一部分,意大利米兰,虚拟,2022年5月4-6日。纽约州纽约市:计算机协会(ACM)。第20号论文,第11页(2022;Zbl 07807728) 全文: 内政部 arXiv公司
白、云君;甘婷;焦、李;夏碧灿;薛、白;詹乃军 扰动下时滞混合系统的切换控制器综合。 (英语) Zbl 07807676号 2021年5月19日至21日,美国田纳西州纳什维尔,第24届ACM混合系统国际会议论文集:计算与控制,HSCC 2021,CPS-IoT周的一部分。纽约州纽约市:计算机协会(ACM)。第3号论文,第11页(2021年)。MSC公司:第68季度第45季度 60年第68季度 93立方 PDF格式BibTeX公司 XML格式引用 \textit{Y.Bai}等人,in:《第24届ACM混合系统国际会议论文集:计算与控制》,HSCC 2021,CPS-IoT周的一部分,美国田纳西州纳什维尔,2021年5月19-21日。纽约州纽约市:计算机协会(ACM)。第3号论文,第11页(2021;Zbl 07807676) 全文: 内政部 arXiv公司
阿布谢克,阿卡什;苏德,哈里;Jeannin、Jean-Baptiste 汽车转弯时制动的正式验证。 (英语) Zbl 07300868号 第23届ACM混合系统国际会议论文集:计算与控制,HSCC 2020,澳大利亚悉尼,虚拟,2020年4月21日至24日。纽约州纽约市:计算机协会(ACM)。第27条,第11页(2020年)。MSC公司:第68季度第45季度 60年第68季度 93立方 PDF格式BibTeX公司 XML格式引用 \textit{A.Abhishek}等人,在:第23届ACM混合系统国际会议论文集:计算与控制,HSCC 2020,澳大利亚悉尼和虚拟,2020年4月21-24日。纽约州纽约市:计算机协会(ACM)。第27条,第11页(2020;Zbl 07300868) 全文: 内政部
安德鲁·索戈孔;保罗·B·杰克逊。;泰勒·T·约翰逊。 使用流管道和连续不变量验证混合系统中的安全性和持久性。 (英语) Zbl 1468.68135号 J.自动化。推理 63,第4号,1005-1029(2019).MSC公司:60年第68季度 第68季度第45季度 93个B03 93立方 PDF格式BibTeX公司 XML格式引用 \textit{A.Sogokon}等人,J.Autom。推理63,No.4,1005--1029(2019;Zbl 1468.68135) 全文: 内政部 链接
纳瓦罗·洛佩斯,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 1400.68140号 西奥。计算。科学。 747, 75-99 (2018).MSC公司:68问题85 06B35号 18B20型 93B25型 PDF格式BibTeX公司 XML格式引用 \textit{E.Moggi}等人,Theor。计算。科学。747,75-99(2018;Zbl 1400.68140) 全文: 内政部 arXiv公司
斯坦利·巴克;塞尔吉·博戈莫洛夫;马蒂亚斯·阿尔霍夫 混合自动机可达性分析中保护的时间触发转换。 (英语) Zbl 1497.93107号 阿巴特,亚历山德罗(编辑)等,时间系统的形式化建模和分析。2017年9月5-7日在德国柏林举行的2017年FORMATS第15届国际会议。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。10419, 133-150 (2017).MSC公司:93立方 第68季度第45季度 93个B03 PDF格式BibTeX公司 XML格式引用 \textit{S.Bak}等人,Lect。注释计算。科学。10419、133-150(2017年;Zbl 1497.93107) 全文: 内政部 链接