On the algorithmic unsolvability of some stability problems forhybrid systems
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
محفوظ في:
| المؤلف الرئيسي: | |
|---|---|
| مؤلفون آخرون: | |
| التنسيق: | article |
| منشور في: |
2000
|
| الموضوعات: | |
| الوصول للمادة أونلاين: | https://eprints.kfupm.edu.sa/id/eprint/14227/1/14227_1.pdf https://eprints.kfupm.edu.sa/id/eprint/14227/2/14227_2.doc |
| الوسوم: |
إضافة وسم
لا توجد وسوم, كن أول من يضع وسما على هذه التسجيلة!
|
| _version_ | 1864513384064483328 |
|---|---|
| author | Toker, O. |
| author2 | unknown |
| author2_role | author |
| author_facet | Toker, O. unknown |
| author_role | author |
| dc.creator.none.fl_str_mv | Toker, O. unknown |
| dc.date.none.fl_str_mv | 2000-01 2020 |
| dc.format.none.fl_str_mv | application/pdf application/msword |
| dc.identifier.none.fl_str_mv | https://eprints.kfupm.edu.sa/id/eprint/14227/1/14227_1.pdf https://eprints.kfupm.edu.sa/id/eprint/14227/2/14227_2.doc (2000) On the algorithmic unsolvability of some stability problems forhybrid systems. Automatic Control, IEEE Transactions on, 45. |
| dc.language.none.fl_str_mv | en en |
| dc.publisher.none.fl_str_mv | IEEE |
| dc.relation.none.fl_str_mv | https://eprints.kfupm.edu.sa/id/eprint/14227/ |
| dc.rights.*.fl_str_mv | info:eu-repo/semantics/openAccess |
| dc.subject.none.fl_str_mv | Computer |
| dc.title.none.fl_str_mv | On the algorithmic unsolvability of some stability problems forhybrid systems |
| dc.type.none.fl_str_mv | Article PeerReviewed info:eu-repo/semantics/publishedVersion info:eu-repo/semantics/article |
| description | 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 |
| eu_rights_str_mv | openAccess |
| format | article |
| id | KFUPM_8fdf149ae8539e82d2a7fe57843d7a86 |
| identifier_str_mv | (2000) On the algorithmic unsolvability of some stability problems forhybrid systems. Automatic Control, IEEE Transactions on, 45. |
| language_invalid_str_mv | en |
| network_acronym_str | KFUPM |
| network_name_str | King Fahd University of Petroleum and Minerals |
| oai_identifier_str | oai::14227 |
| publishDate | 2000 |
| publisher.none.fl_str_mv | IEEE |
| repository.mail.fl_str_mv | |
| repository.name.fl_str_mv | |
| repository_id_str | |
| spelling | On the algorithmic unsolvability of some stability problems forhybrid systemsToker, O.unknownComputerWe 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 unsolvableIEEE2000-012020ArticlePeerReviewedinfo:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/articleapplication/pdfapplication/mswordhttps://eprints.kfupm.edu.sa/id/eprint/14227/1/14227_1.pdfhttps://eprints.kfupm.edu.sa/id/eprint/14227/2/14227_2.doc (2000) On the algorithmic unsolvability of some stability problems forhybrid systems. Automatic Control, IEEE Transactions on, 45. enenhttps://eprints.kfupm.edu.sa/id/eprint/14227/info:eu-repo/semantics/openAccessoai::142272019-11-01T14:04:48Z |
| spellingShingle | On the algorithmic unsolvability of some stability problems forhybrid systems Toker, O. Computer |
| status_str | publishedVersion |
| title | On the algorithmic unsolvability of some stability problems forhybrid systems |
| title_full | On the algorithmic unsolvability of some stability problems forhybrid systems |
| title_fullStr | On the algorithmic unsolvability of some stability problems forhybrid systems |
| title_full_unstemmed | On the algorithmic unsolvability of some stability problems forhybrid systems |
| title_short | On the algorithmic unsolvability of some stability problems forhybrid systems |
| title_sort | On the algorithmic unsolvability of some stability problems forhybrid systems |
| topic | Computer |
| url | https://eprints.kfupm.edu.sa/id/eprint/14227/1/14227_1.pdf https://eprints.kfupm.edu.sa/id/eprint/14227/2/14227_2.doc |