Diagnosable discrete event system design: A case study of automatic temperature control system

This paper presents an approach using Petri nets for designing diagnosable discrete event systems such as complex automatic temperature control (ATC) system. The concept is based on diagnosability analysis and enhancement. In this paper, we interpret and formulate the diagnosability problem as a binary integer linear programming problem that may have a feasible solution. If the system is predicted to be non-diagnosable, the approach tries to add sensors to enhance its diagnosablity, i.e., to make the system diagnosable.