安全なナビゲーションのための制御密度関数を使用したコントローラーの統合

密度関数を制御密度関数（CDF）に拡張し、安全性制約付きのナビゲーション問題を解決する。