第29回 (2015)
セッションID: 1E3-3
会議情報
主催: 一般社団法人 人工知能学会
会議名: 2015年度人工知能学会全国大会（第29回）
回次: 29
開催地: 北海道函館市 公立はこだて未来大学
開催日: 2015/05/30 - 2015/06/02
ハイブリッド制約言語HydLa処理系における数式処理と区間計算を組み合わせたシミュレーション実行
詳細
主催: 一般社団法人 人工知能学会
会議名: 2015年度人工知能学会全国大会（第29回）
回次: 29
開催地: 北海道函館市 公立はこだて未来大学
開催日: 2015/05/30 - 2015/06/02
HydLaは制約に基づくハイブリッドシステムモデリング言語である.HydLa処理系は離散変化と連続変化をもつハイブリッドシステムを数式処理によって誤差なくシミュレーションする.本研究では, HydLa処理系において, 離散変化時刻を求める方程式が数式処理によって求解できないモデルをシミュレーション可能にするための手法として, 区間ニュートン法を組み合わせたアルゴリズムを考案, 実装し評価を行う.
