阿迪蒂亚·阿格拉瓦尔；吉拉·西蒙；加博尔·卡赛 使用图转换将Simulink/Stateflow模型语义转换为混合自动机。 （英语） Zbl 1271.68115号 Heckel，Reiko（编辑），《图形转换和视觉建模技术研讨会论文集》（GT-VMT 2004），西班牙巴塞罗那，2004年3月27日至28日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记109，43-56（2004）。 概述：嵌入式系统通常使用Matlab的Simulink和Stateflow（MSS）进行建模，以模拟设备和控制器的行为，但这些模型缺乏对正式验证的支持。另一方面，确实存在基于混合自动机（HA）概念的模型验证技术和工具，但没有工具可以将Simulink/Stateflow模型转换为语义等效的混合自动机模型。本文描述了一种转换算法，该算法将MSS建模语言的定义良好的子集转换为等效的混合自动机。翻译是使用基于元模型的图形转换工具指定和实现的。翻译过程允许行业标准MSS工具和研究社区开发的新验证工具之间的语义互操作性。关于整个系列，请参见[Zbl 1271.68040号]. 引用于6文件 MSC公司： 第68季度第42季度 语法和重写系统 65年第68季度 形式语言和自动机 软件：Matlab公司 PDF格式BibTeX公司 XML格式引用 \textit{A.Agrawal}等人，《电子》。注释Theor。计算。科学。109、43-56（2004年；Zbl 1271.68115） 全文： 链接