TY - JOUR
T1 - Improved search algorithm for the efficient verification of chemical processes
AU - Kim, Jinkyung
AU - Kim, Mikyung
AU - Moon, Il
N1 - Copyright:
Copyright 2018 Elsevier B.V., All rights reserved.
PY - 1999/6/1
Y1 - 1999/6/1
N2 - The safety verification of chemical processing systems becomes more difficult due to their complexity. Current search methods suffer from the state explosion problem, mainly because the verification problem itself is inherently complex considering numerous units (reactor, distillation column, storage tank), instruments (valve, pump), control software and many other components, and more importantly considering time. This paper focuses on methods of improving the search algorithm in its efficiency. The algorithm enables to prune out the state transition paths that cannot happen in the behavior of process equipment and operating procedures in system modeling. The state transition structure constructed by this algorithm becomes enormously smaller in its search space. Computing time is also reduced and safety verifications of more complex processes and operating procedures become possible.
AB - The safety verification of chemical processing systems becomes more difficult due to their complexity. Current search methods suffer from the state explosion problem, mainly because the verification problem itself is inherently complex considering numerous units (reactor, distillation column, storage tank), instruments (valve, pump), control software and many other components, and more importantly considering time. This paper focuses on methods of improving the search algorithm in its efficiency. The algorithm enables to prune out the state transition paths that cannot happen in the behavior of process equipment and operating procedures in system modeling. The state transition structure constructed by this algorithm becomes enormously smaller in its search space. Computing time is also reduced and safety verifications of more complex processes and operating procedures become possible.
UR - http://www.scopus.com/inward/record.url?scp=77956772339&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=77956772339&partnerID=8YFLogxK
U2 - 10.1016/S0098-1354(99)80148-3
DO - 10.1016/S0098-1354(99)80148-3
M3 - Article
AN - SCOPUS:77956772339
VL - 23
SP - S601-S604
JO - Computers and Chemical Engineering
JF - Computers and Chemical Engineering
SN - 0098-1354
IS - SUPPL. 1
ER -