High-level hybrid constraint modeling language and its reliable implementation

我们设计了一种高级建模语言HydLa，用于对涉及连续和离散变化的混合系统进行可靠的仿真和验证，并建立了其声明性语义和执行算法。hydra的特点包括：(i)采用完善的数学和逻辑符号的声明性描述，（ii）使用约束来表示和处理不确定信息，以及（iii）允许简明描述的约束层次结构。我们还建立了基于区间的离散变化求解算法，以保证在不确定信息存在的情况下仿真验证的正确性，并构建了具有HydLa主要特性的原型集成实现。

We have designed a high-level modeling language HydLa for the reliable simulation and verification of hybrid systems that involve both continuous and discrete changes, and established its declarative semantics and an execution algorithm. Features of HydLa include (i) declarative description employing well-established mathematical and logical notations, (ii) the use of constraints to represent and handle uncertain information, and (iii) constraint hierarchies to allow concise description. We have also established an interval-based solution algorithm of discrete changes to guarantee the correctness of simulation and verification in the existence of uncertain information, and built a prototype integrated implementation equipped with main features of HydLa.