• 대한수학회보
• /
• 제53권5호
• /
• pp.1531-1548
• /
• 2016

Let C[0, t] denote the space of real-valued continuous functions on [0, t] and define a random vector $Z_n:C[0,t]{\rightarrow}\mathbb{R}^n$ by $Z_n(x)=(\int_{0}^{t_1}h(s)dx(s),{\ldots},\int_{0}^{t_n}h(s)dx(s))$, where 0 < $t_1$ < ${\cdots}$ < $ t_n=t$ is a partition of [0, t] and $h{\in}L_2[0,t]$ with $h{\neq}0$ a.e. Using a simple formula for a conditional expectation on C[0, t] with $Z_n$, we evaluate a generalized analytic conditional Wiener integral of the function $G_r(x)=F(x){\Psi}(\int_{0}^{t}v_1(s)dx(s),{\ldots},\int_{0}^{t}v_r(s)dx(s))$ for F in a Banach algebra and for ${\Psi}=f+{\phi}$ which need not be bounded or continuous, where $f{\in}L_p(\mathbb{R}^r)(1{\leq}p{\leq}{\infty})$, {$v_1,{\ldots},v_r$} is an orthonormal subset of $L_2[0,t]$ and ${\phi}$ is the Fourier transform of a measure of bounded variation over $\mathbb{R}^r$. Finally we establish various change of scale transformations for the generalized analytic conditional Wiener integrals of $G_r$ with the conditioning function $Z_n$.

• 한국컴퓨터산업학회논문지
• /
• 제10권5호
• /
• pp.221-226
• /
• 2009

폐쇄된 계 내부에서 강체 입자의 회전 운동에는 회전시키는 주체가 되는 몸체와 회전을 당하는 입자로 나눌 수 있다. 이 경우 입자가 몸체에 대해서 구속 될(bounded) 경우 홀로노믹(HOLONOMIC) 시스템으로서 지금까지 동역학에 소개되는 모든 수식이 잘 맞게 해석되고 수식에 의한 구조 또 한 현실과 잘 맞다. 그러나 그 구조가 비흘로노믹 시스템 이면 기존 회전 운동 방정식에서 벗어난다. 본 논문의 목적은 회전 운동 시 홀로노믹 시스템과 비흘로노믹 시스템과의 차이를 장치로 구분 하고 특히 비 홀로노믹 시스템의 현실에서 나타나는 현상을 컴퓨터 시뮬레이션 모델에 수식 화 하는 것이다. 그 수식으로부터 닫힌 회전운동의 질량중심(center of mass) 이동과 외부의 마찰에 대한 갇힌 운동(confined motion)의 표현법을 컴퓨터 그래픽 운동 방법에 응용 할 수 있도록 한다.

• Journal of Positioning, Navigation, and Timing
• /
• 제12권3호
• /
• pp.215-228
• /
• 2023

The State Space Representation (SSR) method provides individual corrections for each Global Navigation Satellite System (GNSS) error components. This method can lead to less bandwidth for transmission and allows selective use of each correction. Precise Point Positioning (PPP) - Real-Time Kinematic (RTK) is one of the carrier-based precise positioning techniques using SSR correction. This technique enables high-precision positioning with a fast convergence time by providing atmospheric correction as well as satellite orbit and clock correction. Currently, the positioning service that supports PPP-RTK technology is the Quazi-Zenith Satellite System Centimeter Level Augmentation System (QZSS CLAS) in Japan. A system that provides correction for each GNSS error component, such as QZSS CLAS, requires monitoring of each error component to provide reliable correction and integrity information to the user. In this study, we conducted an analysis of the performance of residual error bounding for each error component. To assess this performance, we utilized the correction and quality indicators provided by QZSS CLAS. Performance analyses included the range domain, dispersive part, non-dispersive part, and satellite orbit/clock part. The residual root mean square (RMS) of CLAS correction for the range domain approximated 0.0369 m, and the residual RMS for both dispersive and non-dispersive components is around 0.0363 m. It has also been confirmed that the residual errors are properly bounded by the integrity parameters. However, the satellite orbit and clock part have a larger residual of about 0.6508 m, and it was confirmed that this residual was not bounded by the integrity parameters. Users who rely solely on satellite orbit and clock correction, particularly maritime users, thus should exercise caution when utilizing QZSS CLAS.

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

This paper presents an $H^{\infty}$ 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 BRL for nondelayed systems. And the sufficient conditions for the existence of an output feedback $H^{\infty}$ controller of any order are given in terms of three linear matrix inequalities(LMls). Futhermore, we briefly explain how to construct such controllers from the positive definite solutions of their LMIs and give a simple example to illustrate the validity of the proposed design procedure.e.

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

In this paper, a scheduling algorithm is proposed for a programmable logic controller(PLC) with remote I/Os, assuming the multi-tasking facilities. Since sequence programs are executed on the application processor and I/O data are transmitted by the network processor concurrently, the proposed algorithm schedules the data transmission as well as the sequence program execution. The suggested algorithm guarantees the bounded WCRT(worst case response time), which is the one third of the WCRT in the absence of scheduling. Computer simulation shows that the algorithm can be easily applied to a real PLC without critical constraints on utilization of resources and inter-relation among tasks.

• Transactions on Control, Automation and Systems Engineering
• /
• 제2권1호
• /
• pp.31-39
• /
• 2000

We present a robust and reliable H$\infty$ state-feedback controller design for linear uncertain systems, which have norm-bounded time-varying uncertainty in the state matrix, and their prespecified sets of actuators are susceptible to failure. These controllers should guarantee robust stability of the systems and H$\infty$ norm bound against parameter uncertainty and/or actuator failures. Based on the linear matrix inequality (LMI) approach, two state-feedback controller design methods are constructed by formulating to a set of LMIs corresponding to all failure cases or a single LMI that covers all failure cases, with an additional costraint. Effectiveness and geometrical property of these controllers are validated via several numerical examples. Furthermore, the proposed LMI frameworks can be applied to multiobjective problems with additional constraints.

• 제어로봇시스템학회논문지
• /
• 제3권2호
• /
• pp.109-114
• /
• 1997

In this paper, we present an output feedback $H^\infty$controller design method and derive the sufficient condition of the bounded real lemma for linear systems with multiple delays in states. For state delayed systems, sufficient conditions for the existence $\kappa$-th order $H^\infty$controllers are given in terms of three linear matrix inequalities(LMIs). Furthermore, we show how to construct such controllers from the positive definite solutions of their LMIs and given an example to illustrate the validitiy of the proosed design procedure.

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

This paper considers the design of mixed $H_2/\;H_{\infty}$ controllers for linear time-invariant descriptor systems. Firstly, an $H_{\infty}$ and $H_2$ synthesis problem for a descriptor system are presented separately in terms of linear matrix inequalities (LMIs) based on the bounded real lemma. Then, the existence of a mixed $H_2/\;H_{\infty}$ controller by which the $H_2$ norm of the second channel is minimized while keeping the $H_{\infty}$ norm bound of the first channel less than ${\gamma}$, is reduced to the linear objective minimization problem. The class of desired controllers that are assumed to have the same structure as the plant is parameterized by using the linearizing change of variables. In addition, we show the procedure by which a obtained descriptor controller can be transformed to a non-descriptor one.

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

IEEE 802.11 Point Coordination Function (PCF) mode is defined to support time bounded traffic, such as voice in wireless LANs. The poll scheduling plays an important role in IEEE 802.11 PCF mode operation. This paper proposed a Multicast Polling Scheme (MPC) to increase the performance of wireless LANs. Moreover, we proposed a polling schedule scheme for our proposed multi-poll to serve real-time traffic. The results show that the proposed mechanism is more efficient than the original IEEE 802.11 PCF.