• Proceedings of the Korea Institutes of Information Security and Cryptology Conference
• /
• 2003.12a
• /
• pp.422-427
• /
• 2003

보안 시스템에서 비밀키 노출은 가장 심각한 문제 중 하나이며, 피할 수 없는 문제로 여겨진다. 최근에 키 전개(key-evolving) 패러다임이 비밀키 노출이 가져올 수 있는 피해를 최소화시키기 위한 수단으로 도입되었다. 이 패러다임에서는 프로토콜 전 구간이 여러 시간 구간으로 나누어진다. 시간 구간 i 에서 서명자는 비밀키 SK$_{j}$ 를 가지게 되며, 이를 주기적으로 갱신하게 된다. 반면 공개키 PK는 프로토콜 전 구간동안 변함이 없다. 이러한 개념을 기반으로 하여 본 논문에서는 안전한 비밀키 갱신이 가능한 Schnorr 형 서명 기법을 제시한다. 이 서명 기법은 다음과 같은 특징을 갖는다. 만약 모든 시간 구간에 있는 비밀키들이 노출되지 않는다면, 아직 노출되지 않은 시간 구간의 서명을 위조할 수 없다. 즉, 모든 시간 구간의 비밀키를 알아야 어떤 시간 구간의 서명을 위조할 수 있다. 이 서명 기법은 위조 불가능하게 안전하며, 이산 로그 (Discrete Logarithm Problem)의 어려운 문제에 기반한 Schnorr 서명 기법에서 유도되었다.

• Journal of the Institute of Electronics Engineers of Korea SC
• /
• v.48 no.5
• /
• pp.59-65
• /
• 2011

In this paper, we present a reduced-order parameter-dependent robust $H_{\infty}$ filter design method for discrete-time singular systems with polytopic uncertainties. A BRL(bounded real lemma) for parameter-dependent singular systems is derived from a parameter-dependent Lyapunov function. On the basis of the obtained BRL, low order robust $H_{\infty}$ filter design method is presented by polytopic approach, new reduced-order method, and LMI(linear matrix inequality) technique. Finally, a numerical example is presented to illustrated the feasibility of the proposed method.

• Journal of Institute of Control, Robotics and Systems
• /
• v.9 no.5
• /
• pp.374-378
• /
• 2003

A new discrete-time fuzzy output feedback control method for nonlinear systems with unknown time-delay is proposed. Ma et al. proposed an analysis and design method of fuzzy controller and observer and Cao et al. extend this result to be applicable fir the nonlinear systems with known time-delay. For the case of unknown time-delay, we derive the sufficient condition f3r the asymptotic stability of the equilibrium Point by applying Lyapunov-Krasovskii theorem and convert this condition into the LMI problem.

• Journal of Institute of Control, Robotics and Systems
• /
• v.15 no.4
• /
• pp.396-399
• /
• 2009

This paper presents the notion of time-coobservability as a core condition far the existence of a decentralized supervisor achieving a given language specification in a timed discrete event system (TDES). A TDES is modeled by the framework of Brandin & Wonham [5], and the decentralized supervisory control architecture presented is extended from the untimed architecture of Yoo & Lafortune [1]. To develop the time-coobservability of a language specification, specifically this paper presents the C&P time-coobservability and D&A time-coobservability in the consideration of the event tick and forcing mechanism of decentralized supervisors.

• Journal of Institute of Control, Robotics and Systems
• /
• v.5 no.6
• /
• pp.641-646
• /
• 1999

This paper deals with the robust stability of discrete-time linear systems with time- varying delays and norm-bounded uncertainties. In this paper, the magnitude of time-varying delays is assumed to be upper-bounded. The sufficient condition is presented in terms of linear matrix inequality. It is also shown that the robust stability of uncertain discrete-time linear systems with time-varying delays is related with the quadratic stability of uncertain discrete-time linear systems with constant time delay.

• Journal of Institute of Control, Robotics and Systems
• /
• v.15 no.2
• /
• pp.121-127
• /
• 2009

This paper deals with the design problem of robust stabilization and non-fragile controller for discrete-time singular systems with parameter uncertainties and time-varying delays in state and input by delay-dependent Linear Matrix Inequality (LMI) approach. A new delay-dependent bounded real lemma for singular systems with time-varying delays is derived. Robust stabilization and robust non-fragile state feedback control laws are proposed, which guarantees that the resultant closed-loop system is regular, causal and stable in spite of time-varying delays, parameter uncertainties, and controller gain variations. A numerical example is given to show the validity of the design method.

• Proceedings of the Korean Society of Computer Information Conference
• /
• 2023.01a
• /
• pp.47-49
• /
• 2023

사회적으로 복잡한 문제들이 시공간 형태로 문제 표현이 가능하고 이를 활용하여 문제를 해결하기 위한 연구들이 진행 중이다. 특히, 시뮬레이션 이론 중 하나인 BM-DEVS는 시공간 논리를 적용하여 실세계에서 일어나는 문제들을 시공간 규칙으로써 표현하였고 이를 모델에 적용하여 시스템에서 행위를 모니터링한다. 하지만 BM-DEVS에서는 시스템 차원에서 정의된 시공간 규칙들을 평가하기 위하여 Büchi 오토마타로의 변환과 오토마타를 모델들에 반영할 수 있어야 한다. 이를 위하여 시스템을 구축하는 모델러가 직접 규칙을 오토마타로 변환하는 작업을 해야하며 이에 대한 오토마타를 모델에 적용하기까지는 많은 시간이 소요된다. 이러한 문제를 해결하기 위해 본 논문에서는 모델링의 단순화를 위하여 시공간 규칙을 모델들에 자동적으로 적용하는 방법에 대하여 소개한다.

• Journal of the Institute of Electronics Engineers of Korea SC
• /
• v.39 no.6
• /
• pp.20-26
• /
• 2002

This paper deals with the guaranteed cost control problems for a class of discrete-time linear uncertain systems with time-varying delay. The uncertain systems under consideration depend on time-varying norm-bounded parameter uncertainties. We address the existence condition and the design method of the memoryless state feedback control law such that the closed loop system not only is quadratically stable but also guarantees an adequate level of performance for all admissible uncertainties. Through some changes of variables and Schur complement, It is shown that the sufficient condition can be rewritten as an LMI(linear matrix inequality) form in terms of all variables.

• Journal of the Korean Society for Railway
• /
• v.11 no.2
• /
• pp.203-210
• /
• 2008

Since hub wheel BLDC Motor consisted of wheel and BLDCM (Brushless DC Motor) without gear reducer has high efficiency and low operation noise, it can be utilized to a driving wheel at some light rail systems. However, installing sensors for speedometer on a Hub-Wheel motor is not easy, so it requires a different speed control mechanism method for speed measurement. This paper introduces a speed control method based on simple mathematical model which uses discrete Kalman Filter to estimate and control the speed of the motor.

• Proceedings of the Korean Institute of Electrical and Electronic Material Engineers Conference
• /
• 2000.05a
• /
• pp.5-12
• /
• 2000

본 연구에서, Daubechies'Mother Wavelet를 이용한 이산 웨이블렛 변환(Discrete Wavelet Transform)에 기초한 새롭고 효과적인 특정추출방법을 제안하였다. 특정추출을 이용하여 응용방향을 설명하고 또는 통계적 파라메터의 평가를 행하였다. 본 연구에서는 다음과 같은 몇 가지 사실을 알 수 있었다. 1. 시스템에서 발생된 (인가전압이 0[V]) 노이즈라 볼 수 가있는 렌덤노이즈(Random Noise)를 디지털필터인 FIR(Finite Impulse Response)필터를 통하여 상당한 노이즈를 억제할 수가 있었다. 2. 이산 웨이블렛 변환 시 레벨 1~4까지 변환한 결과 최적의 변환상태 Level-3을 기준으로 하였다. 3. 특정추출 파라메터는 음향방출신호의 최대값, 평균값, 분산, 왜도, 첨쇄도를 특정추출파라메터로 이용하였다. 4. 특정추출 결과를 이용하여 전체 열화시간 중 대표적 음향방출신호 중 초기열화신호, 중기열화신호, 말기열화신호를 얻을 수 있었다. 이런 특정추출을 통하여 변압기열화상태를 진단할 수 있는 가능성을 확인 할 수가 있었다.