首页> 外文会议>Hybrid Systems: Computation and Control >d-IRA: A Distributed Reachability Algorithm for Analysis of Linear Hybrid Automata
【24h】

d-IRA: A Distributed Reachability Algorithm for Analysis of Linear Hybrid Automata

机译:d-IRA:线性混合自动机分析的分布式可达性算法

获取原文
获取原文并翻译 | 示例

摘要

This paper presents the design of a novel distributed algorithm d-IRA for the reachability analysis of linear hybrid automata. Recent work on iterative relaxation abstraction (IRA) is leveraged to distribute the reachability problem among multiple computational nodes in a non-redundant manner by performing careful infeasibility analysis of linear programs corresponding to spurious counterexamples. The d-IRA algorithm is resistant to failure of multiple computational nodes. The experimental results provide promising evidence for the possible successful application of this technique.
机译:本文提出了一种用于线性混合自动机可达性分析的新型分布式算法d-IRA的设计。通过对与伪造反例相对应的线性程序进行仔细的不可行分析,可以利用迭代松弛抽象(IRA)的最新工作以非冗余的方式在多个计算节点之间分配可到达性问题。 d-IRA算法可抵抗多个计算节点的失败。实验结果为该技术的可能成功应用提供了有希望的证据。

著录项

相似文献

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

客服邮箱:kefu@zhangqiaokeyan.com

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

  • 服务号