Transportation risk analysis using probabilistic model checking

Expert Systems with Applications

Volumn 42, Issue 9, 2015, Pages 4410-4421

  Soeanu, Andrei ^a   Debbabi, Mourad ^a   Alhadidi, Dima ^a   Makkawi, Makram ^a   Allouche, Mohamad ^b   Bélanger, Micheline ^b   Léchevin, Nicholas ^b  

^a Civil and Environmental Engineering   (Canada)

^b DEFENCE RESEARCH AND DEVELOPMENT CANADA   (Canada)

Author keywords

Decision making; Model checking; Risk management; Transport

Indexed keywords

COMPLEX NETWORKS; DECISION MAKING; DECISION SUPPORT SYSTEMS; DECISION TREES; DISASTERS; RISK ANALYSIS; RISK ASSESSMENT; RISK MANAGEMENT; SUPPLY CHAINS;

DECISION SUPPORTS; NATURAL DISASTERS; PROBABILISTIC MODEL CHECKING; PUBLIC AND PRIVATE DOMAINS; TRANSPORT; TRANSPORT NETWORKS; TRANSPORT SYSTEMS; TRANSPORTATION RISK ANALYSIS;

MODEL CHECKING;

EID: 84923241566     PISSN: 09574174     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.eswa.2014.12.052     Document Type: Article

References (38)

1. Abrahám, E., Jansen, N., Wimmer, R., Katoen, J., & Becker, B. (2010). Dtmc model checking by scc reduction. In Quantitative Evaluation of Systems (QEST), 2010 Seventh International Conference on the (pp. 37-46). IEEE
2. A. Aziz, K. Sanwal, V. Singhal, and R. Brayton Verifying continuous time Markov chains Proceedings of 8th International Conference on Computer Aided Verification (CAV'96) LNCS 1996 Springer vol. 1102 269 276
3. B. Cukic, H.A., & Leteef, K. (1998). Identifying high-risk scenarios of complex systems using input domain partitioning. In Proceedings of 9th International Symposium on Software Reliability Engineering. ISSRE.
4. Baier, C. (1998). On algorithmic verification methods for probabilistic systems. Universität Mannheim.
5. B. Barbot, T. Chen, T. Han, J.-P. Katoen, and A. Mereacre Efficient ctmc model checking of linear real-time objectives Tools and algorithms for the construction and analysis of systems 2011 Springer 128 142
6. M.S. Beasley, R. Clune, and D.R. Hermanson Enterprise risk management: An empirical analysis of factors associated with the extent of implementation Journal of Accounting and Public Policy 24 2005 521 531
7. A. Ben-Tal, B.D. Chung, S.R. Mandala, and T. Yao Robust optimization for emergency logistics planning: Risk mitigation in humanitarian relief supply chains Transportation research part B: methodological 45 2011 1177 1189
8. P. Berger, A. Gerstenfeld, and A. Zeng How many suppliers are best? a decision-analysis approach International Journal of Management Science (Omega) 2004
9. Besnard, F. (2007). On stochastic dynamic programming and its application to maintenance (Master thesis): Royal Institute of Technology, KTH School of Electrical Engineering.
10. M. Chand, T. Raj, and R. Shankar A comparative study of multi criteria decision making approaches for risks assessment in supply chain International Journal of Business Information Systems 18 2015 67 84
11. M. Christopher, and H. Lee Mitigating supply chain risk through improved confidence International Journal of Physical Distribution & Logistics Management 34 2004 388 396
12. R.T. Clemen, and T. Reilly Making hard decisions with decisiontools suite 1999 Duxbury Belmont, CA
13. Deleris, L.A., & Erhun, F. (2005). Risk management in supply networks using monte-carlo simulation. In Proceedings of the 37th Conference on Winter Simulation WSC '05 (pp. 1643-1649). Winter Simulation Conference.
14. I.S. Duff, A.M. Erisman, and J.K. Reid Direct methods for sparse matrices 1986 Clarendon Press Oxford
15. N. Dulac Dynamic safety and risk management in complex socio-technical systems MIT-albany SD colloquium 2005 MIT
16. B. Fernández-Muñiz, J.M. Montes-Peón, and C.J. Vázquez-Ordás Occupational risk management under the ohsas 18001 standard: Analysis of perceptions and attitudes of certified firms Journal of Cleaner Production 24 2012 36 47
17. E.M. Hahn, T. Han, and L. Zhang Synthesis for PCTL in parametric Markov decision processes Proceedings of Third NASA Formal Methods Symposium (NFM'11) LNCS vol. 6617 2011 Springer
18. Hinton, A., Kwiatkowska, M.Z., Norman, G., & Parker, D. (2006). PRISM: A tool for automatic verification of probabilistic systems. In Tools and Algorithms for the Construction and Analysis of Systems, 12th International Conference, TACAS 2006 Held as Part of the Joint European Conferences on Theory and Practice of Software, 2006, Vienna (pp. 441-444).
19. Hulett, D., & Hillson, D. (2006). Branching out: Decision trees offer a realistic approach to risk analysis. In PM Network. Project Management Institute.
20. M.V. Iordache, and P.J. Antsaklis An introduction to petri nets Supervisory Control of Concurrent Systems: A Petri Net Structural Approach 2006 7 28
21. J. Caulkins, N. Mead, E. Hough, and H. Osman On stochastic dynamic programming and its application to maintenance Optimizing investments in security countermeasures: A practical tool for fixed budgets 2007 IEEE Computer Society
22. Y. Jarraya, A. Soeanu, M. Debbabi, and F. Hassaïne Automatic verification and performance analysis of time-constrained sysml activity diagrams ECBS 2007 IEEE Computer Society 515 522
23. U. Jüttner Supply chain risk management: understanding the business requirements from a practitioner perspective International Journal of Logistics Management 16 2005 120 141
24. Y.-Z. Li, H. Hu, and D.-Z. Huang Developing an effective fuzzy logic model for managing risks in marine oil transport International Journal of Shipping and Transport Logistics 5 2013 485 499
25. A. Mahmoudabadi Developing a chaotic-simulation based model for ranking high selected network links in hazardous material transportation Modelling and Simulation in Engineering 2014 2014 1 9
26. I. Manuj, and J.T. Mentzer Global supply chain risk management Journal of Business Logistics 29 2008 133 155
27. J.G. March, and Z. Shapira Managerial perspectives on risk and risk taking Management science 33 1987 1404 1418
28. J. Montewka, S. Ehlers, F. Goerlandt, T. Hinz, K. Tabri, and P. Kujala A framework for risk assessment for maritime transportation systems - a case study for open sea collisions involving ropax vessels Reliability Engineering & System Safety 124 2014 142 157
29. World Customs Organization (2010). Background paper on risk management. Risk Management Forum. .
30. M. Peng, Y. Peng, and H. Chen Post-seismic supply chain risk management: A system dynamics disruption analysis approach for inventory and logistics planning Computers & Operations Research 42 2014 14 24
31. Powell, W.B. (2011). Introduction to markov decision processes. In Approximate Dynamic Programming: Solving the Curses of Dimensionality, Second Edition, (pp. 57-109).
32. G. Radivojević, and V. Gajović Supply chain risk modeling by ahp and fuzzy ahp methods Journal of Risk Research 17 2014 337 352
33. A.J. Richardson, E.S. Ampt, and A.H. Meyburg Survey methods for transport planning 1995 Eucalyptus Press Melbourne
34. T. Rundmo, T. Nordfjærn, H.H. Iversen, S. Oltedal, and S.H. Jørgensen The role of risk perception and other risk-related judgements in transportation mode use Safety Science 49 2011 226 235
35. A. Soeanu, S. Ray, M. Debbabi, J. Berger, A. Boukhtouta, and A. Ghanmi Model checking based service delivery planning CCECE 2012 IEEE 1 4
36. F. Wang, and M. Kwiatkowska An mtbdd-based implementation of forward reachability for probabilistic timed automata Automated technology for verification and analysis 2005 Springer 385 399
37. D. Waters Supply chain risk management: Vulnerability and resilience in logistics 2011 Kogan Page Publishers
38. G. Wieteska Supply chain risk management - managing towards supply chain maturity: Business process outsourcing and offshoring 2013 Palgrave Macmillan