arxiveess.SYmath.DS2026-07-13
Contraction Certification from Streaming Data: Wasserstein Robustness and Compositional Stability for Interconnected Nonlinear System
Streaming contraction certificates, which determine in real time whether observed data is sufficient to certify a safe control action, face two structural challenges: the disturbance distribution shifts during operation, and the system consists of coupled subsystems whose joint m…