© Copyright: King Fahd University of Petroleum & Minerals;
http://www.kfupm.edu.sa
On The Algorithmic Unsolvability Of Some Stability Problems Forhybrid Systems
Toker, O.;Coll. of Comput. Sci.Eng., King Fahd Univ. of Pet.Miner., Dhahran;
Automatic Control, IEEE Transactions on;Publication Date: Jan 2000;Vol:
45,Issue: 1
King Fahd University of Petroleum & Minerals
http://www.kfupm.edu.sa Summary
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
For pre-prints please write to:abstracts@kfupm.edu.sa