Reachability and Invariance for Linear Sampled-data Systems

Abstract

Abstract: We consider linear sampled-data dynamical systems subject to additive and bounded disturbances, and study properties of their forward and backward reach sets as well as robust positively invariant sets. We propose topologically compatible notions for the sampled-data forward and backward reachability as well as robust positive invariance. We also propose adequate notions for maximality and minimality of related robust positively invariant sets. Keywords: Reachability Analysis, Robust Positive Invariance, Sampled-data Systems.