• 제목/요약/키워드: lemma

검색결과 274건 처리시간 0.031초

유연마디 로봇의 적응제어 (Adaptive Control of Flexible-Link Robots)

  • 이호훈;김현기
    • 대한기계학회논문집A
    • /
    • 제24권7호
    • /
    • pp.1689-1696
    • /
    • 2000
  • This paper proposes a new adaptive control scheme for flexible-link robots. A model-based nonlinear control scheme is designed based on a V-shape Lyapunov function, and then the nonlinear control i s extended to a model-based adaptive control to cope with parametric uncertainties in the dynamic model. The proposed control guarantees the global exponential or global asymptotic stability of the overall control system with all internal signals bounded. The effectiveness of the proposed control is shown by computer simulation.

가산성과 신호 의존성 잡음이 있을 때의 신호 검파 방식 (A Detection Scheme in Additive and Signal-Dependent Noise)

  • 김상엽;김선용;박성일;손재철;송익호;윤진선;최진호
    • 한국통신학회:학술대회논문집
    • /
    • 한국통신학회 1991년도 추계종합학술발표회논문집
    • /
    • pp.107-110
    • /
    • 1991
  • When the noise has both additive and signal-dependent components, locally optimum detector test statistics are obtained for detection of weak composite signals using the generalized Neyman-Pearson lemma. In order to consider the non-additive noise as well as purely-additive noise, a generalized observation model is used in this paper. The locally optimum detector test statistics are derived for several different cases according to the relative strengths of the known signal component, the random signal component, and the signal-dependent noise component. Schematic diagrams of the locally optimum detector structures are also included.

A NOTE ON A DIFFERENTIAL MODULES

  • Lee, Chong Yun
    • 한국수학교육학회지시리즈A:수학교육
    • /
    • 제14권1호
    • /
    • pp.22-26
    • /
    • 1975
  • In this paper, we define a differential module and study its properties. In section 2, as for propositions, Ive research some properties, directsum, isomorphism of factorization, exact sequence of derived modules. And then as for theorem, I try to present the following statement, if the sequence of homomorphisms of differential modules is exact. Then the sequence of homomorphisms of Z(X) is exact, also the sequence of homomorphisms of Z(X) is exact. According to the theorem, as for Lemma, we consider commutative diagram between exact sequence of Z(X) and exact sequence of Z'(X) . As an immediate consequence of this theorem, we obtain the following result. If M is an arbitrary module and the sequence of homomorphisms of the modules Z(X) is exact, then the sequence of their tensor products with the trivial endomorphism is semi-exact.

  • PDF

라카토스의 보조정리 합체법을 적용한 교수-학습 자료 개발 (Development of teaching-learning materials in lemma-incorporation method of Lakatos)

  • 조열제;류수정;유익승;김태호
    • 한국수학교육학회지시리즈E:수학교육논문집
    • /
    • 제20권3호
    • /
    • pp.361-372
    • /
    • 2006
  • 본 연구에서는 Lakatos의 보조정리 합체법을 바탕으로, 이등변삼각형의 성질 중의 1가지를 추측-증명-반박-개선을 통해 n각형으로 확장시키고, 중 고등학생들을 대상으로 하는 심화활동 시간에 활용할 수 있는 교수-학습 자료를 개발하였다.

  • PDF

밴드행열을 이용한 최적측정점선정에 관한 연구 (Optimal Measurement System Design by Using Band Matrix)

  • 송경빈;최상봉;문영현
    • 대한전기학회:학술대회논문집
    • /
    • 대한전기학회 1987년도 정기총회 및 창립40주년기념 학술대회 학회본부
    • /
    • pp.133-136
    • /
    • 1987
  • This paper presents a new algorithm of optimal measurement system by using band matrix characteristic respectively for state estimation. A performance index of measurement system is established to reflect relation among measurement sets, probability of measurement failure and cost of individual meter installation. Selection ranking in the candidates of measurement sets is composed to guarantee the observability for any any single meter outage. Performance index sensitivity is introduced and recursive formula which based on the matrix inversion lemma used for selection. The proposed algorithm is composed of successive addition algorithm, successive elimination algorithm and combinatorial algorithm. The band matrix characteristic could save in memory requirements and calculate the performance index faster than earlier.

  • PDF

전압 안전도를 고려한 온라인 상정사고 선택법 (On-Line Contingency Selection Method Considering Voltage Security)

  • 송길영;김영한;이기탁
    • 대한전기학회:학술대회논문집
    • /
    • 대한전기학회 1987년도 정기총회 및 창립40주년기념 학술대회 학회본부
    • /
    • pp.122-124
    • /
    • 1987
  • This paper presents a new algorithm in formulating a performance index for contingency selection method considering voltage security. Security limits defined-in terms of real power line flows and voltage magnitudes are considered in normalized subspaces where in critical contingencies are identified by a filtering algorithm using the infinite norm. Two types of limits, warning limit and emergency limit, are introduced for voltage and line flow. Usually performance indices have been constructed for real power line flows and voltages with each different criterion. This paper, however, presents a method that constructs them with the same criterion in use of the norm properties, so that we can assess security considering both of them. Rapid contingency simulation is performed using one iteration of fast decoupled load flows with LMML(Inverse Matrix Modification Lemma).

  • PDF

Delay-dependent Stabilization of Singular Systems with Multiple Internal and External Incommensurate Constant Point Delays

  • Xie, Yong-Fang;Gui, Wei-Hua;Jiang, Zhao-Hui
    • International Journal of Control, Automation, and Systems
    • /
    • 제6권4호
    • /
    • pp.515-525
    • /
    • 2008
  • In this paper, the problem of delay-dependent stabilization for singular systems with multiple internal and external incommensurate constant point delays is investigated. The condition when a singular system subject to point delays is regular independent of time delays is given and it can be easily test with numerical or algebraic methods. Based on Lyapunov-Krasovskii functional approach and the descriptor integral-inequality lemma, a sufficient condition for delay-dependent stability is obtained. The main idea is to design multiple memoryless state feedback control laws such that the resulting closed-loop system is regular independent of time delays, impulse free, and asymptotically stable via solving a strict linear matrix inequality (LMI) problem. An explicit expression for the desired memoryless state feedback control laws is also given. Finally, a numerical example illustrates the effectiveness and the availability for the proposed method.

Improved Delay-independent $H_2$ Performance Analysis and Memoryless State Feedback for Linear Delay Systems with Polytopic Uncertainties

  • Xie, Wei
    • International Journal of Control, Automation, and Systems
    • /
    • 제6권2호
    • /
    • pp.263-268
    • /
    • 2008
  • An improved linear matrix inequality (LMI) representation of delay-independent $H_2$ performance analysis is introduced for linear delay systems with delays of any size. Based on this representation we propose a new $H_2$ memoryless state feedback design. By introducing a new matrix variable, the new LMI formulation enables us to parameterize memoryles s controllers without involving the Lyapunov variables in the formulations. By using a parameter-dependent Lyapunov function, this new representation proposed here provides us the results with less conservatism.

상태와 입력에 시변 시간지연을 가지는 불확실 이산시간 특이시스템의 지연종속 강인 안정화 및 비약성 제어 (Delay-Dependent Robust Stabilization and Non-Fragile Control of Uncertain Discrete-Time Singular Systems with State and Input Time-Varying Delays)

  • 김종해
    • 제어로봇시스템학회논문지
    • /
    • 제15권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.

H^$\infty$ Control for Linear Systems with Delayed Sate and Control

  • Jeung, Eun-Tae;Oh, Do-Chang;Park, Hong-Bae
    • Journal of Electrical Engineering and information Science
    • /
    • 제2권5호
    • /
    • pp.27-32
    • /
    • 1997
  • This paper presents an H\ulcorner controller design method for linear time-invariant systems with delayed state and control. Using the second method of Lyapunov, the stability for delayed systems is discussed. For delayed systems, we derive a sufficient condition of the bounded real lemma(BRL) which is similar to GBRL for nondelayed systems. And the sufficent conditions for the existence of an H\ulcorner controller of any order are given in terms of three linear matrix inequalities(LMIs). Further, we briefly explain how to construct such controllers from the positive definite solutions of their LMIs and gie a simple example to illustrate the validity of the proposed design procedure.

  • PDF