Milan Korda

Publication Activity (10 Years)

Years Active: 2011-2024
Publications (10 Years): 29

Top Topics

Nonlinear Partial Differential Equations

Predictive Control

Dynamical Systems

Top Venues

IEEE Trans. Autom. Control.

Publications

Milan Korda, Monique Laurent, Victor Magron, Andries Steenkamp
Exploiting ideal-sparsity in the generalized moment problem with application to matrix factorization ranks. Math. Program. 205 (1) (2024)
Didier Henrion, Milan Korda, Martin Kruzík, Rodolfo Rios-Zertuche
Occupation Measure Relaxations in Variational Problems: The Role of Convexity. SIAM J. Optim. 34 (2) (2024)
Didier Henrion, Milan Korda, Jean-Bernard Lasserre
Polynomial argmin for recovery and approximation of multivariate discontinuous functions. CoRR (2023)
Jared Miller, Milan Korda, Victor Magron, Mario Sznaier
Peak Estimation of Time Delay Systems using Occupation Measures. CoRR (2023)
Didier Henrion, Felix Kirschner, Etienne de Klerk, Milan Korda, Jean-Bernard Lasserre, Victor Magron
Revisiting Semidefinite Programming Approaches to Options Pricing: Complexity and Computational Perspectives. INFORMS J. Comput. 35 (2) (2023)
Jie Wang, Corbinian Schlosser, Milan Korda, Victor Magron
Exploiting Term Sparsity in Moment-SOS Hierarchy for Dynamical Systems. IEEE Trans. Autom. Control. 68 (12) (2023)
Jared Miller, Milan Korda, Victor Magron, Mario Sznaier
Peak Estimation of Time Delay Systems Using Occupation Measures. CDC (2023)
Milan Korda, Victor Magron, Rodolfo Rios-Zertuche
Convergence rates for sums-of-squares hierarchies with correlative sparsity. CoRR (2023)
Corbinian Schlosser, Milan Korda
Sparsity Structures for Koopman and Perron-Frobenius Operators. SIAM J. Appl. Dyn. Syst. 21 (3) (2022)
Milan Korda
Stability and Performance Verification of Dynamical Systems Controlled by Neural Networks: Algorithms and Complexity. IEEE Control. Syst. Lett. 6 (2022)
Vít Cibulka, Milan Korda, Tomás Hanis
Spatio-Temporal Decomposition of Sum-of-Squares Programs for the Region of Attraction and Reachability. IEEE Control. Syst. Lett. 6 (2022)
Milan Korda, Didier Henrion, Igor Mezic
Convex Computation of Extremal Invariant Measures of Nonlinear Dynamical Systems and Markov Processes. J. Nonlinear Sci. 31 (1) (2021)
Corbinian Schlosser, Milan Korda
Converging outer approximations to global attractors using semidefinite programming. Autom. 134 (2021)
Jared Miller, Didier Henrion, Mario Sznaier, Milan Korda
Peak Estimation for Uncertain and Switched Systems. CoRR (2021)
Vít Cibulka, Milan Korda, Tomás Hanis, Martin Hromcík
Model Predictive Control of a Vehicle using Koopman Operator. CoRR (2021)
Jared Miller, Didier Henrion, Mario Sznaier, Milan Korda
Peak Estimation for Uncertain and Switched Systems. CDC (2021)
Milan Korda
Computing Controlled Invariant Sets from Data Using Convex Optimization. SIAM J. Control. Optim. 58 (5) (2020)
Milan Korda, Igor Mezic
Optimal Construction of Koopman Eigenfunctions for Prediction and Control. IEEE Trans. Autom. Control. 65 (12) (2020)
Ljuboslav Boskic, Milan Korda, Igor Mezic
Control-Oriented, Data-Driven Models of Thermal Dynamics. CoRR (2019)
Milan Korda, Igor Mezic
On Convergence of Extended Dynamic Mode Decomposition to the Koopman Operator. J. Nonlinear Sci. 28 (2) (2018)
Milan Korda, Didier Henrion
Convergence rates of moment-sum-of-squares hierarchies for volume approximation of semialgebraic sets. Optim. Lett. 12 (3) (2018)
Milan Korda, Igor Mezic
Linear predictors for nonlinear dynamical systems: Koopman operator meets model predictive control. Autom. 93 (2018)
Hassan Arbabi, Milan Korda, Igor Mezic
A Data-Driven Koopman Model Predictive Control Framework for Nonlinear Partial Differential Equations. CDC (2018)
Timm Faulwasser, Milan Korda, Colin N. Jones, Dominique Bonvin
On turnpike and dissipativity properties of continuous-time optimal control problems. Autom. 81 (2017)
Milan Korda, Didier Henrion, Colin N. Jones
Convergence rates of moment-sum-of-squares hierarchies for optimal control problems. Syst. Control. Lett. 100 (2017)
Giorgos Stathopoulos, Milan Korda, Colin N. Jones
Solving the Infinite-Horizon Constrained LQR Problem Using Accelerated Dual Proximal Methods. IEEE Trans. Autom. Control. 62 (4) (2017)
Milan Korda, Colin N. Jones
Stability and performance verification of optimization-based controllers. Autom. 78 (2017)
Ivan Pejcic, Milan Korda, Colin N. Jones
Control of nonlinear systems with explicit-MPC-like controllers. CDC (2017)
Milan Korda, Didier Henrion, Colin N. Jones
Controller design and value function approximation for nonlinear dynamical systems. Autom. 67 (2016)
Timm Faulwasser, Milan Korda, Colin N. Jones, Dominique Bonvin
On Turnpike and Dissipativity Properties of Continuous-Time Optimal Control Problems. CoRR (2015)
Timm Faulwasser, Milan Korda, Colin N. Jones, Dominique Bonvin
Turnpike and dissipativity properties in dynamic real-time optimization and economic MPC. CDC (2014)
Didier Henrion, Milan Korda
Convex Computation of the Region of Attraction of Polynomial Control Systems. IEEE Trans. Autom. Control. 59 (2) (2014)
Milan Korda, Didier Henrion, Colin N. Jones
Convex Computation of the Maximum Controlled Invariant Set For Polynomial Control Systems. SIAM J. Control. Optim. 52 (5) (2014)
Milan Korda, Colin N. Jones
Certification of fixed computation time first-order optimization-based controllers for a class of nonlinear dynamical systems. ACC (2014)
Milan Korda, Ravi Gondhalekar, Frauke Oldewurtel, Colin N. Jones
Stochastic MPC Framework for Controlling the Average Constraint Violation. IEEE Trans. Autom. Control. 59 (7) (2014)
Milan Korda, Didier Henrion, Colin N. Jones
Inner Approximations of the Region of Attraction for Polynomial Dynamical Systems. NOLCOS (2013)
Didier Henrion, Milan Korda
Convex computation of the region of attraction of polynomial control systems? ECC (2013)
Milan Korda, Didier Henrion, Colin N. Jones
Convex computation of the maximum controlled invariant set for discrete-time polynomial control systems. CDC (2013)
Milan Korda, Ravi Gondhalekar, Frauke Oldewurtel, Colin N. Jones
Stochastic model predictive control: Controlling the average number of constraint violations. CDC (2012)
Milan Korda, Jirí Cigler
Nonquadratic stochastic model predictive control: A tractable approach. Autom. 48 (9) (2012)
Milan Korda, Ravi Gondhalekar, Jirí Cigler, Frauke Oldewurtel
Strongly feasible stochastic model predictive control. CDC/ECC (2011)
Milan Korda, Jirí Cigler
On 1-norm stochastic optimal control with bounded control inputs. ACC (2011)