The Investigation of Nonlinear Polynomial Control Systems

The paper considers methods for estimating stability using Lyapunov functions, which are used for nonlinear polynomial control systems. The apparatus of the Gro¨bner basis method is used to assess the stability of a dynamical system. A description of the Gro¨bner basis method is given. To apply the method, the canonical relations of the nonlinear system are approximated by polynomials of the components of the state and control vectors. To calculate the Gro¨bner basis, the Buchberger algorithm is used, which is implemented in symbolic computation programs for solving systems of nonlinear polynomial equations. The use of the Gro¨bner basis for finding solutions of a nonlinear system of polynomial equations is considered, similar to the application of the Gauss method for solving a system of linear equations. The equilibrium states of a nonlinear polynomial system are determined as solutions of a nonlinear system of polynomial equations. An example of determining the equilibrium states of a nonlinear polynomial system using the Gro¨bner basis method is given. An example of finding the critical points of a nonlinear polynomial system using the Gro¨bner basis method and the Wolfram Mathematica application software is given. The Wolfram Mathematica program uses the function of determining the reduced Gro¨bner basis. The application of the Gro¨bner basis method for estimating the attraction domain of a nonlinear dynamic system with respect to the equilibrium point is considered. To determine the scalar potential, the vector field of the dynamic system is decomposed into gradient and vortex components. For the gradient component, the scalar potential and the Lyapunov function in polynomial form are determined by applying the homotopy operator. The use of Gro¨bner bases in the gradient method for finding the Lyapunov function of a nonlinear dynamical system is considered. The coordination of input-output signals of the system based on the construction of Gro¨bner bases is considered.

On the Z2-cohomology cup-length of some real flag manifolds

In this paper we discuss two different techniques for calculating the Z2-cohomology cup-length - one based on fiberings and a result of Horanska and Korbas, and the other based on Gr?bner bases. We use these techniques to obtain Z2-cohomology cup-length or bounds for the Z2-cohomology cup-length of some of the real flag manifolds F(1,...,1,2...,2,n).

Signed polyomino tilings by n-in-line polyominoes and Gröbner bases

Conway and Lagarias observed that a triangular region T(m) in a hexagonal lattice admits a signed tiling by three-in-line polyominoes (tribones) if and only if m 2 {9d?1, 9d}d2N. We apply the theory of Gr?bner bases over integers to show that T(m) admits a signed tiling by n-in-line polyominoes (n-bones) if and only if m 2 {dn2 ? 1, dn2}d2N. Explicit description of the Gr?bner basis allows us to calculate the ?Gr?bner discrete volume? of a lattice region by applying the division algorithm to its ?Newton polynomial?. Among immediate consequences is a description of the tile homology group for the n-in-line polyomino.