• 대한수학회논문집
• /
• 제35권3호
• /
• pp.891-906
• /
• 2020

In this paper, the commutative module amenable Banach algebras are characterized. The hereditary and permanence properties of module amenability and the relations between module amenability of a Banach algebra and its ideals are explored. Analogous to the classical case of amenability, it is shown that the projective tensor product and direct sum of module amenable Banach algebras are again module amenable. By an application of Ryll-Nardzewski fixed point theorem, it is shown that for an inverse semigroup S, every module derivation of 𝑙¹(S) into a reflexive module is inner.

• Journal of Advanced Marine Engineering and Technology
• /
• 제39권2호
• /
• pp.159-165
• /
• 2015

Motion control schemes are generally classified into three categories (point stabilization, trajectory tracking, and path following). This paper deals with the problem which is associated with the initial deployment of a group of Unmanned Surface Vehicle (USVs) and corresponding point stabilization. To keep the formation of a group of USVs, it is necessary to set the relationship between each vehicle. A forcing functions such as potential fields are designed to keep the formation and a graph Laplacian is used to represent the connectivity between vehicle. In case of fixed topology of the graph representing the communication between the vehicles, the graph Laplacian is assumed constant. However the graph topologies are allowed to change as the vehicles move, and the system dynamics become discontinuous in nature because the graph Laplacian changes as time passes. To check the stability in the stage of deployment, the system is modeled with Kronecker algebra notation. Filippov's calculus of differential equations with discontinuous right hand sides is then used to formally characterize the behavior of USVs. The stability of the system is analyzed with Lyapunov's stability theory and LaSalle's invariance principle, and the validity is shown by checking the variation of state norm.