Title :
Validation of Decision Tables Used in Process Control
Author_Institution :
Computer Centre, Indian Institute of Science, Bangalore-560 012, India.
fDate :
5/1/1987 12:00:00 AM
Abstract :
Process control rules may be specified using decision tables. Such a specification is superior when logical decisions to be taken in control dominate. In this paper we give a method of detecting redundancies, incompleteness, and contradictions in such specifications. Using such a technique thus ensures the validity of the specifications.
Keywords :
Arithmetic; Flowcharts; Fluctuations; Logic; Numerical analysis; Process control; Process design; Software algorithms; Software design; Temperature;
Journal_Title :
Industrial Electronics, IEEE Transactions on
DOI :
10.1109/TIE.1987.350950
