{"id":{"repo_id":"uiuc","oai_identifier":"oai:www.ideals.illinois.edu:2142/16191"},"canonical_url":"https://search.dev.ndltd.org/etd/uiuc/oai:www.ideals.illinois.edu:2142/16191","repository":{"repo_id":"uiuc","name":"University of Illinois - Urbana-Champaign","base_url":"https://www.ideals.illinois.edu/oai-pmh"},"display":{"title":"Fault-tolerant distributed cyber-physical systems: two case studies","abstract":"Fault-tolerance in distributed computing systems has been investigated extensively in the literature and has a rich history and detailed theory. This thesis studies fault-tolerance for distributed cyber-physical systems (DCPS), where distributed computation is combined with dynamics of physical processes. Due to their interaction with the physical world, DCPS may suffer from failures that are qualitatively different from the types of failures studied in distributed computing. Failures of the components of DCPS which interact with the physical processes---such as actuators and sensors---must be considered. Failures in the cyber domain may interact with failures of sensors and actuators in adverse ways. This thesis takes a first step in analyzing fault-tolerance in DCPS through the presentation of two case studies. In each case study, the DCPS are modeled as distributed algorithms executed by a set of agents, where each agent acts independently based on information obtained from its communication neighbors and agents may suffer from various failures. The first case study is a distributed traffic control problem, where agents control regions of roadway to move vehicles toward a destination, in spite of some agents' computers crashing permanently. The second case study is a distributed flocking problem, where agents form a flock, or a roughly equally spaced distribution in one dimension, and move towards a destination, in spite of some agents' actuators becoming stuck at some value. Each algorithm incorporates self-stabilization in order to solve the problem in spite of failures. The traffic algorithm uses a local signaling mechanism to guarantee safety and a self-stabilizing routing protocol to guarantee progress. The flocking algorithm uses a failure detector combined with an additional control strategy to ensure safety and progress.","abstract_html":"Fault-tolerance in distributed computing systems has been investigated extensively in the literature and has a rich history and detailed theory. This thesis studies fault-tolerance for distributed cyber-physical systems (DCPS), where distributed computation is combined with dynamics of physical processes. Due to their interaction with the physical world, DCPS may suffer from failures that are qualitatively different from the types of failures studied in distributed computing. Failures of the components of DCPS which interact with the physical processes---such as actuators and sensors---must be considered. Failures in the cyber domain may interact with failures of sensors and actuators in adverse ways. This thesis takes a first step in analyzing fault-tolerance in DCPS through the presentation of two case studies. In each case study, the DCPS are modeled as distributed algorithms executed by a set of agents, where each agent acts independently based on information obtained from its communication neighbors and agents may suffer from various failures. The first case study is a distributed traffic control problem, where agents control regions of roadway to move vehicles toward a destination, in spite of some agents' computers crashing permanently. The second case study is a distributed flocking problem, where agents form a flock, or a roughly equally spaced distribution in one dimension, and move towards a destination, in spite of some agents' actuators becoming stuck at some value. Each algorithm incorporates self-stabilization in order to solve the problem in spite of failures. The traffic algorithm uses a local signaling mechanism to guarantee safety and a self-stabilizing routing protocol to guarantee progress. The flocking algorithm uses a failure detector combined with an additional control strategy to ensure safety and progress.","abstract_has_math":false,"creators":["Johnson, Taylor"],"institution":"University of Illinois at Urbana-Champaign","degree_name":"M.S.","degree_level":"Thesis","degree_discipline":"Electrical & Computer Engr","degree_department":null,"school":null,"contributors":["Mitra, Sayan"],"advisors":[],"committee_chairs":[],"committee_members":[],"year":2010,"date_issued":"2010-05-19T18:40:12Z","date_published":"2010-05-19T18:40:12Z","updated_at":"2026-07-22T22:25:08Z","subjects":["fault-tolerance","Distributed cyber-physical systems (DCPS)","Cyber-physical systems (CPS)","distributed systems","distributed computing systems","self-stabilization","failure detector","dynamical systems"],"languages":["en"],"rights":["Copyright 2010 Taylor T. Johnson"],"rights_urls":[],"identifier_entries":[]},"links":{"outbound_url":"http://hdl.handle.net/2142/16191","outbound_label":"Handle","outbound_source":"dc:identifier"},"metadata_groups":[{"id":"people","label":"People","entries":[{"key":"dc:contributor","label":"Contributor","values":["Mitra, Sayan"]},{"key":"dc:creator","label":"Author","values":["Johnson, Taylor"]}]},{"id":"academic_context","label":"Academic Context","entries":[{"key":"dc:date","label":"Dc Date","values":["2010-05-19T18:40:12Z","2010-5"]},{"key":"thesis:degree_discipline","label":"Discipline","values":["Electrical & Computer Engr"]},{"key":"thesis:degree_level","label":"Degree Level","values":["Thesis"]},{"key":"thesis:degree_name","label":"Degree Name","values":["M.S."]},{"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":["fault-tolerance","Distributed cyber-physical systems (DCPS)","Cyber-physical systems (CPS)","distributed systems","distributed computing systems","self-stabilization","failure detector","dynamical systems"]}]},{"id":"language_rights","label":"Language and Rights","entries":[{"key":"dc:language","label":"Dc Language","values":["en"]},{"key":"dc:rights","label":"Dc Rights","values":["Copyright 2010 Taylor T. Johnson"]}]},{"id":"identifiers","label":"Identifiers","entries":[{"key":"dc:identifier","label":"Identifier","values":["http://hdl.handle.net/2142/16191"]}]},{"id":"additional","label":"Additional Metadata","entries":[{"key":"dc:description","label":"Description","values":["Fault-tolerance in distributed computing systems has been investigated extensively in the literature and has a rich history and detailed theory. This thesis studies fault-tolerance for distributed cyber-physical systems (DCPS), where distributed computation is combined with dynamics of physical processes. Due to their interaction with the physical world, DCPS may suffer from failures that are qualitatively different from the types of failures studied in distributed computing. Failures of the components of DCPS which interact with the physical processes---such as actuators and sensors---must be considered. Failures in the cyber domain may interact with failures of sensors and actuators in adverse ways. This thesis takes a first step in analyzing fault-tolerance in DCPS through the presentation of two case studies. In each case study, the DCPS are modeled as distributed algorithms executed by a set of agents, where each agent acts independently based on information obtained from its communication neighbors and agents may suffer from various failures. The first case study is a distributed traffic control problem, where agents control regions of roadway to move vehicles toward a destination, in spite of some agents' computers crashing permanently. The second case study is a distributed flocking problem, where agents form a flock, or a roughly equally spaced distribution in one dimension, and move towards a destination, in spite of some agents' actuators becoming stuck at some value. Each algorithm incorporates self-stabilization in order to solve the problem in spite of failures. The traffic algorithm uses a local signaling mechanism to guarantee safety and a self-stabilizing routing protocol to guarantee progress. The flocking algorithm uses a failure detector combined with an additional control strategy to ensure safety and progress.","Item withdrawn by Mark Zulauf (zulauf@illinois.edu) on 2010-04-25T16:08:02Z Item was in collections: University of Illinois Theses & Dissertations (ID: 1) No. of bitstreams: 2 Johnson_Taylor.zip: 2947778 bytes, checksum: 6b41f0e740bf0ad382fc1858b494bae2 (MD5) Johnson_Taylor.pdf: 1372164 bytes, checksum: bcaaa8bdb0fc902dd595fd3c7ef64584 (MD5)","Made available in DSpace on 2010-05-19T18:40:12Z (GMT). No. of bitstreams: 3 Johnson_Taylor.zip: 2947778 bytes, checksum: 6b41f0e740bf0ad382fc1858b494bae2 (MD5) Johnson_Taylor.pdf: 1372164 bytes, checksum: bcaaa8bdb0fc902dd595fd3c7ef64584 (MD5) license.txt: 4064 bytes, checksum: ad61452a3d1d4f15d0d18a47539a246a (MD5)"]},{"key":"dc:title","label":"Title","values":["Fault-tolerant distributed cyber-physical systems: two case studies"]}]}],"canonical_facts":{"dc:contributor":["Mitra, Sayan"],"dc:creator":["Johnson, Taylor"],"dc:date":["2010-05-19T18:40:12Z","2010-5"],"dc:description":["Fault-tolerance in distributed computing systems has been investigated extensively in the literature and has a rich history and detailed theory. This thesis studies fault-tolerance for distributed cyber-physical systems (DCPS), where distributed computation is combined with dynamics of physical processes. Due to their interaction with the physical world, DCPS may suffer from failures that are qualitatively different from the types of failures studied in distributed computing. Failures of the components of DCPS which interact with the physical processes---such as actuators and sensors---must be considered. Failures in the cyber domain may interact with failures of sensors and actuators in adverse ways. This thesis takes a first step in analyzing fault-tolerance in DCPS through the presentation of two case studies. In each case study, the DCPS are modeled as distributed algorithms executed by a set of agents, where each agent acts independently based on information obtained from its communication neighbors and agents may suffer from various failures. The first case study is a distributed traffic control problem, where agents control regions of roadway to move vehicles toward a destination, in spite of some agents' computers crashing permanently. The second case study is a distributed flocking problem, where agents form a flock, or a roughly equally spaced distribution in one dimension, and move towards a destination, in spite of some agents' actuators becoming stuck at some value. Each algorithm incorporates self-stabilization in order to solve the problem in spite of failures. The traffic algorithm uses a local signaling mechanism to guarantee safety and a self-stabilizing routing protocol to guarantee progress. The flocking algorithm uses a failure detector combined with an additional control strategy to ensure safety and progress.","Item withdrawn by Mark Zulauf (zulauf@illinois.edu) on 2010-04-25T16:08:02Z Item was in collections: University of Illinois Theses & Dissertations (ID: 1) No. of bitstreams: 2 Johnson_Taylor.zip: 2947778 bytes, checksum: 6b41f0e740bf0ad382fc1858b494bae2 (MD5) Johnson_Taylor.pdf: 1372164 bytes, checksum: bcaaa8bdb0fc902dd595fd3c7ef64584 (MD5)","Made available in DSpace on 2010-05-19T18:40:12Z (GMT). No. of bitstreams: 3 Johnson_Taylor.zip: 2947778 bytes, checksum: 6b41f0e740bf0ad382fc1858b494bae2 (MD5) Johnson_Taylor.pdf: 1372164 bytes, checksum: bcaaa8bdb0fc902dd595fd3c7ef64584 (MD5) license.txt: 4064 bytes, checksum: ad61452a3d1d4f15d0d18a47539a246a (MD5)"],"dc:identifier":["http://hdl.handle.net/2142/16191"],"dc:language":["en"],"dc:rights":["Copyright 2010 Taylor T. Johnson"],"dc:subject":["fault-tolerance","Distributed cyber-physical systems (DCPS)","Cyber-physical systems (CPS)","distributed systems","distributed computing systems","self-stabilization","failure detector","dynamical systems"],"dc:title":["Fault-tolerant distributed cyber-physical systems: two case studies"],"thesis:degree_discipline":["Electrical & Computer Engr"],"thesis:degree_level":["Thesis"],"thesis:degree_name":["M.S."],"thesis:institution_name":["University of Illinois at Urbana-Champaign"]},"updated_at":"2026-07-22T22:25:08Z"}