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

03/26/2021
by   Zhe Xu, et al.
0

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.

READ FULL TEXT

Authors

page 1

page 2

page 3

page 4

06/29/2020

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...
03/26/2021

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...
02/24/2021

Optimal Control Policies to Address the Pandemic Health-Economy Dilemma

Non-pharmaceutical interventions (NPIs) are effective measures to contai...
03/31/2020

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

The purpose of this work is to give a contribution to the understanding ...
01/29/2021

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...
03/24/2021

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

Simulating the spread of infectious diseases in human communities is cri...
02/11/2021

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.