| 研究概要 |
連続変化と離散変化の両方を有するハイブリッドシステムの高信頼シミュレーションと検証のための高水準モデリング言語HydLa を設計し,その宣言的意味論と実行方式を確立させた.HydLaは数学および論理学の記法を利用した宣言的記述,制約概念を活用した不確定情報の扱い,簡潔な記述のための制約階層化機能などを特徴とする.また,不確定情報の存在下でのシミュレーションや検証の正当性を確保するために離散変化の区間求解アルゴリズムを確立するとともに,HydLaの主要機能を備えた統合試作処理系を構築した.
|
