Search papers, labs, and topics across Lattice.
This paper addresses the challenge of real-time robust optimal control for uncertain nonlinear systems by developing tight, differentiable, GPU-parallel linearization error bounds (LEBs) for linear time-varying (LTV) approximations. The authors introduce innovative path-based Hessian bounds for analytic dynamics and certified LEBs for neural network dynamics, enabling a robust control solver, GPUSLS-LEO, to efficiently handle complex uncertainty propagation. The method achieves online optimization of robust feedback policies at rates up to 67 Hz, significantly improving solve times and conservativeness while maintaining formal guarantees and real-time performance.
Achieving robust control for complex nonlinear systems at 67 Hz without sacrificing formal guarantees could revolutionize real-time decision-making in dynamic environments.
This paper studies real-time robust optimal control for uncertain nonlinear systems, where linear time-varying (LTV) approximations make planning tractable but require sound linearization error bounds (LEBs) to guarantee robust constraint satisfaction. We develop tight, differentiable, GPU-parallel LEBs for LTV approximations of nonlinear and neural network (NN) dynamics. For analytic dynamics, we introduce path-based Hessian bounds that are tighter than standard interval methods. For NN dynamics, we derive certified LEBs using NN verifier-generated affine relaxations and local Jacobian corrections. We adapt a GPU-parallel system-level synthesis LTV-based robust control solver to be compatible with these LEBs by extending it to handle right-invertible disturbance matrices and non-zero-centered disturbance sets for tight zonotopic uncertainty propagation. Our method, GPUSLS-LEO, enables online optimization of robust feedback policies that account for linearization error, producing tight, formally verified reachable tubes. On complex nonlinear and NN dynamics up to 168 state dimensions, our method can compute robust control policies on the GPU at rates up to 67 Hz, reducing solve times and conservativeness relative to baselines while preserving formal guarantees and real-time performance.
