2 papers
eess.SY2026
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…
math.OC2025
Nagumo Theorem For Constrained Differential Inclusions: Transversal Intersection and Set-Map Regularity
Olayo Reynaud, Mohamed Maghenem, Adnane Saoud +2
We study a solution-independent condition certifying forward invariance of closed sets for constrained continuous-time systems. The proposed condition is only necessary in general,…