--- res: bibo_abstract: - We propose a novel hybridization method for stability analysis that over-approximates nonlinear dynamical systems by switched systems with linear inclusion dynamics. We observe that existing hybridization techniques for safety analysis that over-approximate nonlinear dynamical systems by switched affine inclusion dynamics and provide fixed approximation error, do not suffice for stability analysis. Hence, we propose a hybridization method that provides a state-dependent error which converges to zero as the state tends to the equilibrium point. The crux of our hybridization computation is an elegant recursive algorithm that uses partial derivatives of a given function to obtain upper and lower bound matrices for the over-approximating linear inclusion. We illustrate our method on some examples to demonstrate the application of the theory for stability analysis. In particular, our method is able to establish stability of a nonlinear system which does not admit a polynomial Lyapunov function.@eng bibo_authorlist: - foaf_Person: foaf_givenName: Miriam foaf_name: Garcia Soto, Miriam foaf_surname: Garcia Soto foaf_workInfoHomepage: http://www.librecat.org/personId=4B3207F6-F248-11E8-B48F-1D18A9856A87 orcid: 0000-0003-2936-5719 - foaf_Person: foaf_givenName: Pavithra foaf_name: Prabhakar, Pavithra foaf_surname: Prabhakar bibo_doi: 10.1109/RTSS49844.2020.00031 dct_date: 2020^xs_gYear dct_identifier: - UT:000680435100021 dct_isPartOf: - http://id.crossref.org/issn/2576-3172 dct_language: eng dct_publisher: IEEE@ dct_title: Hybridization for stability verification of nonlinear switched systems@ ...