• 전기학회논문지
• /
• 제57권8호
• /
• pp.1440-1446
• /
• 2008

In this paper, a novel TMR (Triple Modular Redundancy) memory structure is proposed using state feedback control of asynchronous sequential machines. The main ability of the proposed structure is to correct the fault of SEU (Single Event Upset) asynchronously without resorting to the global synchronous clock. A state-feedback controller is combined with the TMR realized as a closed-loop asynchronous machine and corrective behavior is operated whenever an unauthorized state transition is observed so as to recover the failed state of the asynchronous machine to the original one. As a case study, an asynchronous machine modelling of TMR and the detailed procedure of controller construction are presented. A simulation results using VHDL shows the validity of the proposed scheme.

• 전자공학회논문지
• /
• 제53권7호
• /
• pp.103-109
• /
• 2016

비동기 순차 머신을 위한 교정 제어는 이미 설계된 비동기 순차 머신의 오동작이나 머신에서 발생하는 고장의 영향을 없애는 새로운 제어 기법이다. 본 논문에서는 비동기 순차 머신 교정 제어 시스템의 입력단에서 일어나는 고장을 탐지하고 극복하는 방법을 제안한다. 교정 제어기는 제어 대상 머신의 입력단에서 일어나는 고장을 탐지할 수 있으나 외부 입력단에서 발생하는 고장은 알지 못한다. 이번 연구에서는 비동기 순차 머신을 사용하는 외부 운용자(operator)가 상태 피드백을 받아서 고장을 발견한 후 제어기에게 고장 극복 동작을 명령하는 방식으로 외부 입력단의 고장을 위한 내고장성 제어 기법을 완성한다.

• 전자공학회논문지
• /
• 제51권8호
• /
• pp.139-147
• /
• 2014

이번 연구에서는 병렬 결합된 두 개의 비동기 순차 머신에 대한 교정 제어 문제를 다룬다. 각 비동기 머신은 동일한 외부입력을 받아 서로 독립적인 상태 천이 특성을 보인다. 본 논문에서는 한 개의 교정 제어기만을 이용하여 두 개의 비동기 머신의 폐루프 시스템 동작을 각각의 기준 모델의 동작과 일치시키도록 하는 제어 방법을 제안한다. 본 방법은 교정 제어기 두 개를 사용해야 하는 기존 방법에 비해 제어기 크기 및 계산량을 줄일 수 있다. 본 논문에서는 대상 비동기 머신이 입력/상태 유형이라고 설정하고 상태 피드백 교정 제어기가 존재할 조건과 설계 과정을 제시한다. 또 예제 시스템을 통하여 제안된 기법의 적용 과정을 기술한다.

• 전자공학회논문지
• /
• 제50권5호
• /
• pp.253-261
• /
• 2013

본 논문에서는 복합 비동기 순차 머신을 제어하는 방법을 다룬다. 논문에서 고려하는 비동기 머신은 입력/상태 머신 두 개가 직렬 결합된 것으로서 선행 머신의 출력 값이 후행 머신의 입력으로 전달된다. 제어 목적은 폐루프 시스템의 입력과 출력의 정상 상태 특성을 원하는 모델의 동작과 일치시키는 모델 정합 문제를 구현하는 교정 제어기를 꾸미는 일이다. 교정 제어기는 후행 머신의 상태 피드백 정보만 전달 받기 때문에 선행 머신의 상태를 정확하게 알 수 없는 불확실성이 존재한다. 본 논문에서는 그러한 불확실성 하에서 모델 정합 교정 제어기가 존재할 조건을 구하고 설계 알고리듬을 제안한다. 또한 사례 연구를 통해서 제안된 제어기의 설계 과정을 예시한다.

• 전자공학회논문지SC
• /
• 제47권4호
• /
• pp.7-14
• /
• 2010

유한 상태 머신으로 표현되는 비동기 머신의 안정 상태 동작은 피드백 제어를 통해서 원하는 목적에 맞게 교정될 수 있다. 본 논문에서는 불확실한 상태 천이를 가지는 입력/상태 비동기 머신을 위한 상태 피드백 제어기를 제안한다. 비동기 머신은 결정적인 동작 특성을 가지고 있으나 모델 불확실성, 내부 고장 등으로 인해서 일부 영역의 상태 천이 함수가 불확실하다. 교정 제어의 목적은 불확실한 상태 천이를 고려하면서 머신의 폐루프 동작이 주어진 정상적인 모델 동작의 부분 집합이 되도록하는 일이다. 또 제어기는 실제 교정 동작을 수행하면서 획득하는 머신의 정확한 상태 천이를 그 다음 제어 동작에 반영한다. 즉 학습을 통해서 폐루프 시스템이 이룰 수 있는 모델의 부분 동작의 범위가 더 확대된다. 사례 연구를 제안된 제어기의 설계 과정을 예시한다.

• Journal of international Conference on Electrical Machines and Systems
• /
• 제2권4호
• /
• pp.405-412
• /
• 2013

This paper includes new protection concepts and practices to avoid mechanical damage of three-phase transformer by asynchronous operation of synchronous generator. this failure is often caused just after synchronous generator was connected to the grid because of a malfunction of the controller or misconnections of the synchronous devices. The results of the studies on the analyzing the phenomenon of asynchronous operation experienced in Korea and rapidly detecting asynchronous state are descrived.

• 전자공학회논문지SC
• /
• 제48권3호
• /
• pp.40-47
• /
• 2011

본 논문에서는 상태 피드백 제어를 이용한 비동기 순차 머신의 고장 탐지 및 극복 과정을 다룬다. 논문에서 고려하는 비동기 머신은 간헐 고장의 영향을 받는다. 간헐 고장이 발생하면 머신은 원하지 않는 상태 천이를 하며, 일정 시간 동안 외부 입력의 변화에 반응하지 못하고 고장 상태를 유지한다. 본 논문에서는 비동기 머신에서 발생하는 간헐 고장을 탐지할 수 있는 조건을 규명하고 간헐 고장을 극복하는 견실한 상태 피드백 제어기의 존재조건과 설계 알고리듬을 제안한다. 과도 고장에 대한 기존의 내고장성 제어 기법과 이번 연구에서 제안하는 간헐 고장에 대한 제어기 동작과의 차이점도 설명한다. 또한 사례 연구를 통해서 제안된 제어기의 설계 과정을 예시한다.

• 전자공학회논문지SC
• /
• 제45권4호
• /
• pp.11-19
• /
• 2008

본 논문에서는 비동기 순차 머신의 교정 제어 문제를 다룬다. 교정 제어는 머신의 동작을 주어진 모델의 동작과 일치시키도록 하는 모델 매칭을 실현하는 제어를 말한다. 본 논문의 주요 목적은 비동기 순차 머신이 추종해야 하는 모델의 형태가 비결정적일 때, 즉 여러 개의 결정적 모델의 합으로 주어질 때 교정 제어기를 설계하는 일이다. 본 논문에서는 이전 논문에서 정의된 비결정 모델의 표현 방법 및 비결정 모델에 대한 모델 매칭 문제 정의를 요약한다. 도달가능성 행렬을 이용하여 교정 제어기가 존재할 필요충분조건을 제시하고 제어기가 존재할 경우 그 설계 과정을 기술한다. 또 예제를 통해서 제어기 설계의 적용 가능성을 검증한다.

• 전자공학회논문지
• /
• 제51권9호
• /
• pp.173-181
• /
• 2014

본 논문은 입력/출력 비동기 순차 머신으로 모델링되는 시스템에 대한 모델 정합 제어 문제를 다룬다. 피드백 제어 기법을 이용하여 폐루프 시스템이 원하는 기준 모델의 상태 천이 특성을 가지도록 교정 제어기를 설계한다. 이전 연구에서는 제어기를 설계할 때 시스템의 상태를 관측하는 상태 관측기와 출력 피드백에 대한 burst 신호가 필요했으나 본 연구에서는 관측기와 출력 burst를 사용하지 않는 새로운 교정 제어기를 제안한다. 본 논문에서는 제어 대상 시스템의 '출력 등가 머신'을 정의하여 새로운 제어기의 존재 조건과 설계 과정을 기술한다. 또 사례 연구를 통해 모델 정합을 위한 교정 제어기의 동작 과정을 설명한다.

• 전자공학회논문지A
• /
• 제33A권10호
• /
• pp.195-204
• /
• 1996

We suggest a transform method form asynchronous finite state machines (AFSMs) into signal transition graphs (STGs) for speed-independent circuit synthesis. Existing works synthesize nodes in the state graph increases exponentially as the number of input and output signals increases. To overcome the problem of the exponential data complexity, we transform AFSMs into STGs so that the previous synthesis algorihtm form STGs can be applied.Accoridng to the experimental results, it turns out that our synthesis method produces more efficient circuit than the previous synthesis methods.