Displaying 21 – 40 of 192

Showing per page

The choice of the forms of Lyapunov functions for a positive 2D Roesser model

Tadeusz Kaczorek (2007)

International Journal of Applied Mathematics and Computer Science

The appropriate choice of the forms of Lyapunov functions for a positive 2D Roesser model is addressed. It is shown that for the positive 2D Roesser model: (i) a linear form of the state vector can be chosen as a Lyapunov function, (ii) there exists a strictly positive diagonal matrix P such that the matrix A^{T}PA-P is negative definite. The theoretical deliberations will be illustrated by numerical examples.

The covering semigroup of invariant control systems on Lie groups

Víctor Ayala, Eyüp Kizil (2016)

Kybernetika

It is well known that the class of invariant control systems is really relevant both from theoretical and practical point of view. This work was an attempt to connect an invariant systems on a Lie group G with its covering space. Furthermore, to obtain algebraic properties of this set. Let G be a Lie group with identity e and Σ 𝔤 a cone in the Lie algebra 𝔤 of G that satisfies the Lie algebra rank condition. We use a formalism developed by Sussmann, to obtain an algebraic structure on the covering...

The Differentiable Functions from R into R n

Keiko Narita, Artur Korniłowicz, Yasunari Shidama (2012)

Formalized Mathematics

In control engineering, differentiable partial functions from R into Rn play a very important role. In this article, we formalized basic properties of such functions.

The dynamical Lame system : regularity of solutions, boundary controllability and boundary data continuation

M. I. Belishev, I. Lasiecka (2002)

ESAIM: Control, Optimisation and Calculus of Variations

The boundary control problem for the dynamical Lame system (isotropic elasticity model) is considered. The continuity of the “input state” map in L 2 -norms is established. A structure of the reachable sets for arbitrary T > 0 is studied. In general case, only the first component u ( · , T ) of the complete state { u ( · , T ) , u t ( · , T ) } may be controlled, an approximate controllability occurring in the subdomain filled with the shear (slow) waves. The controllability results are applied to the problem of the boundary data continuation....

The dynamical Lame system: regularity of solutions, boundary controllability and boundary data continuation

M. I. Belishev, I. Lasiecka (2010)

ESAIM: Control, Optimisation and Calculus of Variations

The boundary control problem for the dynamical Lame system (isotropic elasticity model) is considered. The continuity of the “input → state" map in L2-norms is established. A structure of the reachable sets for arbitrary T>0 is studied. In general case, only the first component u ( · , T ) of the complete state { u ( · , T ) , u t ( · , T ) } may be controlled, an approximate controllability occurring in the subdomain filled with the shear (slow) waves. The controllability results are applied to the problem of the boundary data continuation....

The equivalence of controlled lagrangian and controlled hamiltonian systems

Dong Eui Chang, Anthony M. Bloch, Naomi E. Leonard, Jerrold E. Marsden, Craig A. Woolsey (2002)

ESAIM: Control, Optimisation and Calculus of Variations

The purpose of this paper is to show that the method of controlled lagrangians and its hamiltonian counterpart (based on the notion of passivity) are equivalent under rather general hypotheses. We study the particular case of simple mechanical control systems (where the underlying lagrangian is kinetic minus potential energy) subject to controls and external forces in some detail. The equivalence makes use of almost Poisson structures (Poisson brackets that may fail to satisfy the Jacobi identity)...

The Equivalence of Controlled Lagrangian and Controlled Hamiltonian Systems

Dong Eui Chang, Anthony M. Bloch, Naomi E. Leonard, Jerrold E. Marsden, Craig A. Woolsey (2010)

ESAIM: Control, Optimisation and Calculus of Variations

The purpose of this paper is to show that the method of controlled Lagrangians and its Hamiltonian counterpart (based on the notion of passivity) are equivalent under rather general hypotheses. We study the particular case of simple mechanical control systems (where the underlying Lagrangian is kinetic minus potential energy) subject to controls and external forces in some detail. The equivalence makes use of almost Poisson structures (Poisson brackets that may fail to satisfy the Jacobi identity)...

The existence of limit cycle for perturbed bilinear systems

Hanen Damak, Mohamed Ali Hammami, Yeong-Jeu Sun (2012)

Kybernetika

In this paper, the feedback control for a class of bilinear control systems with a small parameter is proposed to guarantee the existence of limit cycle. We use the perturbation method of seeking in approximate solution as a finite Taylor expansion of the exact solution. This perturbation method is to exploit the “smallness” of the perturbation parameter ε to construct an approximate periodic solution. Furthermore, some simulation results are given to illustrate the existence of a limit cycle for...

Currently displaying 21 – 40 of 192