ABSTRACT

This chapter presents methods for control reconfiguration of discrete-event manufacturing systems modelled by non-deterministic input/output (I/O) automata. Faults and failures of the system are expressed by error functions which serve to predict the behaviour of the faulty plant. The chapter discusses how the problem can be solved if the plant is subject to component faults or failures. A solution to the Fault-Tolerant Control problem exists if there is a new controller which is able to ensure the achievement of the specification despite the fault. The chapter determines how the nominal plant would behave under the presence of actuator, sensor and system internal faults. The on-line control reconfiguration method presented in this chapter achieves Fault-Tolerant Control of Discrete-Event Systems. A rigorous formalism has been developed to model the control loop and study important properties like the weak well-posedness.