Milan Korda - Academic papers

Google scholar profile

Working papers

1. M. Korda Stability and performance verification of dynamical systems controlled by neural networks: algorithms and complexity. Preprint & Matlab Code.

2. GS Seenivasaharagavan, M Korda, H Arbabi, I Mezić. Mean Subtraction and Mode Selection in Dynamic Mode Decomposition. Preprint.

3. C. Schlosser, M. Korda Sparse moment-sum-of-squares relaxations for nonlinear dynamical systems with guaranteed convergence. Preprint.

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

5. M. Korda, D. Henrion, J. B. Lasserre. Moments and convex optimization for analysis and control of nonlinear partial differential equations. Submitted. Preprint

6. H. Arbabi, M.Korda and I. Mezić. A data-driven Koopman model predictive control framework for nonlinear flows. Preprint & Matlab Code.

Journal papers

1. 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 (to appear). Preprint

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

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

4. M. Korda, D. Henrion, I.Mezić. Convex computation of extremal invariant measures of nonlinear dynamical systems and Markov processes. Journal of Nonlinear Science, 2020, to appear. Preprint

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

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

7. M. Korda and I.Mezić. On Convergence of Extended Dynamic Mode Decomposition to the Koopman Operator. Journal of Nonlinear Science, 2018. Preprint.

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

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

10. T. Faulwasser, M. Korda, C. N. Jones and D. Bonvin. On Turnpike and Dissipativity Properties of Continuous-Time Optimal Control Problems. Automatica, 2017. Preprint.

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

12. 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

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

14. 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

15. 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.

16. 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.

17. M. Korda and J. Cigler. Nonquadratic Stochastic Model Predictive Control: A Tractable Approach. Automatica, 2012. Preprint

Book chapters

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

2. 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.

3. 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. 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.

2. 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.

3. 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.

4. 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.

5. 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.

6. 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.

7. 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

8. 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.

9. 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.

10. 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.

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

12. 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.

13. 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

14. 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.

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

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