Publications

2024

1. CDC2024

   A high-performant multi-parametric quadratic programming solver

   D. Arnström, and D. Axehill

   2024
2. ECC2024

   Stealthy Deactivation of Safety Filters

   D. Arnström, and A. Teixeira

   In 2024 European Control Conference (ECC), 2024
3. TAC

   Exact worst-case execution-time analysis for implicit model predictive control

   D. Arnström, D. Broman, and D. Axehill

   IEEE Transactions on Automatic Control, 2024

2023

1. PhD

   Real-time certified MPC: reliable active-set QP solvers

   D. Arnström

   Doctoral Thesis, Linköping University, 2023
2. IFAC 2023

   BnB-DAQP: a mixed-integer QP solver for embedded applications

   D. Arnström, and D. Axehill

   In 22nd IFAC World Congress, 2023

   Awarded the Young Author Prize

2022

1. CDC2022

   Lift, partition, and project: parametric complexity certification of active-set QP methods in the presence of numerical errors

   D. Arnström, and D. Axehill

   In IEEE 61th Conference on Decision and Control (CDC), 2022
2. CDC2022

   Exact complexity certification of a standard branch and bound method for mixed-integer linear programming

   S. Shoja, D. Arnström, and D. Axehill

   In IEEE 61th Conference on Decision and Control (CDC), 2022
3. ACC2022

   Overall complexity certification of a standard branch and bound method for mixed-integer quadratic programming

   S. Shoja, D. Arnström, and D. Axehill

   In 2022 American Control Conference (ACC), 2022
4. L-CSS

   A linear programming method based on proximal-point iterations with applications to multi-parametric programming

   D. Arnström, A. Bemporad, and D. Axehill

   IEEE Control Systems Letters, 2022
5. TAC

   A dual active-set solver for embedded quadratic programming using recursive LDL updates

   D. Arnström, A. Bemporad, and D. Axehill

   IEEE Transactions on Automatic Control, 2022
6. TAC

   A unifying complexity certification framework for active-set methods for convex quadratic programming

   D. Arnström, and D. Axehill

   IEEE Transactions on Automatic Control, 2022

2021

1. CDC2021

   Semi-explicit linear MPC using a warm-started active-set QP algorithm with exact complexity gurantees

   D. Arnström, and D. Axehill

   In IEEE 60th Conference on Decision and Control (CDC), 2021
2. Lic

   On complexity certification of active-set QP methods with applications to linear MPC

   D. Arnström

   Licentiate Thesis, Linköping University, 2021

2020

1. L-CSS ACC2021

   Complexity certification of proximal-point methods for numerically stable quadratic programming

   D. Arnström, A. Bemporad, and D. Axehill

   IEEE Control Systems Letters, 2020
2. L-CSS CDC2020

   Exact complexity certification of a nonnegative least-squares method for quadratic programming

   D. Arnström, A. Bemporad, and D. Axehill

   IEEE Control Systems Letters, 2020
3. IFAC2020

   Exact complexity certification of an early-terminating standard primal active-set method for quadratic programming

   D. Arnström, and D. Axehill

   IFAC-PapersOnLine, 2020

2019

1. CDC2019

   Exact complexity certification of a standard primal active-set method for quadratic programming

   D. Arnström, and D. Axehill

   In 2019 IEEE 58th Conference on Decision and Control (CDC), 2019

2018

1. M.Sc

   State estimation for truck and trailer systems using deep learning

   D. Arnström

   Master’s Thesis, Linköping University, 2018