A case study in hybrid process safety verification

Safety verification using a hybrid knowledge‐based mathematical programming framework

“…Possible initial conditions Dimitriadis et al (1995Dimitriadis et al ( , 1996Dimitriadis et al ( , 1997 have shown the application of the framework to several examples where the system was able to identify disturbance profiles that could lead to hazards. Based on these examples, the following shortcomings of this approach can be identified.…”

“…However, it is equally applicable to the special cases of purely continuous or purely discrete systems. Dimitriadis et al (1995Dimitriadis et al ( , 1996Dimitriadis et al ( , 1997 illustrated this framework on several systems. However, one disadvantage of this framework is that the size of the resulting optimization…”

Influence of parameter uncertainty on modeling of industrial ammonia reactor for safety and operability analysis

“…In last years, the model-based HAZOP approach has been developed (Dimitriadis, Hackenberg, Shah, &Pantelides, 1996, Graf andSchmidt-Traub (2001), Eizenberg, Shacham, and Brauner (2006) and Srinivasan, Dimitriadis, Shah, and Venkatasubramanian (1997)). It is based on the description of a chemical plant using a mathematical model.…”

Verification of logic controllers for continuous plants using timed condition/event-system models

“…A verification method based on a switched continuous model and, in principle, avoiding any abstraction has been suggested by Dimitriadis et al (1996 and. The reachability problem is reformulated as an optimization problem in the discrete time domain which can be solved by Mixed Integer Programming.…”