5 papers
Model Predictive Control for Dynamic Hydraulic Balancing in Building Radiator Heating Systems: Modeling, Design, and Experimental Validation
Erfan Shakhesi, Maurice Heemels, Paula Chanfreut
Hydronic radiator systems are among the most widely used heating systems in buildings. In the literature, radiator heat outputs are often assumed to be independent of one another a…
Verification and Synthesis of Discrete-Time Control Barrier Functions
Erfan Shakhesi, W. P. M. H. Heemels, Alexander Katriniok
Discrete-time Control Barrier Functions (DTCBFs) have recently attracted interest for guaranteeing safety and synthesizing safe controllers for discrete-time dynamical systems. Thi…
Counterexample-Guided Synthesis of Robust Discrete-Time Control Barrier Functions
Erfan Shakhesi, Alexander Katriniok, W. P. M. H. Heemels
Learning-based methods have gained popularity for training candidate Control Barrier Functions (CBFs) to satisfy the CBF conditions on a finite set of sampled states. However, sinc…
Synthesis of Discrete-time Control Barrier Functions for Polynomial Systems Based on Sum-of-Squares Programming
Erfan Shakhesi, W. P. M. H. Heemels, Alexander Katriniok
Discrete-time Control Barrier Functions (DTCBFs) are commonly utilized in the literature as a powerful tool for synthesizing control policies that guarantee safety of discrete-time…
Optimization-based Verification of Discrete-time Control Barrier Functions: A Branch-and-Bound Approach
Erfan Shakhesi, W. P. M. H. Heemels, Alexander Katriniok
Discrete-time Control Barrier Functions (DTCBFs) form a powerful control theoretic tool to guarantee safety and synthesize safe controllers for discrete-time dynamical systems. In…