• Journal of the Korean Institute of Intelligent Systems
• /
• v.25 no.2
• /
• pp.139-146
• /
• 2015

This paper presents the solution to model matching of switched asynchronous sequential machines by corrective control. We propose a model of switched asynchronous sequential machines, in which the system can have different dynamics of asynchronous machines governed by a pre-determined sequence of switching. The control objective is to derive a corrective control law so that the stable state behavior of the closed-loop system can match that of a prescribed model. A new skeleton matrix is defined to represent the reachability of the switched asynchronous machine, and a novel control scheme is presented that interweaves the switching signal and the corrective control procedure. A design algorithm for the proposed controller is illustrated in a case study.

• Journal of the Korean Institute of Intelligent Systems
• /
• v.26 no.2
• /
• pp.135-140
• /
• 2016

Corrective controllers enable fault diagnosis and tolerance for various faults in asynchronous sequential circuits without resort to redesign. In this paper, we propose a static corrective controller in order to decrease the size of the controller. Compared with dynamic controllers, static controllers can be made using only combinational circuits, as they need no inner states. We address the existence condition and design procedures for static corrective controllers that overcome state transition faults. To show the validity and advantage, the proposed controller is applied to an SEU error counter implemented on FPGA.

• 전기의세계
• /
• v.35 no.1
• /
• pp.20-26
• /
• 1986

시간오차 및 수수에너지오차의 교정방법은 많은 전력회사(또는 제어지역)이 한개의 대전력계통으로 동작하는 경우에 적용되는 것이므로 단일 회사의 전력계통에는 적용할 수 없다. 다만 한 전력회사계통도 수개의 제어지역으로 나누어질 수도 있으므로 수개의 제어지역이 Tie-line Bias control에 의하여 동작하는 경우에는 적용된다.(a) 시간오차 및 수수에너지오차를 한개 벡터의 두 성분으로 보고, 이를 하나의 제어지역i와 나머지 제어지역의 성분으로 분해가능하다. (b) 벡터 Decomposition은 2차원 Cartesian평면에 도시할 수 있으며 이를 (.epsilon., Ii)평면이라고 하였다. 이 평면에서 Ii=(-Br/6).epsilon.상에 있고, 나머지 제어지역이 지역i에 미치는 벡터성분은 선분 Ii=(Bi/6).epsilon. 상에 있다. (c) 제어지역i단독 또는 나머지 제어지역의 control action이 지역i의 시간오차 및 수수에너지오차에 미치는 영향을 관찰하고 현행 NERC 교정법도 이에 따라 도시하였다. (d) 현행 NERC교정법을 수정한 교정법을 제시하였으며, 두가지 교정법의 Regulation에너지를 비교하고 예시하였다.

• Journal of the Institute of Electronics Engineers of Korea SC
• /
• v.45 no.4
• /
• pp.1-10
• /
• 2008

The problem of controlling asynchronous sequential machines is addressed in this paper. Corrective control means to make behavior of an asynchronous sequential machine equal to that of a given model. The main objective is to develope a corrective controller, especially when a model is given as nondeterministic, or a set of reference models. The structure of corrective control system for asynchronous sequential machines is addressed first, followed by description of nondeterministic models. Then, we propose a method for analyzing reachability of asynchronous machines and nondeterministic models. Proposed methods are demonstrated in an example.

• Journal of the Institute of Electronics Engineers of Korea SC
• /
• v.45 no.4
• /
• pp.11-19
• /
• 2008

The problem of controlling asynchronous sequential machines is addressed in this paper Corrective control means to make behavior of an asynchronous sequential machine equal to that of a given model. The main objective is to develope a corrective controller, especially when a model is given as nondeterministic, or a set of reference models. We first review representation of nondeterministic models and model matching problems with nondeterministic models, which are presented in the companion paper. We then propose necessary and sufficient conditions for the existence of corrective controllers and describe their design procedure. To show the applicability, the proposed control scheme is demonstrated in an example.

• Journal of the Institute of Electronics and Information Engineers
• /
• v.51 no.8
• /
• pp.139-147
• /
• 2014

We address the problem of corrective control for two asynchronous sequential machines in parallel connection. Each asynchronous machine receives the same external input and shows independent state transition characteristics. We propose a novel control scheme in which only one corrective controller is employed so as to make the closed-loop system of each machine match the behavior of the corresponding reference model. Compared with the former method utilizing two corrective controllers, our scheme can reduce the controller size and computational load in controller design. We present the existence condition and design procedure for a state-feedback corrective controller under the assumption that the controlled machines are of input/state type. The design procedure for the proposed controller is described in an illustrative example.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2006.05a
• /
• pp.673-676
• /
• 2006

본 논문은 산업현장의 불균등한 조명 조건에서 정확한 카메라 교정을 수행할 수 있는 방법을 제안한다. 비접촉 계측을 위한 카메라 교정법은 패턴에서 교정점들을 정확하게 추출할 수 있어야 하며, 평면 패턴을 사용하는 교정 방법은 최소 7개의 교정점을 알아야 한다. 그러나 비접촉 치수 계측기가 설치된 산업현장에서 카메라 교정에 알맞은 조명을 기대하기 힘들다. 본 논문에서는 최적조명제어가 어려운 산업현장에서 치수계측을 위한 카메라 교정을 효과적으로 수행할 수 있는 반자동 카메라 교정방법을 제안한다. 교정패턴상의 최소 4점을 사용자가 지정함에 의해, 조명제어의 어려움으로 인해 교정점 추출이 실패한 교정패턴의 불완전 교정점을 사용하여 이상적인 조명상태에서의 교정점 정보를 예측하고, 이 정보로부터 다시 정확한 교정인자들을 반복적으로 추출하는 방법을 적용한다. 제시된 방법은 렌즈의 투사왜곡에 의한 교정패턴에서도 성공적으로 적용될 수 있음을 실험을 통해 확인하였다.

• Journal of the Institute of Electronics Engineers of Korea SC
• /
• v.47 no.5
• /
• pp.9-17
• /
• 2010

Corrective control compensates the stable-state behavior of asynchronous sequential machines so that the closed-loop system can be changed in a desirable way. Using corrective control, we present a novel fault tolerance scheme that overcomes permanent faults for asynchronous sequential machines. When a permanent fault occurs to an asynchronous machine, the fault is not recovered forever while the machine is irreversibly stuck in a set of failure states. But, if the machine has control redundancy in the limited behavior range, corrective control can be applied to solve the fault tolerance problem against permanent faults. We present the condition on detecting permanent faults and the existence condition of an appropriate corrective controller. The design procedure for the proposed controller is described in a case study.

• ICROS
• /
• v.17 no.4
• /
• pp.35-41
• /
• 2011

비동기적으로 동작하는 디지털 회로는 동기 순차 회로에 비해서 고속, 저전력 소비 등 여러 가지 장점을 지니기 때문에 현대 디지털 시스템에서 여전히 중요한 요소로 사용되고 있다. 본 기고에서는 비동기 순차 회로에서 발생하는 고장을 진단하고 극복하는 최신 기술을 소개한다. 본 기고에서 주로 다루는 기술은 '교정 제어'로서 피드백 제어의 원리를 이용하여 비동기 순차 회로의 안정 상태를 바꾸는 기법이다. 크리티컬 레이스(critical race), 무한 순환 등 비동기 회로 설계상의 오류를 포함하여 SEU(Single Event Upset), 총이론화선량(TID)에 의한 고장 등 외부 환경에 의해서 발생하는 비동기 회로의 고장을 교정 제어를 이용하여 진단하고 극복하는 기술에 대해서 알아본다.

• Journal of the Institute of Electronics and Information Engineers
• /
• v.53 no.7
• /
• pp.103-109
• /
• 2016

Corrective control for asynchronous sequential machines is a novel automatic control theory that compensates illegal behavior or adverse effects of faults in the operation of existent asynchronous machines. In this paper, we propose a scheme of diagnosing and tolerating faults occurring to input channels of corrective control systems. The corrective controller can detect faults occurring in the input channel to the controlled machine, whereas those faults happening in the external input channel cannot be detected. The proposed scheme involves an outer operator which, upon receiving the state feedback, diagnoses a fault and sends an appropriate command signal to the controller for tolerating faults in the external input channel.