On 1-norm stochastic optimal control with bounded control inputs. - Milan Korda; Jirí Cigler (ACC, 2011)

Strongly feasible stochastic model predictive control. - Milan Korda; Ravi Gondhalekar; Jirí Cigler; Frauke Oldewurtel (CDC/ECC, 2011)

Stochastic model predictive control: Controlling the average number of constraint violations. - Milan Korda; Ravi Gondhalekar; Frauke Oldewurtel; Colin N. Jones (CDC, 2012)

Nonquadratic stochastic model predictive control: A tractable approach. - Milan Korda; Jirí Cigler (Autom., 2012)

Convex computation of the maximum controlled invariant set for discrete-time polynomial control systems. - Milan Korda; Didier Henrion; Colin N. Jones (CDC, 2013)

Inner Approximations of the Region of Attraction for Polynomial Dynamical Systems. - Milan Korda; Didier Henrion; Colin N. Jones (NOLCOS, 2013)

Certification of fixed computation time first-order optimization-based controllers for a class of nonlinear dynamical systems. - Milan Korda; Colin N. Jones (ACC, 2014)

Turnpike and dissipativity properties in dynamic real-time optimization and economic MPC. - Timm Faulwasser; Milan Korda; Colin N. Jones; Dominique Bonvin (CDC, 2014)

Convex Computation of the Maximum Controlled Invariant Set For Polynomial Control Systems. - Milan Korda; Didier Henrion; Colin N. Jones (SIAM J. Control. Optim., 2014)

Convex Computation of the Region of Attraction of Polynomial Control Systems. - Didier Henrion; Milan Korda (IEEE Trans. Autom. Control., 2014)

Stochastic MPC Framework for Controlling the Average Constraint Violation. - Milan Korda; Ravi Gondhalekar; Frauke Oldewurtel; Colin N. Jones (IEEE Trans. Autom. Control., 2014)

Controller design and value function approximation for nonlinear dynamical systems. - Milan Korda; Didier Henrion; Colin N. Jones (Autom., 2016)

Control of nonlinear systems with explicit-MPC-like controllers. - Ivan Pejcic; Milan Korda; Colin N. Jones (CDC, 2017)

On turnpike and dissipativity properties of continuous-time optimal control problems. - Timm Faulwasser; Milan Korda; Colin N. Jones; Dominique Bonvin (Autom., 2017)

Stability and performance verification of optimization-based controllers. - Milan Korda; Colin N. Jones (Autom., 2017)

Convergence rates of moment-sum-of-squares hierarchies for optimal control problems. - Milan Korda; Didier Henrion; Colin N. Jones (Syst. Control. Lett., 2017)

Solving the Infinite-Horizon Constrained LQR Problem Using Accelerated Dual Proximal Methods. - Giorgos Stathopoulos; Milan Korda; Colin N. Jones (IEEE Trans. Autom. Control., 2017)

A Data-Driven Koopman Model Predictive Control Framework for Nonlinear Partial Differential Equations. - Hassan Arbabi; Milan Korda; Igor Mezic (CDC, 2018)

Linear predictors for nonlinear dynamical systems: Koopman operator meets model predictive control. - Milan Korda; Igor Mezic (Autom., 2018)

On Convergence of Extended Dynamic Mode Decomposition to the Koopman Operator. - Milan Korda; Igor Mezic (J. Nonlinear Sci., 2018)

Convergence rates of moment-sum-of-squares hierarchies for volume approximation of semialgebraic sets. - Milan Korda; Didier Henrion (Optim. Lett., 2018)

Control-Oriented, Data-Driven Models of Thermal Dynamics. - Ljuboslav Boskic; Milan Korda; Igor Mezic (CoRR, 2019)

Computing Controlled Invariant Sets from Data Using Convex Optimization. - Milan Korda (SIAM J. Control. Optim., 2020)

Optimal Construction of Koopman Eigenfunctions for Prediction and Control. - Milan Korda; Igor Mezic (IEEE Trans. Autom. Control., 2020)

Peak Estimation for Uncertain and Switched Systems. - Jared Miller; Didier Henrion; Mario Sznaier; Milan Korda (CDC, 2021)

Converging outer approximations to global attractors using semidefinite programming. - Corbinian Schlosser; Milan Korda (Autom., 2021)

Model Predictive Control of a Vehicle using Koopman Operator. - Vít Cibulka; Milan Korda; Tomás Hanis; Martin Hromcík (CoRR, 2021)

Convex Computation of Extremal Invariant Measures of Nonlinear Dynamical Systems and Markov Processes. - Milan Korda; Didier Henrion; Igor Mezic (J. Nonlinear Sci., 2021)

Spatio-Temporal Decomposition of Sum-of-Squares Programs for the Region of Attraction and Reachability. - Vít Cibulka; Milan Korda; Tomás Hanis (IEEE Control. Syst. Lett., 2022)

Stability and Performance Verification of Dynamical Systems Controlled by Neural Networks: Algorithms and Complexity. - Milan Korda (IEEE Control. Syst. Lett., 2022)

Sparsity Structures for Koopman and Perron-Frobenius Operators. - Corbinian Schlosser; Milan Korda (SIAM J. Appl. Dyn. Syst., 2022)

Peak Estimation of Time Delay Systems Using Occupation Measures. - Jared Miller; Milan Korda; Victor Magron; Mario Sznaier (CDC, 2023)

Polynomial argmin for recovery and approximation of multivariate discontinuous functions. - Didier Henrion; Milan Korda; Jean-Bernard Lasserre (CoRR, 2023)

Revisiting Semidefinite Programming Approaches to Options Pricing: Complexity and Computational Perspectives. - Didier Henrion; Felix Kirschner; Etienne de Klerk; Milan Korda; Jean-Bernard Lasserre; Victor Magron (INFORMS J. Comput., 2023)

Exploiting Term Sparsity in Moment-SOS Hierarchy for Dynamical Systems. - Jie Wang 037; Corbinian Schlosser; Milan Korda; Victor Magron (IEEE Trans. Autom. Control., 2023)

Occupation Measure Relaxations in Variational Problems: The Role of Convexity. - Didier Henrion; Milan Korda; Martin Kruzík; Rodolfo Rios-Zertuche (SIAM J. Optim., 2024)

Exploiting ideal-sparsity in the generalized moment problem with application to matrix factorization ranks. - Milan Korda; Monique Laurent; Victor Magron; Andries Steenkamp (Math. Program., 2024)

Solving Unbounded Optimal Control Problems With the Moment-SOS Hierarchy. - Karolína Sehnalová; Didier Henrion; Milan Korda; Martin Kruzík (IEEE Control. Syst. Lett., 2025)

Erratum to "Solving Unbounded Optimal Control Problems With the Moment-SOS Hierarchy". - Karolína Sehnalová; Didier Henrion; Milan Korda; Martin Kruzík (IEEE Control. Syst. Lett., 2025)

Dictionary-Free Koopman Model Predictive Control with Nonlinear Input Transformation. - Vít Cibulka; Milan Korda; Tomás Hanis (SIAM J. Appl. Dyn. Syst., 2025)

Learning Parametric Koopman Decompositions for Prediction and Control. - Yue Guo 006; Milan Korda; Ioannis G. Kevrekidis; Qianxiao Li (SIAM J. Appl. Dyn. Syst., 2025)

Convergence rates for sums-of-squares hierarchies with correlative sparsity. - Milan Korda; Victor Magron; Rodolfo Rios-Zertuche (Math. Program., 2025)

Real-time control of a magnetohydrodynamic flow. - Adam Uchytil; Milan Korda; Jirí Zemánek (CoRR, 2025)