• 제목/요약/키워드: positive definite matrix

검색결과 105건 처리시간 0.027초

Real-Time Digital Fuzzy Control Systems considering Computing Time-Delay

  • Park, Chang-Woo;Shin, Hyun-Seok;Park, Mig-Non
    • 한국지능시스템학회논문지
    • /
    • 제10권5호
    • /
    • pp.423-431
    • /
    • 2000
  • In this paper, the effect of computing time-delay in the real-time digital fuzzy control systems is investigated and the design methodology of a real-time digital fuzzy controller(DFC) to overcome the problems caused by it is presented. We propose the fuzzy feedback controller whose output is delayed with unit sampling period. The analysis and the design problem considering computing time-delay is very easy because the proposed controller is syncronized with the sampling time. The stabilization problem of the digital fuzzy control system is solved by the linear matrix inequality(LMI) theory. Convex optimization techniques are utilized to find the stable feedback gains and a common positive definite matrix P for the designed fuzzy control system Furthermore, we develop a real-time fuzzy control system for backing up a computer-simulated truck-trailer with the consideration of the computing time-delay. By using the proposed method, we design a DFC which guarantees the stability of the real time digital fuzzy control system in the presence of computing time-delay.

  • PDF

On ths Stability Issues of Linear Takagi-Sugeno Fuzzy Models

  • Joh, Joongseon
    • 한국지능시스템학회논문지
    • /
    • 제7권2호
    • /
    • pp.110-121
    • /
    • 1997
  • Stability issues of linear Takagi-Sugeno fuzzy modles are thoroughly investigated. At first, a systematic way of searching for a common symmetric positive definite P matrix (common P matrix in short), which is related to stability, is proposed for N subsystems which are under a pairwise commutativity assumption. Robustness issue under modeling uncertainty in each subsystem is then considered by proposing a quadratic stability criterion and a method of determining uncertainty bounds. Finally, it is shown that the pairwise commutative assumption can be in fact relaxed by interpreting the uncertainties as mismatch parts of non-commutative system matrices. Several examples show the validity of the proposed methods.

  • PDF

Design of T-S(Takagi-Sugeno) Fuzzy Control Systems Under the Bound on the Output Energy

  • Kim, Kwang-Tae;Joh, Joog-Seon;Kwon, Woo-Hyen
    • Transactions on Control, Automation and Systems Engineering
    • /
    • 제1권1호
    • /
    • pp.44-49
    • /
    • 1999
  • This paper presents a new T-S(Tae-Sugeno) fuzzy controller design method satisfying the output energy bound. Maximum output energy via a quadratic Lyapunov function to obtain the bound on output energy is derived. LMI(Linear Matrix Inequality) problems which satisfy an output energy bound for both of the continuous-time and discrete-time T-S fuzzy control system are also derived. Solving these LMIs simultaneously, we find a common symmetric positive definite matrix P which guarantees the global asymptotic stability of the system and stable feedback gains K's satisfying the output energy bound. A simple example demonstrates validity of the proposed design method.

  • PDF

불확실한 선형시스템 고유값 배치의 비대칭 강인한계 (Asymmetric Robustness Bounds of Eigenvalue Distribution for Uncertain Linear Systems)

  • 이재천
    • 제어로봇시스템학회논문지
    • /
    • 제5권7호
    • /
    • pp.794-799
    • /
    • 1999
  • This study deals with robustness bounds estimation for uncertain linear systems with structured perturbations where the eigenvalues of the perturbed systems are guaranteed to stay in a prescribed region. Based upon the Lyapunov approach, new theorems to estimate allowable perturbation parameter bounds are derived. The theorems are referred to as the zero-order or first-order asymmetric robustness measure depending on the order of the P matrix in the sense of Taylor series expansion of perturbed Lyapunov equation. It is proven that Gao's theorem for the estimation of stability robustness bounds is a special case of proposed zero-order asymmetric robustness measure for eigenvalue assignment. Robustness bounds of perturbed parameters measured by the proposed techniques are asymmetric around the origin and less conservative than those of conventional methods. Numerical examples are given to illustrate proposed methods.

  • PDF

삭제나무를 이용한 새로운 순서화 방법 (A New Ordering Method Using Elimination Trees)

  • 박찬규;도승용;박순달
    • 대한산업공학회지
    • /
    • 제29권1호
    • /
    • pp.78-89
    • /
    • 2003
  • Ordering is performed to reduce the amount of fill-ins of the Cholesky factor of a symmetric positive definite matrix. This paper proposes a new ordering algorithm that reduces the fill-ins of the Cholesky factor iteratively by elimination tree rotations and clique separators. Elimination tree rotations have been used mainly to reorder the rows of the permuted matrix for the efficiency of storage space management or parallel processing, etc. In the proposed algorithm, however, they are repeatedly performed to reduce the fill-ins of the Cholesky factor. In addition, we presents a simple method for finding a minimal node separator between arbitrary two nodes of a chordal graph. The proposed reordering procedure using clique separators enables us to obtain another order of rows of which the number of till-ins decreases strictly.

2차원 신호의 최대 정보량을 갖는 전력 스펙트럼 추정 (Maximum Entropy Power Spectral Estimation of Two-Dimensional Signal)

  • Sho, Sang-Ho;Kim, Chong-Kyo;Lee, Moon-Ho
    • 대한전기학회논문지
    • /
    • 제34권3호
    • /
    • pp.107-114
    • /
    • 1985
  • This paper presents the iterative algorithm for obtaining the ME PSE(Maximum Entropy Power Spectral Estimation) of 2-dimensional signals. This problem involves a correction matching power spectral estimate that can be represented as the reciprocal of the spectral of 2-dimensional signals. This requires two matrix inversion every iterations. Thus, we compensate the matrix to be constantly positive definite with relaxational parameters. Using Row/Column decomposition Discrete Fourier Transform, we can decrease a calculation quantity. Using Lincoln data and white noise, this paper examines ME PSE algorithms. Finally, the results output at the graphic display device. The 2-dimensional data have the 3-dimensional axis components, and, this paper develops 3-dimensional graphic output algorithms using 2-dimensional DGL(Device Independent Graphic Library) which is prepared for HP-1000 F-series computer.

  • PDF

Expression of Matrix Metalloproteinase-2, but not Caspase-3, Facilitates Distinction between Benign and Malignant Thyroid Follicular Neoplasms

  • Sanii, Sanaz;Saffar, Hiva;Tabriz, Hedieh M.;Qorbani, Mostafa;Haghpanah, Vahid;Tavangar, Seyed M.
    • Asian Pacific Journal of Cancer Prevention
    • /
    • 제13권5호
    • /
    • pp.2175-2178
    • /
    • 2012
  • Purpose: Definite diagnosis of follicular thyroid carcinoma (FTC) is based on the presence of capsular or vascular invasion. To date, no reliable and practical method has been introduced to discriminate this malignant neoplasm from follicular thyroid adenoma (FTA) in fine needle aspiration biopsy material. Matrix metalloproteinase-2 (MMP-2), by degrading extracellular matrix, and caspase-3, by induction of apoptosis, have been shown to play important roles in carcinogenesis and aggressive behavior in many tumor types. The aim of this study was to examine expression of MMP-2 and caspase-3 in thyroid follicular neoplasms and to determine their usefulness for differential diagnosis. Method: Sixty FTAs and 41 FTCs were analysed immunohistochemically for MMP-2 and caspase-3. Result: MMP-2 was positive in 4 FTCs (9.8%), but in none of FTAs, with statistical significance (p= 0.025). Caspase-3 was positive in 30 (50%) of FTAs and in 27 (65.9%) of FTCs. Conclusion: Our results show MMP-2 expression only in FTCs and suggest that this protein may be a useful marker to confirm diagnosis of FTC versus FTA with 100% specificity and 100% predictive value of a positive test. We failed to show any differential diagnostic value for caspase-3 in thyroid follicular neoplasms.

A New Design Method for T-S Fuzzy Controller with Pole Placement Constraints

  • Joh, Joongseon;Jeung, Eun-Tae;Chung, Won-Jee;Kwon, Sung-Ha
    • 한국지능시스템학회논문지
    • /
    • 제7권3호
    • /
    • pp.72-80
    • /
    • 1997
  • A new design method for Takagi-Sugeno (T-S in short) fuzzy controller which guarantees global asymptotic stability and satisfies a desired performance is proposed in this paper. The method uses LMI(Linear Matrix Inequality) approach to find the common symmetric positive definite matrix P and feedback fains K/sub i/, i= 1, 2,..., r, numerically. The LMIs for stability criterion which treats P and K'/sub i/s as matrix variables is derived from Wang et al.'s stability criterion. Wang et al.'s stability criterion is nonlinear MIs since P and K'/sub i/s are coupled together. The desired performance is represented as $ LMIs which place the closed-loop poles of $ local subsystems within the desired region in s-plane. By solving the stability LMIs and pole placement constraint LMIs simultaneously, the feedback gains K'/sub i/s which gurarntee global asymptotic stability and satisfy the desired performance are determined. The design method is verified by designing a T-S fuzzy controller for an inverted pendulum with a cart using the proposed method.

  • PDF

COMPARISONS OF PARALLEL PRECONDITIONERS FOR THE COMPUTATION OF SMALLEST GENERALIZED EIGENVALUE

  • Ma, Sang-Back;Jang, Ho-Jong;Cho, Jae-Young
    • Journal of applied mathematics & informatics
    • /
    • 제11권1_2호
    • /
    • pp.305-316
    • /
    • 2003
  • Recently, an iterative algorithm for finding the interior eigenvalues of a definite matrix by CG-type method has been proposed. This method compares to the inverse power method. The given matrices A, and B are assumed to be large and sparse, and SPD( Symmetric Positive Definite) The CG scheme for the optimization of the Rayleigh quotient has been proven a very attractive and promising technique for large sparse eigenproblems for smallest eigenvalue. Also, it is very amenable to parallel computations, like the CG method for the linear systems. A proper choice of the preconditioner significantly improves the convergence of the CG scheme. But for parallel computations we need to find an efficient parallel preconditioner. Our candidates we ILU(0) in the wave-front order, ILU(0) in the multi-coloring order, Point-SSOR(Symmetric Successive Overrelaxation), and Multi-Color Block SSOR preconditioner. Wavefront order is a simple way to increase parallelism in the natural order, and Multi-coloring realizes a parallelism of order(N), where N is the order of the matrix. Another choice is the Multi-Color Block SSOR(Symmetric Successive OverRelaxation) preconditioning. Block SSOR is a symmetric preconditioner which is expected to minimize the interprocessor communication due to the blocking. We implemented the results on the CRAY-T3E with 128 nodes. The MPI (Message Passing Interface) library was adopted for the interprocessor communications. The test problem was drawn from the discretizations of partial differential equations by finite difference methods. The results show that for small number of processors Multi-Color ILU(0) has the best performance, while for large number of processors Multi-Color Block SSOR performs the best.

LQ 제어와 근의 이동범위를 이용한 중근의 극배치 방법 (Pole Placement Method of a Double Poles Using LQ Control and Pole's Moving-Range)

  • 박민호
    • 한국산학기술학회논문지
    • /
    • 제21권1호
    • /
    • pp.20-27
    • /
    • 2020
  • 일반적으로 비선형 시스템은 1차와 2차 시스템의 곱의 형태로 선형화되며, 시스템은 실근, 중근, 서로 다른 두 실근, 복소근의 4종류의 근을 가진다. 이 논문은 시스템이 가지는 4가지 근 중에서 조단블록을 갖는 중근을 복소근으로 이동시키는 LQ 제어의 가중행렬과 제어법칙을 설계하는 방법에 관한 것이다. 상태가중행렬을 제한 조건으로 하고 성능지수함수를 최소화하는 LQ 제어는 시스템의 안정성을 보장하고 시스템의 근을 이동시키는 극배치 기능을 가지고 있다. 그렇지만 이 방법은 시행착오 방법으로 설계 변수인 가중행렬을 설정하고, 이동되는 근의 위치를 정확히 지정할 수 없는 문제가 있다. 이 문제를 해결하기 위해 해밀토니안 시스템의 특성방정식을 대각행렬의 제어가중행렬과 삼각함수로 표현된 상태가중행렬을 이용하여 기술한다. 이동할 복소근이 이 특성방정식의 근이라는 조건에서 중근과 상태가중행렬의 관계식(𝜌, 𝜃)을 유도하고 상태가중행렬이 양의 반한정행렬이라는 조건에서 중근의 이동범위를 구하고, 좌표평면에 도시한다. 그려진 중근의 이동범위에서 복소근을 선택하여 관계식에 대입하여 상태가중행렬을 계산하고, 이것에서 제어법칙이 구한다. 예제에서 3차 시스템의 중근을 이동시키는 제어법칙의 설계과정을 통해 제안한 방법의 타당성을 확인하였다.