相关论文: Robust Pandemic Control Synthesis with Formal Spec…

India is one of the worst affected countries by the Covid-19 pandemic at present. We studied publicly available data of the Covid-19 patients in India and analyzed possible impacts of quarantine and social distancing within the stochastic…

Many of the control policies that were put into place during the Covid-19 pandemic had a common goal: to flatten the curve of the number of infected people so that its peak remains under a critical threshold. This letter considers the…

This document analyzes the role of data-driven methodologies in Covid-19 pandemic. We provide a SWOT analysis and a roadmap that goes from the access to data sources to the final decision-making step. We aim to review the available…

A plethora of prediction models of SARS-CoV-2 pandemic were proposed in the past. Prediction performances not only depend on the structure and features of the model, but also on its parametrization. Official databases are often biased due…

As the COVID19 spreads across the world, prevention measures are becoming the essential weapons to combat the pandemic in the period of crisis. The lockdown measure is the most controversial one as it imposes an overwhelming impact on our…

Pooled testing offers an efficient solution to the unprecedented testing demands of the COVID-19 pandemic, although with potentially lower sensitivity and increased costs to implementation in some settings. Assessments of this trade-off…

During the COVID-19 pandemic of 2019/2020, authorities have used temporary ad-hoc policy measures, such as lockdowns and mass quarantines, to slow its transmission. However, the consequences of widespread use of these unprecedented measures…

Pandemics can cause immense disruption and damage to communities and societies. Thus far, modeling of pandemics has focused on either large-scale difference equation models like the SIR and the SEIR models, or detailed micro-level…

The ongoing pandemic of coronavirus disease 2019-2020 (COVID-19) is caused by Severe Acute Respiratory Syndrome Coronavirus 2 (SARS-CoV-2). This pathogenic virus is able to spread asymptotically during its incubation stage through a…

Mathematical models are instrumental to forecast the spread of pathogens and to evaluate the effectiveness of non-pharmaceutical measures. A plethora of optimal strategies has been recently developed to minimize either the infected peak…

The most important features to assess the severity of an epidemic are its size and its timescale. We discuss these features in a systematic way in the context of SIR and SIR-type models. We investigate in detail how the size and timescale…

The COVID-19 crisis highlighted the importance of non-medical interventions, such as testing and isolation of infected individuals, in the control of epidemics. Here, we show how to minimize testing needs while maintaining the number of…

Forecasting the short-term spread of an ongoing disease outbreak is a formidable challenge due to the complexity of contributing factors, some of which can be characterized through interlinked, multi-modality variables such as…

Traditionally, the identification of parameters in the formulation and solution of inverse problems considers that models, variables and mathematical parameters are free of uncertainties. This aspect simplifies the estimation process, but…

The paper addresses the question of lives versus livelihood in an SIRD model augmented with a macroeconomic structure. The constraints on the availability of health facilities - both infrastructure and health workers determine the…

Contacts between people are the absolute drivers of contagious respiratory infections. For this reason, limiting and tracking contacts is a key strategy for the control of the COVID-19 epidemic. Digital contact tracing has been proposed as…

Formal control of cyber-physical systems allows for synthesis of control strategies from rich specifications such as temporal logics. However, the classes of systems that the formal approaches can be applied to is limited due to the…

Many epidemic models are naturally defined as individual-based models: where we track the state of each individual within a susceptible population. Inference for individual-based models is challenging due to the high-dimensional state-space…

This article considers the optimal control of the SIR model with both transmission and treatment uncertainty. It follows the model presented in Gatto and Schellhorn (2021). We make four significant improvements on the latter paper. First,…

This paper introduces a spatiotemporal SEIQR epidemic model governed by a system of reaction-diffusion partial differential equations that incorporates optimal control strategies. The model captures the transmission dynamics of an…