Title :
On the algorithmic unsolvability of some stability problems for hybrid systems
Author_Institution :
Coll. of Comput. Sci. & Eng., King Fahd Univ. of Pet. & Miner., Dhahran, Saudi Arabia
fDate :
1/1/2000 12:00:00 AM
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;
Journal_Title :
Automatic Control, IEEE Transactions on
