论文标题
混合的非确定性培养基界面
Mixed Nondeterministic-Probabilistic Interfaces
论文作者
论文摘要
界面理论是强大的框架，通过改进和结合结构以及并行组成来支持系统的增量和组成设计。在本报告中，我们为在其行为中表现出非确定性和随机性的系统提供了第一个接口理论 - |模态混合界面。相关的组件模型 - 马尔可夫决策过程 - 也是新颖的，并且既包含普通马尔可夫决策过程和概率自动机。
Interface theories are powerful frameworks supporting incremental and compositional design of systems through refinements and constructs for conjunction, and parallel composition. In this report we present a first Interface Theor -- |Modal Mixed Interfaces -- for systems exhibiting both non-determinism and randomness in their behaviour. The associated component model -- Mixed Markov Decision Processes -- is also novel and subsumes both ordinary Markov Decision Processes and Probabilistic Automata.
