马丁·范策尔 多项式混合自动机的最终结果是什么? (英语) Zbl 1087.68571号 Kobayashi,Naoki(编辑)等人,《计算机软件的理论方面》。2001年10月29日至31日,第四届国际研讨会,TACS 2001,日本仙台。诉讼程序。柏林:施普林格出版社(ISBN 3-540-42736-8/pbk)。《计算机科学讲义》2215、340-359(2001)。MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \文本{M.Fränzle},Lect。注释计算。科学。2215、340-359(2001年;Zbl 1087.68571) 全文: 链接
扬·伦泽;伯恩哈德·尼克多夫 用随机自动机表示混合系统。 (英语) Zbl 1035.93003号 数学。计算。模型。动态。系统。 7,第4期,383-422(2001). 审核人:Alex V.Kolnogorov(诺夫哥罗德) MSC公司:93A30型 93E03型 93元65角 PDF格式BibTeX公司 XML格式引用 \textit{J.Lunze}和\textit{B.Nixdorf},数学。计算。模型。动态。系统。7,第4号,383--422(2001;Zbl 1035.93003) 全文: 内政部 链接
G.多尔蒂。;马森克,M。;法孔蒂,G。 使用混合自动机支持关键系统中的人为因素分析。 (英语) 兹比尔0990.68521 形式方法系统。设计。 19,第2期,143-164(2001).MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{G.Doherty}等人,《形式方法系统》。设计。19,第2号,143--164(2001;Zbl 0990.68521) 全文: 内政部
毛诺,Rönkkö;李宣东 线性混合动作系统。 (英语) Zbl 0978.68106号 Nord.J.计算。 8,第1期,159-177(2001).MSC公司:68问题85 65年第68季度 64岁以下 PDF格式BibTeX公司 XML格式引用 \textit{M.Rönkkö}和\textit{X.Li},Nord.J.Compute。8,第1号,159--177(2001;Zbl 0978.68106)
T·帕里西尼。;萨科内,S。 基于离散事件自动机和滚动时域神经调节器的稳定混合控制。 (英语) Zbl 0990.93075号 Automatica公司 37,第8期,1279-1292(2001). 审核人:Ingmar Randvee(塔林) MSC公司:93元65角 92B20型 93B12号机组 90B20型 93C55美元 93D20型 PDF格式BibTeX公司 XML格式引用 \textit{T.Parisini}和\textit{S.Sacone},自动化37,第8期,1279--1292(2001;Zbl 0990.93075) 全文: 内政部
法比奥·巴尔杜齐;安吉拉·迪·费布拉罗;亚历山德罗·朱阿;卡拉·西特祖 可判定性产生一阶混合Petri网。 (英语) Zbl 0971.93051号 离散事件动态。系统。 11,编号1-2,41-57(2001). 审核人:弗拉基米尔·斯科贝列夫(顿涅茨克) MSC公司:93元65角 68问题85 93个B03 03天80 PDF格式BibTeX公司 XML格式引用 \textit{F.Balduzzi}等人,《离散事件动态》。系统。11,编号1--2,41-57(2001;Zbl 0971.93051) 全文: 内政部
雷内·戴维;哈萨内·阿拉 关于混合Petri网。 (英语) Zbl 0969.93024号 离散事件动态。系统。 11,编号1-2,9-40(2001). 审核人:弗拉基米尔·斯科贝列夫(顿涅茨克) MSC公司:93元65角 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{R.David}和\textit{H.Alla},离散事件动力学。系统。11,编号1--2,9--40(2001;Zbl 0969.93024) 全文: 内政部