Fault Tolerance of a Circular Manufacturing System in the Framework of Supervisory Control Theory

A circular manufacturing system will be studied in the presence of sensor/actuator faults. The models of the subsystems of the plant in the presence of faults will be developed in the form of finite deterministic automata. The events of the faults are considered to be observable through AI-based fault detection algorithms. A set of rules, guaranteeing that when a device is in faulty mode then some actions that may cause safety issues will be restricted, is proposed. The design of the supervisors will be based on a family of two-state supervisor automata, providing low complexity to the supervisory control scheme. The controllability of the desired languages will be proved, through the physical realizability of the synchronous product of the supervisors and the total system. Finally, the nonblocking property of the controlled automaton will be proved.