Learning to Test: Latent Representation Learning for Dynamic Instability Detection

arXiv:2604.10967v2 Announce Type: replace Abstract: Stability assessment is central to safety-critical systems governed by differential-algebraic equations (DAEs), whose dynamics are constrained by physical laws and admissibility conditions. These systems operate under stochastically varying environmental inputs, so stability must be reassessed as the context distribution shifts, yet repeated large-scale DAE simulation is prohibitive in high-dimensional or real-time settings. We propose a test-oriented learning framework that tests a trajectory-level chance constraint from deployment contexts alone. Rather than re-estimating physical parameters or re-solving the DAE, we learn a latent representation from baseline context-trajectory data that retains stability-relevant information and is regularized toward a tractable reference distribution, and calibrate a latent discrepancy test over the composite safety null. We establish exact validity for oracle calibration and asymptotic validity for its empirical implementation under class-conditional latent invariance, and show that the guarantee degrades gracefully when this invariance holds only approximately. On simulated dynamical systems and a power-system real-world example, our approach strikes a balance between validity and power, whereas other baseline methods each fail in at least one regime. An ablation that injects controlled violations of the invariance assumption shows that decisions stay correct while the violation is below the safety margin, as the theory predicts.

Abstract:Stability assessment is central to safety-critical systems governed by differential-algebraic equations (DAEs), whose dynamics are constrained by physical laws and admissibility conditions. These systems operate under stochastically varying environmental inputs, so stability must be reassessed as the context distribution shifts, yet repeated large-scale DAE simulation is prohibitive in high-dimensional or real-time settings. We propose a test-oriented learning framework that tests a trajectory-level chance constraint from deployment contexts alone. Rather than re-estimating physical parameters or re-solving the DAE, we learn a latent representation from baseline context-trajectory data that retains stability-relevant information and is regularized toward a tractable reference distribution, and calibrate a latent discrepancy test over the composite safety null. We establish exact validity for oracle calibration and asymptotic validity for its empirical implementation under class-conditional latent invariance, and show that the guarantee degrades gracefully when this invariance holds only approximately. On simulated dynamical systems and a power-system real-world example, our approach strikes a balance between validity and power, whereas other baseline methods each fail in at least one regime. An ablation that injects controlled violations of the invariance assumption shows that decisions stay correct while the violation is below the safety margin, as the theory predicts.

Machine Learning (cs.LG)

arXiv:2604.10967 [cs.LG]

(or arXiv:2604.10967v2 [cs.LG] for this version)

https://doi.org/10.48550/arXiv.2604.10967 Focus to learn more arXiv-issued DOI via DataCite

arXivLabs is a framework that allows collaborators to develop and share new arXiv features directly on our website.

Both individuals and organizations that work with arXivLabs have embraced and accepted our values of openness, community, excellence, and user data privacy. arXiv is committed to these values and only works with partners that adhere to them.

Have an idea for a project that will add value for arXiv's community? Learn more about arXivLabs.

aiqbench analysis

Learning to Test: Latent Representation Learning for Dynamic Instability Detection

Related coverage