Hybridization for stability verification of nonlinear switched systems
M. Garcia Soto, P. Prabhakar, in:, 2020 IEEE Real-Time Systems Symposium, IEEE, 2020, pp. 244–256.
LibreCat: https://research-explorer.ista.ac.at/record/9202
DOI: 10.1109/RTSS49844.2020.00031
WoS: 000680435100021