×

兹马思-数学第一资源

混合自动机理论。(英语) Zbl公司 959.68073
伊南,M。Kemal(ed.)等人,《数字和混合系统的验证》。北约ASI会议记录,土耳其安塔利亚,1997年5月26日至6月6日,柏林:斯普林格。北约ASI Ser.,Ser。F、 计算机。系统。科学。170265-292(2000年)。
摘要:混合自动机是混合离散连续系统的形式化模型。我们根据混合自动机的行为问题可以用算法来回答来分类。这种分类揭示了混合离散连续状态空间的结构,而以前的研究仅限于纯离散状态空间。特别是,各种类型的混合自动机在不可数的状态空间中引入有限迹等价(或相似性,或双相似性)关系,从而允许应用最初为有限状态系统开发的各种模型检查技术。
整个系列请参见[Zbl 0935.00051].

理学硕士:
68Q45号 形式语言与自动机
关键词:
混合自动机
PDF格式 BibTeX公司 XML 引用