Model-based safety verification under uncertainty

摘要

This paper deals with a novel, quantitative approach to process safety verification under uncertainty in either model parameters or process inputs and disturbances. The work is based on the concept of a region-transition model (Adjiman, 1999).