DocumentCode
1310466
Title
On the algorithmic unsolvability of some stability problems for hybrid systems
Author
Toker, Onur
Author_Institution
Coll. of Comput. Sci. & Eng., King Fahd Univ. of Pet. & Miner., Dhahran, Saudi Arabia
Volume
45
Issue
1
fYear
2000
fDate
1/1/2000 12:00:00 AM
Firstpage
165
Lastpage
168
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
Keywords
asymptotic stability; computability; matrix algebra; algorithmic unsolvability; asynchronous iterative processes; hybrid systems; reachability problems; stability problems; Asymptotic stability; Computational complexity; Computer science; Iterative algorithms; Minerals; Petroleum; Polynomials; Sufficient conditions; Supervisory control; System testing;
fLanguage
English
Journal_Title
Automatic Control, IEEE Transactions on
Publisher
ieee
ISSN
0018-9286
Type
jour
DOI
10.1109/9.827377
Filename
827377
Link To Document