
Efficient conservative reachability analysis for nonlinear systems using linear envelopes and antagonistic error.


coremsg

conservative-linear-envelopes-for-high-dimensional-hamilton-jacobi-reachability-for-nonlinear-systems-via-the-hopf-formula


Conservative Linear Envelopes for High-Dimensional, Hamilton-Jacobi Reachability for Nonlinear Systems via the Hopf Formula



非線形システムの保守的なリニアエンベロープを使用して、高次元のHamilton-Jacobi到達性問題を解決するための効率的で保証された方法を提案します。



高次元、非線形システムの保守的なリニアエンベロープによるHamilton-Jacobi到達性：Hopfフォーミュラを介した効率的な解法
