Verification of Process Plant Models

Model-Based Validation of Intelligence

Volume

Papers from the 2001 AAAI Spring Symposium

Contents

The motivation for creating and verifying process plant models is briefly described. Verification is defined. Verification techniques for signed directed graphs models of process plants are detailed. Two case studies are presented to evaluate the verification techniques. A limitation with the verification is detailed.