|
連続的または離散的な振る舞いをするハイブリッドシステムを区間制約プログラミングのアプローチで記述・求解するとともに，さまざまな解析を高信頼に実施する技術を設計・実装した．解析では，実数計算の精度保証，関数集合を記述した微分方程式，時間軸上の性質を記述した時相論理式等を扱うが，提案手法はこれらを制約プログラミングの枠組みでとらえる点を特徴とする．実装にあたっては，一部を検証済みコードとして信頼性を高めるとともに，求解処理を並列化してスパコンを利用した効率化をはかった．ハイブリッドシステムの例を基本的なものから産業界由来のものまで収集し，提案手法の有効性を実験により評価した．
|
