Certifying Set Attractivity for Discrete-Time Uncertain Nonlinear Switched Systems
Provides a theoretical certification tool for set attractivity in uncertain switched systems, relevant for control theory and biological systems analysis.
The paper introduces AG-functions to certify robust local attractivity of sets for discrete-time uncertain nonlinear switched systems, and provides a constructive method based on contractive sets. The framework is demonstrated on a nonlinear switched system modeling antimicrobial resistance.
We introduce a new class of functions, called Attractivity Guarantee (AG)-functions, to certify the attractivity of sets for uncertain nonlinear switched systems in discrete time. The existence of an AG-function associated with a set guarantees the robust local attractivity of that set under the system dynamics. We propose a constructive method for obtaining piecewise-continuous AG-functions based on contractive sets for the system, and show that the existence of a robust control contractive set for the dynamics implies the existence of an appropriate AG-function, and hence the robust local attractivity of the set itself. We illustrate the proposed framework through examples that elucidate the theoretical concepts, and through the case study of a nonlinear switched system modelling antimicrobial resistance, which highlights the practical relevance of the approach to the analysis of biological systems.