A pandemic is the spread of a disease across large regions, and can have devastating costs to the society in terms of health, economic and social. As such, the study of effective pandemic mitigation strategies can yield significant positive impact on the society. A pandemic can be mathematically described using a compartmental model, such as the Susceptible Infected Removed (SIR) model. In this paper, we extend the solution equations of the SIR model to a state transition model with lockdowns. We formalize a metric hybrid planning problem based on this state transition model, and solve it using a metric hybrid planner. We improve the runtime effectiveness of the metric hybrid planner with the addition of valid inequalities, and demonstrate the success of our approach both theoretically and experimentally under various challenging settings.

翻译：流行病指疾病在大范围区域的传播，可能对社会的健康、经济及社会层面造成灾难性损失。因此，研究有效的流行病缓解策略能为社会带来显著的积极影响。流行病可通过仓室模型进行数学描述，例如易感-感染-移除（SIR）模型。本文中，我们将SIR模型的求解方程扩展为包含封锁措施的状态转移模型。基于此状态转移模型，我们形式化了一种度量混合规划问题，并采用度量混合规划器进行求解。通过引入有效不等式，我们提升了度量混合规划器的运行时效率，并在多种复杂场景下从理论与实验两方面验证了本方法的有效性。