Fault-Tolerant Control of Deterministic Input/Output Automata
Intro -- Introduction -- Fault-tolerant control -- Motivation for fault-tolerant control -- Structure of the fault-tolerant control loop -- Fundamental questions -- Literature on fault-tolerant control of discrete event systems modeled by automata -- Literature on controller design -- Literature on fault diagnosis -- Literature on controller reconfiguration -- Literature on integrated fault-tolerant control -- Main contributions of the thesis -- Structure of the thesis -- Formalization of the fault-tolerant control problem -- Notation -- Deterministic I/O automata -- Definition of deterministic I/O automata -- Complementary descriptions for deterministic I/O automata -- Automata graphs -- Properties of deterministic I/O automata -- Plant models -- General assumptions -- Relation between the faultless and the faulty plant -- Error relations -- Models of the faulty plant -- Plant model before and after the occurrence of a fault -- Problem statement -- Control aim: Reaching a desired final state -- Fault-tolerant control problem -- Running example: Automated warehouse -- Tracking control of deterministic I/O automata -- Controllability analysis -- Structure of the tracking controller -- Controller for tracking a reference trajectory -- Definition of the controller -- Controller construction algorithm -- Properties of the controller -- Behavior of the controlled plant -- Planning a reference trajectory -- Fulfillment of the control aim in the closed-loop system -- Complexity of the tracking control method -- Complexity of the controllability analysis -- Complexity of the construction of the tracking controller -- Complexity of the online execution of the control method -- Active fault diagnosis -- Consistency-based fault diagnosis settings -- Testing deterministic I/O automata -- Homing sequences -- Homing tree.