Browsing Artículos (Ingeniería de Sistemas y Automática) by Subject "Certification"
Now showing items 1-1 of 1
-
Article
Certification of the proximal gradient method under fixed-point arithmetic for box-constrained QP problems
(Elsevier, 2024-01)In safety-critical applications that rely on the solution of an optimization problem, the certification of the optimization ...