SDL Cellular Automaton COVID-19 conceptualization

Casas, Pau Fonseca i; Subirana, Joan Garcia i; Carrasco, Victor Garcia i; Barcellos, Jorge Luiz Silva de; Roma, Josep; Pi, Xavier

doi:10.1145/3419804.3421452

Cited by 4 publications

(6 citation statements)

References 10 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Being the model a CA, the topmost level of our graphical model representation details the layers of the CA as proposed in. [ 33 ] In our approximation, the CA owns different layers where each layer can be a matrix of data needed for the model. Notice that in our case, the CA is used to represent the different Health Regions that exist in Catalonia.…”

Section: Model Definitionmentioning

confidence: 99%

“…All the equations that rule the behavior of the model are represented graphically using SDL, the model can be reviewed on, [ 22 ] being composed by a set of Microsoft Visio files that represents the SDL model and a set of text files that represents the parametrization of the model, these compose the structural assumptions of the model.…”

Section: Model Definitionmentioning

confidence: 99%

“…The layers that compose the CA are, the main layers if they define a specific behavior, and secondary layers if they are not defining any behavior and solely represent a matrix of information needed for the analysis. Following the proposal of, [33,34] we depict these secondary layers as definitions on the BLOCK that represents the CA structure, see Figure 5.…”

Section: Model Definitionmentioning

confidence: 99%

“…The complete behavior of the model can be reviewed in ref. [ 22 ]. In this paper we point to the parametrization used to rule the different NPIs applied over the population and the conclusions we obtain for the accurate monitoring of the situation using a Digital Twin using active monitoring over the population.…”

Section: Introductionmentioning

confidence: 99%

See 3 more Smart Citations

Modeling SARS‐CoV‐2 True Infections in Catalonia through a Digital Twin

Casas

Subirana

Carrasco

2023

Advcd Theory and Sims

View full text Add to dashboard Cite

A dynamic view of the evolution of the infections of SARS-CoV-2 in Catalonia using a Digital Twin approach that forecasts the true infection curve is presented. The forecast model incorporates the vaccination process, the confinement, and the detection rate, and virtually allows to consider any nonpharmaceutical intervention, enabling to understand their effects on the disease's containment while forecasting the trend of the pandemic. A continuous validation process of the model is performed using real data and an optimization model that automatically provides information regarding the effects of the containment actions on the population. To simplify this validation process, a formal graphical language that simplifies the interaction with the different specialists and an easy modification of the model parameters are used. The Digital Twin of the pandemic in Catalonia provides a forecast of the future trend of the SARS-CoV-2 spread and information regarding the true cases and effectiveness of the NPIs to control the SARS-CoV-2 spread over the population. This approach can be applied easily to other regions and can become an excellent tool for decision-making.

show abstract

Section: Model Definitionmentioning

confidence: 99%

Section: Model Definitionmentioning

confidence: 99%

Section: Model Definitionmentioning

confidence: 99%

Section: Introductionmentioning

confidence: 99%

See 2 more Smart Citations

Modeling SARS‐CoV‐2 True Infections in Catalonia through a Digital Twin

Casas

Subirana

Carrasco

2023

Advcd Theory and Sims

View full text Add to dashboard Cite

show abstract

“…This second model aims to obtain the parametrization details used later in the last SDL model. The third model, on SDL, allows us to extend the model semantics and structure, allowing the model representation over a cellular automaton (CA) [21], providing results not only for all Catalonia, but also for different geographical zones. The tree models act as a digital twin of the pandemic situation in Catalonia, enabling the model-based discussion.…”

Section: Introductionmentioning

confidence: 99%

SARS-CoV-2 Spread Forecast Dynamic Model Validation through Digital Twin Approach, Catalonia Case Study

et al. 2021

Self Cite

View full text Add to dashboard Cite

The spread of the SARS-CoV-2 modeling is a challenging problem because of its complex nature and lack of information regarding certain aspects. In this paper, we explore a Digital Twin approach to model the pandemic situation in Catalonia. The Digital Twin is composed of three different dynamic models used to perform the validations by a Model Comparison approach. We detail how we use this approach to obtain knowledge regarding the effects of the nonpharmaceutical interventions and the problems we faced during the modeling process. We use Specification and Description Language (SDL) to represent the compartmental forecasting model for the SARS-CoV-2. Its graphical notation simplifies the different specialists’ understanding of the model hypotheses, which must be validated continuously following a Solution Validation approach. This model allows the successful forecasting of different scenarios for Catalonia. We present some formalization details, discuss the validation process and present some results obtained from the validation model discussion, which becomes a digital twin of the pandemic in Catalonia.

show abstract

Design and evaluation of update schemes to optimize asynchronous Cellular Automata with random or cyclic orders

Köster

Giabbanelli

2021

2021 IEEE/ACM 25th International Symposium on Distributed Simulation and Real Time Applications (DS-RT)

View full text Add to dashboard Cite

SDL Cellular Automaton COVID-19 conceptualization

Cited by 4 publications

References 10 publications

Modeling SARS‐CoV‐2 True Infections in Catalonia through a Digital Twin

Modeling SARS‐CoV‐2 True Infections in Catalonia through a Digital Twin

SARS-CoV-2 Spread Forecast Dynamic Model Validation through Digital Twin Approach, Catalonia Case Study

Design and evaluation of update schemes to optimize asynchronous Cellular Automata with random or cyclic orders

Contact Info

Product

Resources

About