论文标题
混合系统的正式建模和性能评估：基于代数的概率混合过程
Formal modeling and performance evaluation for hybrid systems:a probabilistic hybrid process algebra-based approach
论文作者
论文摘要
概率行为在计算机受控系统中无所不在，特别是所谓的安全关键杂种系统，因为各种原因，例如不确定的环境或自然的基本属性。在本文中，我们将现有的混合过程代数$ acp_ {hs}^{srt} $，而无需更换非确定选择操作员。鉴于现有近似概率分配中的一些缺点，我们放宽了约束并提出了一种新型的近似概率分配关系。之后，我们提出了一种绩效评估语言CTRML，以推理概率系统，从而将结果扩展到实数。除了规范语言外，我们还提出了一组评估该语言的算法。此外，我们将混合过程代数转移到概率过渡系统并显示实验结果。
Probabilistic behavior is omnipresent in computer controlled systems, in particular, so-called safety-critical hybrid systems, because of various reasons, like uncertain environments, or fundamental properties of nature. In this paper, we extend existing hybrid process algebra $ACP_{hs}^{srt}$ with probability without replacing nondeterministic choice operator. In view of some shortcomings in existing approximate probabilistic bisimulation, we relax the constrains and propose a novel approximate probabilistic bisimulation relation. After that, we present a performance evaluation language, CTRML, to reason over probabilistic systems, which extend the results to real number. Along with the specification language, we present a set of algorithms for the evaluation of the language. Additionally, we transfer the hybrid process algebra to probabilistic transition system and show experimental results.
