53 citations · 98 across the 7 of their papers we have counts for
8 papers
Computing with Coupled Oscillator Networks: Optimization, Memory, and Modern AI Primitives
Ahmed Allibhoy, Fabio Pasqualetti
We explore how synchronization in coupled oscillator networks may be employed to perform a variety of computing tasks. These systems are becoming more attractive as an alternative…
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…
Control Barrier Function Based Design of Gradient Flows for Constrained Nonlinear Programming
Ahmed Allibhoy, Jorge Cortés
This paper considers the problem of designing a continuous-time dynamical system that solves a constrained nonlinear optimization problem and makes the feasible set forward invaria…
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…