{"id":{"repo_id":"uiuc","oai_identifier":"oai:www.ideals.illinois.edu:2142/24062"},"canonical_url":"https://search.dev.ndltd.org/etd/uiuc/oai:www.ideals.illinois.edu:2142/24062","repository":{"repo_id":"uiuc","name":"University of Illinois - Urbana-Champaign","base_url":"https://www.ideals.illinois.edu/oai-pmh"},"display":{"title":"Middleware and control of cyber-physical systems: temporal guarantees and hybrid system analysis","abstract":"A cyber-physical system is a system which encompasses computing, communication, and physical entities with emphasis on their interactions. In this work, we study two different aspects of cyber-physical systems: mechanisms as well as policy. At the mechanism end we study how to provide a platform for developing cyber-physical systems, and at the policy end we study how to analyze the performance of the overall control system. For the purpose of verification of certain high-level properties, a cyber-physical system can be viewed as a hybrid system. It is indeed useful to do so since properties such as safety can then be studied through a reachable set computation. Towards this end, we propose a theory for an over-approximation of the reachable set for a special class of hybrid systems, over a finite time interval, under a certain deterministic and transversal discrete transition condition. A prototype software tool based on the proposed theory is also implemented and used to demonstrate the computation of such an over-approximate reachable set. At the mechanism end, we address the issue of the design and implementation of real-time mechanisms in Etherware, a middleware developed in the Information Technology Convergence Laboratory at the University of Illinois, so that it can be more suitable for networked control applications. Cyber-physical systems are often safety critical, and so it is important that their performance be predictable. Of particular interest is temporal predictability of interactions, which it is the goal of the middleware to ensure. Also of importance for developing complex control systems is that the middleware be flexible. We address the problem of enhancing these two attributes, and demonstrate the flexibility and temporal predictability of the enhanced Etherware through a networked inverted pendulum application.","abstract_html":"A cyber-physical system is a system which encompasses computing, communication, and physical entities with emphasis on their interactions. In this work, we study two different aspects of cyber-physical systems: mechanisms as well as policy. At the mechanism end we study how to provide a platform for developing cyber-physical systems, and at the policy end we study how to analyze the performance of the overall control system. For the purpose of verification of certain high-level properties, a cyber-physical system can be viewed as a hybrid system. It is indeed useful to do so since properties such as safety can then be studied through a reachable set computation. Towards this end, we propose a theory for an over-approximation of the reachable set for a special class of hybrid systems, over a finite time interval, under a certain deterministic and transversal discrete transition condition. A prototype software tool based on the proposed theory is also implemented and used to demonstrate the computation of such an over-approximate reachable set. At the mechanism end, we address the issue of the design and implementation of real-time mechanisms in Etherware, a middleware developed in the Information Technology Convergence Laboratory at the University of Illinois, so that it can be more suitable for networked control applications. Cyber-physical systems are often safety critical, and so it is important that their performance be predictable. Of particular interest is temporal predictability of interactions, which it is the goal of the middleware to ensure. Also of importance for developing complex control systems is that the middleware be flexible. We address the problem of enhancing these two attributes, and demonstrate the flexibility and temporal predictability of the enhanced Etherware through a networked inverted pendulum application.","abstract_has_math":false,"creators":["Kim, Kyoung-Dae"],"institution":"University of Illinois at Urbana-Champaign","degree_name":"Ph.D.","degree_level":"Dissertation","degree_discipline":"Electrical & Computer Engr","degree_department":null,"school":null,"contributors":["Kumar, P.R.","Basar, Tamer","Abdelzaher, Tarek F.","Mitra, Sayan"],"advisors":[],"committee_chairs":[],"committee_members":[],"year":2011,"date_issued":"2011-05-25T14:59:17Z","date_published":"2011-05-25T14:59:17Z","updated_at":"2026-07-22T22:25:23Z","subjects":["cyber-physical systems","hybrid systems","networked control systems","real-time systems","middleware","reachability"],"languages":["en"],"rights":["Copyright 2011 Kyoung-Dae Kim"],"rights_urls":[],"identifier_entries":[]},"links":{"outbound_url":"http://hdl.handle.net/2142/24062","outbound_label":"Handle","outbound_source":"dc:identifier"},"metadata_groups":[{"id":"people","label":"People","entries":[{"key":"dc:contributor","label":"Contributor","values":["Kumar, P.R.","Basar, Tamer","Abdelzaher, Tarek F.","Mitra, Sayan"]},{"key":"dc:creator","label":"Author","values":["Kim, Kyoung-Dae"]}]},{"id":"academic_context","label":"Academic Context","entries":[{"key":"dc:date","label":"Dc Date","values":["2011-05-25T14:59:17Z","2011-05"]},{"key":"thesis:degree_discipline","label":"Discipline","values":["Electrical & Computer Engr"]},{"key":"thesis:degree_level","label":"Degree Level","values":["Dissertation"]},{"key":"thesis:degree_name","label":"Degree Name","values":["Ph.D."]},{"key":"thesis:institution_name","label":"Thesis Institution Name","values":["University of Illinois at Urbana-Champaign"]}]},{"id":"subjects_keywords","label":"Subjects and Keywords","entries":[{"key":"dc:subject","label":"Dc Subject","values":["cyber-physical systems","hybrid systems","networked control systems","real-time systems","middleware","reachability"]}]},{"id":"language_rights","label":"Language and Rights","entries":[{"key":"dc:language","label":"Dc Language","values":["en"]},{"key":"dc:rights","label":"Dc Rights","values":["Copyright 2011 Kyoung-Dae Kim"]}]},{"id":"identifiers","label":"Identifiers","entries":[{"key":"dc:identifier","label":"Identifier","values":["http://hdl.handle.net/2142/24062"]}]},{"id":"additional","label":"Additional Metadata","entries":[{"key":"dc:description","label":"Description","values":["A cyber-physical system is a system which encompasses computing, communication, and physical entities with emphasis on their interactions. In this work, we study two different aspects of cyber-physical systems: mechanisms as well as policy. At the mechanism end we study how to provide a platform for developing cyber-physical systems, and at the policy end we study how to analyze the performance of the overall control system. For the purpose of verification of certain high-level properties, a cyber-physical system can be viewed as a hybrid system. It is indeed useful to do so since properties such as safety can then be studied through a reachable set computation. Towards this end, we propose a theory for an over-approximation of the reachable set for a special class of hybrid systems, over a finite time interval, under a certain deterministic and transversal discrete transition condition. A prototype software tool based on the proposed theory is also implemented and used to demonstrate the computation of such an over-approximate reachable set. At the mechanism end, we address the issue of the design and implementation of real-time mechanisms in Etherware, a middleware developed in the Information Technology Convergence Laboratory at the University of Illinois, so that it can be more suitable for networked control applications. Cyber-physical systems are often safety critical, and so it is important that their performance be predictable. Of particular interest is temporal predictability of interactions, which it is the goal of the middleware to ensure. Also of importance for developing complex control systems is that the middleware be flexible. We address the problem of enhancing these two attributes, and demonstrate the flexibility and temporal predictability of the enhanced Etherware through a networked inverted pendulum application.","Item withdrawn by Mark Zulauf (zulauf@illinois.edu) on 2011-04-07T22:13:49Z Item was in collections: University of Illinois Theses & Dissertations (ID: 1) No. of bitstreams: 1 Kim_Kyoung-Dae.pdf: 3268666 bytes, checksum: be0a862f0a0d97fc4047f9307466f484 (MD5)","Made available in DSpace on 2011-05-25T14:59:17Z (GMT). No. of bitstreams: 2 Kim_Kyoung-Dae.pdf: 3268666 bytes, checksum: be0a862f0a0d97fc4047f9307466f484 (MD5) license.txt: 4058 bytes, checksum: bf72d5dd8dbf463ab59a325762976def (MD5)"]},{"key":"dc:title","label":"Title","values":["Middleware and control of cyber-physical systems: temporal guarantees and hybrid system analysis"]}]}],"canonical_facts":{"dc:contributor":["Kumar, P.R.","Basar, Tamer","Abdelzaher, Tarek F.","Mitra, Sayan"],"dc:creator":["Kim, Kyoung-Dae"],"dc:date":["2011-05-25T14:59:17Z","2011-05"],"dc:description":["A cyber-physical system is a system which encompasses computing, communication, and physical entities with emphasis on their interactions. In this work, we study two different aspects of cyber-physical systems: mechanisms as well as policy. At the mechanism end we study how to provide a platform for developing cyber-physical systems, and at the policy end we study how to analyze the performance of the overall control system. For the purpose of verification of certain high-level properties, a cyber-physical system can be viewed as a hybrid system. It is indeed useful to do so since properties such as safety can then be studied through a reachable set computation. Towards this end, we propose a theory for an over-approximation of the reachable set for a special class of hybrid systems, over a finite time interval, under a certain deterministic and transversal discrete transition condition. A prototype software tool based on the proposed theory is also implemented and used to demonstrate the computation of such an over-approximate reachable set. At the mechanism end, we address the issue of the design and implementation of real-time mechanisms in Etherware, a middleware developed in the Information Technology Convergence Laboratory at the University of Illinois, so that it can be more suitable for networked control applications. Cyber-physical systems are often safety critical, and so it is important that their performance be predictable. Of particular interest is temporal predictability of interactions, which it is the goal of the middleware to ensure. Also of importance for developing complex control systems is that the middleware be flexible. We address the problem of enhancing these two attributes, and demonstrate the flexibility and temporal predictability of the enhanced Etherware through a networked inverted pendulum application.","Item withdrawn by Mark Zulauf (zulauf@illinois.edu) on 2011-04-07T22:13:49Z Item was in collections: University of Illinois Theses & Dissertations (ID: 1) No. of bitstreams: 1 Kim_Kyoung-Dae.pdf: 3268666 bytes, checksum: be0a862f0a0d97fc4047f9307466f484 (MD5)","Made available in DSpace on 2011-05-25T14:59:17Z (GMT). No. of bitstreams: 2 Kim_Kyoung-Dae.pdf: 3268666 bytes, checksum: be0a862f0a0d97fc4047f9307466f484 (MD5) license.txt: 4058 bytes, checksum: bf72d5dd8dbf463ab59a325762976def (MD5)"],"dc:identifier":["http://hdl.handle.net/2142/24062"],"dc:language":["en"],"dc:rights":["Copyright 2011 Kyoung-Dae Kim"],"dc:subject":["cyber-physical systems","hybrid systems","networked control systems","real-time systems","middleware","reachability"],"dc:title":["Middleware and control of cyber-physical systems: temporal guarantees and hybrid system analysis"],"thesis:degree_discipline":["Electrical & Computer Engr"],"thesis:degree_level":["Dissertation"],"thesis:degree_name":["Ph.D."],"thesis:institution_name":["University of Illinois at Urbana-Champaign"]},"updated_at":"2026-07-22T22:25:23Z"}