Invariance is Compositional for Continuous-time Systems: From Sleekness to Lebesgue Density

Othman Cherkaoui Dekkaki, Sadek Belamfedel Alaoui, Olayo Reynaud +3

This work establishes the first bidirectional compositional invariance result: robust forward invariance of a global Cartesian product set is shown to be equivalent to robust forwa…