• 제어로봇시스템학회논문지
• /
• 제4권5호
• /
• pp.561-566
• /
• 1998

This paper presents an algebraic approach to optimal control for time invariant continuous system using STWS(single term Walsh series). In optimal control, it is well known that the design problem with quadratic performance criteria often involves the determination of time-varying feedback gain matrix by solving the matrix nonlinear Riccati equation and of command signal by solving the integral equation, which makes design procedure quite difficult. Therefore, in order to resolve this problem, this paper is introduced to STWS. In this paper, the time-varying feedback gains and command signals are determined by piecewise constant gains which can be easily obtained from algebraic equation using STWS.

• 대한전기학회:학술대회논문집
• /
• 대한전기학회 2002년도 하계학술대회 논문집 D
• /
• pp.2086-2088
• /
• 2002

This paper deals with an algebraic approach for unknown inputs observer by using Haar functions. In the algebraic UIO(unknown input observer) design procedure, coordinate transformation method is adopted to derive the reduced order dynamic system which is decoupled unknown inputs and Haar function and its integral operational matrix is applied to avoid additional differentiation of system outputs.

• 제어로봇시스템학회:학술대회논문집
• /
• 제어로봇시스템학회 1997년도 한국자동제어학술회의논문집; 한국전력공사 서울연수원; 17-18 Oct. 1997
• /
• pp.1423-1427
• /
• 1997

This paper deals with an algebraic approach to FDI observer design procedure. In general, FDI observer can be designed a sLuenbrger-type and equations for unknown input and actuator fault estimation include derivation of system outputs which is not available from the measurement directly. At this point, this paper presents STWS approach which can convert the derivation procedure to the recursive algebraic form by using its orthogonality and disjointess to alleviate such problems.

• Journal of Mechanical Science and Technology
• /
• 제19권spc1호
• /
• pp.461-472
• /
• 2005

A formulation for flexible multibody systems (MBS) is investigated, where rigid MBS substructures are coupled with flexible bodies described by a nonlinear finite element (FE) approach. Several aspects that turned out to be crucial for the presented approach are discussed. The system describing equations are given in differential algebraic form (DAE), where many sophisticated solvers exist. In this paper the performance of several solvers is investigated regarding their suitability for the application to the usually highly stiff DAE. The substructures are connected with each other by nonlinear algebraic constraint equations. Further, partial derivatives of the constraints are required, which often leads to extensive algebraic trans-formations. Handcoding of analytically determined derivatives is compared to an approach utilizing algorithmic differentiation.

• 대한수학회보
• /
• 제14권1호
• /
• pp.1-8
• /
• 1977

• 대한수학회보
• /
• 제13권2호
• /
• pp.149.2-149.2
• /
• 1976

• Transactions on Control, Automation and Systems Engineering
• /
• 제4권3호
• /
• pp.205-211
• /
• 2002

Unknown inputs observer(UIO) which is achieved by the coordinate transformation method has the differential of system outputs in the observer and the equation for unknown inputs estimation. Generally, the differential of system outputs in the observer can be eliminated by defining a new variable. But it brings about the partition of the observer into two subsystems and need of an additional differential of system outputs still remained to estimate the unknown inputs. Therefore, the block pulse function expansions and its differential operation which is a newly derived in this paper are presented to alleviate such problems from an algebraic form.

• 대한전자공학회:학술대회논문집
• /
• 대한전자공학회 2002년도 ITC-CSCC -2
• /
• pp.920-923
• /
• 2002

In this paper, we propose Class Diagram With Constraints (CDWC) as an object oriented modeling technique which makes validation possible in software development. CDWC is a simple and basic model for the object oriented analysis, and has a reasonable strictness for software developers. CDWC consists of class diagrams and constraints (invariant and pre/post conditions), using UML and a subset of OCL.. We introduce a method of validation of CDWC using the verification technique of algebraic formal specification language CafeOBJ.

• Korean Journal of Mathematics
• /
• 제29권4호
• /
• pp.741-747
• /
• 2021

The Cayley-Bacharach theorem says that every cubic curve on an algebraically closed field that passes through a given 8 points must contain a fixed ninth point, counting multiplicities. Ren et al. introduced a concrete formula for the ninth point in terms of the 8 points [4]. We would like to consider a different approach to find the ninth point via the theory of truncated moment problems. Various connections between algebraic geometry and truncated moment problems have been discussed recently; thus, the main result of this note aims to observe an interplay between linear algebra, operator theory, and real algebraic geometry.

• 대한전자공학회논문지
• /
• 제25권10호
• /
• pp.1166-1172
• /
• 1988

본 논문의 Taylor 다항식에 의해 선형 시변 시스템을 해석하는 한 효과적인 방법을 제안한다. Sparis와 Mouroutsos에 의한 방법은 구해야 할 상태 벡타가 닫혀진 형태(closed form)로 구해지지 않고 또한 사용하는 항이 증가할 때 큰 차원의 선형 대수 방정식을 출어야 하는 문제점을 가지고 있다. 반면에 본 논문에서 제안된 방법은 상태 벡타가 닫혀진 형태로 구해지며 선형 대수 방정식을 풀 필요가 없다.