CHARON中混合系统的模块化规范

我们提出了一种称为Charon的语言，用于交互式混合系统的模块化描述。对于系统架构的层次化描述，Charon支持通过实例化、隐藏和并行组合操作构建复杂代理。对于原子组件行为的层次化描述，Charon支持通过实例化、作用域和封装操作构建复杂模式。诸如弱抢占、历史保留和外部定义的Java函数等特性有助于描述复杂的离散行为。可以使用微分约束、代数约束和限制流空间的不变量来指定连续行为，所有这些都可以在层次结构的各个级别上声明。语言的模块结构不仅是句法结构，而且可以在分析过程中加以利用。我们通过提出一个模块化仿真方案来说明这一点，在该方案中，每个模式都可以单独基于本地声明的信息进行编译，以执行其离散和连续更新，而且，子模式可以比封闭模式更精细的时间尺度进行集成。