13 papers · 1 filter
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…
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…
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…
Temporal Logic Resilience for Continuous-time Systems
Ratnangshu Das, Negar Monir, Youssef Ait Si +3
In this paper, we present a novel framework for quantifying a lower bound on resilience in continuous-time (non)linear systems subject to external disturbances while ensuring satis…
Resilient and Effort-Optimal Controller Synthesis under Temporal Logic Specifications
Youssef Ait Si, Ratnangshu Das, Negar Monir +3
In this paper, we consider the notions of effort and resilience of a dynamical control system defined by the maximum disturbance the system can withstand while satisfying given fin…