Linear functional state bounding for perturbed time-delay systems and its application

This paper considers time-delay systems with bounded disturbances. We study a new problem of finding an upper bound of an absolute value function of any given linear functional of the state vector starting from the origin of the system. Based on the Lyapunov-Krasovskii method combining with the recent Wirtinger-based integral inequality that has just been proposed by Seuret & Gouaisbaut (2013. Wirtinger-based integral inequality: application to time-delay systems. Automatica, 49, 2860-2866), sufficient conditions for the existence of an upper bound of the function are derived. The obtained results are shown to be more effective than those adapted from the existing works on reachable set bounding. Furthermore, the obtained results are applied to refine existing ellipsoidal bounds of the reachable sets. The effectiveness of the obtained results is illustrated by two numerical examples.

Partial state bounding with a pre-specified time of non-linear discrete systems with time-varying delays

In this study, the authors address a new problem of finding, with a pre-specified time, bounds of partial states of non-linear discrete systems with a time-varying delay. A novel computational method for deriving the smallest bounds is presented. The method is based on a new comparison principle, a new algorithm for finding the infimum of a fractal function, and linear programming. The effectiveness of our obtained results is illustrated through a numerical example.

On backwards and forwards reachable sets bounding for perturbed time-delay systems

Linear systems with interval time-varying delay and unknown-but-bounded disturbances are considered in this paper. We study the problem of finding outer bound of forwards reachable sets and inter bound of backwards reachable sets of the system. Firstly, two definitions on forwards and backwards reachable sets, where initial state vectors are not necessary to be equal to zero, are introduced. Then, by using the Lyapunov-Krasovskii method, two sufficient conditions for the existence of: (i) the smallest possible outer bound of forwards reachable sets; and (ii) the largest possible inter bound of backwards reachable sets, are derived. These conditions are presented in terms of linear matrix inequalities with two parameters need to tuned, which therefore can be efficiently solved by combining existing convex optimization algorithms with a two-dimensional search method to obtain optimal bounds. Lastly, the obtained results are illustrated by four numerical examples.