12 citations · 34 across the 8 of their papers we have counts for
3 papers · 1 filter
Certified Inductive Synthesis for Online Mixed-Integer Optimization
Marco Zamponi, Emilio Incerto, Daniele Masti +1
In fields such as autonomous and safety-critical systems, online optimization plays a crucial role in control and decision-making processes, often requiring the integration of cont…
Proper Lumping for Positive Bilinear Control Systems
Antonio Jiménez-Pastor, Daniele Toller, Mirco Tribastone +2
Positive systems naturally arise in situations where the model tracks physical quantities. Although the linear case is well understood, analysis and controller design for nonlinear…
Certification of the proximal gradient method under fixed-point arithmetic for box-constrained QP problems
Pablo Krupa, Omar Inverso, Mirco Tribastone +1
In safety-critical applications that rely on the solution of an optimization problem, the certification of the optimization algorithm is of vital importance. Certification and subo…