1 citations · 1 across the 5 of their papers we have counts for
7 papers
Model Predictive Control of Heating Systems via Koopman-Operator Bilinearization
Paula Chanfreut, Erfan Shakhesi, Mircea Lazar +2
Hydronic heat emitters are widely used in buildings, but their control is challenging due to nonlinear dynamics, arising from both the heat transfer in each emitter and the hydraul…
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…
Discrete-time Control Barrier Functions for Guaranteed Recursive Feasibility in Nonlinear MPC: An Application to Lane Merging
Alexander Katriniok, Erfan Shakhesi, W. P. M. H. Heemels
In this paper, we present conditions under which the terminal ingredients, defined by discrete-time control barrier function (DTCBF) certificates, guarantee recursive feasibility i…