Introduces GPUSLS-LEO with path-based Hessian bounds for analytic dynamics and verifier-based bounds for NN dynamics, enabling real-time robust LTV control with verified reachable tubes up to 168 states.
Pixels to proofs: Probabilistically-safe latent world model control via parallel conformal robust mpc,
1 Pith paper cite this work. Polarity classification is still indexing.
1
Pith paper citing it
fields
eess.SY 1years
2026 1verdicts
UNVERDICTED 1representative citing papers
citing papers explorer
-
GPU-Parallel Linearization Error Bounds for Real-Time Robust Optimal Control of Nonlinear and Neural Network Dynamics
Introduces GPUSLS-LEO with path-based Hessian bounds for analytic dynamics and verifier-based bounds for NN dynamics, enabling real-time robust LTV control with verified reachable tubes up to 168 states.