• 제어로봇시스템학회:학술대회논문집
• /
• 제어로봇시스템학회 2005년도 ICCAS
• /
• pp.571-574
• /
• 2005

This paper gives some sufficient conditions for a given polyhedral set which is represented as a set of linear inequalities to be positive D-invariant for uncertain linear discrete-time systems in the case such that the systems matrices depend linearly on uncertain parameters whose ranges are given intervals. Further, the results will be applied to uncertain linear continuous systems in the sense of the above by using Euler approximation.

• 전기의세계
• /
• 제23권1호
• /
• pp.69-72
• /
• 1974

This paper deals with an analytical design of a feedback regulator with vector input is discrete linear time-invariant systems. We have derived some relations such that the eigenvalues of a system plant with vector input under the time-optimal control strategy can be arbitrarily changed by the characteristics of the minor loop compensator which is indroduced in the feedback path.

• 제어로봇시스템학회:학술대회논문집
• /
• 제어로봇시스템학회 1996년도 한국자동제어학술회의논문집(국내학술편); 포항공과대학교, 포항; 24-26 Oct. 1996
• /
• pp.565-568
• /
• 1996

In this paper, a solution method is proposed to calculate the optimum solution to discrete optimal H$_{.inf}$ control problem for feedback of linear time-invariant system states and disturbance variable. From the results of this study, condition of existence and uniqueness of its solution is that transfer matrix of controlled variable to input variable is left invertible and has no invariant zeros on the unit circle of the z-domain as well as extra geometric conditions given in this paper. Through a numerical example, the noniterative solution method proposed in this paper is illustrated.

• 제어로봇시스템학회:학술대회논문집
• /
• 제어로봇시스템학회 2005년도 ICCAS
• /
• pp.680-684
• /
• 2005

This paper presents a data-based stability analysis of a MIMO linear time-invariant discrete-time system, as an extension of the previous results for a SISO system. In the MIMO case, a similar discussion as in the case of a SISO system is also applied, except that an augmented input and output space is considered whose dimension is determined in relation to both the orders of the input and output vectors and the numbers of inputs and outputs. As certain subspaces of the input and output space, both output data space and closed-loop data space are defined, which contain all the behaviors of a system, respectively, with zero input in open-loop and with a control input in closed-loop. Then, we can derive the data-based stability conditions, in which the open-loop stability can be checked by using a data matrix whose column vectors span the output data space and the closed-loop stability can also be checked by using a data matrix whose column vectors span the closed-loop data space.

• 한국정보과학회논문지:소프트웨어및응용
• /
• 제32권3호
• /
• pp.215-226
• /
• 2005

루프 불변 코드 이동(loop invariant code motion, LICM) 컴파일러 최적화는 비교적 많은 분석 작업을 필요로 하기 때문에 컴파일 시간이 수행 시간의 일부가 되는 자바 적시(Just-In-Time) 컴파일러에는 사용하기 쉽지 않다. "전통적인" LICM 기법에서는 보통 코드를 분석하여 레지스터의 정의-사용체인과 사용-정의 체인을 미리 만든 뒤 이를 바탕으로 코드 이동을 수행하는 데, 본 논문은 자바 가상 머신(Java virtual machine)이 스택 머신 (stack machine)이라서 좀 더 단순한 코드 형태를 생성한다는 특징을 이용하여 정의-사용 체인을 루프 불변 코드에 대해서만 만들고 사용-정의 체인 없이도 정확히 동작하는 알고리즘을 제시한다. 또한 기존의 방식보다 더 많은 루프 불변 코드 이동을 하게 하는 두 가지 방법을 제시한다. 우선, 간단하기 때문에 루프에 경로가 하나인 경우만 LICM을 적용하는 기존의 기법과 달리, 경로가 여러 개인 루프에서도 부분적으로 중복되는 코드에 대해서도 LICM을 안전하게 적용한다. 또한 부분적으로 중복되는 루프 불변 널(null) 포인터 체크 코드도 Itanium의 조건 수행(predication)을 이용하여 이동시키다. 제안된 기법은 Itanium 마이크로프로세서를 위한 인텔의 ORP(Open Runtime Platform) 자바 가상 머신 위의 적시 컴파일러에 구현하였다. SPECjvm98 벤치마크에 대해 실험을 수행한 결과 전체 적시 컴파일 시간을 1.3％ 정도만을 증가시켰지만 전체 수행 시간을 기하 평균으로 2.2％ 향상 시켰다.

• 대한전자공학회:학술대회논문집
• /
• 대한전자공학회 2004년도 학술대회지
• /
• pp.897-899
• /
• 2004

There is scientific work containing the recurrence method of synthesis the new class of orthogonal circle m-invariant signals: designed effective algorithms of fast-direct computing m-convolution in time domain: engineer methods of design economic scheme of decoders for optimal receiving in aggregate of suggested signal.

• 대한수학회논문집
• /
• 제10권2호
• /
• pp.385-392
• /
• 1995

Along with certain properties of a chronal or a causal isomorphism, we discuss the invariant nature of a causality conditions of a given space-time.

• Journal of Electrical Engineering and information Science
• /
• 제3권2호
• /
• pp.158-162
• /
• 1998

We study the decentralized stabilization problem of linear time-invariant large-scale interconnected systems with delays without any system structure. We obtain sufficient stability conditions for interconnected systems which are equivalent to disturbance attenuation of some scaled system. A decentralized output-feedback controller is obtained using standard H$\infty$ control theory. The obtained controller is delay-independent. We also obtain an observer for the interconnected system.

• 제어로봇시스템학회논문지
• /
• 제15권8호
• /
• pp.818-822
• /
• 2009

In this paper, we consider a decentralized observer design problem for fault detection in large-scaled linear time-invariant systems. Since the fault detection residual is desired to be sensitive on the fault, we use the H_ index performance criterion. Sufficient conditions for the existence of such an observer is presented in terms of linear matrix inequalities. Simulation results show the effectiveness of the proposed method.

• 제어로봇시스템학회논문지
• /
• 제6권5호
• /
• pp.339-344
• /
• 2000

This paper is concerned with the simplification of complex linear time-invariant systems. A simple technique is suggested using the well-known least squares method in the frequency domain. Given a high-order transfer function in the s- or z-domain, the squared-gain function corresponding to a low-order model is computed by the least squares method. Then, the low-order transfer function is obtained through the factorization. Three examples are given to illustrate the efficiency of the proposed method.