×

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

参数定时正则表达式的模式匹配和参数识别。 (英语) Zbl 07807955号

第26届ACM混合系统国际会议论文集:计算与控制,HSCC 2023,第16届CPS-IoT周,美国德克萨斯州圣安东尼奥,2023年5月9日至12日。纽约州纽约市:计算机协会(ACM)。第14号论文,第13页(2023年)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部 哈尔

计算多边形微分包裹体的相图。 (英语) Zbl 1054.93030号

Tomlin,Claire J.(编辑)等人,《混合系统:计算和控制》。2002年3月25日至27日在美国加利福尼亚州斯坦福举行的2002年HSCC第五届国际研讨会。诉讼程序。柏林:施普林格出版社(ISBN 3-540-43321-X)。莱克特。注释计算。科学。2289, 49-61 (2002).
PDF格式BibTeX公司 XML格式引用
全文: 链接

尽快:时间自动机的时间最优控制。 (英语) Zbl 0952.93064号

Vaandrager,Frits W.(编辑)等,《混合系统:计算和控制》。第二届国际研讨会,HSCC’99。Berg en Dal,荷兰,1999年3月29日至31日。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。1569, 19-30 (1999).
MSC公司:93立方 49号05
PDF格式BibTeX公司 XML格式引用

关于动力系统和过渡系统之间的一些关系。 (英语) Zbl 1418.68088号

Abiteboul,Serge(编辑)等人,《自动化,语言和编程》。1994年7月11日至14日,以色列耶路撒冷,第21届国际学术讨论会,ICALP’94。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。820, 59-72 (1994).
MSC公司:2005年第68季度 65年第68季度
PDF格式BibTeX公司 XML格式引用
全文: 内政部

筛选结果依据…

文档类型

全部的 前5名

出版年份

全部的 前3名

主字段