Section: New Results
Set invariance for discrete-time delay systems
Participants : Sorin Olaru, Mohammed Laraba [L2S] , Silviu Niculescu, Franco Blanchini [Univ. Udine, Italy] , Stefano Miani [Univ. Udine, Italy] .
The existence of positively invariant sets for linear delay-difference equations was pursued in . We made a survey effort and presented in a unified framework all known necessary and/or sufficient conditions for the existence of invariant sets with respect to dynamical systems described by linear discrete time-delay difference equations (dDDEs). Secondly, we address the construction of invariant sets in the original state space (also called D-invariant sets) by exploiting the forward mappings. The notion of D-invariance is appealing since it provides a region of attraction, which is difficult to obtain for delay systems without taking into account the delayed states in some appropriate extended state space model. The paper contains a sufficient condition for the existence of ellipsoidal D-contractive sets for dDDEs, and a necessary and sufficient condition for the existence of D-invariant sets in relation to linear time-varying dDDE stability. Another contribution is the clarification of the relationship between convexity (convex hull operation) and D-invariance of linear dDDEs. In short, it is shown that the convex hull of the union of two or more D-invariant sets is not necessarily D-invariant, while the convex hull of a non-convex D-invariant set is D-invariant. Positive invariance is an essential concept in control theory, with applications to constrained dynam-ical systems analysis, uncertainty handling as well as related control design problems. It serves as a basic tool in many topics, such as model predictive control, fault tolerant control and reference governor design. Furthermore, there exists a close link between classical stability theory and positive invariant sets. It is worth mentioning that, in Lyapunov theory, invariance is implicitly described.