이산 사건 동적 시스템의 모델링 및 분석을 위한 퍼지 트랜지션 시간 페트리 네트

모영승,김진권,김정철,황형수 원광대학교 공업기술개발연구소 2000 工業技術開發硏究誌 Vol.20 No.-

Timed Petri Net(TPN) is one of methods to model and analyze Discrete Event Dynamic Systems(DEDSs) with real time values. It has two time values, earliest firing time (αi) and latest firing time (βi), for the each transition. In this paper, we proposed the Fuzzy Transition Timed Petri Net(FTTPN) with fuzzy theory to determine the optimal transition time (γi). The transition firing time(γi) of FTTPN is determined from fuzzy theory between earliest firing time (αi) and latest firing time(βi) through input information without complex computation procedure and any condition. The traffic signal controller in an intersection is modeled and analyzed FTTPN. The significant properties of the FTTPN are show bv simulation and modeling of the traffic controller.

퍼지 트랜지션 시간 페트리 네트의 이산 사건 시스템에 응용

모영승,김진권,김정철,탁사아,황형수 제어로봇시스템학회 2000 제어로봇시스템학회 국내학술대회 논문집 Vol.2000 No.10

퍼지 트랜지션 시간 페트리 네트의 이산 사건 시스템에 응용

모영승,김진권,김정철,탁상아,황형수 제어로봇시스템학회 2000 제어로봇시스템학회 국내학술대회 논문집 Vol.1 No.10

퍼지 트랜지션 시간 페트리 네트를 이용한 교통신호제어기 설계

모영승(Mo young-seung),김정철(Kim jung-chul),김진권(Kim jin-kwon),황형수(Hwang hyung-soo) 한국지능시스템학회 2000 한국지능시스템학회 학술발표 논문집 Vol.10 No.1

이산 사건 동적 시스템의 모델링 및 분석을 위한 퍼지 트랜지션 시간 페트리 네트

모영승(Mo young-seung),김진권(Kim jin-kwon),김정철(Kim jung-chul),황형수(Hwang hyung-soo) 한국지능시스템학회 2001 한국지능시스템학회논문지 Vol.11 No.2

시간 페트리 네트는 실시간 값을 갖는 이산사건 시스템을 모델링하고 해석하기 위한 방법중 하나이다. 시간 페트리 네트는 각 트랜지션에 대하여 두 개의 시간 값, 최초 발화 시간 αi와 최종 발화 시간 βi를 갖는다. 본 논문에서는 최적 발화 시간을 결정하기 위하여 퍼지 이론을 적용한 퍼지 트랜지션 시간 페트리 네트를 제안하였다. 퍼지 트랜지션 시간 페트리 네트의 트랜지션 점화 시간 γi는 고정 최초 발화 시간 αi와 고정 최종 발화 시간 βi 사이에서 어떠한 복잡한 계산 절차나 임의의 조건 없이 입력정보를 이용한 퍼지 이론으로부터 결정된다. 교차로에서 교통 신호제어기는 퍼지 트랜지션 시간 페트리네트에 의하여 모델링되고 해석되었다. 퍼지 트랜지션 시간 페트리 네트의 중요한 특성은 교통 신호기의 모델링과 시뮬레이션에 의해서 보여진다. Timed Petri Net(TPN) is one of methods to model and analyze Discrete Event Dynamic Systems(DEDS`s) with real time values. It has two time values, the earliest firing time αi and the latest firing time βi, for the each transition. In this paper, we proposed the Fuzzy Transition Timed Petri Net(FTTPN) with fuzzy theory to determine the optimal transition time γi. The transition firing time γi of the FTTPN is determined from fuzzy theory between the earliest firing time αi and the latest firing time βi through the input information without complex computation procedure and any other condition. The traffic signal controller of an intersection is modeled and analyzed by the FTTPN. The significant properties of the FTTPN are show by simulation and modeling of the traffic controller.

자동차 공정시스템의 하이브리드 합성 패트리 네트에 대한 분석 방법

황형수,모영승,류영국,김진권 圓光大學校大學院 2000 論文集 Vol.24 No.-

본 논문은 자동화 공정시스템에서 패트리 네트모델의 하이브리드 합성법에 대한 새로운 분석방법을 제시한다. 하이브리드 합성방법을 이용한 패트리 네트의 모델링과정은 여러 단계를 거치기 때문에 복잡한 시스템에서는 많은 오류가 발생하는 단점이 있다. 본 논문에서 제시한 새로운 매트릭스 분석방법은 합성과정에서 나타나는 입·출력 함수의 매트릭스형태를 이용하여 일반적인 정의를 하고 이러한 정의를 통하여 유한성, 생동성 그리고 귀환성과 같은 패트리 네트의 특성을 확인할 수 있으며 모델링과정에서 발생할 수 있는 오류를 확인하고 수정함으로써 정확한 모델링 및 시스템을 분석할 수 있다. This thesis presents a analysis method of hybrid synthesis petri net for automated manufacturing systems. There are many errors that can happen to petri net modeling of complex system because petri net modeling process has so many steps. A new matrix analysis method in this thesis can confirm the property of petri net such as boundedness, liveness and reversibility, modify errors which can be occurred in modeling.

시간논리 구조와 Petri Net의 합성방법을 사용한 이산사건 시스템의 모델링

김진권,모영승,류영국,황형수 圓光大學校大學院 1999 論文集 Vol.23 No.-

본 논문에서 Temporal Logic Framework과 Petri Net에 의한 이산사건 시스템의 모델링 및 분석을 다루었다. Petri Net의 reachability tree는 이산사건 시스템의 safeness, boundedness, conservation 그로고 coverability 문제를 해결하기 위해 사용할 수 있다. 그러나, Petri net 의 reachbilit tree는 reachability 와 liveness 문제를 완전하게 해결할 수는 없다. 본 논문에서는 Temporal Logic Framework 과 Petri Net의 합성에 의한 방법을 제시하였다. 이 방법은 Temporal Logic Framework의 논리적 표현을 이용하여 Petri Net의 몇 가지 문제들을 하였다. In this paper, modeling and analysis of discrete event systems by temporal logic frame works ana petri net is considered. The reachability tree of the petri net .can be used to solve the safeness, boundedness, conservation and coverability problems of discrete event systems. But the reachability tree of the petri net do not solve reachability and liveness problems in general. We proposed a method that synthesised the petri net and the temporal logic frameworks. This method slove some problems of petri net by logical representation of temporal logic frameworks.

PID 제어기의 Z-N 동조 개선 및 응용

金鎭權,牟泳承,柳泳國,黃炯秀,尹良雄 원광대학교 공업기술개발연구소 1999 工業技術開發硏究誌 Vol.19 No.-

In this paper, we propose a new tuning algorithm of PID control parameters in order to improve output performance of PID controller using fuzzy inference rules. Initial parameter KP Ti, Td of the PID controller are obtained by the Ziegler-Nichols formula utilizing both the ultimate gain and ultimate period from a relay tuning method. From the plant output corresponding to these initial value of parameter, we can get error and the change of error given process control system, and then can iterativeltly find new tuning control parameters Kp Ti through a turning algorithm with fuzzy inference rule. The proposed fuzzy turning algorithm show better output performance characteristics related to overshoot and rising time than th of any other PID controllers studied previously. the performance and feasibility of proposed algorithm are illustrated with the aid of DC motor process from computer simulation.

2차 시지연 모델을 이용한 PID 제어기의 동조

황형수,류영국,모영승 원광대학교 2001 論文集 Vol.26 No.-

제어계의 축소 모델을 구하는 방법을 이용하여 Wang등은 다양한 동특성을 갖는 공정들에 대하여 범용적으로 적용할 수 있는 PID 동조 알고리즘을 제안하였다[7]. 그러나 Wang이 제안한 방법은 공정모델에 영점이 존재하지 않는 경우와 Nyquist선도가 -π/2및 -π를 지나는 경우에는 잘 적용이 되지만 공정모델에 영점이 존재하는 경우에는 동조 성능이 만족스럽지 못하였다. 본 논문에서는 공정 모델에 영점이 존재할 경우 Pade 축소법을 응용함으로써 이를 개선한 방법을 제안하였다. 이 방법은 저차 및 고차, 크고 작은 지연시간, 단조롭거나 진동하는 응답등의 다양한 동특성을 갖는 공정들에 범용적으로 적용할 수 있으며, 시뮬레이션을 통하여 이 방법이 다양한 공정에 우수한 특성을 나타냄을 보였다. The PID tuning algorithm which can applied generally to processes with varies dynamic characteristics is proposed by Wang[7]. However, it can be applied well to process model without zeros and with ∠G(jw)=- π/2 and - π point in Nyquist curve, but it gives unsatisfactory tuning performance for processes with zeros and without ∠G(jw)=- π/2 and - π in Nyquist curve. In this paper, the method which improve it using Pade reduction method is proposed. Satisfactory responses can be expected for processes with various dynamics, including those with low or high order, small or large dead time, monotonic or oscillatory responses. Simulation examples are given to show the effectiveness and flexibility of the controller in handling processes of different characteristics.

Petri Net을 이용한 시간논리 구조의 표현과 이산사건 시스템의 모델링

강영진,김정철,모영승 원광대학교 2001 論文集 Vol.26 No.-

시간논리 구조는 일반논리구조에 시간개념을 부가한 구조로 시간관계를 논리적으로 표현한 이론으로 정의되어 있으며 이산사건 시스템의 동작을 표현하기에 용이하다. 시간관계를 논리적으로 표현함으로써 사건의 전후 관계와 다음상태, 최종 상태 등을 표현하기에 편리하다. 하지만 시각적인 이해가 어렵다는 단점이 있다. 본 논문에서는 이를 해결하기 위해서 시간논리구조를 페트리 네트로 표현하는 방법을 제시 한다. Temporal Logic Frameworks is convenient to represent temporal relation. It is useful to represent a dynamic properties of Discrete Event Dynamic Systems, Also, it is convenient to express a current and next state of event using logical representation. Because the teachability tree of the Temporal Logic Frameworks is very complexity it is difficult to understand. In this paper, we defined some rules to represent Temporal Logical Frameworks by Petri Net and proposed am method of the representation of them Petri Net for the Temporal Logic Frameworks. An example are used to demonstrate the feasibility of this metod.