<div class="csl-bib-body">
<div class="csl-entry">Iqbal, S., Sardar, M. U., Khalid, F., & Hasan, O. (2018). Statistical Model Checking of Relief Supply Location and Distribution in Natural Disaster Management. <i>International Journal of Disaster Risk Reduction</i>, <i>31</i>, 1043–1053. https://doi.org/10.1016/j.ijdrr.2018.04.010</div>
</div>
-
dc.identifier.issn
2212-4209
-
dc.identifier.uri
http://hdl.handle.net/20.500.12708/146011
-
dc.description.abstract
Examining the efficacy of natural disaster management readiness and response activities is challenging due to the involvement of many
random and uncertain components. These uncertainties can be captured
by stochastic models. The analysis of these models is carried out using
Monte Carlo simulations to judge the effectiveness of natural disaster
management solutions. However, this approach uses static estimators,
which generally rely on sampled number of events taken from the random space. The safety-critical nature of disaster management requires
a more quantifiable analysis. In order to overcome this challenge, we
propose to use statistical model checking for relief supply location and
distribution in natural disaster management. For illustration purposes,
we use the PRISM model checker to model and analyze a real-world scenario of relief supply location and distribution while considering some key
factors, like demand of medical supplies at hospitals, predestined routes
from warehouses to hospitals, capacity of warehouses and transportation
plans.
en
dc.language.iso
en
-
dc.relation.ispartof
International Journal of Disaster Risk Reduction
-
dc.subject
Geology
-
dc.subject
Geotechnical Engineering and Engineering Geology
-
dc.subject
Safety Research
-
dc.title
Statistical Model Checking of Relief Supply Location and Distribution in Natural Disaster Management
en
dc.type
Artikel
de
dc.type
Article
en
dc.description.startpage
1043
-
dc.description.endpage
1053
-
dc.type.category
Original Research Article
-
tuw.container.volume
31
-
tuw.journal.peerreviewed
true
-
tuw.peerreviewed
true
-
wb.publication.intCoWork
International Co-publication
-
tuw.researchTopic.id
C6
-
tuw.researchTopic.name
Modelling and Simulation
-
tuw.researchTopic.value
100
-
dcterms.isPartOf.title
International Journal of Disaster Risk Reduction
-
tuw.publication.orgunit
E191-02 - Forschungsbereich Embedded Computing Systems
-
tuw.publisher.doi
10.1016/j.ijdrr.2018.04.010
-
dc.identifier.eissn
2212-4209
-
dc.description.numberOfPages
11
-
wb.sci
true
-
wb.sciencebranch
Informatik
-
wb.sciencebranch.oefos
1020
-
wb.facultyfocus
Computer Engineering (CE)
de
wb.facultyfocus
Computer Engineering (CE)
en
wb.facultyfocus.faculty
E180
-
item.grantfulltext
none
-
item.languageiso639-1
en
-
item.fulltext
no Fulltext
-
item.openairetype
Artikel
-
item.openairetype
Article
-
item.cerifentitytype
Publications
-
item.cerifentitytype
Publications
-
item.openairecristype
http://purl.org/coar/resource_type/c_18cf
-
item.openairecristype
http://purl.org/coar/resource_type/c_18cf
-
crisitem.author.dept
E191-02 - Forschungsbereich Embedded Computing Systems