IEEE Transactions on Automatic Control, Vol.45, No.1, 165-168, 2000
On the algorithmic unsolvability of some stability problems for hybrid systems
In this paper, we define two stability problems for a class of hybrid systems containing asynchronous iterative processes and prove these problems are algorithmically unsolvable. Furthermore, we also show some reachability problems for asynchronous iterative processes are algorithmically unsolvable.