Milan Korda - Academic papers

Google scholar profile

Working papers

1. L. B. Gaggioli, D. Henrion, M. Korda. Global optimization of low-rank polynomials. Preprint

2. A. Uchytil, M. Korda, J. Zemánek. Data-driven control of a magnetohydrodynamic flow. Preprint

3. N. Augier, M. Korda, R. Rios-Zertuche. Sufficient conditions for the absence of relaxation gaps in state-constrained optimal control. Preprint

4. RE Curto, PJ di Dio, M Korda, V Magron. Time-dependent moments from partial differential equations and the time-dependent set of atoms. Preprint

Journal papers

1. M Korda, R Rios-Zertuche. The gap between a variational problem and its occupation measure relaxation. Accepted for publication in ESAIM: Control, Optimisation and Calculus of Variations. Preprint

2. C. Schlosser, M. Korda. Sparse moment-sum-of-squares relaxations for nonlinear dynamical systems with guaranteed convergence. Accepted for publication in Mathematics of Control, Signals, and Systems (MCSS). Preprint

3. N. Augier, M. Korda, R. Rios-Zertuche. Young measure relaxation gaps for controllable systems with smooth state constraints. Journal of Differential Equations, 459:114036, 2026. Preprint

4. B Bonnet-Weill, M Korda. Set-Valued Koopman Theory for Control Systems. SIAM Journal on Control and Optimization, 63(5):3644–3673, 2025. Preprint

5. V Cibulka, M Korda, T Haniš. Dictionary-Free Koopman Model Predictive Control with Nonlinear Input Transformation. SIAM Journal on Applied Dynamical Systems, 24(1):94–130, 2025. Preprint

6. Y Guo, M Korda, IG Kevrekidis, Q Li. Learning Parametric Koopman Decompositions for Prediction and Control. SIAM Journal on Applied Dynamical Systems, 24(1):744–781, 2025. Preprint

7. GS Seenivasaharagavan, M Korda, H Arbabi, I Mezić. Clarifying the Effect of Mean Subtraction on Dynamic Mode Decomposition. SIAM Journal on Applied Dynamical Systems, 24(3):2318–2344, 2025. Preprint

8. D Henrion, M Korda, JB Lasserre. Polynomial argmin for recovery and approximation of multivariate discontinuous functions. Constructive Approximation, 2026. Preprint

9. K. Sehnalová, D. Henrion, M. Korda, M. Kružík. Solving unbounded optimal control problems with the moment-SOS hierarchy. IEEE Control Systems Letters, 9:288–293, 2025. DOI

10. V. Cibulka, M. Korda, T. Hanis. Towards optimal spatio-temporal decomposition of control-related sum-of-squares programs. International Journal of Robust and Nonlinear Control, 34(18):11847–11867, 2024. DOI

11. M Korda, V Magron, R Rios-Zertuche. Convergence rates for sums-of-squares hierarchies with correlative sparsity. Mathematical Programming, 2024. Preprint

12. N. Augier, D. Henrion, M. Korda, V. Magron. Symmetry reduction and recovery of trajectories of optimal control problems via measure relaxations. ESAIM: Control, Optimisation and Calculus of Variations, 30:63, 2024. DOI

13. D. Henrion, M. Korda, M. Kružík, R. Rios-Zertuche. Occupation measure relaxations in variational problems: the role of convexity. SIAM Journal on Optimization, 2024. Preprint

14. L. Do, M. Korda, Z. Hurák. Controlled synchronization of coupled pendulums by Koopman Model Predictive Control. Control Engineering Practice, 2023. Preprint

15. J. Wang, C. Schlosser, M. Korda, and V. Magron. Exploiting term sparsity in moment-sos hierarchy for dynamical systems. IEEE Transactions on Automatic Control, 2023. Preprint

16. M. Korda, M. Laurent, V. Magron, and A. Steenkamp. Exploiting ideal-sparsity in the generalized moment problem with application to matrix factorization ranks. Mathematical Programming, 2023. Preprint

17. D. Henrion, F. Kirschner, E. De Klerk, M. Korda, J. B. Lasserre, and V. Magron. Revisiting semidefinite programming approaches to options pricing: complexity and computational perspectives INFORMS Journal on Computing, 2023. Preprint

18. M. Korda. Stability and performance verification of dynamical systems controlled by neural networks: algorithms and complexity. IEEE Control Systems Letters 6, 2022. Preprint & Matlab Code.

19. C. Schlosser, M. Korda. Sparsity Structures for Koopman and Perron–Frobenius Operators. SIAM Journal on Applied Dynamical Systems, 2022. Preprint

20. C. Schlosser, M. Korda Converging outer approximations to global attractors using semidefinite programming. Automatica, 2021 Preprint & Matlab Code.

21. V. Cibulka, M. Korda, T. Haniš. Spatio-temporal decomposition of sum-of-squares programs for the region of attraction and reachability. IEEE Control Systems Letters, 2021. Preprint

22. M. Korda. Computing controlled invariant sets from data using convex optimization. SIAM Journal on Control and Optimization, 2020. Preprint & Matlab Code.

23. M. Korda, I. Mezić. Optimal construction of Koopman eigenfunctions for prediction and control. IEEE Transactions on Automatic Control, 2020. Preprint Matlab Code.

24. M. Korda, D. Henrion, I. Mezić. Convex computation of extremal invariant measures of nonlinear dynamical systems and Markov processes. Journal of Nonlinear Science, 31(14), 2021. Preprint

25. M. Korda, M. Putinar and I.Mezić. Data-driven spectral analysis of the Koopman operator. Applied and Computational Harmonic Analysis, 2020. Preprint & Matlab Code.

26. M. Korda and I. Mezić. Linear predictors for nonlinear dynamical systems: Koopman operator meets model predictive control. Automatica, 2018. Preprint & Matlab Code.

27. M. Korda and I.Mezić. On convergence of extended dynamic mode decomposition to the Koopman operator. Journal of Nonlinear Science, 2018. Preprint.

28. M. Korda and C. N. Jones. Stability and Performance Verification of Optimization-based Controllers. Automatica, 2017. Preprint.

29. M. Korda and C. N. Jones. Convergence rates of moment-sum-of-squares hierarchies for optimal control problems. Systems and Control Letters, 2017. Preprint.

30. T. Faulwasser, M. Korda, C. N. Jones and D. Bonvin. On turnpike and dissipativity properties of continuous-time optimal control problems. Automatica, 2017. Preprint.

31. M. Korda and D. Henrion. Convergence rates of moment-sum-of-squares hierarchies for volume approximation of semialgebraic sets. Optimization Letters, 2017. Preprint

32. G. Stathopoulos, M. Korda and C. N. Jones. Solving the infinite-horizon constrained LQR problem using splitting techniques. IEEE Transactions on Automatic Control, 2017. Preprint

33. M. Korda, D. Henrion and C. N. Jones. Controller design and value function approximation for nonlinear dynamical systems. Automatica, 2016. Preprint

34. M. Korda, D. Henrion and C. N. Jones. Convex computation of the maximum controlled invariant set for polynomial control systems. SIAM Journal on Control and Optimization, 2014. Preprint

35. D. Henrion and M. Korda. Convex computation of the region of attraction of polynomial control systems. IEEE Transactions on Automatic Control, 2014. Preprint & Matlab Code.

36. M. Korda, R. Gondhalekar, F. Oldewurtel and C. N. Jones. Stochastic MPC framework for controlling the average constraint violation. IEEE Transactions on Automatic Control, 2014. Preprint.

37. M. Korda and J. Cigler. Nonquadratic stochastic model predictive control: A tractable approach. Automatica, 2012. Preprint

Book chapters

1. M. Korda, D. Henrion, J. B. Lasserre. Moments and convex optimization for analysis and control of nonlinear PDEs. Handbook of Numerical Analysis Volume 23, 2022. Preprint

2. M Korda, I. Mezić. Koopman Model Predictive Control of Nonlinear Dynamical Systems. The Koopman Operator in Systems and Control, Springer, Cham, 2020.

3. S. Zelenika, E. Kamenar, M. Korda, I. Mezić. Application of Koopman-Based Control in Ultrahigh-Precision Positioning. The Koopman Operator in Systems and Control, Springer, Cham, 2020.

4. M. Kvasnica, C. N. Jones, I. Pejcic, J. Holaza, M. Korda, P. Bakar'av c Real-Time Implementation of Explicit Model Predictive Control. Handbook of Model Predictive Control, Birkhäuser, Cham, 2019.

Books

1. D. Henrion, M. Korda, J. B. Lasserre. Moment-SOS Hierarchy, Lectures in Probability, Statistics, Computational Geometry, Control and Nonlinear PDEs. Word Scientific, 2020.

Conference papers (peer reviewed)

1. C. Lebarbé, É. Flayac, M. Fournié, D. Henrion, M. Korda. Optimal Control of 1D Semilinear Heat Equations with Moment-SOS Relaxations. European Control Conference (ECC), 2025. Preprint

2. J. Miller, M. Korda, V. Magron, M. Sznaier. Peak Estimation of Time Delay Systems using Occupation Measures, 62nd IEEE Conference on Decision and Control (CDC), 2023. Preprint

3. V. Cibulka, M. Korda, T. Hanis, M. Hromcik. Model Predictive Control of a Vehicle Using the Koopman Operator. World Congress of the International Federation of Automatic Control (IFAC), 2020. Preprint.

4. H. Arbabi, M. Korda, I. Mezić. A Data-Driven Koopman Model Predictive Control Framework for Nonlinear Partial Differential Equations. IEEE Conference on Decision and Control (CDC), 2018. Preprint & Matlab Code.

5. M. Korda, Yoshihiko Susuki and I. Mezić. Power grid transient stabilization using Koopman model predictive control. Control of Power and Energy Systems (CPES), 2018. Preprint.

6. E. Kamenar, M. Korda, S. Zelenika, I. Mezić, S. Maćešić. Koopman-based model predictive control of a nanometric positioning system. EUSPEN 2018. Preprint.

7. I. Pejcic, M. Korda and C. N. Jones. Control of Nonlinear Systems with Explicit-MPC-like Controllers. IEEE Conference on Decision and Control (CDC), 2017. Preprint.

8. M. Korda and C. N. Jones. Certification of fixed computation time first-order optimization-based controllers for a class of nonlinear dynamical systems. IEEE American Control Conference (ACC), 2014. Preprint.

9. T. Faulwasser, M. Korda, C. N. Jones and D. Bonvin. Turnpike and dissipativity properties in dynamic real-time optimization and economic MPC. IEEE Conference on Decision and Control (CDC), 2014. Preprint

10. M. Korda, D. Henrion and C. N. Jones. Controller design and region of attraction estimation for nonlinear dynamical systems. World Congress of the International Federation of Automatic Control (IFAC), 2014. Preprint.

11. G. Stathopoulos, M. Korda and C. N. Jones. Solving the infinite-horizon constrained LQR problem using splitting techniques. World Congress of the International Federation of Automatic Control (IFAC), 2014 Preprint.

12. M. Korda, D. Henrion and C. N. Jones. Convex computation of the maximum controlled invariant set for discrete-time polynomial control systems. IEEE Conference on Decision and Control (CDC), 2013. Preprint.

13. D. Henrion and M. Korda. Convex computation of the region of attraction of polynomial control systems. IEEE European Control Conference (ECC), 2013. Preprint & Slides

14. J. Cigler, J. Siroky, M. Korda and C. N. Jones. On the selection of the most appropriate MPC problem formulation for buildings. REHVA World Congress CLIMA, 2013. Preprint.

15. M. Korda, D. Henrion and C. N. Jones. Inner approximations of the region of attraction for polynomial dynamical systems. IFAC Symposium on Nonlinear Control Systems (NOLCOS), 2013. Preprint & Matlab Code

16. M. Korda, R. Gondhalekar, F. Oldewurtel and C. N. Jones. Stochastic Model Predictive Control: Controlling the Average Number of Constraint Violations. IEEE Conference on Decision and Control (CDC), 2012. Preprint.

17. M. Korda, R. Gondhalekar, J. Cigler and F. Oldewurtel. Strongly feasible stochastic model predictive control. IEEE Conference on Decision and Control (CDC), 2011. Preprint

18. M. Korda and J. Cigler. On 1-norm stochastic optimal control with bounded control inputs. IEEE American Control Conference (ACC), 2011. Preprint