@inproceedings{9202,
  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.},
  author       = {Garcia Soto, Miriam and Prabhakar, Pavithra},
  booktitle    = {2020 IEEE Real-Time Systems Symposium},
  issn         = {2576-3172},
  location     = {Houston, TX, USA },
  pages        = {244--256},
  publisher    = {IEEE},
  title        = {{Hybridization for stability verification of nonlinear switched systems}},
  doi          = {10.1109/RTSS49844.2020.00031},
  year         = {2020},
}