The article discusses a method to efficiently analyze reachability in high-dimensional systems using conservative linear envelopes and antagonistic error. It introduces the concept of Hamilton-Jacobi reachability analysis and its applications in various domains. The authors propose a novel approach to overcome the curse of dimensionality by utilizing the Hopf formula for linear time-varying systems. By transforming nonlinear system errors into bounded artificial disturbances, they achieve guaranteed conservative reachability analysis and control synthesis. Several technical methods are presented to reduce conservativeness in the analysis, demonstrated through examples like the Van der Pol system and pursuit-evasion games with Dubins cars.
A otro idioma
del contenido fuente
arxiv.org
Ideas clave extraídas de
by Will Sharple... a las arxiv.org 03-22-2024
https://arxiv.org/pdf/2403.14184.pdfConsultas más profundas