Title:Regions of Attraction Generation for State-Constrained Perturbed Discrete-Time Polynomial Systems

Abstract:In this paper we attempt to address a long-standing problem of computing regions of attraction for state-constrained perturbed discrete-time polynomial systems, where perturbations are time varying rather than constant. The region of attraction is a set of all states such that every possible trajectories initialized in it will respect the specified state constraint while approaching the equilibrium state eventually, regardless of the actions of uncertain perturbed inputs. The problem of computing regions of attraction is first reduced to the search for the unique bounded and continuous solution to an equation being a discrete analog to a modified Zubov's partial differential equation, and then boils down to a semi-definite programming problem such that an inner-approximation of the region of attraction can be gained by solving a single semi-definite program, rendering this method simple to implement. Moreover, a converging sequence of inner-approximations by solving the constructed semi-definite program to a set, which differs from the region of attraction with a set of measure at most as the same as that of the boundary of the region of attraction, is able to be obtained. Finally, our approach is evaluated on one simple example.