Support-Safe Variational Hybrid Filtering for Contact-Mode and Sparse-Law Recovery
For robot state estimation in contact-rich tasks, VHYDRO provides a principled filtering approach that avoids catastrophic failure from missed contact transitions, with theoretical guarantees and empirical gains over existing methods.
VHYDRO prevents branch loss in hybrid robot dynamics filtering by mixing learned proposals with feasible transitions, enabling recovery of contact modes and sparse physical laws. It achieves temporally coherent contact segments and accurate term recovery, outperforming baselines in occlusion, ManiSkill, and Sawyer/BridgeData tasks.
Contact-rich robot dynamics are hybrid: a single observation can match several latent states and contact regimes (free, impact, stick--slip). A standard amortized filter that places no probability on a feasible contact transition will permanently lose the branch the robot actually follows. We introduce VHYDRO, a variational hybrid dynamics learner that prevents this branch loss. At each step, VHYDRO mixes the learned proposal with a feasible transition law before sampling and importance weighting, ensuring that every transition retained by the model-feasible carrier remains covered. VHYDRO jointly infers a continuous latent state and a discrete contact mode, and fits a sparse port-Hamiltonian law to each recovered regime. On top of this, three guarantees connect: support coverage stabilizes filtering, the stabilized filter concentrates the discrete contact posterior on coherent regimes, and mode-pure segments admit sparse port-Hamiltonian recovery. The recovery error separates cleanly into filtering, derivative, mode-impurity, and physics-residual parts. Three empirical findings track the same mechanism. Under heavy occlusion the support-safe filter stays usable while a non-defensive proposal collapses. On ManiSkill demonstrations and on four Sawyer/BridgeData task families the discrete state forms temporally coherent contact-regime segments that the discrete state yields a stronger joint profile across ARI, change-point F1, and segment purity than post-hoc and mode-free baselines. On hybrid systems with known equations the mode-conditioned sparse fit recovers the active physical terms; purely predictive baselines do not.