skip to main content

Title: Control strategies for COVID-19 epidemic with vaccination, shield immunity and quarantine: A metric temporal logic approach
Ever since the outbreak of the COVID-19 epidemic, various public health control strategies have been proposed and tested against the coronavirus SARS-CoV-2. We study three specific COVID-19 epidemic control models: the susceptible, exposed, infectious, recovered (SEIR) model with vaccination control; the SEIR model with shield immunity control; and the susceptible, un-quarantined infected, quarantined infected, confirmed infected (SUQC) model with quarantine control. We express the control requirement in metric temporal logic (MTL) formulas (a type of formal specification languages) which can specify the expected control outcomes such as “ the deaths from the infection should never exceed one thousand per day within the next three months ” or “ the population immune from the disease should eventually exceed 200 thousand within the next 100 to 120 days ”. We then develop methods for synthesizing control strategies with MTL specifications. To the best of our knowledge, this is the first paper to systematically synthesize control strategies based on the COVID-19 epidemic models with formal specifications. We provide simulation results in three different case studies: vaccination control for the COVID-19 epidemic with model parameters estimated from data in Lombardy, Italy; shield immunity control for the COVID-19 epidemic with model parameters estimated from data more » in Lombardy, Italy; and quarantine control for the COVID-19 epidemic with model parameters estimated from data in Wuhan, China. 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. The results also show that early intervention is essential in mitigating the spread of COVID-19, and more control effort is needed for more stringent MTL specifications. For example, based on the model in Lombardy, Italy, achieving less than 100 deaths per day and 10000 total deaths within 100 days requires 441.7% more vaccination control effort than achieving less than 1000 deaths per day and 50000 total deaths within 100 days. « less
; ;
Borri, Alessandro
Award ID(s):
Publication Date:
Journal Name:
Page Range or eLocation-ID:
Sponsoring Org:
National Science Foundation
More Like this
  1. Abstract Background The COVID-19 pandemic has caused more than 25 million cases and 800 thousand deaths worldwide to date. In early days of the pandemic, neither vaccines nor therapeutic drugs were available for this novel coronavirus. All measures to prevent the spread of COVID-19 are thus based on reducing contact between infected and susceptible individuals. Most of these measures such as quarantine and self-isolation require voluntary compliance by the population. However, humans may act in their (perceived) self-interest only. Methods We construct a mathematical model of COVID-19 transmission with quarantine and hospitalization coupled with a dynamic game model of adaptivemore »human behavior. Susceptible and infected individuals adopt various behavioral strategies based on perceived prevalence and burden of the disease and sensitivity to isolation measures, and they evolve their strategies using a social learning algorithm (imitation dynamics). Results This results in complex interplay between the epidemiological model, which affects success of different strategies, and the game-theoretic behavioral model, which in turn affects the spread of the disease. We found that the second wave of the pandemic, which has been observed in the US, can be attributed to rational behavior of susceptible individuals, and that multiple waves of the pandemic are possible if the rate of social learning of infected individuals is sufficiently high. Conclusions To reduce the burden of the disease on the society, it is necessary to incentivize such altruistic behavior by infected individuals as voluntary self-isolation.« less
  2. Background The natural history of disease in patients infected with severe acute respiratory syndrome coronavirus 2 (SARS-CoV-2) remained obscure during the early pandemic. Aim Our objective was to estimate epidemiological parameters of coronavirus disease (COVID-19) and assess the relative infectivity of the incubation period. Methods We estimated the distributions of four epidemiological parameters of SARS-CoV-2 transmission using a large database of COVID-19 cases and potential transmission pairs of cases, and assessed their heterogeneity by demographics, epidemic phase and geographical region. We further calculated the time of peak infectivity and quantified the proportion of secondary infections during the incubation period. Resultsmore »The median incubation period was 7.2 (95% confidence interval (CI): 6.9‒7.5) days. The median serial and generation intervals were similar, 4.7 (95% CI: 4.2‒5.3) and 4.6 (95% CI: 4.2‒5.1) days, respectively. Paediatric cases < 18 years had a longer incubation period than adult age groups (p = 0.007). The median incubation period increased from 4.4 days before 25 January to 11.5 days after 31 January (p < 0.001), whereas the median serial (generation) interval contracted from 5.9 (4.8) days before 25 January to 3.4 (3.7) days after. The median time from symptom onset to discharge was also shortened from 18.3 before 22 January to 14.1 days after. Peak infectivity occurred 1 day before symptom onset on average, and the incubation period accounted for 70% of transmission. Conclusion The high infectivity during the incubation period led to short generation and serial intervals, necessitating aggressive control measures such as early case finding and quarantine of close contacts.« less
  3. Turner, Richard (Ed.)
    Background With the availability of multiple Coronavirus Disease 2019 (COVID-19) vaccines and the predicted shortages in supply for the near future, it is necessary to allocate vaccines in a manner that minimizes severe outcomes, particularly deaths. To date, vaccination strategies in the United States have focused on individual characteristics such as age and occupation. Here, we assess the utility of population-level health and socioeconomic indicators as additional criteria for geographical allocation of vaccines. Methods and findings County-level estimates of 14 indicators associated with COVID-19 mortality were extracted from public data sources. Effect estimates of the individual indicators were calculated withmore »univariate models. Presence of spatial autocorrelation was established using Moran’s I statistic. Spatial simultaneous autoregressive (SAR) models that account for spatial autocorrelation in response and predictors were used to assess (i) the proportion of variance in county-level COVID-19 mortality that can explained by identified health/socioeconomic indicators (R 2 ); and (ii) effect estimates of each predictor. Adjusting for case rates, the selected indicators individually explain 24%–29% of the variability in mortality. Prevalence of chronic kidney disease and proportion of population residing in nursing homes have the highest R 2 . Mortality is estimated to increase by 43 per thousand residents (95% CI: 37–49; p < 0.001) with a 1% increase in the prevalence of chronic kidney disease and by 39 deaths per thousand (95% CI: 34–44; p < 0.001) with 1% increase in population living in nursing homes. SAR models using multiple health/socioeconomic indicators explain 43% of the variability in COVID-19 mortality in US counties, adjusting for case rates. R 2 was found to be not sensitive to the choice of SAR model form. Study limitations include the use of mortality rates that are not age standardized, a spatial adjacency matrix that does not capture human flows among counties, and insufficient accounting for interaction among predictors. Conclusions Significant spatial autocorrelation exists in COVID-19 mortality in the US, and population health/socioeconomic indicators account for a considerable variability in county-level mortality. In the context of vaccine rollout in the US and globally, national and subnational estimates of burden of disease could inform optimal geographical allocation of vaccines.« less
  4. We present methods for building a Java Runtime-Alterable-Model Platform (RAMP) of complex dynamical systems. We illustrate our methods by building a multivariant SEIR (epidemic) RAMP. Underlying our RAMP is an individual-based model that includes adaptive contact rates, pathogen genetic drift, waning and cross-immunity. Besides allowing parameter values, process descriptions and scriptable runtime drivers to be easily modified during simulations, our RAMP can used within R-Studio and other computational platforms. Process descriptions that can be runtime altered within our SEIR RAMP include pathogen variant-dependent host shedding, environmental persistence, host transmission and within-host pathogen mutation and replication. They also include adaptive socialmore »distancing and adaptive application of vaccination rates and variant-valency of vaccines. We present simulation results using parameter values and process descriptions relevant to the current COVID-19 pandemic. Our results suggest that if waning immunity outpaces vaccination rates, then vaccination rollouts may fail to contain the most transmissible variants, particularly if vaccine valencies are not adapted to deal with escape mutations. Our SEIR RAMP is designed for easy use by others. More generally, our RAMP concept facilitates construction of highly flexible complex systems models of all types, which can then be easily shared as stand-alone application programs.« less
  5. Background: COVID-19 vaccines have been approved and made available. While questions of vaccine allocation strategies have received significant attention, important questions remain regarding the potential impact of the vaccine given uncertainties regarding efficacy against transmission, availability, timing, and durability. Methods: We adapted a susceptible-exposed-infectious-recovered (SEIR) model to examine the potential impact on hospitalization and mortality assuming increasing rates of vaccine efficacy, coverage, and administration. We also evaluated the uncertainty of the vaccine to prevent infectiousness as well as the impact on outcomes based on the timing of distribution and the potential effects of waning immunity. Findings: Increased vaccine efficacy againstmore »disease reduces hospitalizations and deaths from COVID-19; however, the relative benefit of transmission blocking varied depending on the timing of vaccine distribution. Early in an outbreak, a vaccine that reduces transmission will be relatively more effective than one introduced later in the outbreak. In addition, earlier and accelerated implementation of a less effective vaccine is more impactful than later implementation of a more effective vaccine. These findings are magnified when considering the durability of the vaccine. Vaccination in the spring will be less impactful when immunity is less durable. Interpretation: Policy choices regarding non-pharmaceutical interventions, such as social distancing and face mask use, will need to remain in place longer if the vaccine is less effective at reducing transmission or distributed slower. In addition, the stage of the local outbreak greatly impacts the overall effectiveness of the vaccine in a region and should be considered when allocating vaccines.« less