Milan Korda

51 papers C 2Journal 38Unranked 11
YearRankTypeTitle / Venue / Authors
2025 J jnl
Clarifying the Effect of Mean Subtraction on Dynamic Mode Decomposition.
SIAM J. Appl. Dyn. Syst.
Gowtham S. Seenivasaharagavan, Milan Korda, Hassan Arbabi, Igor Mezic
2025 J jnl
Convergence rates for sums-of-squares hierarchies with correlative sparsity.
Math. Program.
Milan Korda, Victor Magron, Rodolfo Rios-Zertuche
2025 J jnl
Dictionary-Free Koopman Model Predictive Control with Nonlinear Input Transformation.
SIAM J. Appl. Dyn. Syst.
Vít Cibulka, Milan Korda, Tomás Hanis
2025 J jnl
Erratum to "Solving Unbounded Optimal Control Problems With the Moment-SOS Hierarchy".
IEEE Control. Syst. Lett.
Karolína Sehnalová, Didier Henrion, Milan Korda, Martin Kruzík
2025 J jnl
Learning Parametric Koopman Decompositions for Prediction and Control.
SIAM J. Appl. Dyn. Syst.
Yue Guo, Milan Korda, Ioannis G. Kevrekidis, Qianxiao Li
2025 — conf
Optimal Control of 1D Semilinear Heat Equations with Moment-SOS Relaxations
ECC
Charlie Lebarbé, Émilien Flayac, Michel Fournié, Didier Henrion, Milan Korda
2025 J jnl
Real-time control of a magnetohydrodynamic flow.
CoRR
Adam Uchytil, Milan Korda, Jirí Zemánek
2025 J jnl
Set-Valued Koopman Theory for Control Systems.
SIAM J. Control. Optim.
Benoît Bonnet-Weill, Milan Korda
2025 J jnl
Solving Unbounded Optimal Control Problems With the Moment-SOS Hierarchy.
IEEE Control. Syst. Lett.
Karolína Sehnalová, Didier Henrion, Milan Korda, Martin Kruzík
2024 J jnl
Exploiting ideal-sparsity in the generalized moment problem with application to matrix factorization ranks.
Math. Program.
Milan Korda, Monique Laurent, Victor Magron, Andries Steenkamp
2024 J jnl
Occupation Measure Relaxations in Variational Problems: The Role of Convexity.
SIAM J. Optim.
Didier Henrion, Milan Korda, Martin Kruzík, Rodolfo Rios-Zertuche
2023 J jnl
Convergence rates for sums-of-squares hierarchies with correlative sparsity.
CoRR
Milan Korda, Victor Magron, Rodolfo Rios-Zertuche
2023 J jnl
Exploiting Term Sparsity in Moment-SOS Hierarchy for Dynamical Systems.
IEEE Trans. Autom. Control.
Jie Wang, Corbinian Schlosser, Milan Korda, Victor Magron
2023 — conf
Peak Estimation of Time Delay Systems Using Occupation Measures.
CDC
Jared Miller, Milan Korda, Victor Magron, Mario Sznaier
2023 J jnl
Peak Estimation of Time Delay Systems using Occupation Measures.
CoRR
Jared Miller, Milan Korda, Victor Magron, Mario Sznaier
2023 J jnl
Polynomial argmin for recovery and approximation of multivariate discontinuous functions.
CoRR
Didier Henrion, Milan Korda, Jean-Bernard Lasserre
2023 J jnl
Revisiting Semidefinite Programming Approaches to Options Pricing: Complexity and Computational Perspectives.
INFORMS J. Comput.
Didier Henrion, Felix Kirschner, Etienne de Klerk, Milan Korda, Jean-Bernard Lasserre, Victor Magron
2022 J jnl
Sparsity Structures for Koopman and Perron-Frobenius Operators.
SIAM J. Appl. Dyn. Syst.
Corbinian Schlosser, Milan Korda
2022 J jnl
Spatio-Temporal Decomposition of Sum-of-Squares Programs for the Region of Attraction and Reachability.
IEEE Control. Syst. Lett.
Vít Cibulka, Milan Korda, Tomás Hanis
2022 J jnl
Stability and Performance Verification of Dynamical Systems Controlled by Neural Networks: Algorithms and Complexity.
IEEE Control. Syst. Lett.
Milan Korda
2021 J jnl
Converging outer approximations to global attractors using semidefinite programming.
Autom.
Corbinian Schlosser, Milan Korda
2021 J jnl
Convex Computation of Extremal Invariant Measures of Nonlinear Dynamical Systems and Markov Processes.
J. Nonlinear Sci.
Milan Korda, Didier Henrion, Igor Mezic
2021 J jnl
Model Predictive Control of a Vehicle using Koopman Operator.
CoRR
Vít Cibulka, Milan Korda, Tomás Hanis, Martin Hromcík
2021 — conf
Peak Estimation for Uncertain and Switched Systems.
CDC
Jared Miller, Didier Henrion, Mario Sznaier, Milan Korda
2021 J jnl
Peak Estimation for Uncertain and Switched Systems.
CoRR
Jared Miller, Didier Henrion, Mario Sznaier, Milan Korda
2020 J jnl
Computing Controlled Invariant Sets from Data Using Convex Optimization.
SIAM J. Control. Optim.
Milan Korda
2020 J jnl
Optimal Construction of Koopman Eigenfunctions for Prediction and Control.
IEEE Trans. Autom. Control.
Milan Korda, Igor Mezic
2019 J jnl
Control-Oriented, Data-Driven Models of Thermal Dynamics.
CoRR
Ljuboslav Boskic, Milan Korda, Igor Mezic
2018 — conf
A Data-Driven Koopman Model Predictive Control Framework for Nonlinear Partial Differential Equations.
CDC
Hassan Arbabi, Milan Korda, Igor Mezic
2018 J jnl
Convergence rates of moment-sum-of-squares hierarchies for volume approximation of semialgebraic sets.
Optim. Lett.
Milan Korda, Didier Henrion
2018 J jnl
Linear predictors for nonlinear dynamical systems: Koopman operator meets model predictive control.
Autom.
Milan Korda, Igor Mezic
2018 J jnl
On Convergence of Extended Dynamic Mode Decomposition to the Koopman Operator.
J. Nonlinear Sci.
Milan Korda, Igor Mezic
2017 — conf
Control of nonlinear systems with explicit-MPC-like controllers.
CDC
Ivan Pejcic, Milan Korda, Colin N. Jones
2017 J jnl
Convergence rates of moment-sum-of-squares hierarchies for optimal control problems.
Syst. Control. Lett.
Milan Korda, Didier Henrion, Colin N. Jones
2017 J jnl
On turnpike and dissipativity properties of continuous-time optimal control problems.
Autom.
Timm Faulwasser, Milan Korda, Colin N. Jones, Dominique Bonvin
2017 J jnl
Solving the Infinite-Horizon Constrained LQR Problem Using Accelerated Dual Proximal Methods.
IEEE Trans. Autom. Control.
Giorgos Stathopoulos, Milan Korda, Colin N. Jones
2017 J jnl
Stability and performance verification of optimization-based controllers.
Autom.
Milan Korda, Colin N. Jones
2016 J jnl
Controller design and value function approximation for nonlinear dynamical systems.
Autom.
Milan Korda, Didier Henrion, Colin N. Jones
2015 J jnl
On Turnpike and Dissipativity Properties of Continuous-Time Optimal Control Problems.
CoRR
Timm Faulwasser, Milan Korda, Colin N. Jones, Dominique Bonvin
2014 C conf
Certification of fixed computation time first-order optimization-based controllers for a class of nonlinear dynamical systems.
ACC
Milan Korda, Colin N. Jones
2014 J jnl
Convex Computation of the Maximum Controlled Invariant Set For Polynomial Control Systems.
SIAM J. Control. Optim.
Milan Korda, Didier Henrion, Colin N. Jones
2014 J jnl
Convex Computation of the Region of Attraction of Polynomial Control Systems.
IEEE Trans. Autom. Control.
Didier Henrion, Milan Korda
2014 J jnl
Stochastic MPC Framework for Controlling the Average Constraint Violation.
IEEE Trans. Autom. Control.
Milan Korda, Ravi Gondhalekar, Frauke Oldewurtel, Colin N. Jones
2014 — conf
Turnpike and dissipativity properties in dynamic real-time optimization and economic MPC.
CDC
Timm Faulwasser, Milan Korda, Colin N. Jones, Dominique Bonvin
2013 — conf
Convex computation of the maximum controlled invariant set for discrete-time polynomial control systems.
CDC
Milan Korda, Didier Henrion, Colin N. Jones
2013 — conf
Convex computation of the region of attraction of polynomial control systems?
ECC
Didier Henrion, Milan Korda
2013 — conf
Inner Approximations of the Region of Attraction for Polynomial Dynamical Systems.
NOLCOS
Milan Korda, Didier Henrion, Colin N. Jones
2012 J jnl
Nonquadratic stochastic model predictive control: A tractable approach.
Autom.
Milan Korda, Jirí Cigler
2012 — conf
Stochastic model predictive control: Controlling the average number of constraint violations.
CDC
Milan Korda, Ravi Gondhalekar, Frauke Oldewurtel, Colin N. Jones
2011 C conf
On 1-norm stochastic optimal control with bounded control inputs.
ACC
Milan Korda, Jirí Cigler
2011 — conf
Strongly feasible stochastic model predictive control.
CDC/ECC
Milan Korda, Ravi Gondhalekar, Jirí Cigler, Frauke Oldewurtel