Localization of compact invariant sets of discrete-time control systems

Doklady Mathematics -     

Localization of invariant compact sets in uncertain discrete systems

A functional method for the localization of invariant compact sets in discrete autonomous systems is generalized to discrete systems with uncertainty. We describe the properties of the corresponding localizing sets. By using this method, we construct localizing sets for positively invariant compact sets of the discrete Henon system with uncertainty.     

Localization of invariant compact sets of families of discrete-time systems

The functional method of localization of invariant compact sets developed for continuous- and discrete-time dynamical systems is extended to families of discrete-time systems. Positively invariant compact sets are considered. As an example, the method is applied to the Hénon system with uncertain parameters.     

Localization of compact invariant sets of discrete-time systems with disturbances

Doklady Mathematics -     

Localization analysis of compact invariant sets of multi-dimensional nonlinear systems and symmetrical prolongations

In our paper we study the localization problem of compact invariant sets of nonlinear systems. Methods of a solution of this problem are discussed and a new method is proposed which is based on using symmetrical prolongations and the first-order extremum condition. Our approach is applied to the system modeling the Rayleigh–Bénard convection for which the symmetrical prolongation with the Lorenz system has been constructed.     

Localizing sets for invariant compact sets of continuous dynamical systems with a perturbation

A functional method of localization of invariant compact sets, which was earlier developed for autonomous continuous and discrete systems, is generalized to continuous dynamical systems with perturbations. We describe properties of the corresponding localizing sets. By using that method, we construct localizing sets for positively invariant compact sets of the Lorenz system with a perturbation.     

Localizing sets for invariant compact sets of discrete dynamical systems with perturbation and control

We consider the localization problem for the invariant compact sets of a discrete dynamical system with perturbation and control, that is, the problem of constructing domains in the system state space that contain all invariant compact sets of the system. The problem is solved on the basis of a functional method used earlier in localization problems for time-invariant continuous and discrete systems and also for control systems. The properties of the corresponding localizing sets are described.     

Functional method for the localization of invariant compact sets in discrete systems

We suggest a method for the localization of invariant compact sets in discrete autonomous systems. We describe the properties of the corresponding localizing sets. By using this method, we construct localizing sets for invariant compact sets of the discrete Henon system.     

Localization of compact invariant sets and global stability in analysis of one tumor growth model

In this paper, we study some features of global behavior of the four‐dimensional superficial bladder cancer model with Bacillus Calmette‐Guérin (BCG) immunotherapy described by Bunimovich‐Mendrazitsky et al. in 2007 with the help of localization analysis of its compact invariant sets. Its dynamics is defined by the BCG treatment and by densities of three cells populations: effector cells, tumor infected cells by BCG, and tumor uninfected cells. We find upper bounds for ultimate dynamics of the whole state vector in the positive orthant and also under condition that there are no uninfected tumor cells. Further, we prove the existence of the bounded positively invariant domain in both of these two situations. Finally, by using these assertions, we derive our main result: sufficient conditions of global asymptotic stability of the tumor‐free equilibrium point in the positive orthant. Copyright © 2013 John Wiley & Sons, Ltd.     

On compact sets with a certain affine invariant

We give a complete characterization of finite-dimensional compact sets with the following property: all of their images under affine operators are symmetric (that is, have symmetry planes of certain dimensions). We also study the noncompact case; namely, we reveal a class of unbounded closed sets with this property and conjecture that this class is complete.     

Weakly invariant sets of hybrid systems

We consider a mathematical model of a hybrid system in which the continuous dynamics generated at any point in time by one of a given finite family of continuous systems alternates with discrete operations commanding either an instantaneous switching from one system to another, or an instantaneous passage from current coordinates to some other coordinates, or both operations simultaneously. As a special case, we consider a model of a linear switching system. For a hybrid system, we introduce the notion of a weakly invariant set and analyze its structure. We obtain a representation of a weakly invariant set as a union of sets of simpler structure. For the latter sets, we introduce special value functions, for which we obtain expressions by methods of convex analysis. For the same functions, we derive equations of the Hamilton-Jacobi-Bellman type, which permit one to pass from the problem of constructing weakly invariant sets to the control synthesis problem for a hybrid system.     

Asymptotic stability analysis of autonomous systems by applying the method of localization of compact invariant sets

The asymptotic stability and global asymptotic stability of equilibria in autonomous systems of differential equations are analyzed. Conditions for asymptotic stability and global asymptotic stability in terms of compact invariant sets and positively invariant sets are proved. The functional method of localization of compact invariant sets is proposed for verifying the fulfillment of these conditions. Illustrative examples are given.     

On compact invariant hypersurfaces of discrete dynamical systems

We obtain an analog of the Bendixson-Dulac criterion for discrete dynamical systems.     

Localization of invariant compacta of autonomous systems

A class of problems that may be characterized as localization problems are becoming increasingly popular in qualitative theory of differential equations [1–15]. The specific formulations differ, but geometrically all search for phase space subsets with desired properties, e.g., contain certain solutions of the system of differential equations. Such problems include construction of positive invariant sets that contain certain separatrices of the Lorenz system [1], analysis of asymptotic behavior of solutions of the Lorenz system and determination of sets that contain the Lorenz attractor [2–5, 14], as well as determination of sets containing all periodic trajectories [6–13], separatrices, and other trajectories [10, 11]. Such sets may be naturally called localizing sets and it is obviously interesting to study methods and results that produce exact or nearly exact localizing sets for each phase space structure. In this article we focus on localization of the invariant compact sets in the phase space of a differential equation system, specifically the problem of finding phase space subsets that contain all the invariant compacta of the system. Invariant compact sets are equilibria, periodic trajectories, separatrices, limit cycles, invariant tori, and other sets and their finite unions. These sets and their properties largely determine the phase space structure and the qualitative behavior of solutions of the differential equation system.