On the algorithmic unsolvability of some stability problems for hybrid systems

Onur Toker. On the algorithmic unsolvability of some stability problems for hybrid systems. IEEE Trans. Automat. Contr., 45(1):165-168, 2000. [doi]

Abstract

Abstract is missing.