张颖;艾伦·K·麦克沃思。 约束网:混合动态系统的语义模型。 (英语) Zbl 0874.68205号 西奥。计算。科学。 138,第1号,211-239(1995年).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{Y.Zhang}和\textit{A.K.Mackworth},Theor。计算。科学。138,第1号,211--239(1995;Zbl 0874.68205) 全文: 内政部
沃尔夫·科恩;尼禄,阿尼尔;杰弗里·雷梅尔(Jeffrey B.Remmel)。;亚克尼斯,亚历山大 混合系统的可行性。 (英语) Zbl 0874.68208号 西奥。计算。科学。 138,第1期,第141-168页(1995年).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{W.Kohn}等人,Theor。计算。科学。138,第1号,141--168(1995;Zbl 0874.68208) 全文: 内政部
格罗斯曼,R.L。;拉森,R.G。 混合系统的代数方法。 (英语) Zbl 0874.68204号 西奥。计算。科学。 138,第1101-112号(1995年).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{R.L.Grossman}和\textit{R.G.Larson},Theor。计算。科学。138,编号1,101--112(1995;Zbl 0874.68204) 全文: 内政部
迈克尔·布拉尼基(Michael S.Branicky)。 混合和连续动力系统的通用计算和其他功能。 (英语) Zbl 0874.68207号 西奥。计算。科学。 138,第1号,67-100(1995).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \文本{M.S.Branicky},Theor。计算。科学。138,编号1,67-100(1995年;Zbl 0874.68207) 全文: 内政部
阿鲁尔,R。;库库贝蒂斯,C。;北卡罗来纳州Halbwachs。;亨廷格,T.A。;Ho、P.-H、。 混合系统的算法分析。 (英语) Zbl 0874.68206号 西奥。计算。科学。 138,第1期,第3-34页(1995年).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{R.Alur}等人,Theor。计算。科学。138,第1号,第3--34号(1995;Zbl 0874.68206) 全文: 内政部
杨晓军;迈克尔·D·莱蒙。;Antsaklis,Panos J。 关于不确定混合控制系统离散事件模型中的上可控子语言。 (英语) Zbl 0842.93030号 IEEE传输。自动。控制 40,第12期,2098-2103(1995).MSC公司:93立方 65年第68季度 93亿B50 PDF格式BibTeX公司 XML格式引用 \textit{X.Yang}等人,IEEE Trans。自动。控件40,编号12,2098--2103(1995;Zbl 0842.93030) 全文: 内政部 链接
阿尔德·奥弗坎普;van Schuppen,Jan H。 离散事件系统的控制——研究控制理论与计算机科学的接口。 (英语) Zbl 0850.93237号 Apt,Krzysztof(编辑)等人,《从普遍形态到兆字节:Baayen空间奥德赛》。在P.C.Baayen教授退休之际。阿姆斯特丹:CWI,453-467(1995)。MSC公司:93亿B50 93立方 65年第68季度 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{A.Overkamp}和\textit{J.H.van Schuppen},in:从普遍形态到兆字节:Baayen空间冒险。在P.C.Baayen教授退休之际。阿姆斯特丹:CWI。453-467(1995年;Zbl 0850.93237)
斯科特·史密斯。 混合型偏总理论。 (英语) Zbl 0830.68078号 发现的国际期刊。计算。科学。 6,第3期,235-263(1995).MSC公司:65年第68季度 68N17号 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{S.F.Smith},国际J.Found。计算。科学。6,第3号,235--263(1995;Zbl 0830.68078) 全文: 内政部
凯恩斯,体育。;魏永杰。 COCOLOG理论的马尔科夫碎片。 (英语) Zbl 0878.93035号 Kumar,P.R.(编辑)等人,《离散事件系统、制造系统和通信网络》。基于1992-93年在美国明尼苏达州明尼阿波利斯市明尼苏打大学举行的IMA控制理论课程不可分割的一部分研讨会的会议记录。IMA卷数学。申请。73, 1-39 (1995). 审核人:D.Franke(汉堡) MSC公司:93立方 68吨15 03C07号机组 03B35型 03B10号机组 65年第68季度 30楼03号 PDF格式BibTeX公司 XML格式引用 \textit{P.E.Caines}和\textit{Y.J.Wei},IMA卷数学。申请。73、1-39(1995年;Zbl 0878.93035)
李勇;W.M.沃纳姆。 并发向量离散事件系统。 (英语) Zbl 0842.93028号 IEEE传输。自动。控制 40,第4期,628-638(1995). 审核人:P.d’Alessandro(罗马) MSC公司:93立方 93C99号 93亿B50 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{Y.Li}和\textit{W.M.Wonham},IEEE Trans。自动。控件40,编号4,628--638(1995;Zbl 0842.93028) 全文: 内政部
Yosef M.威尔纳。;迈克尔·海曼 受控离散事件系统中的语言收敛。 (英语) Zbl 0842.93029号 IEEE传输。自动。控制 40,第4期,616-627(1995). 审核人:P.d’Alessandro(罗马) MSC公司:93立方 93亿B50 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{Y.M.Willner}和\textit{M.Heymann},IEEE Trans。自动。对照40,编号4,616--627(1995;Zbl 0842.93029) 全文: 内政部
德里克·戴克(Derek N.Dyck)。;彼得·凯恩斯(Peter E.Caines)。 电梯的逻辑控制。 (英语) Zbl 0826.93052号 IEEE传输。自动。控制 40,第3期,480-486(1995).MSC公司:93立方厘米 93A10号 65年第68季度 93立方 93C85号 93B52号 PDF格式BibTeX公司 XML格式引用 \textit{D.N.Dyck}和\textit{P.E.Caines},IEEE Trans。自动。对照组40,编号3,480-486(1995年;Zbl 0826.93052) 全文: 内政部
托马斯·亨辛格(Thomas A.Henzinger)。 具有有限互模拟的混合自动机。 (英语) Zbl 1412.68130号 Fülöp,Zoltán(编辑)等人,《自动化、语言和编程》。1995年7月10日至14日,匈牙利塞格德,第22届国际学术讨论会,ICALP’95。诉讼程序。柏林:Springer-Verlag。莱克特。注释计算。科学。944, 324-335 (1995).MSC公司:65年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{T.A.Henzinger},莱克特。注释计算。科学。944324-335(1995年;Zbl 1412.68130) 全文: 内政部