Toker, O. (2000) On the algorithmic unsolvability of some stability problems forhybrid systems. Automatic Control, IEEE Transactions on, 45.
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
|Divisions:||College Of Computer Sciences and Engineering > Systems Engineering Dept|
|Deposited By:||KFUPM ePrints Admin|
|Deposited On:||24 Jun 2008 16:27|
|Last Modified:||12 Apr 2011 13:14|
Repository Staff Only: item control page