TinySDP is the first semidefinite programming solver designed for embedded systems, enabling real-time certifiable model predictive control with nonconvex geometric constraints on microcontrollers.
Semidefinite programming.SIAM review, 38(1):49–95
3 Pith papers cite this work. Polarity classification is still indexing.
citation-role summary
citation-polarity summary
years
2026 3verdicts
UNVERDICTED 3roles
background 2polarities
background 2representative citing papers
For generically generated moment matrices with O(n^d) atoms, the minimal face of the pseudo-moment cone is simplicial, enabling an efficient Carathéodory-type atomic decomposition algorithm.
An SDP relaxation combined with a rounding scheme solves the balanced minimum evolution phylogenetic inference problem and produces accurate trees on simulated and empirical data.
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.
-
Simplicial Regularizability of the Pseudo-Moment Cone and Carath\'eodory-Type Atomic Decomposition of Moment Matrices
For generically generated moment matrices with O(n^d) atoms, the minimal face of the pseudo-moment cone is simplicial, enabling an efficient Carathéodory-type atomic decomposition algorithm.
-
Phylogenetic Inference under the Balanced Minimum Evolution Criterion via Semidefinite Programming
An SDP relaxation combined with a rounding scheme solves the balanced minimum evolution phylogenetic inference problem and produces accurate trees on simulated and empirical data.