• Journal of the Korean Statistical Society
• /
• v.26 no.2
• /
• pp.231-243
• /
• 1997

In this paper we investigate weak convergence of the intergral processes whose index set is the non-compact infinite time interval. Our first goal is to develop the empirical central limit theorem as random elements of [0, .infty.) for an integral process which is constructed from iid variables. In developing the weak convergence as random elements of D[0, .infty.), we will use a result of Ossiander(4) whose proof heavily depends on the total boundedness of the index set. Our next goal is to establish the empirical central limit theorem for the Kaplan-Meier integral process as random elements of D[0, .infty.). In achieving the the goal, we will use the above iid result, a representation of State(6) on the Kaplan-Meier integral, and a lemma on the uniform order of convergence. The first result, in some sense, generalizes the result of empirical central limit therem of Pollard(5) where the process is regarded as random elements of D[-.infty., .infty.] and the sample paths of limiting Gaussian process may jump. The second result generalizes the first result to random censorship model. The later also generalizes one dimensional central limit theorem of Stute(6) to a process version. These results may be used in the nonparametric statistical inference.

• Journal of Advanced Marine Engineering and Technology
• /
• v.18 no.4
• /
• pp.102-111
• /
• 1994

This article deals with the problem of designing a robust algorithm for the motion control of robot manipulator whose nonlinear dynamics contain various uncertainties. To ensure high performance of control system, a model-based feedforward compensation with continuous robust control has been developed. The control structure based on the deterministic approach consists of two parts : the nominal control law is first introduced to stabilize the system without uncertainties, then a robust nonlinear control law is adopted to compensate for both the resulting errors(or structured uncertainties) and unstructured uncertainties. The uncertainties assumed in this study are bounded by polynomials in the Euclidean norms of system states with known bounding coefficients. The presented control scheme is relatively simple as well as computationally efficient. With a feasible class of desired trajectories, the proposed control law provides sufficient criteria which guarantee that all possible responses of the closed-loop system are uniformly ultimately bounded in the presence of uncertainties. Therefore, the control algorithm proposed is shown to be robust with respect to the involved uncertainties.

• Journal of Electrical Engineering and Technology
• /
• v.13 no.4
• /
• pp.1740-1751
• /
• 2018

This paper proposes a novel fault tolerant tracking control (FTTC) scheme for a class of nonlinear systems with actuator failures based on the policy iteration (PI) algorithm and the adaptive fault observer. The estimated actuator failure from an adaptive fault observer is utilized to construct an improved performance index function that reflects the failure, regulation and control simultaneously. With the help of the proper performance index function, the FTTC problem can be transformed into an optimal control problem. The fault tolerant tracking controller is composed of the desired controller and the approximated optimal feedback one. The desired controller is developed to maintain the desired tracking performance at the steady-state, and the approximated optimal feedback controller is designed to stabilize the tracking error dynamics in an optimal manner. By establishing a critic neural network, the PI algorithm is utilized to solve the Hamilton-Jacobi-Bellman equation, and then the approximated optimal feedback controller can be derived. Based on Lyapunov technique, the uniform ultimate boundedness of the closed-loop system is proven. The proposed FTTC scheme is applied to reconfigurable manipulators with two degree of freedoms in order to test the effectiveness via numerical simulation.

• Kyungpook Mathematical Journal
• /
• v.56 no.1
• /
• pp.185-220
• /
• 2016

We study the Gauss and Poisson semigroups connected with the Riemann-Liouville operator defined on the half plane. Next, we establish a principle of maximum for the singular partial differential operator $${\Delta}_{\alpha}={\frac{{\partial}^2}{{\partial}r^2}+{\frac{2{\alpha}+1}{r}{\frac{\partial}{{\partial}r}}+{\frac{{\partial}^2}{{\partial}x^2}}+{\frac{{\partial}^2}{{\partial}t^2}}};\;(r,x,t){\in}]0,+{\infty}[{\times}{\mathbb{R}}{\times}]0,+{\infty}[$$. Later, we define the Littlewood-Paley g-function and using the principle of maximum, we prove that for every $p{\in}]1,+{\infty}[$, there exists a positive constant $C_p$ such that for every $f{\in}L^p(d{\nu}_{\alpha})$, $${\frac{1}{C_p}}{\parallel}f{\parallel}_{p,{\nu}_{\alpha}}{\leqslant}{\parallel}g(f){\parallel}_{p,{\nu}_{\alpha}}{\leqslant}C_p{\parallel}f{\parallel}_{p,{\nu}_{\alpha}}$$.

• Journal of the Korean Mathematical Society
• /
• v.58 no.6
• /
• pp.1347-1365
• /
• 2021

For µ = (µ₁, …, µ_t) (µ_j > 0), ξ = (z₁, …, z_t, w) ∈ ℂ^n₁ × … × ℂ^n_t × ℂ^m, define $${\Omega}({\mu},t)=\{{\xi}{\in}\mathbb{B}_{n_1}{\times}{\cdots}{\times}\mathbb{B}_{n_t}{\times}\mathbb{C}^m:{\parallel}w{\parallel}^2 where $\mathbb{B}_{n_j}$ is the unit ball in ℂ^n_j (1 ≤ j ≤ t), C(χ, µ) is a constant only depending on χ = (n₁, …, n_t) and µ = (µ₁, …, µ_t), which is a special type of generalized Cartan-Hartogs domain. We will give some sufficient and necessary conditions for the boundedness of some type of operators on L^p(Ω(µ, t), ω) (the weighted L^p space of Ω(µ, t) with weight ω, 1 < p < ∞). This result generalizes the works from certain classes of generalized complex ellipsoids to the generalized Cartan-Hartogs domain Ω(µ, t).

• Coupled systems mechanics
• /
• v.7 no.6
• /
• pp.707-729
• /
• 2018

The semi-active optimal vibration control of nonlinear torsion-bar suspension vehicle systems under random road excitations is an important research subject, and the boundedness of MR dampers and the uncertainty of vehicle systems are necessary to consider. In this paper, the differential equations of motion of the coupling torsion-bar suspension vehicle system with MR damper under random road excitation are derived and then transformed into strongly nonlinear stochastic coupling vibration equations. The dynamical programming equation is derived based on the stochastic dynamical programming principle firstly for the nonlinear stochastic system. The semi-active bounded parametric optimal control law is determined by the programming equation and MR damper dynamics. Then for the uncertain nonlinear stochastic system, the minimax dynamical programming equation is derived based on the minimax stochastic dynamical programming principle. The worst-case disturbances and corresponding semi-active bounded parametric optimal control are obtained from the programming equation under the bounded disturbance constraints and MR damper dynamics. The control strategy for the nonlinear stochastic vibration of the uncertain torsion-bar suspension vehicle system is developed. The good effectiveness of the proposed control is illustrated with numerical results. The control performances for the vehicle system with different bounds of MR damper under different vehicle speeds and random road excitations are discussed.

• Honam Mathematical Journal
• /
• v.44 no.4
• /
• pp.572-593
• /
• 2022

Crime committed by civilians and criminals using legal and illegal firearms and conversion of legal firearms into illegal ones has become a common practice around the world. As a result, policies to control civilian gun ownership have been debated in several countries. The issue arose because the linkages between firearm-related mortality, weapon accessibility, and violent crime data can imply diverse options for addressing criminality. In this paper, we have projected a mathematical model in terms of the Caputo fractional derivative to address the issues viz. input of legal guns, crime committed by legal and illegal guns, and strict government policies to monitor the license of legal guns, strict action against violent crime. The boundedness, existence and uniqueness of solutions and the stability of points of equilibrium are examined. It is observed that violent crime increases with the increase of crime committed by illegal guns, crime committed by legal guns and, decreases with the increase of legal guns, the deterrent effect of civilian gun ownership, and action of law against crime. Further, legal guns increase with the increase of the limitation of trade of illegal guns and decrease with the increase of conversion of legal guns into illegal guns and increase of the growth rate of illegal guns. Again, as crime is committed by legal guns also, the policy of illegal gun control does not assure a crime-free society. Weak gun control can lead to a society with less crime. Theoretical aspects are numerically verified in the present work.

• Communications of the Korean Mathematical Society
• /
• v.38 no.3
• /
• pp.821-835
• /
• 2023

Hankel operators and their variants have abundant applications in numerous fields. For a non-zero complex number r, the r-Hankel operators on a Hilbert space 𝓗 define a class of one such variant. This article introduces and explores some properties of two other variants of Hankel operators namely k^th-order (C, r)-Hankel operators and k^th-order (R, r)-Hankel operators (k ≥ 2) which are closely related to r-Hankel operators in such a way that a k^th-order (C, r)-Hankel matrix is formed from r^k-Hankel matrix on deleting every consecutive (k - 1) columns after the first column and a k^th-order (R, r^k)-Hankel matrix is formed from r-Hankel matrix if after the first column, every consecutive (k - 1) columns are deleted. For |r| ≠ 1, the characterizations for the boundedness of these operators are also completely investigated. Finally, an appropriate approach is also presented to extend these matrices to two-way infinite matrices.

• Journal of KIISE:Software and Applications
• /
• v.27 no.3
• /
• pp.210-216
• /
• 2000

Place/Transition(P/T) nets has been used in protocol verification and concurrent system verification since it is suitable for describing concurrency and provides several well-established verification techniques. And it has been used as a base formalism for such high-level Petri nets as colored Petri nets, object-oriented Petri nets and etc. However, when analyzing complex models using P/T nets and P/T nets-based high-level Petri nets, there may be state explosion in reachability analysis due to improper handling of concurrency. In this paper, we define a structural concurrency in P/T nets, propose a partitioning algorithm based on the detected structural concurrency, and provide analysis techniques for such properties as boundedness of places and liveness of transitions, which are performed on compositional reachability graphs. The analysis techniques based on Petri net slices can be used in efficiently analyzing P/T nets-based high-level Petri net models as well as P/T net models.

• Journal of the Korea Academia-Industrial cooperation Society
• /
• v.3 no.3
• /
• pp.177-182
• /
• 2002

In this paper, we present a mathematical theory and algorithm consoucting some fractal sets. Among such fractal sets, the degree-n bifurcation set as well as the Julia sets is defined by extending the concept of the Mandelbrot set to the complex polynomial $Z^n$+c($c{\epsilon}C$, $n{\ge}2$). Some properties of the degree-n bifurcation set and the Julia sets have been theoretically investigated including the symmetry, periodicity, boundedness, and connectedness. An efficient algorithm constructing both the degree-n bifurcation let and the Julia sets is proposed using theoretical results. The mouse-operated software called "MANJUL" has been developed for the effective construction of the degree-n bifurcation set and the Julia sets in graphic environments with C++ programming language under the windows operating system. Simple mouse operations can construct ann magnify the degree-n bifurcation set as well af the Julia sets. They not only compute the component period but also save the images of the degree-n bifurcation set and the Julia sets to visually confirm various properties and the geometrical structure of the sets. A demonstration has verified the useful versatility of MANJUL.of MANJUL.