×

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

使用Simulink和Stateflow对混合动力学进行图形建模。 (英语) Zbl 1417.93160号

第21届ACM混合系统国际会议论文集:计算与控制,HSCC 2018,葡萄牙波尔图,2018年4月11-13日。纽约州纽约市:计算机协会(ACM)。247-252 (2018).
MSC公司:93立方 93A30型 93B40码 65年第68季度
PDF格式BibTeX公司 XML格式引用
全文: 内政部

使用多边形流动管道近似验证多面体不变混合自动机。 (英语) Zbl 0954.93020号

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

计算一类线性混合系统的近似自动机。 (英语) Zbl 0928.93026号

Antsaklis,Panos(编辑)等人,《混合动力系统V.第五届国际混合动力系统研讨会》,1997年9月11日至13日在美国印第安纳州圣母院举行。诉讼程序。柏林:施普林格。莱克特。注释计算。科学。1567, 16-37 (1999).
MSC公司:93立方 93B40码 93元65角 65年第68季度
PDF格式BibTeX公司 XML格式引用

筛选结果依据…

文档类型

出版年份

主字段