Logic code transformation and minimization algorithm for fault diagnostic systems

Modern paper winders have hundreds of actuators and thousands of lines of programmable logic controller code. The complex structure of winder and its control software requires also new kinds of diagnostic methods. With modern fault diagnostic systems, the operator can quickly and accurately identify the cause of a fault. Building up a fault diagnostic system requires usually a lot of manual work. In this paper are introduced a new multilevel product-of-sums net model and a new level-to-level-minimization algorithm, which enables to automatically transform, minimize and present programmable logic controller programs in fault diagnostic systems.

[1]  Pertti Huuskonen,et al.  Explaining control logic to process operators , 1995, IEA/AIE '95.

[2]  Saburo Muroga,et al.  Absolute Minimization of Completely Specified Switching Functions , 1991, IEEE Trans. Computers.

[3]  E. McCluskey Minimization of Boolean functions , 1956 .

[4]  M. Karnaugh The map method for synthesis of combinational logic circuits , 1953, Transactions of the American Institute of Electrical Engineers, Part I: Communication and Electronics.

[5]  A. Parr Fault diagnosis-a user's view , 1997 .

[6]  Willard Van Orman Quine,et al.  The Problem of Simplifying Truth Functions , 1952 .

[7]  Robert K. Brayton,et al.  ESPRESSO-SIGNATURE: A New Exact Minimizer for Logic Functions , 1993, 30th ACM/IEEE Design Automation Conference.

[8]  P. Huuskonen Model-based explanation of plant knowledge , 1997 .