Formal modeling and simulation for SARS-CoV-2 containment scenarios in Catalonia

© 2022 IEEE. Personal use of this material is permitted. Permission from IEEE must be obtained for all other uses, in any current or future media, including reprinting/republishing this material for advertising or promotional purposes,creating new collective works, for resale or redistribution to se...

Descripción completa

Detalles Bibliográficos
Autores: Fonseca Casas, Pau|||0000-0002-6747-9736, Garcia Subirana, Joan, García Carrasco, Víctor, Pi Palomés, Xavier, Wainer, G.
Tipo de recurso: artículo
Fecha de publicación:2022
País:España
Institución:Universitat Politècnica de Catalunya (UPC)
Repositorio:UPCommons. Portal del coneixement obert de la UPC
Idioma:inglés
OAI Identifier:oai:upcommons.upc.edu:2117/375071
Acceso en línea:https://hdl.handle.net/2117/375071
https://dx.doi.org/10.1109/MCSE.2022.3186227
Access Level:acceso abierto
Palabra clave:Numerical analysis--Simulation methods
Biomathematics
COVID-19 (Disease)
Modeling
Simulation
Pandemics
Anàlisi numèrica
Biomatemàtica
COVID-19 (Malaltia)
Classificació AMS::65 Numerical analysis::65C Probabilistic methods, simulation and stochastic differential equations
Classificació AMS::92 Biology and other natural sciences::92B Mathematical biology in general
Àrees temàtiques de la UPC::Matemàtiques i estadística::Anàlisi numèrica::Mètodes numèrics
Àrees temàtiques de la UPC::Matemàtiques i estadística::Matemàtica aplicada a les ciències
id ES_eeea032dd08786362d43e7255b1a03e8
oai_identifier_str oai:upcommons.upc.edu:2117/375071
network_acronym_str ES
network_name_str España
repository_id_str
spelling Formal modeling and simulation for SARS-CoV-2 containment scenarios in CataloniaFonseca Casas, Pau|||0000-0002-6747-9736Garcia Subirana, JoanGarcía Carrasco, VíctorPi Palomés, XavierWainer, G.Numerical analysis--Simulation methodsBiomathematicsCOVID-19 (Disease)ModelingSimulationPandemicsAnàlisi numèricaBiomatemàticaCOVID-19 (Malaltia)Classificació AMS::65 Numerical analysis::65C Probabilistic methods, simulation and stochastic differential equationsClassificació AMS::92 Biology and other natural sciences::92B Mathematical biology in generalÀrees temàtiques de la UPC::Matemàtiques i estadística::Anàlisi numèrica::Mètodes numèricsÀrees temàtiques de la UPC::Matemàtiques i estadística::Matemàtica aplicada a les ciències© 2022 IEEE. Personal use of this material is permitted. Permission from IEEE must be obtained for all other uses, in any current or future media, including reprinting/republishing this material for advertising or promotional purposes,creating new collective works, for resale or redistribution to servers or lists, or reuse of any copyrighted component of this work in other works.We define interrelated models to simulate the spread of SARS-CoV-2 in Catalonia, which can be used to effectively build simulation applications and analyze the effects of nonpharmaceutical interventions. Due to the constant evolution of this pandemic, and the need to take a multidisciplinary approach, we use a formal specification to represent the model and to validate the model assumptions. We discuss the definition of the model using formal languages, and the Specification and Description Language to improve communication between stakeholders. We show formalization details, discuss implications in the validation process, and present how results obtained from the model of the pandemic in Catalonia can be used for decision-making.Peer Reviewed20222022-05-0120222022-10-26journal articlehttp://purl.org/coar/resource_type/c_6501AOhttp://purl.org/coar/version/c_b1a7d7d4d402bcceinfo:eu-repo/semantics/articleapplication/pdfhttps://hdl.handle.net/2117/375071https://dx.doi.org/10.1109/MCSE.2022.3186227reponame:UPCommons. Portal del coneixement obert de la UPCinstname:Universitat Politècnica de Catalunya (UPC)Inglésengopen accesshttp://purl.org/coar/access_right/c_abf2info:eu-repo/semantics/openAccessoai:upcommons.upc.edu:2117/3750712026-05-27T15:37:01Z
dc.title.none.fl_str_mv Formal modeling and simulation for SARS-CoV-2 containment scenarios in Catalonia
title Formal modeling and simulation for SARS-CoV-2 containment scenarios in Catalonia
spellingShingle Formal modeling and simulation for SARS-CoV-2 containment scenarios in Catalonia
Fonseca Casas, Pau|||0000-0002-6747-9736
Numerical analysis--Simulation methods
Biomathematics
COVID-19 (Disease)
Modeling
Simulation
Pandemics
Anàlisi numèrica
Biomatemàtica
COVID-19 (Malaltia)
Classificació AMS::65 Numerical analysis::65C Probabilistic methods, simulation and stochastic differential equations
Classificació AMS::92 Biology and other natural sciences::92B Mathematical biology in general
Àrees temàtiques de la UPC::Matemàtiques i estadística::Anàlisi numèrica::Mètodes numèrics
Àrees temàtiques de la UPC::Matemàtiques i estadística::Matemàtica aplicada a les ciències
title_short Formal modeling and simulation for SARS-CoV-2 containment scenarios in Catalonia
title_full Formal modeling and simulation for SARS-CoV-2 containment scenarios in Catalonia
title_fullStr Formal modeling and simulation for SARS-CoV-2 containment scenarios in Catalonia
title_full_unstemmed Formal modeling and simulation for SARS-CoV-2 containment scenarios in Catalonia
title_sort Formal modeling and simulation for SARS-CoV-2 containment scenarios in Catalonia
dc.creator.none.fl_str_mv Fonseca Casas, Pau|||0000-0002-6747-9736
Garcia Subirana, Joan
García Carrasco, Víctor
Pi Palomés, Xavier
Wainer, G.
author Fonseca Casas, Pau|||0000-0002-6747-9736
author_facet Fonseca Casas, Pau|||0000-0002-6747-9736
Garcia Subirana, Joan
García Carrasco, Víctor
Pi Palomés, Xavier
Wainer, G.
author_role author
author2 Garcia Subirana, Joan
García Carrasco, Víctor
Pi Palomés, Xavier
Wainer, G.
author2_role author
author
author
author
dc.subject.none.fl_str_mv Numerical analysis--Simulation methods
Biomathematics
COVID-19 (Disease)
Modeling
Simulation
Pandemics
Anàlisi numèrica
Biomatemàtica
COVID-19 (Malaltia)
Classificació AMS::65 Numerical analysis::65C Probabilistic methods, simulation and stochastic differential equations
Classificació AMS::92 Biology and other natural sciences::92B Mathematical biology in general
Àrees temàtiques de la UPC::Matemàtiques i estadística::Anàlisi numèrica::Mètodes numèrics
Àrees temàtiques de la UPC::Matemàtiques i estadística::Matemàtica aplicada a les ciències
topic Numerical analysis--Simulation methods
Biomathematics
COVID-19 (Disease)
Modeling
Simulation
Pandemics
Anàlisi numèrica
Biomatemàtica
COVID-19 (Malaltia)
Classificació AMS::65 Numerical analysis::65C Probabilistic methods, simulation and stochastic differential equations
Classificació AMS::92 Biology and other natural sciences::92B Mathematical biology in general
Àrees temàtiques de la UPC::Matemàtiques i estadística::Anàlisi numèrica::Mètodes numèrics
Àrees temàtiques de la UPC::Matemàtiques i estadística::Matemàtica aplicada a les ciències
description © 2022 IEEE. Personal use of this material is permitted. Permission from IEEE must be obtained for all other uses, in any current or future media, including reprinting/republishing this material for advertising or promotional purposes,creating new collective works, for resale or redistribution to servers or lists, or reuse of any copyrighted component of this work in other works.
publishDate 2022
dc.date.none.fl_str_mv 2022
2022-05-01
2022
2022-10-26
dc.type.none.fl_str_mv journal article
http://purl.org/coar/resource_type/c_6501
AO
http://purl.org/coar/version/c_b1a7d7d4d402bcce
dc.type.openaire.fl_str_mv info:eu-repo/semantics/article
format article
dc.identifier.none.fl_str_mv https://hdl.handle.net/2117/375071
https://dx.doi.org/10.1109/MCSE.2022.3186227
url https://hdl.handle.net/2117/375071
https://dx.doi.org/10.1109/MCSE.2022.3186227
dc.language.none.fl_str_mv Inglés
eng
language_invalid_str_mv Inglés
language eng
dc.rights.none.fl_str_mv open access
http://purl.org/coar/access_right/c_abf2
dc.rights.openaire.fl_str_mv info:eu-repo/semantics/openAccess
rights_invalid_str_mv open access
http://purl.org/coar/access_right/c_abf2
eu_rights_str_mv openAccess
dc.format.none.fl_str_mv application/pdf
dc.source.none.fl_str_mv reponame:UPCommons. Portal del coneixement obert de la UPC
instname:Universitat Politècnica de Catalunya (UPC)
instname_str Universitat Politècnica de Catalunya (UPC)
reponame_str UPCommons. Portal del coneixement obert de la UPC
collection UPCommons. Portal del coneixement obert de la UPC
repository.name.fl_str_mv
repository.mail.fl_str_mv
_version_ 1869423789778927616
score 15,300719

Similares en LA Referencia