• 主题
高级搜索  >
历史搜索 清空历史
首页> 外文会议>SOFSEM 2009: Theory and practice of computer science >Symbolic State-Space Generation of Asynchronous Systems Using Extensible Decision Diagrams
【24h】

Symbolic State-Space Generation of Asynchronous Systems Using Extensible Decision Diagrams

机译：使用可扩展决策图的异步系统符号状态空间生成

获取原文
获取原文并翻译 | 示例
页面导航
  • 摘要
  • 著录项
  • 相似文献
  • 相关主题

摘要

We propose a new type of canonical decision diagrams, which allows a more efficient symbolic state-space generation for general asynchronous systems by allowing on-the-fly extension of the possible state variable domains. After implementing both breadth-first and saturation-based state-space generation with this new data structure in our tool S~MA~RT, we are able to exhibit substantial efficiency improvements with respect to traditional "static" decision diagrams. Since our previous works demonstrated that saturation outperforms breadth-first approaches, saturation with this new structure is now arguably the state-of-the-art algorithm for symbolic state-space generation of asynchronous systems.
机译：我们提出了一种新型的规范决策图，它通过允许动态扩展可能的状态变量域，从而为通用异步系统提供了更有效的符号状态空间生成。在我们的工具S〜MA〜RT中使用这种新的数据结构实现了广度优先和基于饱和的状态空间生成之后，相对于传统的“静态”决策图，我们能够展现出显着的效率提升。由于我们以前的工作表明饱和度优于广度优先方法，因此这种新结构的饱和度现在可以说是异步系统符号状态空间生成的最新算法。

著录项

相似文献

  • 外文文献
  • 中文文献
  • 专利
获取原文

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

  • 客服微信

  • 服务号