• International Journal of Control, Automation, and Systems
• /
• 제4권4호
• /
• pp.495-505
• /
• 2006

A class of robust control for flexible joint manipulators with nonlinearity mismatched uncertainty is designed based on Lyapunov approach. The uncertainties are unknown but their values are within certain prescribed sets. No statistic information of the uncertainties is imposed. The control which utilizes state transformation via virtual control is proposed. The resulting robust control guarantees practical stability for the transformed system and later the stability for the original system is proved. The designed robust control is implemented by experiments in a 2-link flexible joint manipulator.

• 한국산업융합학회 논문집
• /
• 제18권4호
• /
• pp.241-249
• /
• 2015

The purpose of this research is to develop the pattern recognition algorithm based on smart camera for inspection automation, and including external surface state of molding parts or optical parts. By performance verification, this development can be applied to establish for existing reflex data because inputting surface badness degree of scratch's standard specification condition directly. And it is pdssible to distinguish from schedule error of badness product and normalcy product within schedule extent after calculating the error comparing actuality measurement reflex data and standard reflex data mutually. The proposed technology cab be applied to test for masearing of the smallest 10 pixel unit. It is illustrated the relibility pf proposed technology by an experiment.

• 한국산업정보학회논문지
• /
• 제11권3호
• /
• pp.40-46
• /
• 2006

영상처리 기술을 이용한 컨테이너 식별자 자동인식은 항만자동화와 물류 처리율 향상에 매우 중요한 요소이다. 본 논문에서는 칼라정보를 이용한 윤곽선 추출과 추출된 문자영역에 대한 문자 조건 검증 알고리즘을 사용하여 입력 영상의 다양한 밝기변화와 잡음에 강한 컨테이너 식별자 인식 기법을 제안하였다. 360장의 컨테이너 영상을 대상으로 실험한 결과 제안한 방법이 식별자 인식에 유용함을 확인하였다.

• Journal of Power Electronics
• /
• 제16권6호
• /
• pp.2057-2066
• /
• 2016

An extension of the one-cycle control (OCC) method for switched-capacitor (SC) converters is proposed in this paper, featuring a fast dynamic response, wide line and load operation ranges, and simplicity in implementation. To illustrate the operation principle of this nonlinear control method and to demonstrate its simplicity in design, a dual-phase unity gain SC converter is examined. A new control loop based on the charge balance in a flying capacitor is formulated for the OCC technique and implemented with a 15W dual-phase unity gain SC converter on a circuit board for control verification. The obtained experimental results show that external disturbances can be rejected in one switching cycle by the OCC controlled SC converter with good line and load regulations. When compared to other control methods, the proposed nonlinear control loop exhibits superior dynamic performance in suppressing input and load disturbances.

• 한국조명전기설비학회:학술대회논문집
• /
• 한국조명전기설비학회 2009년도 춘계학술대회 논문집
• /
• pp.259-262
• /
• 2009

IEC 61850 based substation automation system mainly consists of human machine interface and a various of IEDs in charge of protective and control functions of the substation. Both of them should require the performance verification of IEC 61850 communication services because their communication relation is the same as client and server throughout the digital network. This paper shows a research result on the testing method of basic communication interface of the IEC 61850 based client, which was implemented by the analysis of real communication between HMI and IED of IEC 61850 based substation automation system and refereed to IED IEC 61850 conformance test procedures.

• 한국조명전기설비학회:학술대회논문집
• /
• 한국조명전기설비학회 2009년도 춘계학술대회 논문집
• /
• pp.263-266
• /
• 2009

IEC 61850 based substation automation system is operating with Generic Object Oriented Substation Event message when an IED need to send an important signal to other IEDs or receive the signals from another IED such as trip and interlock. So interoperability of substation automation system may be assured throughout the verification of IED GOOSE. This paper shows a testing contents for GOOSE subscription and publish of IEC 61850 based IED and describes how to analysis the result of GOOSE testing. Now domestic IED completed by GOOSE test of this study are working in KEPCO test field.

• International Journal of Control, Automation, and Systems
• /
• 제5권4호
• /
• pp.372-378
• /
• 2007

This paper discusses Robust $H{\infty}$ control problems for networked control systems (NCSs) with time delays and subject to norm-bounded parameter uncertainties. Based on a new discrete-time model, two approaches of robust controller design are proposed. A numerical example and experimental verification with an NCS test bed are given to illustrate the feasibility and effectiveness of proposed design methodologies.

• 제어로봇시스템학회:학술대회논문집
• /
• 제어로봇시스템학회 1991년도 한국자동제어학술회의논문집(국내학술편); KOEX, Seoul; 22-24 Oct. 1991
• /
• pp.1057-1062
• /
• 1991

Recently, due to the development of new technology and products, FA has been accelerating for obtaining high-quality and saving of resources and power. Introduction of automation to the field which has bad working condition is needed and welding is one of these field. In this study, solving algorithm for down hand control which requires in the automatic are welding system is proposed. For the verification of the algorithm, numerical examples are shown and visualization is carried out using developed graphic tools.

• 한국소성가공학회:학술대회논문집
• /
• 한국소성가공학회 1995년도 추계학술대회논문집
• /
• pp.7-15
• /
• 1995

An application-oriented approach to automatic pass schedule design in shape rolling was presented in this paper. The design approach and its related program are composed of several modules for input data, graphic display, data processing, calculation of design information, drawing of detailed pass shapes, database management and finite element analysis for design verification. The developed program was applied to automatic pass schedule design for a square-to-round bar shape rolling.

• 정보보호학회논문지
• /
• 제13권1호
• /
• pp.115-129
• /
• 2003

본 논문에서는 암호프로토콜의 논리성 검증을 위한 방법 중 하나인 SVO 로직을 바탕으로 한 자동 검증 방법과 실험에 대해서 다룬다. 먼저 기존 SVO 로직 자동 검증의 문제점을 도출한 후 자동 검증을 고려한 ASVO 로직을 설계하고 검증하였으며, Isabelle/Isar 시스템을 이용하여 구현하였다 본 논문에서는 잘 알려진 NSSK 프로토콜 중심으로 추론 구성 사례를 소개하도록 한다. 결과적으로 이미 Denning-Sacco 공격에 취약한 것으로 알려진 NSSK 프로토콜의 문제점들을 ASVO 로직의 자동화 검증을 통해서 정확히 확인할 수 있었다. 그리고 최종적으로 ASVO 로직의 자동화 검증을 통해서 발견된 취약점들을 개선한 NSSK7 프로토콜을 설계하고 검증하였다.