An automated algorithm for stability analysis of hybrid dynamical systems K. Mandal, C. Chakraborty, A. Abusorrah, M.M. Al-Hindawi, Y. Al-Turki and S. Banerjee Eur. Phys. J. Special Topics, 222 3-4 (2013) 757-768 Published online: 11 July 2013 DOI: 10.1140/epjst/e2013-01879-x