http://chineseinput.net/에서 pinyin(병음)방식으로 중국어를 변환할 수 있습니다.
변환된 중국어를 복사하여 사용하시면 됩니다.
이산사건 동적 시스템에서 시간 논리 모델을 이용한 콘트롤러 모델링
황형수(Hyung Soo Hwang),주수종(Su Chong Joo),Dan lonescu(Dan lonescu) 한국정보과학회 1994 정보과학회논문지 Vol.21 No.9
생산 계통, 조립 라인, 컴퓨터 및 통신 시스템이나 교통 시스템등과 같은 Discrete Event Dynamic Systems (DEDS)을 다루기 위해서 일련의 이산 사건들에 대한 적절한 모델링 방법이 요구된다. 따라서 본 논문에서는 모델링할 때, 이산 사건들의 수행 과정을 편리하게 모델링하기 위해 Temporal Logic Model(TML) 방법을 이용하였다. 이 모델 방법을 이용하여 DEDS의 콘트롤러를 모델링하고, 이를 구현하기 위한 합성 방법을 도달 특성에 근거하여 제시하고 예를 통하여 설명하였다. A large class of process control activities is concerned with Discrete Event Dynamic Systems(DEDS) which are characterized by discrete processing activities. A major difficulty in developing analytical results for such systems is the lack of appropriate modeling techniques. In this paper, as a more convenient modeling technique, we take advantage of a temporal logic model for designing controllers in DEDS. DEDS is formalized as a system driven by inputs and events that force a sequence of states in the system state space. We developed a composite method for building a controller, based on the reachability property. The following demonstrates the visibility of this approach.