于新义;董伟杰;李绍元;尹、香 用于信号时序逻辑规范的动态系统模型预测监测。 (英语) Zbl 07803905号 Automatica公司 160,文章ID 111445,12 p.(2024).MSC公司:93C55美元 94甲12 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{X.Yu}等人,Automatica 160,文章ID 111445,12页(2024;Zbl 07803905) 全文: 内政部 arXiv公司
古斯塔沃·卡多纳。;迪沙·卡梅尔;克里斯蒂安·瓦西莱 加权信号时序逻辑控制综合的混合整数线性规划方法。 (英语) Zbl 07807944号 第26届ACM混合系统国际会议论文集:计算与控制,HSCC 2023,第16届CPS-IoT周,美国德克萨斯州圣安东尼奥,2023年5月9日至12日。纽约州纽约市:计算机协会(ACM)。第3号论文,第12页(2023年)。MSC公司:65年第68季度 第68季度第60季度 93立方 PDF格式BibTeX公司 XML格式引用 \textit{G.A.Cardona}等人,in:《第26届ACM混合系统国际会议论文集:计算与控制》,HSCC 2023,第16届CPS-IoT周,美国德克萨斯州圣安东尼奥,2023年5月9日至12日。纽约州纽约市:计算机协会(ACM)。第3号论文,第12页(2023;Zbl 07807944) 全文: 内政部
巴西姆·戈尔贝尔;维纳亚克·帕布 单变量TPTL的线性时间监控。 (英语) Zbl 07807713号 第25届ACM混合系统国际会议论文集:计算与控制,HSCC 2022,CPS-IoT周,意大利米兰,虚拟,2022年5月4-6日。纽约州纽约市:计算机协会(ACM)。第5号论文,第11页(2022年)。MSC公司:65年第68季度 第68季度第60季度 93立方 PDF格式BibTeX公司 XML格式引用 \textit{B.Ghorbel}和\textit{V.Prabhu},in:第25届ACM混合系统国际会议论文集:计算和控制,HSCC 2022,CPS-IoT周的一部分,意大利米兰和虚拟,2022年5月4-6日。纽约州纽约市:计算机协会(ACM)。第5号论文,第11页(2022;Zbl 07807713) 全文: 内政部
阿尔贝托·卡萨格兰德;Thao Dang先生;卢卡·多里戈;托马索·德罗西;卡拉广场;埃莉诺拉·皮皮亚 多项式动力系统的参数综合。 (英语) Zbl 07629135号 Inf.计算。 289,A部分,文章ID 104941,30 p.(2022).MSC公司:68季度xx PDF格式BibTeX公司 XML格式引用 \textit{A.Casagrande}等人,《信息计算》。289,A部分,文章ID 104941,30 p.(2022;Zbl 07629135) 全文: 内政部
陈刚;陆,余;苏荣 用形状时序逻辑进行可解释的故障诊断:理论和应用。 (英语) Zbl 1494.93049号 Automatica公司 142,文章ID 110350,8 p.(2022).MSC公司:93B99号 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{G.Chen}等人,Automatica 142,文章ID 110350,8 p.(2022;Zbl 1494.93049) 全文: 内政部
丹尼尔·塞尔瓦拉特南;迈克尔·坎托尼;达沃伦,J.M。;伊曼·谢姆斯 用于LTL验证的采样多项式轨迹。 (英语) Zbl 1478.68174号 西奥。计算。科学。 897, 135-163 (2022).MSC公司:第68季度第60季度 03B44号 68T40型 68瓦30 PDF格式BibTeX公司 XML格式引用 \textit{D.Selvaratnam}等人,Theor。计算。科学。897135-163(2022年;Zbl 1478.68174) 全文: 内政部 arXiv公司
哈马德·艾哈迈德;Jeannin、Jean-Baptiste 验证混合系统信号时序逻辑规范的程序逻辑。 (英语) Zbl 07807683号 2021年5月19日至21日,美国田纳西州纳什维尔,第24届ACM混合系统国际会议论文集:计算与控制,HSCC 2021,CPS-IoT周的一部分。纽约州纽约市:计算机协会(ACM)。第10号论文,第11页(2021年)。MSC公司:65年第68季度 第68季度第60季度 93立方 PDF格式BibTeX公司 XML格式引用 \textit{H.Ahmad}和\textit{J.-B.Jeannin},in:第24届ACM混合系统国际会议论文集:计算和控制,HSCC 2021,CPS-IoT周的一部分,美国田纳西州纳什维尔,2021年5月19-21日。纽约州纽约市:计算机协会(ACM)。第10号论文,第11页(2021;Zbl 07807683) 全文: 内政部 arXiv公司
康斯坦蒂诺斯·马穆拉斯;阿格尼索姆查托帕迪耶;王志福 用于有效在线时间监控的代数定量语义。 (英语) Zbl 1467.68088号 Groote,Jan Friso(编辑)等人,《系统构建和分析的工具和算法》。第27届国际会议,TACAS 2021,作为欧洲软件理论与实践联合会议的一部分,于2021年3月27日至4月1日在卢森堡卢森堡市举行。诉讼程序。第一部分查姆:施普林格。莱克特。注释计算。科学。12651, 330-348 (2021).MSC公司:第68季度第60季度 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{K.Mamouras}等人,Lect。注释计算。科学。12651、330-348(2021;Zbl 1467.68088) 全文: 内政部
康斯坦蒂诺斯·马穆拉斯 确定性数据流和流处理的语义基础。 (英语) 兹比尔1508.68069 Müller,Peter(编辑),《编程语言和系统》。2020年4月25日至30日在爱尔兰都柏林举行的第29届欧洲编程研讨会(ESOP 2020),是欧洲软件理论与实践联合会议(ETAPS 2020)的一部分。诉讼程序。查姆:施普林格。莱克特。注释计算。科学。12075394-427(2020年)。MSC公司:68号30 2010年第68季度 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{K.Mamouras},莱克特。注释计算。科学。12075、394--427(2020年;Zbl 1508.68069) 全文: 内政部
秦,辛;Jyotirmoy V.德斯穆赫。 信号时序逻辑的透视监测。 (英语) Zbl 07317097号 Bertrand,Nathalie(编辑)等,时间系统的形式化建模和分析。第18届国际会议,FORMATS 2020,奥地利维也纳,2020年9月1日至3日。诉讼程序。查姆:施普林格。莱克特。注释计算。科学。12288, 178-195 (2020).MSC公司:68季度xx PDF格式BibTeX公司 XML格式引用 \textit{X.Qin}和\textit{J.V.Deshmukh},莱克特。注释计算。科学。12288、178--195(2020;Zbl 07317097) 全文: 内政部
塞萨尔·桑切斯;杰拉尔多·施奈德;沃尔夫冈·阿伦特;埃齐奥·巴托西;多梅尼科·比安库利;克里斯蒂安·科伦坡;法尔科内,伊利斯;阿德里安·弗兰卡兰扎;Sr Djan Krstić;Lourenço,Joáo M。;德扬·尼科维奇;戈登·佩斯。;何塞·鲁菲诺;辛戈尔斯,朱利安;德米特里·特拉泰尔;亚历山大·韦斯 高级应用程序域(软件以外)的运行时验证挑战调查。 (英语) Zbl 1425.68268号 形式方法系统。设计。 54,第3号,279-335(2019).MSC公司:第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{C.Sánchez}等人,Form.Methods Syst。设计。54,第3号,279--335(2019;Zbl 1425.68268) 全文: 内政部 arXiv公司
斯特凡·雅克西奇;埃齐奥·巴托西;拉杜·格罗苏;阮,Thang;德扬·尼契科维奇 利用编辑距离定量监测STL。 (英语) Zbl 1394.68230号 形式方法系统。设计。 53,编号1,83-112(2018).MSC公司:第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Jakšić}等人,《形式方法系统》。设计。53,第1号,83-112(2018;Zbl 1394.68230) 全文: 内政部
埃齐奥·巴托西(编辑);鲁帕克·马朱姆达尔(编辑) 介绍运行时验证的特殊问题。 (英语) Zbl 1372.00088号 形式方法系统。设计。 51,第1号,1-4号(2017).MSC公司:00B25型 68-06 第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{E.Bartocci}(编辑)和\textit{R.Majumdar}(编辑),Form.Methods Syst。设计。51,编号1,1--4(2017;兹bl 1372.00088) 全文: 内政部