Showing 2026Show all
2 papers · 1 filter
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…
eess.SY2026
Safety by Invariance, Liveness through Refinement: Heterogeneous Contract Framework for Co-Design of Layered Control
Yoshinari Takayama, Alessio Iovine, Bart Besselink +2
Real-world control systems must achieve long-horizon objectives (liveness) while respecting continuous-time safety constraints, a combination that motivates hierarchical layered co…