[論文レビュー] A Benchmark Problem in Transportation Networks

Samuel Coogan, Murat Arcak|arXiv (Cornell University)|Mar 1, 2018

Traffic control and management参考文献 10被引用数 4

ひとこと要約

本稿では、合流・分岐接続部を伴う高速道路交通流のスケーラブルで離散時間の区分的アフィンハイブリッドモデルを提案する。セル伝送原理を用いることで、形式的手法による解析と制御が可能となる。本モデルは、スループット最大化や混雑回避といった交通管理の目的を実現するための計算的に効率的な検証と合成をサポートする。

ABSTRACT

In this note, we propose a case study of freeway traffic flow modeled as a hybrid system. We describe two general classes of networks that model flow along a freeway with merging onramps. The admission rate of traffic flow from each onramp is metered via a control input. Both classes of networks are easily scaled to accommodate arbitrary state dimension. The model is discrete-time and possesses piecewise-affine dynamics. Moreover, we present several control objectives that are especially relevant for traffic flow management. The proposed model is flexible and extensible and offers a benchmark for evaluating tools and techniques developed for hybrid systems.

研究の動機と目的

• 合流・分岐接続部の主要なダイナミクスを捉えることのできる、シンプルでありながら拡張可能なハイブリッドシステムモデルを高速道路交通流に開発すること。
• 特に大規模な輸送ネットワークを対象とした、ハイブリッドシステム制御ツールの評価に用いるベンチマーク問題を提供すること。
• スループット最大化や混雑回避といった実用的な交通管理の目的を、形式的制御合成を用いて支援すること。
• 混合単調性や交通ネットワークにおけるスパarsityといった構造的性質を活用することで、形式的手法によるスケーラブルな解析を可能にすること。
• 明確に定義されたパラメータ化されたモデルを通じて、理論的ハイブリッドシステム手法と実世界の輸送応用を橋渡しすること。

提案手法

• 各リンクにおける車両の占有状態を表す状態ベクトルを用いて、交通流を離散時間の区分的アフィン（PWA）システムとしてモデル化する。
• リンクの需要 $ D(x) = \min\{c, vx\} $ と供給 $ S(x) = w(\bar{x} - x) $ を定義するための三角形基本図を用いる。パラメータは表1から取得する。
• 容量制約と需要制約を満たすために、最小・最大演算を用いて合流・分岐接続部におけるフロー動的を定義する。
• 接続部モデルを相互接続することでネットワークレベルの動的を構築し、任意のトポロジーにおいてもPWA構造を維持する。
• 発進レーン流入量を制御入力として導入し、交通フローおよび混雑の能動的制御を可能にする。
• 混合単調性を活用することでスケーラブルな有限抽象化が可能となる形式的手法（例：有限抽象化、到達可能性解析）を採用する。

実験結果

リサーチクエスチョン

• RQ1 大規模ネットワークにスケーラブルかつ解析的に取り扱いやすいハイブリッドシステムモデルとして、高速道路交通流をどのように構築できるか？
• RQ2 交通流管理において最も関連性の高い制御目的（例：スループット最大化、混雑回避）は何か、そしてそれらをどのように形式化できるか？
• RQ3 交通ネットワークにおける混合単調性やスパarsityといった構造的性質が、効率的な形式的検証および制御合成をどのように可能にするか？
• RQ4 本モデルの区分的アフィン性は、モデル予測制御や時相論理合成を含む、既存のハイブリッドシステムツールへの応用をどのように支援するか？
• RQ5 ハイブリッドシステム分野の新規ツールの評価・比較に用いることのできる、現実的な輸送環境下でのベンチマーク用ネットワークトポロジーは何か？

主な発見

• 提案されたモデルは区分的アフィン（PWA）であるため、到達可能性解析や時相論理合成といった形式的手法ツールの適用が可能である。
• 一般の交通ネットワークにおいて、本モデルは混合単調性を示す。これにより、状態次元に依存せずに極値点評価による効率的な有限抽象化が可能である。
• 表1のパラメータ値が与えられた場合、$ x^{\text{crit}} = 80 $ 台の車両で臨界混雑状態が発生し、需要と供給が等しくなる。
• 制御入力を用いて発進レーンメーター制御をバランスさせることで、スループットが最大化される。
• 本モデルは有限時間および無限時間の性能指標をサポートしており、割引報酬および平均報酬の定式化を含む。
• 本フレームワークはより大規模なネットワークへの拡張が可能であり、新規ハイブリッドシステムツールのスケーラビリティおよび効率性の評価ベンチマークとして使用できる。