Toker, O. (2000) On the algorithmic unsolvability of some stability problems forhybrid systems. Automatic Control, IEEE Transactions on, 45.
![[img]](http://eprints.kfupm.edu.sa/style/images/fileicons/application_pdf.png)
| PDF 17Kb | |
![[img]](http://eprints.kfupm.edu.sa/style/images/fileicons/application_msword.png) | Microsoft Word 25Kb |
Abstract
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
| Item Type: | Article |
|---|---|
| Date: | January 2000 |
| Date Type: | Publication |
| Subjects: | Computer |
| Divisions: | College Of Computer Sciences and Engineering > Systems Engineering Dept |
| Creators: | Toker, O. |
| ID Code: | 14227 |
| 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