High-level hybrid constraint modeling language and its reliable implementation

为实现连续变化和离散变化混合系统的可靠仿真和验证，我们设计了一种高级建模语言HydLa，并建立了其声明语义和执行算法。HydLa的特点包括(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.