伙计，卡洛克;米歇尔·谢列肯斯（Michel P.Schellekens）。 行为混合过程演算（BHPC）中电子系统设计的性能和功能分析的互操作性。 （英语） Zbl 1181.68169号 Castillo，Oscar（编辑）等人，《智能系统和计算机工程趋势》（IMECS 2007）。根据2007年3月21日至23日在中国香港举行的国际会议上的发言选出的论文。纽约州纽约市：施普林格出版社（ISBN 978-0-387-74934-1/hbk）。电气工程课堂讲稿6，375-394（2008）。 摘要：混合动力系统是表现出离散和连续行为的系统。这些系统在包括空中交通控制、自动化制造和化学过程控制在内的各种工程应用领域都证明是卓有成效的。也，混合系统已被证明是各种抽象层次上设计的有用且强大的表示（例如，系统级设计和电子系统设计。在本章中，我们旨在证明将BHPC中描述的半波整流器电路翻译成上述工具的输入语言并在这些环境中进行分析是相当容易的。因此，从BHPC到其他形式的一般翻译方案（即OpenModelica系统和模型检查器PHAVer的输入语言）进行了简要描述。然而，为了简洁起见，本章中BHPC和其他形式主义之间的翻译没有在语义层面上进行研究和讨论（以确保翻译可以保留有趣的属性）。然而，值得一提的是，从BHPC到OpenModelica系统输入语言的翻译以及从BHPC转换到PHAVer输入语言的转换已经可以实现自动化（详见第27.6节）。关于整个系列，请参见[兹比尔1149.68008]. MSC公司： 68问题85 并发和分布式计算的模型和方法（进程代数、互模拟、转换网等） 关键词：混合系统;OpenModelica系统 软件：狮身人面像;OpenModelica公司;PHAVer公司 PDF格式BibTeX公司 XML格式引用 \textit{K.L.Man}和\textit{M.P.Schellekens}，莱克特。注释Electr。工程6，375--394（2008；Zbl 1181.68169） 全文： 内政部