• 主题
高级搜索  >
历史搜索 清空历史
首页> 外文会议>12th International Conference on CONCUR 2001 - Concurrency Theory, 12th, Aug 20-25, 2001, Aalborg, Denmark >Compositional Methods for Probabilistic Systems
【24h】

Compositional Methods for Probabilistic Systems

机译：概率系统的合成方法

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

摘要

We present a compositional trace-based model for probabilistic systems. The behavior of a system with probabilistic choice is a stochastic process, namely, a probability distribution on traces, or "bundle." Consequently, the semantics of a system with both nondeterministic and probabilistic choice is a set of bundles. The bundles of a composite system can be obtained by combining the bundles of the components in a simple mathematical way. Refinement between systems is bundle containment. We achieve assume-guarantee compositionality for bundle semantics by introducing two scoping mechanisms. The first mechanism, which is standard in compositional modeling, distinguishes inputs from outputs and hidden state. The second mechanism, which arises in probabilistic systems, partitions the state into probabilistically independent regions.
机译：我们为概率系统提出了一种基于成分跟踪的模型。具有概率选择的系统的行为是一个随机过程，即在迹线或“束”上的概率分布。因此，具有不确定性和概率性选择的系统的语义是一组束。可以通过以简单的数学方式组合组件的束来获得复合系统的束。系统之间的优化是捆绑包。通过引入两种作用域机制，我们实现了包语义的假设保证组合性。第一种机制是成分建模中的标准机制，它区分输入与输出以及隐藏状态。在概率系统中出现的第二种机制将状态划分为概率独立的区域。

著录项

相似文献

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

客服邮箱：kefu@zhangqiaokeyan.com

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

  • 客服微信

  • 服务号