The problem of construction of all set of the systems of differential equations represented by an integral curve, as well as problems of construction of systems of differential equations in different aspects were considered by N.P. Erugin, A.S. Galiullin, I.A. Mukhametzyanov, R.G. Mukharlyamov and others. It should be noted that in the process of solution of these problems, being one of basic problems of theory of stability, the problems of construction of the steady systems on a given program manifold grew into an independent theory. A great number of works is devoted to the construction of systems of equations on the given program manifold, possessing properties of stability, optimality and establishment of estimations of indexes’ quality of transient in the neighborhood of a program manifold and to solving of various inverse problems of dynamics (see [1, 11]). The detailed reviews of these works are shown in [2, 4, 9, 11]. The large number of the nonlinear systems of automatic control can be presented as one contour system consisting of two parts: linear part and nonlinear element . The analysis of such systems shows that at the nonlinear elements of certain kind, transients in them can be similar, that allows to generalize the results of private experiment.
The given program Ω (t) is exactly realized only if the initial values of the state vector satisfy the condition ω(t0, x0) = 0. However, this condition cannot always be exactly satisfied. Therefore, in the construction of systems of program motion, the requirement of the stability of the program manifold Ω (t) with respect to the vector function ω should also be taken into account.
The study of these problems is due to the existence of a number of the inverse dynamics problems.
In this paper we study the problem of stability of one contour automatic control system in the neighborhood of a program manifold.
Let the differential equation
where η is n -dimension vector, Q (n × n) is some matrix, possesses by a (n − s)-dimension smooth manifold Ω (t), with given the vector equation
where ω is s ≤ n dimension vector.
On the basis of the criterion that Ω (t) is integral for the system (1), we have
The purpose is the construction of one contour systems on the given manifold.
We will notice that at the construction of the systems, except a condition (3), one of the basic requirements is the conditions of stability of the manifold Ω (t) in relation to some given function. The given program Ω (t) is exactly realized only if the initial values of the state vector satisfy the condition ω(t, x) = 0. However, this condition cannot always be exactly satisfied. Therefore, in the construction of systems of program motion, the requirement of the stability of the program manifold Ω (t) with respect to the vector function ω should also be taken into account.
Together with equation (1), we will consider the system of kind
where η, k and l are n-dimensions vector -columns:
and P (s × n), Q (n × n) are constant matrices:
Nonlinear characteristic f (σ) is continuous on σ and satisfies the conditions
where k1 and k2 are positive constants.
We will notice that a function f (σ) is essentially a control function on deviation from the program and at ω = σ = 0, and by virtue of conditions (6), the system (4) takes the form of (1). Consequently Ω (t) is integral for the system (4) also.
then we will get one contour system consisting of n + 1 aperiodic links, closed by a nonlinear feedback connection. Aperiodic links can serve engines of different types (electric, hydraulic, pneumatic etc.), electric generator of direct-current, reservoir with gas etc. . Usually processes in such system are described by equations :
Ti, γi are positive constants:
A program manifold Ω (t) is called absolutely stable with respect to a vector-function ω, if it is asymptotically stable on the whole on the solutions of the system (10) at any ω (t0, η0) and function f (σ) satisfying conditions (6).
We will consider the linearized system
which is derived from (10)f (σ) = hσ,
c = Pl. We will suppose that it is asymptotically stable at∀ h:
where ɛ is how pleasingly small positive constant.
Asked, whether a program manifold Ω (t) of the system (10) will be asymptotically stable on the whole with respect to a vector-function ω for any function ∀f (σ) ϵ
2 Necessary conditions of stability and determination of Hurwitz’s angle
For absolute stability of program manifold Ω (t) of the system (10) with respect to a vector-function ω in Hurwitz’s angle [k1, k2], it is necessary that the system (1) was asymptotically stable at the condition (12)
Characteristic equation of the system (11) looks like
We compose the Hurwitz matrix by means of coefficients of characteristic equation
We will introduce the following denotations:
then, by virtue of the Hurwitz theorem for asymptotic stability of program manifold Ω (t) with respect to a vector-function ω on the whole it is necessary the inequality
Thus a Hurwitz’s angle is determined as crossing on a line
Thus, for determination of a Hurwitz’s angle it is necessary calculations of polynomials ξm (h).
3 Algorithm of calculation of coefficients am (h)
We will define
where Q (λ) is the added matrix for ‖ Q + λE‖, coefficients qm and am are determined as:
and a multiplier Δ (h, λ) from (13) we will transform to the kind
By definition of the revers matrix, we have
where E is unit matrix of dimension (n - 1) x (n - 1).
what is more
Consequently, we have
As it is seen from inequalities (31), the necessary coefficient conditions of absolute stability are performed, if constants to time Ti and γi are positive. It remains only to require the inequality (17) by virtue of correlations (31).
4 Algebraic criterion of stability
For the system (10), we build the Lyapunov function of the form
where L = LT > 0; β is parameter, and we find
where C is symmetrical three diagonal matrix
Supposing h (σ) = f (σ) /σ from (33), we get
For that -V̇ > 0, it is necessary and sufficiently performing of a generalized Silvester’s inequality:
where ɛ is a small enough positive number. As is generally known, if -A is a Hurwitz’s matrix, then C > 0, consequently, for performing of condition (36), it is enough to require that the inequality
subject to condition h (σ) > ɛ. We will set a matrix C =
Then sufficient conditions of absolute stability C > 0 is equivalent to the necessary conditions (17).
We will define now, that
If –Q is a Hurwitz’s matrix and there exists L = LT > 0 ∧ β > 0, so that the equality (39) hold, then absolute stability of program manifold (2) of system (10) with respect to vector-function ω in angle (18) follows from asymptotical stability of the system (11) in the same angle.
For existing of β > 0, it is necessary and sufficiently performing of inequality
We suppose, that L = diag ‖L1,…, Ls‖ > 0,
then we have
From here, a recurrent formula is easily set for the coefficients of the matrix L:
where gi determine by the formula (45).
Let a function (32), L is diagonal, and a matrix A has a structure (43) and condition (42) is valid. Then a matrix C is determined from (44), (45)and the program manifold (2) of system (10) is absolute stable with respect to vector-function ω in angle (18).
5 Program manifold’s absolute stability of control systems by the course of plane
We will consider now the equations of motion of control system the course of plane in the mode of autopilot :
that possessing by smooth manifold Ω (t), given by equation
Here constant T2 characterizes the inertness of regulating object, U is the natural damping, k characterizes the action of restorative force, a, E, G2, l are constants of regulator.
Statement of the problem: to determine the condition of stability for the program manifold (49).
We suppose, that 
Then we have
we reduce the system (52) to the normalized form in dimensionless variables
We transform the system (52) by means of substitute z1 = ɳ2, z2 = -a2ɳ1 - ɳ2 -ξ, to the form
A matrix L determine as the following :
Let (-A) be a Hurwitz’s matrix.
The conditions of stability of the one contour automatic control systems are obtained in the neighborhood of program manifold by means of construction of Lyapunov function. These results may be use for construction of stable one contour automatic control systems with respect to zero positions of equilibrium and will be developed for one contour systems with nonlinearity on type backlash, by the zone of insensitivity, satiation.
Galiullin A., Some questions of stability of programmatic motion. Kazan.1960
Galiullin A., Mukhametzyanov I., Mukharlyamov R., Review of researches on the analytical construction of the systems programmatic motions, Vestnik RUDN, 1994, 1, 343-353
Maigarin B.G. Stability and qusality of processes of the nonlinear systems of automatic control. Alma-Ata: Nauka, 1980
Zhumatov S.S., Krementulo V.V., Maigarin B.G. Lyapunov’s Second Method in the Problems of Stability of Control of Motion Almaty: Gylym, 1999
Layton R.A. Principle of Analytical System Dynamics. – N.-Y. Springer, 1998
Meiser Peter, Enge Olaf, Freudenberg Heiko and Kielau Gerald. Electromechanical Interactions in Multibody Systems Containing Electromechanical Drives, Multibody System Dynamics, 1997, 1, 281-302
Mukharlyamov R., Differential-Algebraic Equations of Programmed Motions of Lagrangian Dynamical Systems, Mechanics of Solids, 2011, 46, 4, 534-543
Mukharlyamov R., Simulation of Control Processes, Stability and Stabilization of Systems with Program Contraints, Journal of Computer and Systems Sciences International, 2015, 54, 1, 13-26
Llibre J, Ramirez R., Inverse Problems in Ordinary Differential Equations and Applications, Springer International Publishing Switzerland. 2016
Andreev A.S., Peregudova O.A., The stabilization of program motions of holonomic mechanical system, Automatic. Telemekh., 2016, 3, 66-80
Zhumatov S., Frequently conditions of convergence of control systems in the neighborhoods of program manifold, Nelineinye kolebania, 2016, 28, 3, 367-375
Dedesh V., Stability and auto oscillations one contour nonlinear system of automatic control, Uchenye zapiski TcAGI, 2010, XLI, 3. 82-92
Becekerskiy V., Popov E., Theory of the systems of automatic control,. Moscow: Nauka, 1975
Trukhan N., On an one contour systems absolutely stabi8lity in Hurwitz’s angle, Avtomatic. and Telemekh., 1968, 11, 5-8
Letov A., Stability of the nonlinear control systems, Moscow: Fizmatgiz, 1962