• DocumentCode
    802983
  • Title

    Validation of Decision Tables Used in Process Control

  • Author

    Rajaraman, V.

  • Author_Institution
    Computer Centre, Indian Institute of Science, Bangalore-560 012, India.
  • Issue
    2
  • fYear
    1987
  • fDate
    5/1/1987 12:00:00 AM
  • Firstpage
    168
  • Lastpage
    171
  • 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;
  • fLanguage
    English
  • Journal_Title
    Industrial Electronics, IEEE Transactions on
  • Publisher
    ieee
  • ISSN
    0278-0046
  • Type

    jour

  • DOI
    10.1109/TIE.1987.350950
  • Filename
    4158853