Incorporating Repair Actions
Definition: A repair is a transition from a failure assignment to a nominal assignment.
Burton never uses a failure assignment to achieve a goal if the failure is repairable.
Repair minimizes irreversible effects. If y is assigned failure ef , Burton traverses allowed transitions from ef to the first nominal assignment reached (nominal SCC w lowest number).
If a failure assignment is not repairable then it can be used.