Generalization of the Jurdjevic-Quinn theorem and stabilization of bilinear control systems with periodic coefficients: I

The Jurdjevic-Quinn theorem on the global asymptotic stabilization of the origin is generalized to nonlinear time-varying affine control systems with periodic coefficients. The proof is based on the Krasovskii theorem on the global asymptotic stability for periodic systems and the introduced notion of “commutator” for two vector fields one of which is time-varying. The obtained sufficient conditions for stabilization are applied to bilinear control systems with periodic coefficients. We construct a control periodic in t in the form of a quadratic form in x that asymptotically stabilizes the zero solution of a bilinear periodic system with a time-invariant drift.     

Stabilization of affine control systems with periodic coefficients

We obtain new sufficient conditions for the uniform global asymptotic stabilization of the zero solution of an affine control system with periodic coefficients and some corollaries for bilinear control systems.     

Stabilization of stationary affine control systems with discrete time

We obtain new sufficient conditions for the local and global asymptotic stabilization of the zero solution of a nonlinear affine control system with discrete time and with constant coefficients by a continuous state feedback. We assume that the zero solution of the free system is Lyapunov stable. For systems with linear drift, we construct a bounded control in the problem of global asymptotic state and output stabilization. Corollaries for bilinear systems are obtained.     

有限维非退化可解李代数的顶点算子代数

构造相应于非退化可解李代数g的顶点算子代数分两步进行,首先构造顶点代数.本文是在已经得到的相应于非退化可解李代数g的顶点代数(Vg(l,0),Y(V,1)上构造顶点算子代数.定义了非退化可解李代数g的Casimir算子Ω,给出了在伴随表示下Ω作用在g上是0及相关性质,并应用Ω定义出Vg(l,0)中元素ω,证明了Vg(l,0)关于ω的顶点算子YV(ω,x)的系数构成一个Virasoro代数-模,还证明了ω满足顶点算子代数定义中Virasoro-向量的所有公理.从而证得(Vg(l,0),Yv,1,ω)是一个顶点算子代数.     

Generalization of the Jurdjevic-Quinn theorem and stabilization of bilinear control systems with periodic coefficients: II

We prove sufficient conditions for the uniform global asymptotic stabilization of the origin for bilinear time-varying systems that can be reduced by a Lyapunov transformation to bilinear periodic systems with time-invariant drift, in particular, for bilinear periodic systems with time-varying drift. We obtain corollaries for consistent systems.     

Optimization of Bilinear Systems Using a Higher-Order Variational Method

This paper derives some optimization results for bilinear systems using a higher-order method by characterizing them over matrix Lie groups. In the derivation of the results, first a bilinear system is transformed to a left-invariant system on matrix Lie groups. Then, the product of exponential representation is used to express this system in canonical form. Next, the conditions for optimality are obtained by the principles of variational calculus. It is demonstrated that closed-form analytical solutions exist for classes of bilinear systems whose Lie algebra are nilpotent.     

On the Optimal Stabilisation for a set of Programmed Motions of the Bilinear Control System

During recent years there has been considerable interest in using bilinear systems [1, 2] as mathematical models to represent the dynamic behavior of a wide class of engineering, biological and economic systems. Moreover, there are some methods [3] which may approximate nonlinear control systems by bilinear systems. For the first time Zubov has proposed a method of stabilization control synthesis for a set of programmed motions in linear systems [4]. In papers [5, 6] this method has been developed and used to solve the same problem for bilinear systems. In the present paper the following problems are considered. First, synthesis of nonlinear control as feedback under which the bilinear control system has a given set of programmed and asymptotic stable motions. Because this control is not unique, the second problem concerns optimal stabilization. In this paper a method for the design of nonlinear optimal control is suggested. This control is constructed in the form of a convergent series. The theorem on the sufficient conditions to solve this problem is represented.     

Mixed strategies in maximin testing of robust stabilization performance

We consider algorithms for testing robust stabilization performance for bilinear systems of special form, discrete-continuous systems of control of a dynamic object. We present an example of synthesis of a mixed testing strategy in the space module-orbital station rendezvous problem.     

Global feedback stabilization of multi-input bilinear systems

This paper mainly investigates the problem of stabilization of homogeneous bilinear systems with multiple inputs. Explicit state feedback laws are given to stabilize the bilinear systems. Meanwhile, an estimate of the convergence speed is obtained under the given feedback laws. Besides, sufficient conditions, which are easy to be verified, are presented for the stabilization of the bilinear systems.     

A Sufficient Condition for Stabilization of Bilinear Systems in a Plane

The article considers stabilization of bilinear systems in a plane. A discontinuous-feedback algorithm is proposed. Sufficient conditions for stabilization of bilinear systems are derived. The proposed algorithm stabilizes a system which is not stabilizable in the class of constant controls.     

Helmholtz potentiality conditions for systems of difference-differential equations

For operators corresponding to systems ofμth-order difference-differential equations of neutral type, necessary and sufficient conditions for potentiality with respect to the classical bilinear form are obtained. These results are applied to first-order quasilinear systems.     

Fractal tiles associated with shift radix systems

Shift radix systems form a collection of dynamical systems depending on a parameter r which varies in the d-dimensional real vector space. They generalize well-known numeration systems such as beta-expansions, expansions with respect to rational bases, and canonical number systems. Beta-numeration and canonical number systems are known to be intimately related to fractal shapes, such as the classical Rauzy fractal and the twin dragon. These fractals turned out to be important for studying properties of expansions in several settings.In the present paper we associate a collection of fractal tiles with shift radix systems. We show that for certain classes of parameters r these tiles coincide with affine copies of the well-known tiles associated with beta-expansions and canonical number systems. On the other hand, these tiles provide natural families of tiles for beta-expansions with (non-unit) Pisot numbers as well as canonical number systems with (non-monic) expanding polynomials.We also prove basic properties for tiles associated with shift radix systems. Indeed, we prove that under some algebraic conditions on the parameter r of the shift radix system, these tiles provide multiple tilings and even tilings of the d-dimensional real vector space. These tilings turn out to have a more complicated structure than the tilings arising from the known number systems mentioned above. Such a tiling may consist of tiles having infinitely many different shapes. Moreover, the tiles need not be self-affine (or graph directed self-affine).     

Asymptotic stabilization of a class of bilinear systems by a variable structure feedback

We consider the problem of stabilization of a homogeneous bilinear system at zero. We assume that the system can be reduced to a form that admits feedback linearization at all points of the phase space outside a set N of measure zero. For such systems, we construct a variable structure feedback solving the stabilization problem under the condition that N is not an invariant set of the closed system.     

Lyapunov Function for Nonuniform in Time Global Asymptotic Stability in Probability with Application to Feedback Stabilization

We extend the well-known Artstein-Sontag theorem by introducing the concept of control Lyapunov function for the notion of nonuniform in time global asymptotic stability in probability of stochastic differential system, when both the drift and diffusion terms are affine in the control. The main results of our work enable us to derive the necessary and sufficient conditions for feedback stabilization for affine in the control systems.     

Stabilization of Affine Systems by Bounded Control

We consider stabilization of nonlinear affine dynamical systems by bounded control. Boundedness of control is achieved by specifying the parameter variation program for a one-parameter family of stabilizing controls. A class of globally stabilizable systems is identified. Conditions are derived when the affine system is stabilizable by a bounded control in a region, and a bound on this stabilization region is constructed using Lyapunov functions.     

Further improvements to the Chevalley-Warning theorems

We study lower bound estimates for the number of solutions of systems of equations over finite fields. Heath-Brown improved the lower bounds given by the classical Chevalley-Warning Theorems by excluding systems of equations whose solutions form an affine space. We improve each of Heath-Brown's results and demonstrate sharpness in several cases.     

Mathematical modelling and theoretical analysis of nonholonomic kinematic systems with a class of rheonomous affine constraints

In this paper, we deal with kinematic control systems subject to a class of rheonomous affine constraints. We first define A-rheonomous affine constraints and explain a geometric representation method for them. Next, we derive a necessary and sufficient condition for complete nonholonomicity of the A-rheonomous affine constraints. Then, a mathematical model of nonholonomic kinematic systems with A-rheonomous affine constraints (NKSARAC), which is included in the class of nonlinear affine control systems, is introduced. Theoretical analysis on linearly-approximated systems and accessibility for the NKSARAC is also shown. Finally, we apply the results to some physical examples in order to confirm the effectiveness of them.