TinySDP is the first semidefinite programming solver designed for embedded systems, enabling real-time certifiable model predictive control with nonconvex geometric constraints on microcontrollers.
Control barrier function based quadratic programs for safety critical systems.IEEE Transactions on Automatic Control, 62(8):3861–3876
2 Pith papers cite this work. Polarity classification is still indexing.
2
Pith papers citing it
citation-role summary
background 1
citation-polarity summary
years
2026 2verdicts
UNVERDICTED 2roles
background 1polarities
background 1representative citing papers
SnareNet introduces a repair layer that navigates the range space of constraints plus adaptive relaxation training to enforce hard non-convex constraints on neural network outputs more reliably than prior methods.
citing papers explorer
-
TinySDP: Real Time Semidefinite Optimization for Certifiable and Agile Edge Robotics
TinySDP is the first semidefinite programming solver designed for embedded systems, enabling real-time certifiable model predictive control with nonconvex geometric constraints on microcontrollers.
-
SnareNet: Flexible Repair Layers for Neural Networks with Hard Constraints
SnareNet introduces a repair layer that navigates the range space of constraints plus adaptive relaxation training to enforce hard non-convex constraints on neural network outputs more reliably than prior methods.