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