Diagnosis of a manufacturing cell

Diagnostic of systems are having more importance in the manufacturing process. There exist several frameworks for synthesis of supervisors and diagnosers for Discrete Event System (DES). We propose a benchmark manufacturing cell and Some experiences of designing diagnosers we carried out using the Ramage and Wonham framework for decentralized discrete event 5ystems. In this paper, we work with common problem in highly automated systems; to locate quickly in correct state (quick localization of cycle).