AccelMPC: High-Rate, Low-Power FPGA-Accelerated Model Predictive Control for Tiny Drones

1. Key Themes

Breaking the Compute Barrier for Micro-Robotics

Tiny autonomous drones (under 50 grams) have historically been unable to run complex, constraint-aware control algorithms because their microcontrollers (MCUs) simply aren't fast enough. AccelMPC solves this by offloading the heavy mathematical optimization to a custom FPGA, achieving a 1 kHz (1,000 times per second) control loop on a 35-gram Crazyflie drone. This allows the drone to react to dynamic obstacles in real-time. As stated in the paper, "AccelMPC closes this gap through end-to-end hardware-algorithm co-design... enabling 1 kHz fully onboard constrained MPC with runtime-updated bounds, demonstrated through dynamic obstacle avoidance on a 35 g Crazyflie quadrotor" (Section I, Fig. 1).

Hardware-Algorithm Co-Design as a Necessity

The authors did not just port an existing algorithm to a new chip; they redesigned the math, the hardware architecture, and the physical circuit board together. They switched to 32-bit fixed-point arithmetic (instead of standard floating-point) and pre-computed heavy matrix math offline so the drone only has to do simple additions and multiplications in flight. The paper notes, "Together these choices reduce every arithmetic operation executed online to an addition, a multiplication, a shift, or a comparison, which is precisely the efficient operation set on embedded FPGAs" (Section IV-A).

Massive Scalability for Complex Planning

Beyond just flying fast, the system scales to handle massive optimization problems—over 20,000 variables and constraints. This means a tiny drone could potentially plan over very long time horizons or handle highly complex, cluttered environments without needing a larger, more power-hungry computer. The authors demonstrate that their "staged" FPGA mapping "scales to H = 1350, corresponding to 21,612 optimization variables and 24,312 constraints" (Section V-C).

2. Contrarian Perspectives

FPGAs Are Viable for SWaP-Constrained Autonomous Flight

Most robotics companies default to using standard microcontrollers for tiny robots, or they scale up the robot to accommodate power-hungry GPUs or edge CPUs. This paper argues that for highly constrained platforms, custom FPGA hardware is the only viable path to high-performance, constraint-aware control. The authors explicitly state, "Tiny quadrotors like the Crazyflie, however, can support neither power-hungry edge CPUs nor GPUs, and instead rely on resource-constrained microcontrollers (MCUs)" and that prior FPGA work "validate[s] only in simulation or hardware-in-the-loop. As such, none have been deployed and flown onboard an aerial robot" (Section III-B). AccelMPC proves FPGAs can be flown on tiny robots, achieving a "195.4× improvement in energy-delay product over state-of-the-art embedded microcontroller-based solvers" (Abstract).

Fixed-Point Arithmetic is Sufficient for High-Performance Control

The industry often defaults to floating-point math for safety-critical control systems out of fear that reduced-precision math will cause crashes or constraint violations. AccelMPC challenges this, showing that 32-bit fixed-point math introduces virtually no error while drastically cutting power and latency. The authors found "negligible additional error, with differences of approximately 10−6 m or less in predicted position RMSE, 10−7 m in maximum constraint violation, and 10−7 in control RMSE" (Section IV-A).

3. Companies Identified

AMD (Advanced Micro Devices)

Description: Semiconductor company that manufactures FPGAs. Why relevant: The custom PCB designed by the authors hosts an "AMD Artix-7 100T FPGA" (Section IV-C). This validates AMD's embedded FPGA line for use in highly SWaP-constrained autonomous robotics.

Bitcraze

Description: Manufacturer of the Crazyflie, a popular open-source micro quadrotor used widely in academic and applied robotics research. Why relevant: The Crazyflie is the physical platform used to validate AccelMPC. The authors note that "existing solutions to mount an FPGA on the Crazyflie were unsuitable for kilohertz-rate onboard optimization," forcing them to build a custom deck (Section IV-C). This highlights a hardware gap in Bitcraze's ecosystem for high-rate compute.

OptiTrack

Description: Manufacturer of motion capture camera systems. Why relevant: Used for state estimation and obstacle tracking in the flight experiments. The paper notes, "We deploy our approach onto a Crazyflie Brushless 2.1 in an OptiTrack eight-camera arena with a 120 Hz position stream" (Section V-A).

4. People Identified

Brian Plancher

Lab/Institution: Dartmouth College Why notable: Senior author and PI. Plancher is a leading researcher in embedded optimization and tiny robot learning. His lab (A2R-Lab) is actively bridging the gap between theoretical control and deployable hardware for resource-constrained systems. He is the contact author for the project (Section I footer).

Andrea Grillo

Lab/Institution: Dartmouth College / École Polytechnique Fédérale de Lausanne (EPFL) Why notable: Lead author of the paper, responsible for the end-to-end hardware-algorithm co-design and physical integration detailed in the study (Section I footer).

Zachary Manchester

Lab/Institution: Referenced via TinyMPC (Stanford/CMU robotics ecosystem) Why notable: Referenced multiple times for prior work on TinyMPC (References [16], [20]). Manchester's work on cached MPC for microcontrollers is the baseline that AccelMPC accelerates. Understanding his work is key to tracking the evolution of embedded control.

5. Operating Insights

Custom Hardware Integration is Required to Unlock Next-Gen Micro-Robot Capabilities

CTOs building micro-drones cannot rely on off-the-shelf compute decks if they want to run advanced, constraint-aware AI. The authors found that available decks "either provide insufficient FPGA resources... or rely on low-bandwidth interfaces such as I2C... which impose excessive communication latency" (Section IV-C). To achieve 1 kHz control, they had to design a custom four-layer PCB with a high-speed SPI interface directly to the drone's MCU. Startups in this space must invest in custom hardware engineering, not just software.

Algorithmic Caching Trades Flexibility for Massive Performance Gains

A highly deployable strategy for physical AI is to pre-compute as much as possible offline. AccelMPC caches the heavy matrix math (Cholesky factorization) and only updates the bounds (like obstacle positions) at runtime. "We assume that the matrices P and M are fixed, while the vectors l and u can be updated at runtime" (Section II-A). This allows the system to run deterministic, high-speed optimization without needing to do heavy linear algebra in flight. This caching strategy is applicable to any robotic system where the core physics model is static but the environment is dynamic.

6. Overlooked Insights

The "Staged" vs "Full Sparse" FPGA Mapping Trade-off

The paper details two distinct ways to map the algorithm to the FPGA, representing a critical engineering trade-off. "Full sparse" stores the math explicitly in memory, using less power but running out of memory at longer horizons. "Staged" regenerates some math on the fly, using slightly more power but scaling to massive horizons (H=1350). As the authors note, "neither mapping dominates across all design objectives" (Section V-C, Fig. 6). Hardware designers must choose their mapping based on the specific application: high-rate, short-horizon control (full sparse) vs. lower-rate, long-horizon planning (staged).

The Entire Project is Open-Source

The authors release the PCB design files, firmware, and FPGA solver code open-source at github.com/A2R-Lab (Section I, Section IV). This significantly lowers the barrier to entry for startups or research groups wanting to build FPGA-accelerated micro-drones, effectively providing a validated hardware reference design for high-rate embedded control.