On the algorithmic unsolvability of some stability problems for hybrid systems | IEEE Journals & Magazine | IEEE Xplore