第28回 (2014)
セッションID: 4C1-2
会議情報
主催: 一般社団法人 人工知能学会
会議名: 2014年度人工知能学会全国大会（第28回）
回次: 28
開催地: 愛媛県松山市 ひめぎんホール
開催日: 2014/05/12 - 2014/05/15
フェーズ間の制約差分情報および制約-変数間の依存関係を用いたHydLa処理系の最適化
詳細
主催: 一般社団法人 人工知能学会
会議名: 2014年度人工知能学会全国大会（第28回）
回次: 28
開催地: 愛媛県松山市 ひめぎんホール
開催日: 2014/05/12 - 2014/05/15
ハイブリッドシステムは，時間経過に伴い離散変化と連続変化を繰り返すシステムである． HydLaは，制約に基づくハイブリッドシステムモデリング言語である． 本研究では，HydLa処理系において，フェーズ間の制約の差分情報と，制約と変数の依存関係を利用し，従来のフェーズ計算を行う前に解が変化しない変数を割り出すことで，不要な再計算を排除する最適化を行う．
