• 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 Korean Institute of Telematics and Electronics
• /
• v.20 no.2
• /
• pp.23-28
• /
• 1983

In this paper, a method to control the speed of a dc motor using a phase locked loop circuit with a variable sequential filter is discussed. We improved the transient response time more than 15 percent compared to conventional system using a variable sequential filter and the steady state error was reduced to less than 0.05 percent per rotation axis.

• Journal of Korean Association for Spatial Structures
• /
• v.11 no.2
• /
• pp.139-149
• /
• 2011

A cable structures have the advantage that cover a large space without column but it is very sensitive to deal with shape control because of its flexibility. Especially, location of control member and needed elongation of member are important things. Therefore, the purpose of this paper is studied on displacement control technique for pre-stressed cable structures by force method considering order of control. The layout of this paper is as follows. Firstly, in section 2, the control technique by force method for cable structures is given. Secondly, section 3 briefly introduces simple cable net in order to apply control technique considering ordering of actuator. Finally, more complex example for effective member and the conclusion are in section 4 and 5, respectively.

• Proceedings of the Korean Information Science Society Conference
• /
• 1998.10b
• /
• pp.69-71
• /
• 1998

다중 데이터베이스 시스템에서 전역 트랜잭션을 순차적으로 실행하여도 전역 직렬가능성 보장을 위한 동시성 제어 방법의 개발에서 가장 중요한 고려 요소가 되는 간접충돌은 발생한다. 본 논문에서는, 간접충돌과 전역 직렬가능성의 관계를 분석하여 순차실행은 전역 직렬가능성에 영향을 주지 않음을 보였다.

• Journal of IKEEE
• /
• v.24 no.3
• /
• pp.727-734
• /
• 2020

Fault tolerant corrective control for asynchronous sequential machines (ASMs) with transient faults is discussed in this paper. The considered ASM is vulnerable to a kind of faults whose manifestation may arise during transient transitions of the ASM, leading to transient faults occurring in non-fundamental mode. To overcome adverse effects caused by these faults, we present a novel corrective control scheme that can detect and tolerate transient faults in non-fundamental mode. The existence condition and design algorithm for an appropriate fault tolerant controller is addressed in the framework of corrective control theory. The applicability of the proposed control methodology is demonstrated in the FPGA experiment.

• Proceedings of the Korean Society of Marine Engineers Conference
• /
• 2011.10a
• /
• pp.99-100
• /
• 2011

In this paper, a temperature control for LED(Light Emitting Diode) lamp using a cooling fan is studied. An efficient temperature control scheme for the LED lamp using the fan wind at the lowest sound noise is studied. Also, for minimization study of sound noise and temperature control of an LED lamp, a sequential control algorithm using the cooling fan at the lowest sound noise is presented. For the study, after measurement of the minimum sound noise of the fan and related temperature of the LED lamp through tests, experiments on temperature control of the LED lamp using the fan was performed.

• The Journal of the Korea institute of electronic communication sciences
• /
• v.17 no.3
• /
• pp.399-408
• /
• 2022

This paper proposes a corrective control system to achieve fault-tolerant control for input/output asynchronous sequential circuits vulnerable to transient faults violating fundamental mode operations. To overcome non-fundamental mode faults occurring in transient transitions of asynchronous sequential circuits, it is necessary to determine the end of unauthorized state transitions caused by the faults and to stably take the circuit from the faulty state to a desired state that is output equivalent with the normal next stable state. We address the existence condition for a proper output-feedback corrective controller that achieves fault diagnosis and fault-tolerant control for these non-fundamental mode faults. The corrective controller and asynchronous sequential circuit are implemented on field-programming gate array to demonstrate the synthesis procedure and applicability of the proposed control scheme.

• Journal of the Korea Academia-Industrial cooperation Society
• /
• v.9 no.3
• /
• pp.632-637
• /
• 2008

On board Weapon Control Unit for a military aircraft, as a core equipment of the Weapon Management System, generates signals for selective jettison, emergency jettison and rocket fire and controls the external stores according to a pilot's weapon selection, aircraft's flight status and external store's installation status. This paper describes about detail design process and performance evaluation for Weapon Control Unit developed by a sequence control circuit design methodology.

• Journal of the Korean Institute of Illuminating and Electrical Installation Engineers
• /
• v.22 no.8
• /
• pp.45-51
• /
• 2008

HID(High Intensity Discharge) search lamp for shipment requires a high open circuit and output current compare than vehicle. This paper presents a soft-start open circuit voltage and constant current sequence control method for 2.5[kW] HID search lamp. The proposed method controls the opal circuit voltage and discharge current of HID lamp according to ignition signal with a simple 8-bit micro-processor and PWM device. For the stable control of lamp, micro-processor checks the output voltage and current. And the checked signals are compared with ignition signal and changes the control mode for stable operation. An ignition signal and micro-processor change the control mode from open circuit voltage contort to constant current control. The proposed control scheme is verified from experimental tests of 2.5[kW] HID search lamp for shipment.

• Proceedings of the Korea Multimedia Society Conference
• /
• 2002.11b
• /
• pp.582-586
• /
• 2002

순차 논리 회로를 설계하기 위하여 설계용 틀을 이용해 설계하고 그 결과를 시뮬레이션 한 것을 검토하여 실제 회로로 구현한다. 본 논문에서는 시뮬레이션을 하기 위한 회로설계 방법 중 Statatable를 작성하여 틀에 입력하고 심볼로 만들어, 이것을 이용하여 시스템을 구성 후 시뮬레이션을 하였다. 특히 설계 예제로 선택한 교통 신호제어 시스템은 대기차량이 없는 차로와 있는 차로를 구분하여 선택적으로 신호를 제공하므로써 교통소통의 효율을 물론 앞으로 교통 신호 제어체계의 새로운 모델을 제시하고 있다.