Compositional construction of importance functions in fully automated importance splitting

Autores
Budde, Carlos E.; D'Argenio, Pedro Ruben; Monti, Raúl Enrique
Año de publicación
2017
Idioma
inglés
Tipo de recurso
documento de conferencia
Estado
versión publicada
Descripción
Ponencia presentada en la 10th EAI International Conference on Performance Evaluation Methodologies and Tools, Taormina Italy, October 25 - 28, 2016.
Fil: D'Argenio, Pedro Ruben. Universidad Nacional de Córdoba. Facultad de Matemática, Astronomía, Física y Computación; Argentina.
Fil: D'Argenio, Pedro Ruben. Consejo Nacional de Investigaciones Científicas y Técnicas; Argentina.
Fil: Budde, Carlos E. Universidad Nacional de Córdoba. Facultad de Matemática, Astronomía, Física y Computación; Argentina.
Fil: Budde, Carlos E. Consejo Nacional de Investigaciones Científicas y Técnicas; Argentina.
Fil: Monti, Raúl Enrique. Universidad Nacional de Córdoba. Facultad de Matemática, Astronomía, Física y Computación; Argentina.
Fil: Monti, Raúl Enrique. Consejo Nacional de Investigaciones Científicas y Técnicas; Argentina.
Importance splitting is a technique to accelerate discreteevent simulation when the value to estimate depends on theoccurrence of rare events. It requires a guiding importancefunction typically defined in an ad hoc fashion by an expertin the field, who could choose an inadequate function. Inthis article we present a compositional and automatic techniqueto derive the importance function from the model description,and analyze different composition heuristics. Thistechnique is linear in the number of modules, in contrast tothe exponential nature of our previous proposal. This approachwas compared to crude simulation and to importancesplitting using typical ad hoc importance functions. A prototypicaltool was developed and tested on several models,showing the feasibility and efficiency of the technique.
Fil: D'Argenio, Pedro Ruben. Universidad Nacional de Córdoba. Facultad de Matemática, Astronomía, Física y Computación; Argentina.
Fil: D'Argenio, Pedro Ruben. Consejo Nacional de Investigaciones Científicas y Técnicas; Argentina.
Fil: Budde, Carlos E. Universidad Nacional de Córdoba. Facultad de Matemática, Astronomía, Física y Computación; Argentina.
Fil: Budde, Carlos E. Consejo Nacional de Investigaciones Científicas y Técnicas; Argentina.
Fil: Monti, Raúl Enrique. Universidad Nacional de Córdoba. Facultad de Matemática, Astronomía, Física y Computación; Argentina.
Fil: Monti, Raúl Enrique. Consejo Nacional de Investigaciones Científicas y Técnicas; Argentina.
Ciencias de la Computación
Materia
Rare event simulation
Importance function
Importance spliting
Formal verification
Nivel de accesibilidad
acceso abierto
Condiciones de uso
Repositorio
Repositorio Digital Universitario (UNC)
Institución
Universidad Nacional de Córdoba
OAI Identificador
oai:rdu.unc.edu.ar:11086/557783
Acceder
id RDUUNC_444eca04e1bace5f9d439213a0e46970
oai_identifier_str oai:rdu.unc.edu.ar:11086/557783
network_acronym_str RDUUNC
repository_id_str 2572
network_name_str Repositorio Digital Universitario (UNC)
spelling Compositional construction of importance functions in fully automated importance splittingBudde, Carlos E.D'Argenio, Pedro RubenMonti, Raúl EnriqueRare event simulationImportance functionImportance splitingFormal verificationPonencia presentada en la 10th EAI International Conference on Performance Evaluation Methodologies and Tools, Taormina Italy, October 25 - 28, 2016.Fil: D'Argenio, Pedro Ruben. Universidad Nacional de Córdoba. Facultad de Matemática, Astronomía, Física y Computación; Argentina.Fil: D'Argenio, Pedro Ruben. Consejo Nacional de Investigaciones Científicas y Técnicas; Argentina.Fil: Budde, Carlos E. Universidad Nacional de Córdoba. Facultad de Matemática, Astronomía, Física y Computación; Argentina.Fil: Budde, Carlos E. Consejo Nacional de Investigaciones Científicas y Técnicas; Argentina.Fil: Monti, Raúl Enrique. Universidad Nacional de Córdoba. Facultad de Matemática, Astronomía, Física y Computación; Argentina.Fil: Monti, Raúl Enrique. Consejo Nacional de Investigaciones Científicas y Técnicas; Argentina.Importance splitting is a technique to accelerate discreteevent simulation when the value to estimate depends on theoccurrence of rare events. It requires a guiding importancefunction typically defined in an ad hoc fashion by an expertin the field, who could choose an inadequate function. Inthis article we present a compositional and automatic techniqueto derive the importance function from the model description,and analyze different composition heuristics. Thistechnique is linear in the number of modules, in contrast tothe exponential nature of our previous proposal. This approachwas compared to crude simulation and to importancesplitting using typical ad hoc importance functions. A prototypicaltool was developed and tested on several models,showing the feasibility and efficiency of the technique.Fil: D'Argenio, Pedro Ruben. Universidad Nacional de Córdoba. Facultad de Matemática, Astronomía, Física y Computación; Argentina.Fil: D'Argenio, Pedro Ruben. Consejo Nacional de Investigaciones Científicas y Técnicas; Argentina.Fil: Budde, Carlos E. Universidad Nacional de Córdoba. Facultad de Matemática, Astronomía, Física y Computación; Argentina.Fil: Budde, Carlos E. Consejo Nacional de Investigaciones Científicas y Técnicas; Argentina.Fil: Monti, Raúl Enrique. Universidad Nacional de Córdoba. Facultad de Matemática, Astronomía, Física y Computación; Argentina.Fil: Monti, Raúl Enrique. Consejo Nacional de Investigaciones Científicas y Técnicas; Argentina.Ciencias de la Computación2017info:eu-repo/semantics/conferenceObjectinfo:eu-repo/semantics/publishedVersionhttp://purl.org/coar/resource_type/c_5794info:ar-repo/semantics/documentoDeConferenciaapplication/pdf978-1-63190-141-6http://hdl.handle.net/11086/557783enginfo:eu-repo/semantics/openAccessreponame:Repositorio Digital Universitario (UNC)instname:Universidad Nacional de Córdobainstacron:UNC2025-09-29T13:41:53Zoai:rdu.unc.edu.ar:11086/557783Institucionalhttps://rdu.unc.edu.ar/Universidad públicaNo correspondehttp://rdu.unc.edu.ar/oai/snrdoca.unc@gmail.comArgentinaNo correspondeNo correspondeNo correspondeopendoar:25722025-09-29 13:41:53.816Repositorio Digital Universitario (UNC) - Universidad Nacional de Córdobafalse
dc.title.none.fl_str_mv Compositional construction of importance functions in fully automated importance splitting
title Compositional construction of importance functions in fully automated importance splitting
spellingShingle Compositional construction of importance functions in fully automated importance splitting
Budde, Carlos E.
Rare event simulation
Importance function
Importance spliting
Formal verification
title_short Compositional construction of importance functions in fully automated importance splitting
title_full Compositional construction of importance functions in fully automated importance splitting
title_fullStr Compositional construction of importance functions in fully automated importance splitting
title_full_unstemmed Compositional construction of importance functions in fully automated importance splitting
title_sort Compositional construction of importance functions in fully automated importance splitting
dc.creator.none.fl_str_mv Budde, Carlos E.
D'Argenio, Pedro Ruben
Monti, Raúl Enrique
author Budde, Carlos E.
author_facet Budde, Carlos E.
D'Argenio, Pedro Ruben
Monti, Raúl Enrique
author_role author
author2 D'Argenio, Pedro Ruben
Monti, Raúl Enrique
author2_role author
author
dc.subject.none.fl_str_mv Rare event simulation
Importance function
Importance spliting
Formal verification
topic Rare event simulation
Importance function
Importance spliting
Formal verification
dc.description.none.fl_txt_mv Ponencia presentada en la 10th EAI International Conference on Performance Evaluation Methodologies and Tools, Taormina Italy, October 25 - 28, 2016.
Fil: D'Argenio, Pedro Ruben. Universidad Nacional de Córdoba. Facultad de Matemática, Astronomía, Física y Computación; Argentina.
Fil: D'Argenio, Pedro Ruben. Consejo Nacional de Investigaciones Científicas y Técnicas; Argentina.
Fil: Budde, Carlos E. Universidad Nacional de Córdoba. Facultad de Matemática, Astronomía, Física y Computación; Argentina.
Fil: Budde, Carlos E. Consejo Nacional de Investigaciones Científicas y Técnicas; Argentina.
Fil: Monti, Raúl Enrique. Universidad Nacional de Córdoba. Facultad de Matemática, Astronomía, Física y Computación; Argentina.
Fil: Monti, Raúl Enrique. Consejo Nacional de Investigaciones Científicas y Técnicas; Argentina.
Importance splitting is a technique to accelerate discreteevent simulation when the value to estimate depends on theoccurrence of rare events. It requires a guiding importancefunction typically defined in an ad hoc fashion by an expertin the field, who could choose an inadequate function. Inthis article we present a compositional and automatic techniqueto derive the importance function from the model description,and analyze different composition heuristics. Thistechnique is linear in the number of modules, in contrast tothe exponential nature of our previous proposal. This approachwas compared to crude simulation and to importancesplitting using typical ad hoc importance functions. A prototypicaltool was developed and tested on several models,showing the feasibility and efficiency of the technique.
Fil: D'Argenio, Pedro Ruben. Universidad Nacional de Córdoba. Facultad de Matemática, Astronomía, Física y Computación; Argentina.
Fil: D'Argenio, Pedro Ruben. Consejo Nacional de Investigaciones Científicas y Técnicas; Argentina.
Fil: Budde, Carlos E. Universidad Nacional de Córdoba. Facultad de Matemática, Astronomía, Física y Computación; Argentina.
Fil: Budde, Carlos E. Consejo Nacional de Investigaciones Científicas y Técnicas; Argentina.
Fil: Monti, Raúl Enrique. Universidad Nacional de Córdoba. Facultad de Matemática, Astronomía, Física y Computación; Argentina.
Fil: Monti, Raúl Enrique. Consejo Nacional de Investigaciones Científicas y Técnicas; Argentina.
Ciencias de la Computación
description Ponencia presentada en la 10th EAI International Conference on Performance Evaluation Methodologies and Tools, Taormina Italy, October 25 - 28, 2016.
publishDate 2017
dc.date.none.fl_str_mv 2017
dc.type.none.fl_str_mv info:eu-repo/semantics/conferenceObject
info:eu-repo/semantics/publishedVersion
http://purl.org/coar/resource_type/c_5794
info:ar-repo/semantics/documentoDeConferencia
format conferenceObject
status_str publishedVersion
dc.identifier.none.fl_str_mv 978-1-63190-141-6
http://hdl.handle.net/11086/557783
identifier_str_mv 978-1-63190-141-6
url http://hdl.handle.net/11086/557783
dc.language.none.fl_str_mv eng
language eng
dc.rights.none.fl_str_mv info:eu-repo/semantics/openAccess
eu_rights_str_mv openAccess
dc.format.none.fl_str_mv application/pdf
dc.source.none.fl_str_mv reponame:Repositorio Digital Universitario (UNC)
instname:Universidad Nacional de Córdoba
instacron:UNC
reponame_str Repositorio Digital Universitario (UNC)
collection Repositorio Digital Universitario (UNC)
instname_str Universidad Nacional de Córdoba
instacron_str UNC
institution UNC
repository.name.fl_str_mv Repositorio Digital Universitario (UNC) - Universidad Nacional de Córdoba
repository.mail.fl_str_mv oca.unc@gmail.com
_version_ 1844618913505083392
score 13.070432

Publicaciones similares