×

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

带迭代的持续时间演算片段的完整性和可判定性。 (英语) Zbl 0954.03033号

Thiagarajan,P.S.(编辑)等人,《计算科学进展——99年亚洲》。第五届亚洲计算科学会议,1998年12月8日至10日,泰国普吉岛。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。1742, 139-150 (1999).
PDF格式BibTeX公司 XML格式引用

混合系统分析:一盎司现实主义可以拯救无限状态。 (英语) Zbl 0944.68119号

Flum,Jörg(编辑)等人,《计算机科学逻辑》。第十三届国际研讨会,CSL’99。1999年9月20日至25日在西班牙马德里举行的欧洲原子能委员会第八届年会。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。1683, 126-140 (1999).
MSC公司:65年第68季度
PDF格式BibTeX公司 XML格式引用

混合控制系统的建模与分析。电梯案例研究。 (英语) 兹伯利0939.93024

Levesque,Hector J.(编辑)等人,《认知代理的逻辑基础》。在雷·赖特60岁生日之际,为纪念他所作的贡献。柏林:斯普林格。370-396 (1999).
MSC公司:93元65角
PDF格式BibTeX公司 XML格式引用

从混合自动机合成分层结构中的控制软件。 (英语) Zbl 0954.93024号

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

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

Vaandrager,Frits W.(编辑)等,《混合系统:计算和控制》。第二届国际研讨会,HSCC’99。Berg en Dal,荷兰,1999年3月29日至31日。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。1569, 76-90 (1999).
MSC公司:93立方 93磅40 90B25型
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 0924.93016号

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

斜坡参数矩形自动机分析。 (英语) Zbl 0927.93034号

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

关于混合系统和模态演算。 (英语) Zbl 0928.93027号

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

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

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

筛选结果依据…

文档类型