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

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.

Name thesis:degree_name

Ph.D.

Level thesis:degree_level

Dissertation

Discipline thesis:degree_discipline

Electrical and Computer Engineering

Grantor

University of Illinois at Urbana-Champaign

Year dc:date

2015

Author dc:creator

• Li, Lingxi

Contributors dc:contributor

• Basar, Tamer

• Engineering, Electronics and Electrical

Language dc:language

eng

Identifier

(MiAaPQ)AAI3337844

OAI identifier oai:identifier

oai:www.ideals.illinois.edu:2142/81098