4H-03
ハイブリッド制約処理系HyLaGIの並列化
○伊藤剛史，松本翔太，上田和紀（早大）
連続的な挙動と離散的な挙動の両方を含む動的システムをハイブリッドシステムと呼び，制御工学など幅広い分野への応用が可能である．HydLaは微分方程式を含む制約により，ハイブリッドシステムをモデリングする宣言型言語である．HydLaの処理系であるHyLaGIは，パラメータを含むシステムの高信頼記号実行シミュレーションを特徴とする．
本研究では，HyLaGIがより複雑な問題に対応できるよう，シミュレーション処理の並列化により高速化することを目的とする．例えば，多くの条件式を含む問題の条件判定の並列化や，パラメータにより解軌道が分岐した場合の並列化などを行った．
footer 著作権について 倫理綱領 プライバシーポリシー セキュリティ 情報処理学会