High-level hybrid constraint modeling language and its reliable implementation

高级混合约束建模语言及其可靠实现

• 批准号: 20300013
• 负责人: UEDA Kazunori
• 金额: $ 9.73万
• 依托单位: Waseda University
• 依托单位国家: 日本
• 项目类别: Grant-in-Aid for Scientific Research (B)
• 财政年份: 2008
• 资助国家: 日本
• 起止时间: 2008 至 2010
• 项目状态: 已结题
• 来源: https://kaken.nii.ac.jp/grant/KAKENHI-PROJECT-20300013/
• 关键词: ハイブリッドシステム; モデリング言語; 高信頼計算; 制約; システム検証

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.

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

项目成果

Simulation of Hybrid Systems based on Hierarchical Interval Constraints

基于分层区间约束的混合系统仿真

• 发表时间: 2009
• 作者: 石井大輔;上田和紀;細部博史
• 通讯作者: 細部博史

ハイブリッドシステムモデリング言語HydLa処理系における実行アルゴリズム

混合系统建模语言HydLa处理系统中的执行算法

• 发表时间: 2011
• 期刊: コンピュータソフトウェア Vol.28, No.3(掲載決定)
• 作者: Sayaka Kamei;Hirotsugu Kakugawa;渋谷俊,高田賢士郎,細部博史,上田和紀
• 通讯作者: 渋谷俊,高田賢士郎,細部博史,上田和紀

ハイブリッドシステムモデリング言語HydLaの処理系による非決定性の扱い

混合系统建模语言 HydLa 的处理系统处理不确定性

• 发表时间: 2011
• 作者: Sayaka Kamei;Hirotsugu Kakugawa;松本翔太,高田賢士郎,細部博史,上田和紀
• 通讯作者: 松本翔太,高田賢士郎,細部博史,上田和紀

ハイブリッドシステムモデリング言語HydLaの数式処理実行系

混合系统建模语言HydLa的公式处理执行系统

• 发表时间: 2011
• 作者: Sayaka Kamei;Hirotsugu Kakugawa;松本翔太,高田賢士郎,細部博史,上田和紀;鬼頭信貴;分部哲秋;塩谷亮太,入江英嗣,五島正裕,坂井修一;高田賢士郎,渋谷俊,細部博史,上田和紀
• 通讯作者: 高田賢士郎,渋谷俊,細部博史,上田和紀

ハイブリッドシステムモデリング言語 HydLa の区間制約に基づく全解シミュレーション実行処理系

混合系统建模语言HydLa中基于区间约束的全解仿真执行系统

• 发表时间: 2010
• 作者: 大谷順司;廣瀬賢一;石井大輔;細部博史;上田和紀
• 通讯作者: 上田和紀