• 대한수학회보
• /
• 제30권1호
• /
• pp.99-107
• /
• 1993

A vector space K with scalar product <.,.> is called a Krein space if it can be decomposed as a northogonal sum of a Hilbert space and an anti-space of a Hilbert space. The space K induces a Hilbert space $K_{J}$ in the inner product <.,.> $K_{J}$=<.,.>K, where $J^{2}$=I. the eigenspaces of J are denoted by $K^{+}$$_{J}$, which is a Hilbert space and $K^{-}$$_{J}$, which is an anti-space of a Hilbert space. Then the Krein space K is the orthogonal sum of $K^{+}$$_{J}$ and $K^{-}$$_{J}$. Such a decomposition of K is called a fundamental decomposition. In general, fundamental decompositions are not unique. The norm of the Hilbert space depends on the choice of a fundamental decomposion, but such norms are equivalent. The topology generated by these norms is called the strong or Mackey topology of K. It is used to define all topological notions on the Krein space K with respect to this topology. The Pontryagin index of a Krein space is the dimension of the antispace of a Hilbert space in any such decomposition. the dimension does not depend on the choice of orthogonal decomposition. A Krein space is called a Pontryagin space if it has finite Pontryagin index.dex.yagin index.dex.

• Journal of applied mathematics & informatics
• /
• 제8권2호
• /
• pp.659-668
• /
• 2001

Let S(z) be a power series with operator coefficients such that multiplication by S(z) is an everywhere defined transformation in the square summable power series C(z). In this paper we show that there exists a reproducing kernel Krein space which is state space of extended canonical linear system with transfer function S(z). Also we characterize the reproducing kernel function of the state space of a linear system.

• 한국항행학회논문지
• /
• 제25권6호
• /
• pp.543-549
• /
• 2021

본 논문에서는 불확실성의 크기가 유한한 파라미터를 갖는 스트랩다운 관성항법시스템에 대한 강인한 전달정렬 기법을 제안하였다. 크레인 공간을 이용하면 에너지가 유한한 불확실성을 갖는 강인한 필터는 일반적인 칼만필터와 동일한 구조를 갖게 된다. 단지 측정 행렬과 측정 잡음의 공분산값을 수정하면 된다. 본 논문에서 제안한 강인한 전달정렬 기법의 성능을 분석하기 위해서 항체가 고기동 운항을 하면서 측정치에 시간 지연이 발생하는 경우를 가정하여 시뮬레이션을 수행하였고 제안한 기법의 강인성을 검증하였다.

• Journal of applied mathematics & informatics
• /
• 제20권1_2호
• /
• pp.535-540
• /
• 2006

In this paper, characterizations of difference quotient transformation in the Krein space which is contained continuously and contractively in the krein space of square summable power series C (z) is obtained from the complementation theory.

• 대한수학회지
• /
• 제32권3호
• /
• pp.447-459
• /
• 1995

A fundamental problem is to construct linear systems with given transfer functions. This problem has a well known solution for unitary linear systems whose state spaces and coefficient spaces are Hilbert spaces. The solution is due independently to B. Sz.-Nagy and C. Foias [15] and to L. de Branges and J. Ball and N. Cohen [4]. Such a linear system is essentially uniquely determined by its transfer function. The de Branges-Rovnyak construction makes use of the theory of square summable power series with coefficients in a Hilbert space. The construction also applies when the coefficient space is a Krein space [7].

• 제어로봇시스템학회:학술대회논문집
• /
• 제어로봇시스템학회 2003년도 ICCAS
• /
• pp.542-547
• /
• 2003

A new approach to design of a discrete-time robust $H_{\infty}$ filter in finite horizon case is proposed. It is shown that robust $H_{\infty}$ filtering problem can be cast into the minimization problem of an indefinite quadratic form, which can be solved by implementing the Kalman filter defined in Krein space. The proposed filter is readily derived by simply augmenting the state space model and has the robustness property against the parameter uncertainties of a given system.

• 제어로봇시스템학회:학술대회논문집
• /
• 제어로봇시스템학회 2003년도 ICCAS
• /
• pp.1771-1776
• /
• 2003

In mobile robot navigation, one of the key problems is the pose estimation of the mobile robot. Although the odometry can be used to describe the motions of the mobile robots quite simple and accurately, the validities of the models are limited by a number of error sources contaminating the encoder outputs so that applying the conventional extended Kalman filter to these nominal model does not yield the satisfactory performance. As a remedy for this problem, we consider the uncertain nonlinear kinematic model of the mobile robot that contains the norm bounded uncertainties and also propose a new robust extended Kalman filter based on the Krein space approach. The proposed robust filter has the same recursive structure as the conventional extended Kalman filter and can hence be readily designed to effectively account for the uncertainties. The computer simulations will be given to verify the robustness against the parameter variation as well as the reliable performance of the proposed robust filter.

• 대한전기학회논문지:시스템및제어부문D
• /
• 제52권1호
• /
• pp.22-30
• /
• 2003

A Coordinate-Transformation Extended Robust Kalman Filter (CERKF) designed in the Krein space is proposed, and then applied to a nonlinear incoming ballistic missile tracking system with parameter uncertainties. First, the Extended Robust Kalman filter (ERKF) is proposed to handle the nonlinearity of measurement equation which occurs whenever the polar coordinate system is transformed into the Cartesian coordinate system. Moreover, linearization error inevitably occurs and deteriorates the tracking performance, which is considerably reduced by the proposed CERKF. Through the simulation results, we show that the proposed CERKF, which uses the measurement coordinate system, has less RMS error than the previous ERKF which is designed in the Krein space using the Cartesian system. We also verify that the robustness and the stability of the proposed filter are guaranteed in two radars: the phased way radar and the scanning radar

• 대한수학회논문집
• /
• 제13권4호
• /
• pp.801-810
• /
• 1998

Let A(z), W(z) and C(z) be power series with operator coefficients such that W(z) = A(z)C(z). Let D(A) and D(C) be the state spaces of unitary linear systems whose transfer functions are A(z) and C(z) respectively. Then there exists a Krein space D which is the state space of unitary linear system with transfer function W(z). And the element of D is of the form (f(z) ＋ A(z)h(z), k(z) ＋ C＊(z)g(z)) where (f(z),g(z)) is in D(A) and (h(z),k(z)) is in D(C).

• 대한수학회지
• /
• 제50권1호
• /
• pp.61-80
• /
• 2013

In this paper, we study ${\alpha}$-completely positive maps between locally $C^*$-algebras. As a generalization of a completely positive map, an ${\alpha}$-completely positive map produces a Krein space with indefinite metric, which is useful for the study of massless or gauge fields. We construct a KSGNS type representation associated to an ${\alpha}$-completely positive map of a locally $C^*$-algebra on a Krein locally $C^*$-module. Using this construction, we establish the Radon-Nikod$\acute{y}$m type theorem for ${\alpha}$-completely positive maps on locally $C^*$-algebras. As an application, we study an extremal problem in the partially ordered cone of ${\alpha}$-completely positive maps on a locally $C^*$-algebra.