×

找到7个文档(结果1-7)

ETMetera:超出事件触发控制。 (英语) Zbl 07807728号

第25届ACM混合系统国际会议论文集:计算与控制,HSCC 2022,CPS-IoT周,意大利米兰,虚拟,2022年5月4-6日。纽约州纽约市:计算机协会(ACM)。第20号论文,第11页(2022年)。
PDF格式BibTeX公司 XML格式引用

扰动下时滞混合系统的切换控制器综合。 (英语) Zbl 07807676号

2021年5月19日至21日,美国田纳西州纳什维尔,第24届ACM混合系统国际会议论文集:计算与控制,HSCC 2021,CPS-IoT周的一部分。纽约州纽约市:计算机协会(ACM)。第3号论文,第11页(2021年)。
PDF格式BibTeX公司 XML格式引用

汽车转弯时制动的正式验证。 (英语) Zbl 07300868号

第23届ACM混合系统国际会议论文集:计算与控制,HSCC 2020,澳大利亚悉尼,虚拟,2020年4月21日至24日。纽约州纽约市:计算机协会(ACM)。第27条,第11页(2020年)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

混合自动机可达性分析中保护的时间触发转换。 (英语) Zbl 1497.93107号

阿巴特,亚历山德罗(编辑)等,时间系统的形式化建模和分析。2017年9月5-7日在德国柏林举行的2017年FORMATS第15届国际会议。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。10419, 133-150 (2017).
PDF格式BibTeX公司 XML格式引用
全文: 内政部 链接

筛选结果依据…

文档类型

全部的 前5名

出版年份