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.