KFUPM ePrints

On the algorithmic unsolvability of some stability problems forhybrid systems

Toker, O. (2000) On the algorithmic unsolvability of some stability problems forhybrid systems. Automatic Control, IEEE Transactions on, 45.

[img]
Preview
PDF
17Kb
[img]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