An Optimization Approach for Supply Chain Management by Model Checking Method
This paper introduces a novel approach to optimize scheduling problems using model checking method. Scheduling problems include an operating procedure scheduling a process and a supply management scheduling in a distribution system. The operation and the distribution consist of some networks of discrete variables (for example, operating types, production types, delivery conditions, and number of products). Considering these discrete events, a discrete modeling is developed by automata theory, and an optimal network and objective variable is searched using model checking search algorithms. In this research, this approach is tested to find optimal networks for the multilevel distribution of multi products in a supply chain.
Optimization Automata theory CTL Model checking Supply chain management
Jinkyung Kim Il Moon
Department of Chemical Engineering,Yonsei University 134 Shinchon-dong,Seodaemun-gu,Seoul 120-749,KOREA
国际会议
西安
英文
2007-08-15（万方平台首次上网日期，不代表论文的发表时间）