第33回 (2019)
セッションID: 1E3-OS-3b-01
会議情報
主催: 一般社団法人 人工知能学会
会議名: 2019年度人工知能学会全国大会（第33回）
回次: 33
開催地: 新潟県新潟市 朱鷺メッセ
開催日: 2019/06/04 - 2019/06/07
ハイブリッド制約処理系HyLaGIにおける分枝限定法を用いた離散変化時刻導出手法
詳細
主催: 一般社団法人 人工知能学会
会議名: 2019年度人工知能学会全国大会（第33回）
回次: 33
開催地: 新潟県新潟市 朱鷺メッセ
開催日: 2019/06/04 - 2019/06/07
ハイブリッドシステムは時間進行に伴って連続変化と離散変化を繰り返す系であり, 物理系やサイバーフィジカルシステム等に広く適用できる概念である. 我々は, ハイブリッドシステムのモデリング言語であるHydLaとその記号シミュレータHyLaGIを開発している。 HyLaGIは記述された制約をHydLaの意味論に従って解くが, 記号を残した誤差の無いシミュレーションには様々な困難がある. 本研究は, HyLaGIにおける離散変化の要因が多数ある問題のシミュレーションの高速化を目的とする. 現在のHyLaGIでは, 離散変化発生の原因をしらみつぶしに探索するため, その数に比例して実行時間が増大することが分かっている. 制約で記述された多数の離散変化条件を包含する緩和問題を作成し, 分枝限定法を用いた効率的な解探索をする手法の提案とプロトタイプ実装を行い, 目的とする例題での実行時間の抑制を実現した.
