On the algorithmic unsolvability of some stability problems for hybrid systems
| Author(s) : | O Toker, |
| Publisher : | IEEE-INST ELECTRICAL ELECTRONICS ENGINEERS INC |
| Publication Date : | 2000 |
| ISSN : | N/A |
| Abstract : | 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., |