• 主题
高级搜索  >
历史搜索 清空历史
首页> 外文期刊>Journal of logic and computation >(Hybrid) automata and (stochastic) programs: The hybrid automata lattice of a stochastic program
【24h】

(Hybrid) automata and (stochastic) programs: The hybrid automata lattice of a stochastic program

机译：（混合）自动机和（随机）程序：随机程序的混合自动机晶格

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

摘要

We define a semantics for stochastic Concurrent Constraint Programming (sCCP), a stochastic process algebra, in terms of stochastic hybrid automata with piecewise deterministic continuous dynamics. To each program we associate a lattice of hybrid models, parameterized with respect to the degree of discreteness left. We study some properties of this lattice, presenting also an alternative semantics in which the degree of discreteness can be dynamically changed.
机译：我们根据具有分段确定性连续动力学的随机混合自动机，定义了随机并行约束代数（sCCP）的语义。对于每个程序，我们将混合模型的晶格关联起来，并根据剩余离散程度对其进行参数化。我们研究了该晶格的一些属性，还提出了一种替代语义，其中离散度可以动态更改。

著录项

相似文献

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

客服邮箱：kefu@zhangqiaokeyan.com

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

  • 客服微信

  • 服务号