Robust Pandemic Control Synthesis with Formal Specifications: A Case Study on COVID-19 Pandemic

by   Zhe Xu, et al.

Pandemics can bring a range of devastating consequences to public health and the world economy. Identifying the most effective control strategies has been the imperative task all around the world. Various public health control strategies have been proposed and tested against pandemic diseases (e.g., COVID-19). We study two specific pandemic control models: the susceptible, exposed, infectious, recovered (SEIR) model with vaccination control; and the SEIR model with shield immunity control. We express the pandemic control requirement in metric temporal logic (MTL) formulas. We then develop an iterative approach for synthesizing the optimal control strategies with MTL specifications. We provide simulation results in two different scenarios for robust control of the COVID-19 pandemic: one for vaccination control, and another for shield immunity control, with the model parameters estimated from data in Lombardy, Italy. The results show that the proposed synthesis approach can generate control inputs such that the time-varying numbers of individuals in each category (e.g., infectious, immune) satisfy the MTL specifications with robustness against initial state and parameter uncertainties.



page 1

page 2

page 3

page 4


Using mobility data in the design of optimal lockdown strategies for the COVID-19 pandemic in England

A mathematical model for the COVID-19 pandemic spread in England is pres...

Provably Correct Controller Synthesis of Switched Stochastic Systems with Metric Temporal Logic Specifications: A Case Study on Power Systems

In this paper, we present a provably correct controller synthesis approa...

Optimal Control Policies to Address the Pandemic Health-Economy Dilemma

Non-pharmaceutical interventions (NPIs) are effective measures to contai...

A Modified SIR Model for the COVID-19 Contagion in Italy

The purpose of this work is to give a contribution to the understanding ...

Monitoring SEIRD model parameters using MEWMA for the COVID-19 pandemic with application to the State of Qatar

During the current COVID-19 pandemic, decision makers are tasked with im...

Pyfectious: An individual-level simulator to discover optimal containment polices for epidemic diseases

Simulating the spread of infectious diseases in human communities is cri...

Knowledge Infused Policy Gradients for Adaptive Pandemic Control

COVID-19 has impacted nations differently based on their policy implemen...
This week in AI

Get the week's most popular data science and artificial intelligence research sent straight to your inbox every Saturday.