• Journal of Institute of Control, Robotics and Systems
• /
• v.13 no.2
• /
• pp.147-153
• /
• 2007

The stability robustness problem of linear discrete-time systems with delayed time-varying perturbations is considered. Compared with continuous time system, little effort has been made for the discrete time system in this area. In the previous results, the bounds were derived for the case of non-delayed perturbations. There are few results for delayed perturbation. Although the results are for the delayed perturbation, they considered only the time-invariant perturbations. In this paper, the sufficient conditions for stability can be expressed as linear matrix inequalities(LMIs). The corresponding stability bounds are determined by LMI(Linear Matrix Inequality)-based algorithms. Numerical examples are given to compare with the previous results and show the effectiveness of the proposed results.

• Journal of Institute of Control, Robotics and Systems
• /
• v.22 no.6
• /
• pp.424-428
• /
• 2016

A simple new sufficient condition for asymptotic stability of the positive linear time-varying discrete-time systems, with unstructured time-varying uncertainty in delayed states, is established in this paper Compared with previous results that cannot be applied to time-varying systems; the time-varying system and delay time are considered simultaneously in this paper. The proposed conditions are compared with suitable conditions for the typical discrete-time systems. The considerations are illustrated by numerical examples of previous work.

• Journal of Institute of Control, Robotics and Systems
• /
• v.18 no.10
• /
• pp.895-901
• /
• 2012

The stability robustness problem of linear discrete systems with time-varying unstructured uncertainty of delayed states with time-varying delay time is considered. The proposed conditions for stability can be used for finding allowable bounds of timevarying uncertainty and delay time, which are solved by using LMI (Linear Matrix Inequality) and GEVP (Generalized Eigenvalue Problem) known as powerful computational methods. Furthermore, the conditions can imply the several previous results on the uncertainty bounds of time-invariant delayed states. Numerical examples are given to show the effectiveness of the proposed algorithms.

• Proceedings of the KIEE Conference
• /
• 2003.07d
• /
• pp.2179-2181
• /
• 2003

기존의 이산시간 슬라이딩 모드 제어기에서는 주어진 슬라이딩 평면으로부터 등가 제어기를 설계하고 그로부터 폐루프 시스템의 고유값이 결정 되어 폐루프 시스템의 극점을 임의로 배치시키는 것이 어려웠다. 최근 슬라이딩 모드제어에 극점 배치기법을 도입하여 폐루프 시스템의 고유값을 임의로 배치시킬 수 있는 방법이 소개되었다. 그러나 극점 배치 기법은 루프 전달함수의 이득과 위상에 대한 여유도 관점에서 설계된 제어기가 아니므로 직접적으로 이득과 위상에 대한 여유도를 보장하기가 힘들다. 따라서 본 논문에서는 루프 전달함수의 이득과 위상에 대한 여유도를 확보할 수 있고 측정 잡음에 대한 민감성을 줄이기 위해 LTR과 멀티레이트 출력 제어기법을 적용해 해결하는 방법을 제안한다.

• The Transactions of the Korea Information Processing Society
• /
• v.6 no.7
• /
• pp.1817-1824
• /
• 1999

How to efficiently and optimally schedule iterative is one of the critical issues in FMC(Flexible Manufacturing Cell). In this paper, we apply transformation rules to find the solution of the scheduling problem in FMC. These kinds of rules have already been applied for the analysis of autonomous Petri nets. Here in, transformation is intended to preserve the existence of at least one optimal solution for the scheduling problem. Some transformations rules to reduced TPN's size without changed the initial characteristics are proposed and applied to analyze the scheduling problem of FMC.

• Journal of the Korea Institute of Information Security & Cryptology
• /
• v.13 no.2
• /
• pp.91-98
• /
• 2003

We introduce a new public key system based on the discrete logarithm Problem(DLP) in a quotient group of finite fields. This system achieves savings not only in communication overhead by reducing public key size and transfer data by half but also in computational costs by performing efficient exponentiation. In particular, this system takes about 50% speed-up, compared to DSA which has the same security.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2020.05a
• /
• pp.577-579
• /
• 2020

최근 인공지능을 활용한 대기질 예측 모델 개발 연구가 활발히 진행 중이다. 특히 시계열 데이터 기반 예측 시스템 개발에 장점을 가진 DNN, LSTM 알고리즘을 활용한 다양한 예측 시스템이 제안되고 있다. 본 논문에서는 LSTM을 활용한 모델과 Fully-Connected 기반의 DNN 모델을 활용한 대기질 예측 시스템을 개발하고 두 모델의 예측 정확도를 비교한다. 성능 평가 결과를 보면 LSTM 모델이 DNN 모델보다 모든 면에서 좋은 결과를 보여줬다. 그리고 이산화황(SO₂), 이산화질소(NO₂), 초미세먼지 (PM_2.5)에 대해서는 그 차이가 두드러지게 나타났다.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2021.11a
• /
• pp.552-554
• /
• 2021

프리징은 컴퓨터 시스템에서 하나의 프로세스나 시스템 전체가 입력에 대한 응답이 중단되고 제어가 불가능한 상태가 되는 현상이다. 비디오 월 컨트롤러의 제어 시스템도 OS에서 동작하는 애플리케이션이므로 프리징이 발생할 수 있지만, 운영자가 멀티 스크린을 실시간으로 모니터링 하고 있더라도 프리징의 발생을 인지하기 어렵고, 프리징을 인지하였을 때는 이미 제어가 불가능한 상태이므로 비디오 월 컨트롤러를 재부팅 하는 것 외에는 대응할 수 있는 방법이 없다. 따라서 본 논문에서는 비디오 월 컨트롤러의 이상 여부를 감지하여 프리징을 방지할 수 있는 모델을 제안한다. 이상 감지모델은 이산화 된 로지스틱 혼합 분포의 우도 함수를 이용하여 비디오 월 컨트롤러의 이상 여부를 감지한다.

• Journal of the Korean Institute of Intelligent Systems
• /
• v.14 no.3
• /
• pp.298-303
• /
• 2004

This paper deals with a stochastic stabilization of observer-based output-feedback control Takagi-Sugeno (T-S) fuzzy system with Markovian input delay. The finite Markovian process is adopted to model the input delay of the overall control system. It is assumed that the zero and hold devices are used for control input. The continuous-time T-S fuzzy system with the Markovian input delay is discretized for easy handling delay, accordingly, the discretized T-S fuzzy system is represented by a discrete-time T-S fuzzy system with jumping parameters. The stochastic stabilizability of the jump T-S fuzzy system is derived and formulated in terms of linear matrix inequalities (LMIs). The usefulness of the proposed algorithm is also certificated by simulation of 2 degree of freedom helicopter model.

• Proceedings of the Korean Society of Machine Tool Engineers Conference
• /
• 1999.10a
• /
• pp.16-21
• /
• 1999

본 연구에서는 컴퓨터 상에 제어기와 구동부 등으로 구성된 가상제조시스템(Virtual Manufacturing System)을 구축하고 시뮬레이션하는 방법론을 다룬다. 특히 설비들간의 이동시 발생할 수 있는 3차원 공간상의 충돌을 검출하는 이산사건 및 연속상태 혼합 시뮬레이션 방법론을 소개한다. 시뮬레이션 모델은 DEVS(discrete event system specification) 형식론(formalsim)에 기초한 형상기구학 정보를 갖는 이른바 GKDEVS(Geometrical Kinematic DEVS)을 이용하였고, 시뮬레이션 방법론은 DEVS의 추상화 시뮬레이션(abstract simulation)방법을 확장하였다.