维杰·加格。;拉特内什·库马尔;史蒂文·马库斯。 随机离散事件系统的概率语言形式。 (英语) Zbl 0957.68055号 IEEE传输。自动化。控制 44,第280-293号(1999年).MSC公司:65年第68季度 90立方厘米 93立方 93E03型 PDF格式BibTeX公司 XML格式引用 \textit{V.K.Garg}等人,IEEE Trans。自动化。控制44,编号2,280--293(1999;Zbl 0957.68055) 全文: 内政部 链接
洪丹凡;Dimitar P.Guelev。 带迭代的持续时间演算片段的完整性和可判定性。 (英语) Zbl 0954.03033号 Thiagarajan,P.S.(编辑)等人,《计算科学进展——99年亚洲》。第五届亚洲计算科学会议,1998年12月8日至10日,泰国普吉岛。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。1742, 139-150 (1999).MSC公司:03B70号 03B44号 03年2月25日 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{H.Dang Van}和\textit{D.P.Guelev},莱克特。注释计算。科学。1742139-150(1999年;Zbl 0954.03033)
约翰森,K.H。;M.埃格斯特德。;Lygeros,J。;萨斯特里,S。 Zeno混合自动机的正则化。 (英语) Zbl 0948.93031号 系统。控制信函。 38,第3期,141-150(1999).MSC公司:93立方 93元65角 PDF格式BibTeX公司 XML格式引用 \textit{K.H.Johansson}等人,系统。控制信函。38,第3号,141--150(1999;Zbl 0948.93031) 全文: 内政部
马丁·范策尔 混合系统分析:一盎司现实主义可以拯救无限状态。 (英语) Zbl 0944.68119号 Flum,Jörg(编辑)等人,《计算机科学逻辑》。第十三届国际研讨会,CSL’99。1999年9月20日至25日在西班牙马德里举行的欧洲原子能委员会第八届年会。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。1683, 126-140 (1999).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Fränzle},莱克特。注释计算。科学。1683126-140(1999年;Zbl 0944.68119)
沈一东 混合诊断理论。 (英语) Zbl 0937.68084号 J.计算。科学。Technol公司。 14,第4期,363-371(1999).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{Y.Shen},J.计算。科学。Technol公司。14,编号4633-371(1999年;Zbl 0937.68084) 全文: 内政部
张颖;艾伦·K·麦克沃思。 混合控制系统的建模与分析。电梯案例研究。 (英语) 兹伯利0939.93024 Levesque,Hector J.(编辑)等人,《认知代理的逻辑基础》。在雷·赖特60岁生日之际,为纪念他所作的贡献。柏林:斯普林格。370-396 (1999). 审核人:B.F.Šmarda(布尔诺) MSC公司:93元65角 PDF格式BibTeX公司 XML格式引用 \textit{Y.Zhang}和\textit{A.K.Mackworth},in:认知代理的逻辑基础。在雷·赖特60岁生日之际,为纪念他所作的贡献。柏林:斯普林格。370-396(1999;Zbl 0939.93024)
托马斯·亨辛格(Thomas A.Henzinger)。;彼得·科普克(Peter W.Kopke)。 矩形混合自动机的离散时间控制。 (英语) Zbl 0930.68086号 西奥。计算。科学。 221,第1-2号,369-392(1999).MSC公司:60年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{T.A.Henzinger}和\textit{P.W.Kopke},Theor。计算。科学。221,编号1--2,369--392(1999;Zbl 0930.68086) 全文: 内政部
阿努吉·普里 时间自动机的一个不可判定问题。 (英语) Zbl 0947.93031号 离散事件动态。系统。 9,第2135-146号(1999年). 审核人:B.F.Šmarda(布尔诺) MSC公司:93元65角 93个B03 93立方 PDF格式BibTeX公司 XML格式引用 \textit{A.Puri},离散事件动态。系统。9,第2号,135--146(1999;Zbl 0947.93031) 全文: 内政部
林,伙计 从混合自动机合成分层结构中的控制软件。 (英语) Zbl 0954.93024号 Vaandrager,Frits W.(编辑)等,《混合系统:计算和控制》。第二届国际研讨会,HSCC’99。Berg en Dal,荷兰,1999年3月29日至31日。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。1569152-164(1999年)。 审核人:A.Roose(塔林) MSC公司:93C83号 93-04 93亿B50 93立方 PDF格式BibTeX公司 XML格式引用 \textit{M.Lin},莱克特。注释计算。科学。1569、152--164(1999;Zbl 0954.93024)
阿隆格利特·楚蒂南;布鲁斯·H·克罗。 使用多边形流管近似验证多面体不变混合自动机。 (英语) Zbl 0954.93020号 Vaandrager,Frits W.(编辑)等,《混合系统:计算和控制》。第二届国际研讨会,HSCC’99。Berg en Dal,荷兰,1999年3月29日至31日。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。1569, 76-90 (1999). 审核人:A.Roose(塔林) MSC公司:93立方 93磅40 90B25型 PDF格式BibTeX公司 XML格式引用 \textit{A.Chutinan}和\textit{B.H.Krogh},莱克特。注释计算。科学。1569,76-90(1999;Zbl 0954.93020)
尤金·亚萨林;奥德·马勒 尽快:时间自动机的时间最优控制。 (英语) Zbl 0952.93064号 Vaandrager,Frits W.(编辑)等,《混合系统:计算和控制》。第二届国际研讨会,HSCC’99。Berg en Dal,荷兰,1999年3月29日至31日。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。1569, 19-30 (1999). 审核人:S.G.Tzafestas(雅典) MSC公司:93立方 49号05 PDF格式BibTeX公司 XML格式引用 \textit{E.Asarin}和\textit{O.Maler},莱克特。注释计算。科学。1569、19-30(1999年;Zbl 0952.93064)
拉杰夫·阿鲁尔;桑帕斯·坎南;萨尔瓦多拉托雷 混合自动机中的多面体流。 (英语) Zbl 0924.93016号 Vaandrager,Frits W.(编辑)等,《混合系统:计算和控制》。第二届国际研讨会,HSCC’99。Berg en Dal,荷兰,1999年3月29日至31日。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。1569, 5-18 (1999). 审核人:B.F.Šmarda(布尔诺) MSC公司:93立方 93C85号 PDF格式BibTeX公司 XML格式引用 \textit{R.Alur}等人,Lect。注释计算。科学。1569年5月18日(1999年;Zbl 0924.93016)
Howard Wong-Toi,霍华德 斜坡参数矩形自动机分析。 (英语) Zbl 0927.93034号 Antsaklis,Panos(编辑)等人,《混合动力系统V.第五届国际混合动力系统研讨会》,1997年9月11日至13日在美国印第安纳州圣母院举行。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。1567, 390-413 (1999). 审核人:托马斯·利布林(洛桑) MSC公司:93立方 93B11号机组 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{H.Wong-Toi},莱克特。注释计算。科学。1567390-413(1999年;Zbl 0927.93034)
J.M.达沃伦。 关于混合系统和模态演算。 (英语) Zbl 0928.93027号 Antsaklis,Panos(编辑)等人,《混合动力系统V.第五届国际混合动力系统研讨会》,1997年9月11日至13日在美国印第安纳州圣母院举行。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。1567, 38-69 (1999). 审核人:B.F.Šmarda(布尔诺) MSC公司:93立方 93B35型 93D05型 65年第68季度 93元65角 第68季度55 03B45号 PDF格式BibTeX公司 XML格式引用 \发短信{J.M.Davoren},Lect。注释计算。科学。1567,38--69(1999;Zbl 0928.93027)
阿隆格利特·楚蒂南;布鲁斯·H·克罗。 计算一类线性混合系统的近似自动机。 (英语) Zbl 0928.93026号 Antsaklis,Panos(编辑)等人,《混合动力系统V.第五届国际混合动力系统研讨会》,1997年9月11日至13日在美国印第安纳州圣母院举行。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。1567, 16-37 (1999). 审核人:B.F.Šmarda(布尔诺) MSC公司:93立方 93磅40 93元65角 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Chutinan}和\textit{B.H.Krogh},莱克特。注释计算。科学。1567,16-37(1999;Zbl 0928.93026)