22 papers
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 through diffusion-driven instability. Steering these patterns from one configuration to another ca…
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…
S-GBT: Smooth Growth Bound Tensor for Certified Robustness Against Word Substitution Attacks in NLP
Mohammed Bouri, Mohammed Erradi, Adnane Saoud
Despite recent progress in Natural Language Processing (NLP), models remain vulnerable to word substitution attacks. Most existing defenses focus on first order sensitivity and mea…