A step towards verification and synthesis from simulink/stateflow models
A step towards verification and synthesis from simulink/stateflow models
复制标题
从 simulink/stateflow 模型走向验证和综合的一步
DOI：
--
复制
发表时间：
2011
期刊：
影响因子：
--
通讯作者：
M. Caccamo
中科院分区：
文献类型：
--
作者：
Karthik Manamcheri;S. Mitra;Stanley Bak;M. Caccamo
本文介绍了一个工具包，用于综合混合监控系统从流行的Simulink/Stateflow建模环境。该工具包提供了一个系统的策略，翻译Simulink/Stateflow模型的混合自动机和离散抽象为基础的算法合成的监督控制器。
This paper describes a toolkit for synthesizing hybrid supervisory control systems starting from the popular Simulink/Stateflow modeling environment. The toolkit provides a systematic strategy for translating Simulink/Stateflow models to hybrid automata and a discrete abstraction-based algorithm for synthesizing supervisory controllers.