Miriam García Soto, Pavithra Prabhakar. Hybridization for Stability Verification of Nonlinear Switched Systems. In 41st IEEE Real-Time Systems Symposium, RTSS 2020, Houston, TX, USA, December 1-4, 2020. pages 244-256, IEEE, 2020. [doi]
Abstract is missing.