Set-invariance characterizations of discrete-time descriptor systems with application to active mode detection | Publicación