연세대학교 · Engineering
Il Moon 교수의 연구실은 프로그램 가능 로직 컨트롤러(PLC) 기반 시스템의 안전성과 가동성 확보를 위한 모델 기반 검증 기법을 핵심으로 하며, 특히 시간 논리 기반의 어述션과 모델 체커를 활용한 오류 탐지 및 반례 제공 기술을 개발하고 있습니다. 이와 더불어, 냉각 에너지를 효율적으로 활용하는 수소 및 액화천연가스(LNG) 공정의 최적화 설계와 에너지 효율성 향상 기술에 대해서도 집중적으로 연구하고 있습니다. 특히 LNG의 냉열을 활용한 수소 액화 공정 통합 설계는 에너지 소비를 줄이고 지속 가능한 에너지 시스템을 구현하는 데 기여하고 있습니다.
표시된 성과는 수집된 데이터 기준으로 산출되며, 일부 차이가 있을 수 있습니다.
Verification method has been developed for determining the safety and operability of programmable logic controller (PLC) based systems. The method automatically checks sequential logic embedded in PLCs and provides counterexamples if it finds errors. The method consists of a system model, assertions, and a model checker. The model is a Boolean-based representation of a PLC's behavior. Assertions are questions about the behavior of the system, expressed in temporal logic. The model checker genera
Abstract Clarke et al. (1986) have developed a model‐based verification method and have applied it to validation of VLSI circuits. We have used the method to test automatically the safety and operability of discrete chemical process control systems. The technique involves: (1) a “system model” describing the process and its software; (2) “assertions” in temporal logic expressing user‐supplied questions about the system behavior with respect to safety and operability; and (3) a “model checker” th
This paper reviews recent contributions on the liquefied natural gas (LNG) value chain in the field of process systems engineering (PSE). While previous review articles deal with specific topics for each issue on the LNG value chain, this paper deals with the key issues and challenges on the LNG value chain from the process systems engineering point of view. The major challenges for the LNG value chain are (a) multiscale and integrated modeling between the liquefaction process and the utility sy
This study focuses primarily on improving large-scale hydrogen liquefaction process by integrating liquefied natural gas (LNG) stream to utilize LNG cold energy. For the hydrogen liquefaction process, a large amount of energy is required for the compression and the cryogenic refrigeration system. LNG is one of the main sources for producing hydrogen, and it can be an opportunity to save energy because LNG cold energy is normally discarded into seawater during regasification. The objective of thi
