[1E3-OS-3b] AI における離散構造処理と制約充足(2)

[1E3-OS-3b-01] ハイブリッド制約処理系HyLaGIにおける分枝限定法を用いた離散変化時刻導出手法

〇佐藤 柾史¹、上田 和紀¹ (1. 早稲田大学)

キーワード：ハイブリッドシステム、プログラミング言語、最適化

ハイブリッドシステムは時間進行に伴って連続変化と離散変化を繰り返す系であり, 物理系やサイバーフィジカルシステム等に広く適用できる概念である.
我々は, ハイブリッドシステムのモデリング言語であるHydLaとその記号シミュレータHyLaGIを開発している。
HyLaGIは記述された制約をHydLaの意味論に従って解くが, 記号を残した誤差の無いシミュレーションには様々な困難がある.
本研究は, HyLaGIにおける離散変化の要因が多数ある問題のシミュレーションの高速化を目的とする.
現在のHyLaGIでは, 離散変化発生の原因をしらみつぶしに探索するため, その数に比例して実行時間が増大することが分かっている. 制約で記述された多数の離散変化条件を包含する緩和問題を作成し, 分枝限定法を用いた効率的な解探索をする手法の提案とプロトタイプ実装を行い, 目的とする例題での実行時間の抑制を実現した.