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
Saved in:
| Main Author: | |
|---|---|
| Other Authors: | |
| Format: | article |
| Published: |
2000
|
| Subjects: | |
| Online Access: | https://eprints.kfupm.edu.sa/id/eprint/14227/1/14227_1.pdf https://eprints.kfupm.edu.sa/id/eprint/14227/2/14227_2.doc |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _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 |