6 papers
Constricting Tubes for Prescribed-Time Safe Control
Darshan Gadginmath, Ahmed Allibhoy, Fabio Pasqualetti
We propose a constricting Control Barrier Function (CBF) framework for prescribed-time control of control-affine systems with input constraints. Given a system starting outside a t…
Provably Safe Generative Sampling with Constricting Barrier Functions
Darshan Gadginmath, Ahmed Allibhoy, Fabio Pasqualetti
Flow-based generative models, such as diffusion models and flow matching models, have achieved remarkable success in learning complex data distributions. However, a critical gap re…
Global Optimization Through Heterogeneous Oscillator Ising Machines
Ahmed Allibhoy, Arthur N. Montanari, Fabio Pasqualetti +1
Oscillator Ising machines (OIMs) are networks of coupled oscillators that seek the minimum energy state of an Ising model. Since many NP-hard problems are equivalent to the minimiz…
Regularity Properties of Optimization-Based Controllers
Pol Mestres, Ahmed Allibhoy, Jorge Cortés
This paper studies regularity properties of optimization-based controllers, which are obtained by solving optimization problems where the parameter is the system state and the opti…
Anytime Solvers for Variational Inequalities: the (Recursive) Safe Monotone Flows
Ahmed Allibhoy, Jorge Cortés
This paper synthesizes anytime algorithms, in the form of continuous-time dynamical systems, to solve monotone variational inequalities. We introduce three algorithms that solve th…
Data-based Receding Horizon Control of Linear Network Systems
Ahmed Allibhoy, Jorge Cortés
We propose a distributed data-based predictive control scheme to stabilize a network system described by linear dynamics. Agents cooperate to predict the future system evolution wi…