van Beek博士。;Reniers，医学硕士。;R.R.H.希弗勒。;罗达，J.E。 混合系统组合交换格式的基础。 （英语） Zbl 1221.68152号 Bempoad，Alberto（编辑）等人，《混合系统：计算和控制》。2007年4月3日至5日在意大利比萨举行的2007年HSCC第十届国际会议。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-71492-7/pbk）。计算机科学课堂讲稿4416，587-600（2007）。 摘要：混合系统的组合交换格式是根据交换自动机定义的，允许任意微分代数方程，包括完全隐式或交换的DAE、离散、连续和代数变量，这些变量可以是内部或外部、紧急条件和并行组合的运算符，动作隐藏、变量隐藏和紧急动作。它的组合语义是根据混合转换系统正式定义的。这允许开发与其他形式主义的转换，这些转换可以被证明可以保留基本属性，并且允许在模型的数学意义和实现方面（如用于求解微分代数方程的算法）之间进行明确的分离。关于整个系列，请参见[Zbl 1116.68001号]. 引用于4文件 MSC公司： 65年第68季度 形式语言和自动机 60年第68季度 规范和验证（程序逻辑、模型检查等） 90立方 非线性规划 软件：PHAVer公司;Uppaal公司 PDF格式BibTeX公司 XML格式引用 \textit{D.A.van Beek}等人，Lect。注释计算。科学。44161587-600（2007年；兹比尔1221.68152） 全文： 内政部 链接