Model check stochastic supply chains

• Published in: 2008 IEEE International Conference on Information Reuse and Integration pp. 416 - 421
• Main Authors: Li Tan, Shenghan Xu
• Format: Conference Proceeding
• Language: English
• Published: IEEE 01-07-2008
• Subjects: Analytical models; Biological system modeling; Computational modeling; Merchandise; Probabilistic logic; Stochastic processes; Supply chains
• ISBN: 9781424426591; 1424426596
• DOI: 10.1109/IRI.2008.4583067

Supply chain [2, 6] is an important component of business operations. Understanding its stochastic behaviors is the key to risk analysis and performance evaluation in supply chain design and management. We propose a novel computational framework for modeling and analyzing the stochastic behaviors of a supply chain. The framework is based on probabilistic model checking, a formal verification technique for analyzing stochastic systems. Our approach is two-fold: first, we develop Stochastic Merchandise Flow Model (SMF), a formal framework for modeling stochastic supply chains based on Extended Markov Decision Process (EMDP); second, we propose a model-checking-based formal technique to automate the analysis of a stochastic supply chain. Our model-checking-based approach leverages benefits of recent advances in symbolic probabilistic model checking to improve the efficiency and scalability of decision procedures. Using the temporal logic PCTL [1] and the symbolic probabilistic model checker PRISM [4], we are able to express and check complicate temporal and stochastic properties on supply chains. Finally, we demonstrate the capability of our model-checking-based approach by applying it to a variety of stochastic supply chain models.