{"id":{"repo_id":"uiuc","oai_identifier":"oai:www.ideals.illinois.edu:2142/81098"},"canonical_url":"https://search.dev.ndltd.org/etd/uiuc/oai:www.ideals.illinois.edu:2142/81098","repository":{"repo_id":"uiuc","name":"University of Illinois - Urbana-Champaign","base_url":"https://www.ideals.illinois.edu/oai-pmh"},"display":{"title":"Estimation, Diagnosis, and Control in Discrete Event Systems in the Presence of Observability Constraints and Faults","abstract":"The final problem studied in the thesis is the problem of fault-tolerant control in Petri nets. In particular, we aim at providing tolerance against faults that may compromise the functionality of a given controller (modeled by a Petri net). We propose two approaches for the design of fault-tolerant redundant Petri net controllers. Under the reasonable assumption that the given controller is presumably designed to exactly meet the control specification of the plant to be controlled, we further require that the redundant Petri net controllers be bisimulation equivalent to the given, original controller (to retain identical control objectives). We obtain complete characterizations of redundant controllers along with necessary and sufficient conditions for bisimulation equivalence.","abstract_html":"The final problem studied in the thesis is the problem of fault-tolerant control in Petri nets. In particular, we aim at providing tolerance against faults that may compromise the functionality of a given controller (modeled by a Petri net). We propose two approaches for the design of fault-tolerant redundant Petri net controllers. Under the reasonable assumption that the given controller is presumably designed to exactly meet the control specification of the plant to be controlled, we further require that the redundant Petri net controllers be bisimulation equivalent to the given, original controller (to retain identical control objectives). We obtain complete characterizations of redundant controllers along with necessary and sufficient conditions for bisimulation equivalence.","abstract_has_math":false,"creators":["Li, Lingxi"],"institution":"University of Illinois at Urbana-Champaign","degree_name":"Ph.D.","degree_level":"Dissertation","degree_discipline":"Electrical and Computer Engineering","degree_department":null,"school":null,"contributors":["Basar, Tamer"],"advisors":[],"committee_chairs":[],"committee_members":[],"year":2015,"date_issued":"2015-09-25T20:09:34Z","date_published":"2015-09-25T20:09:34Z","updated_at":"2026-07-22T22:26:15Z","subjects":["Engineering, Electronics and Electrical"],"languages":["eng"],"rights":[],"rights_urls":[],"identifier_entries":[{"key":"dc:identifier","label":"Identifier","values":["(MiAaPQ)AAI3337844"],"render_values":[{"text":"(MiAaPQ)AAI3337844","href":null,"code":true}]}]},"links":{"outbound_url":"http://hdl.handle.net/2142/81098","outbound_label":"Handle","outbound_source":"dc:identifier"},"metadata_groups":[{"id":"people","label":"People","entries":[{"key":"dc:contributor","label":"Contributor","values":["Basar, Tamer"]},{"key":"dc:creator","label":"Author","values":["Li, Lingxi"]}]},{"id":"academic_context","label":"Academic Context","entries":[{"key":"dc:date","label":"Dc Date","values":["2015-09-25T20:09:34Z","10000-01-01","2008"]},{"key":"dc:type","label":"Dc Type","values":["text"]},{"key":"thesis:degree_discipline","label":"Discipline","values":["Electrical and Computer Engineering"]},{"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":["Engineering, Electronics and Electrical"]}]},{"id":"language_rights","label":"Language and Rights","entries":[{"key":"dc:language","label":"Dc Language","values":["eng"]}]},{"id":"identifiers","label":"Identifiers","entries":[{"key":"dc:identifier","label":"Identifier","values":["http://hdl.handle.net/2142/81098","(MiAaPQ)AAI3337844"]}]},{"id":"additional","label":"Additional Metadata","entries":[{"key":"dc:description","label":"Description","values":["The final problem studied in the thesis is the problem of fault-tolerant control in Petri nets. In particular, we aim at providing tolerance against faults that may compromise the functionality of a given controller (modeled by a Petri net). We propose two approaches for the design of fault-tolerant redundant Petri net controllers. Under the reasonable assumption that the given controller is presumably designed to exactly meet the control specification of the plant to be controlled, we further require that the redundant Petri net controllers be bisimulation equivalent to the given, original controller (to retain identical control objectives). We obtain complete characterizations of redundant controllers along with necessary and sufficient conditions for bisimulation equivalence.","Made available in DSpace on 2015-09-25T20:09:34Z (GMT). No. of bitstreams: 2 license.txt: 4848 bytes, checksum: 96035ab3f5e1c23cc7138a224ce498bd (MD5) 3337844.pdf: 2043818 bytes, checksum: 7e259916ed3e1bf9cd0385543d3adac5 (MD5) Previous issue date: 2008","Embargo set by: Seth Robbins for item 82380 Lift date: Forever Reason: Restricted to the U of I community idenfinitely during batch ingest of legacy ETDs","Restricted to the U of I community idenfinitely during batch ingest of legacy ETDs","U of I Only","153 p.","Thesis (Ph.D.)--University of Illinois at Urbana-Champaign, 2008."]},{"key":"dc:title","label":"Title","values":["Estimation, Diagnosis, and Control in Discrete Event Systems in the Presence of Observability Constraints and Faults"]}]}],"canonical_facts":{"dc:contributor":["Basar, Tamer"],"dc:creator":["Li, Lingxi"],"dc:date":["2015-09-25T20:09:34Z","10000-01-01","2008"],"dc:description":["The final problem studied in the thesis is the problem of fault-tolerant control in Petri nets. In particular, we aim at providing tolerance against faults that may compromise the functionality of a given controller (modeled by a Petri net). We propose two approaches for the design of fault-tolerant redundant Petri net controllers. Under the reasonable assumption that the given controller is presumably designed to exactly meet the control specification of the plant to be controlled, we further require that the redundant Petri net controllers be bisimulation equivalent to the given, original controller (to retain identical control objectives). We obtain complete characterizations of redundant controllers along with necessary and sufficient conditions for bisimulation equivalence.","Made available in DSpace on 2015-09-25T20:09:34Z (GMT). No. of bitstreams: 2 license.txt: 4848 bytes, checksum: 96035ab3f5e1c23cc7138a224ce498bd (MD5) 3337844.pdf: 2043818 bytes, checksum: 7e259916ed3e1bf9cd0385543d3adac5 (MD5) Previous issue date: 2008","Embargo set by: Seth Robbins for item 82380 Lift date: Forever Reason: Restricted to the U of I community idenfinitely during batch ingest of legacy ETDs","Restricted to the U of I community idenfinitely during batch ingest of legacy ETDs","U of I Only","153 p.","Thesis (Ph.D.)--University of Illinois at Urbana-Champaign, 2008."],"dc:identifier":["http://hdl.handle.net/2142/81098","(MiAaPQ)AAI3337844"],"dc:language":["eng"],"dc:subject":["Engineering, Electronics and Electrical"],"dc:title":["Estimation, Diagnosis, and Control in Discrete Event Systems in the Presence of Observability Constraints and Faults"],"dc:type":["text"],"thesis:degree_discipline":["Electrical and Computer Engineering"],"thesis:degree_level":["Dissertation"],"thesis:degree_name":["Ph.D."],"thesis:institution_name":["University of Illinois at Urbana-Champaign"]},"updated_at":"2026-07-22T22:26:15Z"}