基于分布式并行可达性分析算法缓解组件式系统的状态空间爆炸
计算机科学中的逻辑
2018-08-14 v6 多智能体系统
摘要
本工作中，我们缓解了组件式系统(CBS)中众所周知的状态空间爆炸(SSE)问题。我们考虑可描述为 n 个通过会合/握手方式交互的通信有限状态机(CFSM)系统的 CBS。为避免给定输入 CFSM 基于交错语义的传统积机组合所引起的 SSE，我们基于面向状态的偏序语义构造了和机组合。和机由一组 n 个展开 CFSM 组成。通过静态存储同步点处称为同步环境向量的全局状态向量小子集，并根据待验证可达性按需动态生成其余全局状态向量，和机缓解了积机的 SSE。我们通过并行分布式算法展示了从给定状态向量各分量的局部可达性检查来实现全局状态向量可达性检查。在不具指数复杂度的和机生成与其中可达性验证的并行分布式算法是本文的贡献。关键词：交错语义，偏序语义，和机，积机，同步点，同步环境状态向量，可达性。
引用
@article{arxiv.1803.03127,
title = {Alleviating State-space Explosion in Component-based Systems with Distributed, Parallel Reachability Analysis Algorithm},
author = {Vasumathi K. Narayanan},
journal= {arXiv preprint arXiv:1803.03127},
year = {2018}
}
备注
arXiv admin note: text overlap with arXiv:1709.10379 by other authors