• 제어로봇시스템학회:학술대회논문집
• /
• 2003.10a
• /
• pp.1911-1916
• /
• 2003

Parameter set of an LPV system is divided into a number of subsets so that robust feedback gains may be designed for each subset of parameters. A concept of quasi-invariant set is introduced, which allows finite steps of delay in reentrance to the set. A feasible and positively invariant set with respect to a gain-scheduled state feedback control can be easily obtained from the quasi-invariant set. A receding horizon control strategy can be derived based on this feasible and invariant set.

• Honam Mathematical Journal
• /
• v.44 no.1
• /
• pp.110-120
• /
• 2022

In this paper, we introduce the concepts of Wijsman invariant statistical, Wijsman deferred invariant statistical and Wijsman strongly deferred invariant convergence of order 𝜂 (0 < 𝜂 ≤ 1) for set sequences. Also, we investigate some properties of these concepts and some relationships between them.

• Kyungpook Mathematical Journal
• /
• v.55 no.4
• /
• pp.753-771
• /
• 2015

A complete invariant defined for (closed connected orientable) 3-manifolds is an invariant defined for the 3-manifolds such that any two 3-manifolds with the same invariant are homeomorphic. Further, if the 3-manifold itself can be reconstructed from the data of the complete invariant, then it is called a characteristic invariant defined for the 3-manifolds. In a previous work, a characteristic lattice point invariant defined for the 3-manifolds was constructed by using an embedding of the prime links into the set of lattice points. In this paper, a characteristic rational invariant defined for the 3-manifolds called the characteristic genus defined for the 3-manifolds is constructed by using an embedding of a set of lattice points called the PDelta set into the set of rational numbers. The characteristic genus defined for the 3-manifolds is also compared with the Heegaard genus, the bridge genus and the braid genus defined for the 3-manifolds. By using this characteristic rational invariant defined for the 3-manifolds, a smooth real function with the definition interval (-1, 1) called the characteristic genus function is constructed as a characteristic invariant defined for the 3-manifolds.

• East Asian mathematical journal
• /
• v.6 no.2
• /
• pp.167-182
• /
• 1990

The relationships between submodules of a module and ideals of the endomorphism ring of a module had been studied in [1]. For a submodule L of a moudle M, the set $I^L$ of all endomorphisms whose images are contained in L is a left ideal of the endomorphism ring End (M) and for a submodule N of M, the set $I_N$ of all endomorphisms whose kernels contain N is a right ideal of End (M). In this paper, author defines an H-invariant module and proves that every submodule of an H-invariant module is the image and kernel of unique endomorphisms. Every ideal $I^L(I_N)$ of the endomorphism ring End(M) when M is H-invariant is a left (respectively, right) principal ideal of End(M). From the above results, if a module M is H-invariant then each left, right, or both sided ideal I of End(M) is an intersection of a left, right, or both sided principal ideal and I itself appropriately. If M is an H-invariant module then the ACC on the set of all left ideals of type $I^L$ implies the ACC on M. Also if the set of all right ideals of type $I^L$ has DCC, then H-invariant module M satisfies ACC. If the set of all left ideals of type $I^L$ satisfies DCC, then H-invariant module M satisfies DCC. If the set of all right ideals of type $I_N$ satisfies ACC then H-invariant module M satisfies DCC. Therefore for an H-invariant module M, if the endomorphism ring End(M) is left Noetherian, then M satisfies ACC. And if End(M) is right Noetherian then M satisfies DCC. For an H-invariant module M, if End(M) is left Artinian then M satisfies DCC. Also if End(M) is right Artinian then M satisfies ACC.

• Journal of Institute of Control, Robotics and Systems
• /
• v.8 no.12
• /
• pp.991-997
• /
• 2002

The concept of feasible & invariant region plays an important role to derive closed loop stability and achie adequate performance of constrained receding horizon predictive control. In this paper, we define a complex polyhedral feasible & invariant set for all stabilizable input-constrained linear systems by using a complex transform and propose a one-norm based receding horizon control scheme using these invariant sets. In order to get a larger stabilizable set, a convex hull of invariant sets which are defined for different state feedback gains is used as a target invariant set of the constrained receding horizon control. The proposed constrained receding horizon control scheme is formulated so that it can be solved via linear programming.

• Journal of Institute of Control, Robotics and Systems
• /
• v.19 no.3
• /
• pp.177-182
• /
• 2013

This paper proposes an input-constrained reference tracking control of a converter model. To this end, first it is shown that the bilinear converter model can be equivalently represented by a linear uncertain model belonging to a polytopic set. Then, an input-constrained tracking control scheme for the linear uncertain model is designed based on recently proposed tracking control scheme. The control scheme yields not only a stabilizing control gain but also a feasible and invariant set for the converter model. Finally, simulation results show that the state trajectory always stays in the feasible and invariant set and that the output tracks the given reference while satisfying the input constraint.

• 제어로봇시스템학회:학술대회논문집
• /
• 2004.08a
• /
• pp.1-4
• /
• 2004

The dual-mode strategy has been adopted in many constrained MPC methods. The size of stabilizable regions of states of MPC methods depends on the size of underlying feasible and positively invariant set and number of control moves. These results, however, could be conservative because the definition of positive invariance does not allow temporal leave of states from the set, In this paper, a concept of periodic invariance is introduced in which states are allowed to leave a set temporarily but return into the set in finite steps. The periodic invariance can defined with respect to sets of different state feedback gains. These facts make it possible for the periodically invariant sets to considerably larger than ordinary invariant sets. The periodic invariance can be defined for systems with polyhedral model uncertainties. We derive a MPC method based on these periodically invariant sets. Some numerical examples are given to show that the use of periodic invariance yields considerably larger stabilizable sets than the case of using ordinary invariance.

• Communications of the Korean Mathematical Society
• /
• v.12 no.1
• /
• pp.193-201
• /
• 1997

The paper presens results on the perturbation problem of invariant manifolds of differential equations. It is well-known that if there is a pseudohyperbollic structure on an invariant manifold then one is strongly indestructible. The set of strongly inderstructible invariant manifolds is wider than the set of persistent (normally hyperbolic) manifolds. The following theorem is main result of the paper: if the condition of transversality holds on an invariant manifold, except, possibly, for the non-degenerate strong sources and non-degenerate strong sinks, then there is the pseudohyperbolic structure on the invariant manifold. From this it follows the conditions for the indestructibility of locally non-unique invariant manifolds. An example is considered.

• International Journal of Control, Automation, and Systems
• /
• v.3 no.3
• /
• pp.502-507
• /
• 2005

The dual-mode strategy has been adopted in many constrained MPC (Model Predictive Control) methods. The size of stabilizable regions of states of MPC methods depends on the size of underlying feasible and positively invariant sets and the number of control moves. The results, however, may perhaps be conservative because the definition of positive invariance does not allow temporal departure of states from the set. In this paper, a concept of periodic invariance is introduced in which states are allowed to leave a set temporarily but return into the set in finite time steps. The periodic invariance can be defined with respect to sets of different state feedback gains. These facts make it possible for the periodically invariant sets to be considerably larger than ordinary invariant sets. The periodic invariance can be defined for systems with polyhedral model uncertainties. We derive a MPC method based on these periodically invariant sets. Some numerical examples are given to show that the use of periodic invariance yields considerably larger stabilizable sets than the case of using ordinary invariance.

• Journal of the Korean Mathematical Society
• /
• v.60 no.2
• /
• pp.255-271
• /
• 2023

In this paper, we deal with random attractors for dynamical systems forced by a deterministic noise. These kind of systems are modeled as skew products where the dynamics of the forcing process are described by the base transformation. Here, we consider skew products over the Bernoulli shift with the unit interval fiber. We study the geometric structure of maximal attractors, the orbit stability and stability of mixing of these skew products under random perturbations of the fiber maps. We show that there exists an open set U in the space of such skew products so that any skew product belonging to this set admits an attractor which is either a continuous invariant graph or a bony graph attractor. These skew products have negative fiber Lyapunov exponents and their fiber maps are non-uniformly contracting, hence the non-uniform contraction rates are measured by Lyapnnov exponents. Furthermore, each skew product of U admits an invariant ergodic measure whose support is contained in that attractor. Additionally, we show that the invariant measure for the perturbed system is continuous in the Hutchinson metric.