Estimation, Diagnosis, and Control in Discrete Event Systems in the Presence of Observability Constraints and Faults

153 p.Thesis (Ph.D.)--University of Illinois at Urbana-Champaign, 2008.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.U of I OnlyRestricted to the U of I community idenfinitely during batch ingest of legacy ETD