This work investigates application of Hamilton–Jacobi (HJ) reachability and model predictive control (MPC) to exothermic batch processes with the aim of preventing thermal runaway while also improving process efficiency. First the set of unsafe states is identified and the avoid set, the set of states that inevitably become unsafe, is computed using HJ reachability. A novel MPC based scheme incorporating the avoid set as a constraint is then presented. Simulations demonstrate that it results in improved safety and process efficiency when compared to MPC schemes without the avoid set. The results indicate that HJ reachability and MPC can be used to achieve safe process intensification of exothermic batch processes.

这项工作研究了 Hamilton-Jacobi (HJ) 可达性和模型预测控制 (MPC) 在放热批处理过程中的应用，目的是防止热失控，同时提高过程效率。首先确定不安全状态集，然后使用 HJ 可达性计算避免集，即不可避免地变得不安全的状态集。然后提出了一种新的基于 MPC 的方案，将避免集作为约束。仿真表明，与没有避免设置的 MPC 方案相比，它提高了安全性和流程效率。结果表明，HJ 可达性和 MPC 可用于实现放热批处理过程的安全过程强化。