• 主题
高级搜索  >
历史搜索 清空历史
首页> 外文会议>2011 Eighth International Conference on Quantitative Evaluation of Systems >Adaptive Gridding for Abstraction and Verification of Stochastic Hybrid Systems
【24h】

Adaptive Gridding for Abstraction and Verification of Stochastic Hybrid Systems

机译：用于随机混合系统抽象和验证的自适应网格

获取原文
页面导航
  • 摘要
  • 著录项
  • 相似文献
  • 相关主题

摘要

This work is concerned with the generation of finite abstractions of general Stochastic Hybrid Systems, to be employed in the formal verification of probabilistic properties by means of model checkers. The contribution employs an abstraction procedure based on a partitioning of the state space, and puts forward a novel adaptive gridding algorithm that is expected to conform to the underlying dynamics of the model and thus at least to mitigate the curse of dimensionality related to the partitioning procedure. With focus on the study of probabilistic safety over a finite horizon, the proposed adaptive algorithm is first benchmarked against a uniform gridding approach from the literature, and finally tested on a known applicative case study.
机译：这项工作与通用随机混合系统的有限抽象的生成有关，该模型将用于通过模型检查器对概率性质进行形式验证。该贡献采用基于状态空间划分的抽象过程，并提出了一种新的自适应网格算法，该算法有望符合模型的基础动态，从而至少减轻与该划分过程有关的维数的诅咒。着眼于有限范围内的概率安全性研究，提出的自适应算法首先以文献中的统一网格方法为基准，最后在一个已知的应用案例中进行了测试。

著录项

相似文献

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

客服邮箱：kefu@zhangqiaokeyan.com

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

  • 客服微信

  • 服务号