18 citations · 52 across the 39 of their papers we have counts for
42 papers
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…
Safe Deep Reinforcement Learning for Energy-Efficient HVAC Control in Multi-Zone Residential Buildings
Oussama Ziadi, Abdelilah Rochd, Samir Idrissi Kaitouni +2
HVAC systems represent a major share of building energy consumption. Traditional control strategies are limited in coordinating energy-comfort tradeoffs across multiple zones simul…
Complete Abstractions of Monotone Control Systems: From Model-based to Data-Driven Systems
Adnane Saoud, Anas Makdesi, Mohamed Maghenem +2
In this paper, we introduce the approximate strong upper alternating simulation (ASUAS), a new behavioral relation for transition systems. Building on this relation, we construct u…
How Much Spatial Control Is Enough? Subdomain Optimal Control of Reaction-Diffusion Systems in Synthetic Developmental Biology
Mohamed Amine Ouchdiri, Hamza Faquir, Saad Benjelloun +1
Reaction--diffusion systems can produce spatial patterns such as stripes and spots by diffusion-driven instability. In synthetic developmental biology, such patterns are engineered…
Specification-aware Robustness Margins for Symbolic Controllers
Youssef Ait Si, Antoine Girard, Adnane Saoud
We address the problem of robust controller synthesis for a class of linear temporal logic (LTL) specifications over families of perturbed systems using symbolic control techniques…
Certified Reachable Sets for Nonlinear Reaction--Diffusion Systems
Mohamed Amine Ouchdiri, Mohamed Maghenem, Saad Benjelloun +1
Reachability analysis for dynamical systems seeks to compute a set containing all reachable states at a given time. Compared to ordinary differential equations (ODEs), the analysis…