Safety verification using a hybrid knowledge‐based mathematical programming framework

Abstract

Hazard and operability analysis (HAZOP) is widely used to perform hazards analysis of chemical plants. It is labor-and knowledge

Hazard and operability (HAZOP) analysis. A literature review

“…For batch procedures, Srinivasan and Venkatasubramanian [133] integrated Petri nets -mathematical languages used for modeling discrete event systems -and subtask digraphs to account for the operational procedures required in batch processes; their system was called Batch HAZOPExpert. Other researchers worked to improve particular features both for continuous -and batch -processes, and for management requirements [134][135][136][137][138][139][140][141][142]. Srinivasan et al [134,135] integrated knowledge-based and mathematical programming approaches for process safety verification; approach capable to perform exact analysis when required and thus overcomes qualitative ambiguity.…”

“…Other researchers worked to improve particular features both for continuous -and batch -processes, and for management requirements [134][135][136][137][138][139][140][141][142]. Srinivasan et al [134,135] integrated knowledge-based and mathematical programming approaches for process safety verification; approach capable to perform exact analysis when required and thus overcomes qualitative ambiguity. Srinivasan and Venkatasubramanian [136,137] automated HAZOP analysis of batch chemical plants.…”

Rigorous model-based safety analysis for nonlinear continuous-time systems

“…In reachability analysis, the problem is, given a set of possible initial conditions, to identify the states the system can reach over an infinite time horizon (Clarke et al, 1986;Moon et al, 1992;Park & Barton, 1997). Worst-case analysis is optimization based, and the problem is, given a finite time horizon and set of possible initial conditions and controls, to minimize the time required to reach an unsafe state (Dimitriadis et al, 1996Srinivasan et al, 1997Srinivasan et al, , 1998. For either of these strategies, a global analysis of the model is needed in order to guarantee the validity of the results, which in turn has restricted these approaches to linear systems and a limited number of chemical processes.…”