[論文レビュー] Numerical Integration and Dynamic Discretization in Heuristic Search Planning over Hybrid Domains

Miquel Ramírez, Enrico Scala+2 more|arXiv (Cornell University)|Mar 12, 2017

AI-based Problem Solving and Planning被引用数 5

ひとこと要約

本論文では、離散的および連続的ダイナミクスを組み合わせたハイブリッドドメインを対象としたヒューリスティックサーチプランナ―であるFS+を提案する。本手法は、計画中に時間分割を動的に精錬するために、適応的数値積分とオンラインゼロクロッシング検出を用いる。線形および非線形ダイナミクスを含む多様なベンチマークにおいて、的確にシミュレーションステップを調整し、制約をリアルタイムで検証することで、優れた性能を発揮し、既存のプランナーよりも優れている。

ABSTRACT

In this paper we look into the problem of planning over hybrid domains, where change can be both discrete and instantaneous, or continuous over time. In addition, it is required that each state on the trajectory induced by the execution of plans complies with a given set of global constraints. We approach the computation of plans for such domains as the problem of searching over a deterministic state model. In this model, some of the successor states are obtained by solving numerically the so-called initial value problem over a set of ordinary differential equations (ODE) given by the current plan prefix. These equations hold over time intervals whose duration is determined dynamically, according to whether zero crossing events take place for a set of invariant conditions. The resulting planner, FS+, incorporates these features together with effective heuristic guidance. FS+ does not impose any of the syntactic restrictions on process effects often found on the existing literature on Hybrid Planning. A key concept of our approach is that a clear separation is struck between planning and simulation time steps. The former is the time allowed to observe the evolution of a given dynamical system before committing to a future course of action, whilst the later is part of the model of the environment. FS+ is shown to be a robust planner over a diverse set of hybrid domains, taken from the existing literature on hybrid planning and systems.

研究の動機と目的

• 離散的および連続的状態変数を併せ持つハイブリッドドメインにおける計画の課題に取り組むこと、特にダイナミクスが非線形または時間変動する場合に焦点を当てる。
• 固定または事前に決定された時間ステップを使用する従来のプランナ―に見られる制限を克服し、不正確または無効な計画が生じるのを防ぐこと。
• モード不変量の違反（ゼロクロッシング）をリアルタイムで検出することで、必要に応じて時間ステップを動的に精錬し、すべてのモードを事前に列挙する必要を回避することで、効率的かつスケーラブルな計画を実現すること。
• 既存の古典的計画ヒューリスティクス（区間ベースの緩和と制約緩和型計画グラフ）をハイブリッド計画フレームワークに統合し、より効果的な探索誘導を実現すること。
• シミュレーターやソルバーと連携可能な実用的で拡張性のあるフレームワークを提供し、工学的設計のための知能的なCADツールの開発を支援すること。

提案手法

• FS+は、特別な「待機」アクションを用いて連続的状態の時間的変化をシミュレートする前向き探索戦略を採用し、固定時間ステップの代わりに、オンラインで決定された適応的時間間隔を用いる。
• 待機アクションの後続状態は、初期値問題の解を近似するために細かいシミュレーションステップサイズΔzを用いた数値積分（例：ルンゲ・クッタ法）により計算される。
• モード不変量の違反（ゼロクロッシング）は、シミュレーション中にリアルタイムで検出される。検出された場合、時間ステップが短縮され、再びシミュレーションが実行されて妥当性が保証される。
• 探索中に実際に遭遇するモードのみを動的に探索するため、事前にすべての可能なモードを列挙する必要がなくなり、定性的シミュレーションにインspiredされたアプローチを採用する。
• 2つの既存のヒューリスティクス（区間ベースの緩和と制約緩和型計画グラフ）を組み合わせることで、探索を効率的に誘導する新しい有効なヒューリスティクス$h_{\text{FS+}}$を構築する。
• セマンティックアタッチメントや動的リンクを通じて、外部のシミュレーターやソルバーと連携できるように設計されており、CADおよびシミュレーションパイプラインへの統合を可能にする。

実験結果

リサーチクエスチョン

• RQ1 非線形ダイナミクスを有するハイブリッド計画において、シミュレーションステップの動的精錬による適応的時間離散化が、計画の品質および妥当性を向上させることができるか？
• RQ2 ゼロクロッシング検出を計画プロセスに統合することで、すべてのモードを事前に列挙しないまま、モード不変量を保持することができるか？
• RQ3 既存の古典的計画ヒューリスティクスが、連続ドメインにおけるハイブリッド計画に効果的に適応および統合できる範囲はどの程度か？
• RQ4 事前にモードを列挙しない計画アプローチが、要因分解されたプロセス記述によって指数的モード数を有する問題に対しても、効率的にスケーリングできるか？
• RQ5 実行時における数値積分と制約検証の統合は、オフライン検証や制限付きのダイナミクスクラスと比較して、性能および頑健性の面で優れているか？

主な発見

• FS+は、線形および非線形ダイナミクスを有する多様なベンチマークにおいて、計画の品質と効率性の面で、既存のハイブリッドプランナーよりも優れた頑健な性能を示している。
• 適応的時間離散化の使用により、FS+はシステムの挙動に応じて自動的にシミュレーション解像度を調整でき、不要な計算負荷を回避しながら制約の妥当性を保証している。
• オンラインゼロクロッシング検出により、シミュレーション中におけるモード不変量の正確な検証が可能になり、固定時間ステップでは避けられなかった無効な遷移を防止している。
• 区間ベースの緩和と制約緩和型計画グラフヒューリスティクスの統合により、探索性能を著しく向上させる強力で有効なヒューリスティクス$h_{\text{FS+}}$が得られている。
• FS+は、外部のシミュレーターやソルバーと容易に拡張・連携可能であり、対話型CADおよび工学的設計ツールへの統合の可能性が極めて高い。
• 将来の拡張として、文法的制限および記号的検証（特にSMTおよび制約プログラミングを介して）が可能であり、計画妥当性に関するより強い保証が得られる。