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.     

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.     

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.     

强拟闭集与强拟连续

利用半闭集引入强拟闭集概念,研究了半开集、强拟开集、强拟闭集概念之间的关系,得到了强拟闭集是连续闭映射下的不变量及其相关性质;最后给出强拟连续概念并得到其等价刻画.     

Omega-limit sets and invariant chaos in dimension one

Omega-limit sets play an important role in one-dimensional dynamics. During last fifty year at least three definitions of basic set has appeared. Authors often use results with different definition. Here we fill in the gap of missing proof of equivalency of these definitions. Using results on basic sets we generalize results in paper [P. Oprocha, Invariant scrambled sets and distributional chaos, Dyn. Syst. 24 (2009), no. 1, 31–43.] to the case continuous maps of finite graphs. The Li-Yorke chaos is weaker than positive topological entropy. The equivalency arises when we add condition of invariance to Li-Yorke scrambled set. In this note we show that for a continuous graph map properties positive topological entropy; horseshoe; invariant Li-Yorke scrambled set; uniform invariant distributional chaotic scrambled set and distributionaly chaotic pair are mutually equivalent.     

On almost rc-Lindelöf sets

In [4], Dlaska introduced the class of almost rc-Lindelöf sets and studied some basic properties of such sets. In this paper, we obtain further results concerning almost rc-Lindelöf sets. We also introduce new concepts to obtain several mapping properties concerning almost rc-Lindelöf sets and almost rc-Lindelöf spaces. The property of being an almost rc-Lindelöf set is invariant under functions which are slightly continuous and weakly θ-irresolute. It is also shown that the property of being an almost rc-Lindelöf space is inverse invariant under functions which are weakly almost open, ω-regular open, and whose fibers are S-sets.     

On asymptotic properties of matrix semigroups with an invariant cone

Recently, several research efforts showed that the analysis of joint spectral characteristics of sets of matrices can be simplified when these matrices share an invariant cone. We prove new results in this direction.We prove that the joint spectral subradius is continuous in the neighborhood of sets of matrices that leave an embedded pair of cones invariant.We show that both the averaged maximal spectral radius, as well as the maximal trace, where the maximum is taken on all the products of the same length t, converge towards the joint spectral radius when t increases, provided that the matrices share an invariant cone, and additionally one of them is primitive.     

REGULATION OF A FISHERY: FROM A LOCAL OPTIMAL CONTROL PROBLEM TO AN “INVARIANT DOMAIN‘ APPROACH

ABSTRACT. This study aims at regulating a fishery by reducing its catch and effort variations around a reference equilibrium point. A simple bioeconomic continuous time model is considered and the control variable acts on the rate of change of effort. Two approaches have been implemented: the first one is a local optimal approach that sets the problem in the classical linear-quadratic framework; it is extended to an “invariant domain‘ approach, whose robustness constitutes a major advantage.     

Negatively Invariant Sets and Entire Trajectories of Set-Valued Dynamical Systems

Strongly negatively invariant compact sets of set-valued autonomous and nonautonomous dynamical systems on a complete metric space, the latter formulated in terms of processes, are shown to contain a weakly positively invariant family and hence entire solutions. For completeness the strongly positively invariant case is also considered, where the obtained invariant family is strongly invariant. Both discrete and continuous time systems are treated. In the nonautonomous case, the various types of invariant families are in fact composed of subsets of the state space that are mapped onto each other by the set-valued process. A simple example shows the usefulness of the result for showing the occurrence of a bifurcation in a set-valued dynamical system.     

Some properties for the attractors

For the continuous flows defined on a topological space, we have discussed some properties for the invariant sets and their domains of influence. We have proved the following open problem posed by C. Conley: an attractor in a locally connected compact Hausdorff invariant set has finitely many components. In the meantime, two necessary and sufficient conditions for a set to be an attractor have been given.     

Characterization and computation of control invariant sets for linear impulsive control systems

Impulsive control systems are suitable to describe and control a venue of real-life problems, going from disease treatment to aerospace guidance. The main characteristic of such systems is that they evolve freely in-between impulsive actions, which makes it difficult to guarantee its permanence in a given state-space region. In this work, we develop a method for characterizing and computing approximations to the maximal control invariant sets for linear impulsive control systems, which can be explicitly used to formulate a set-based model predictive controller. We approach this task using a tractable and non-conservative characterization of the admissible state sets, namely the states whose free response remains within given constraints, emerging from a spectrahedron representation of such sets for systems with rational eigenvalues. The so-obtained impulsive control invariant set is then explicitly used as a terminal set of a predictive controller, which guarantees the feasibly asymptotic convergence to a target set containing the invariant set. Necessary conditions under which an arbitrary target set contains an impulsive control invariant set (and moreover, an impulsive control equilibrium set) are also provided, while the controller performance are tested by means of two simulation examples.     

Chaotic sets of continuous and discontinuous maps

This paper discusses Li-Yorke chaotic sets of continuous and discontinuous maps with particular emphasis to shift and subshift maps. Scrambled sets and maximal scrambled sets are introduced to characterize Li-Yorke chaotic sets. The orbit invariant for a scrambled set is discussed. Some properties about maximality, equivalence and uniqueness of maximal scrambled sets are also discussed. It is shown that for shift maps the set of all scrambled pairs has full measure and chaotic sets of some discontinuous maps, such as the Gauss map, interval exchange transformations, and a class of planar piecewise isometries, are studied. Finally, some open problems on scrambled sets are listed and remarked.     

A continuous/discrete fractional Noether’s theorem

We prove a fractional Noether’s theorem for fractional Lagrangian systems invariant under a symmetry group both in the continuous and discrete cases. This provides an explicit conservation law (first integral) given by a closed formula which can be algorithmically implemented. In the discrete case, the conservation law is moreover computable in a finite number of steps.     

非线性系统双模鲁棒预测控制: 不变集切换方法

提出了一种基于不变集切换的非线性系统鲁棒预测控制算法.采用分段蕴含方法将非线性系统动态用一组线性变参数(LPV)系统动态包裹;计算出非线性系统的平衡面,对于每个LPV蕴含模型,针对相应的平衡点构造多面体不变集,得到覆盖非线性系统平衡面的一组相互重叠的不变集;在线根据系统当前状态所处的不变集和LPV区间切换控制律,最终保证闭环系统的稳定性.与传统的非线性预测控制相比,这种方法在构造不变集和确定控制律的计算都是离线进行,而在线只需根据当前状态切换控制律即可,从而避免了求解复杂的非凸非线性规划,在很大程度上降低了在线计算量.     

A numerical approach to design control invariant sets for constrained nonlinear discrete-time systems with guaranteed optimality

A numerical approach to design control invariant sets for constrained nonlinear discrete-time systems with guaranteed optimality is proposed in this paper. The addressed approach is based on the fact that zonotopes are more flexible for representing sets than boxes in interval analysis. Then the solver of set inversion via interval analysis is extended to set inversion via zonotope geometry by introducing the novel idea of bisecting zonotopes. The main feature of the extended solver of set inversion is the bisection and the evolution of a zonotope rather than a box. Thus the shape of admissible domains for set inversion can be broadened from boxes to zonotopes and the wrapping effect can be reduced as well by using the zonotope evolution instead of the interval evolution. Combined with global optimization via interval analysis, the extended solver of set inversion via zonotope geometry is further applied to design control invariant sets for constrained nonlinear discrete-time systems in a numerical way. Finally, the numerical design of a control invariant set and its application to the terminal control of the dual-mode model predictive control are fulfilled on a benchmark Continuous-Stirred Tank Reactor example.     

A Characterization of the ω-Limit Sets of Interval Maps

Given a continuous interval map f we obtain a characterization of those closed nowhere dense and strongly invariant sets by f that can be -limit sets for such a map.     

Constrained control for uncertain linear systems

The linear state feedback synthesis problem for uncertain linear systems with state and control constraints is considered. We assume that the uncertainties are present in both the state and input matrices and they are bounded. The main goal is to find a linear control law assuring that both state and input constraints are fulfilled at each time. The problem is solved by confining the state within a compact and convex positively invariant set contained in the allowable state region.It is shown that, if the controls, the state, and the uncertainties are subject to linear inequality constraints and if a candidate compact and convex polyhedral set is assigned, a feedback matrix assuring that this region is positively invariant for the closed-loop system is found as a solution of a set of linear inequalities for both continuous and discrete time design problems.These results are extended to the case in which additive disturbances are present. The relationship between positive invariance and system stability is investigated and conditions for the existence of positively invariant regions of the polyhedral type are given.The author is grateful to Drs. Vito Cerone and Roberto Tempo for their comments.     

CONSTRUCTIONS OF THE INVARIANT SETS AND INVARIANT MEASURES

In this paper, we will discuss the constructiOn problems about the invariant sets and invariant measures of continues maps~ which map complexes into themselves, using simplical approximation and Markov cbeirs. In [7], the author defined a matrix by using r-normal subdivi of the w,dimensional unit cube, considered it a Markov matrix, and constructed the invariantset and invafiant measure, In fact, the matrix he defined is not Markov matrix generally. So wewill give [7] and amendment in the last pert of this paper. We also construct an invariant set thatis the chain-recurrent set of the map by means of a non-negative matrix which only depends on themap. At hst, we will prove the higher dimension?Banach variation formuls that can simplify thetransition matrix.     

Monotonicity and positive invariance of linear systems over dioids

In this paper, we make connections between two apparently different concepts. The first concept is the (linear) monotonicity of a given matrix which is usually used in order to compare Markov chains. This concept is involved in the simplification of complex stochastic systems in order to control the approximation error made. The second concept is the positive invariance of sets by a (linear) map. The properties of positively invariant sets are involved in many different problems in classical control theory, such as constrained control, robustness analysis, optimisation, and also in aggregation of Markov chains (namely strong lumpability and coherency).

In the context of linear dynamical systems over semirings which play an important role in the study of discrete event systems, we establish links between monotone (or isotone) linear maps and linear maps which admit some special families of positively invariant sets.