2024
Articles dans une revue
Milan Korda, Victor Magron, Rodolfo Ríos-Zertuche. Convergence rates for sums-of-squares hierarchies with correlative sparsity. Mathematical Programming, 2024, 209, ⟨10.1007/s10107-024-02071-6⟩. ⟨hal-04049383⟩
Vít Cibulka, Milan Korda, Tomas Hanis. Towards optimal spatio‐temporal decomposition of control‐related sum‐of‐squares programs. International Journal of Robust and Nonlinear Control, 2024, 34 (18), pp.11847-11867. ⟨10.1002/rnc.7596⟩. ⟨hal-04737856⟩
Nicolas Augier, Didier Henrion, Milan Korda, Victor Magron. Symmetry reduction and recovery of trajectories of optimal control problems via measure relaxations. ESAIM: Control, Optimisation and Calculus of Variations, 2024, 30, pp.63. ⟨10.1051/cocv/2024053⟩. ⟨hal-04694171v2⟩
Pré-publications, documents de travail
Benoît Bonnet-Weill, Milan Korda. Set-Valued Koopman Theory for Control Systems. 2024. ⟨hal-04408228⟩
2023
Articles dans une revue
Milan Korda, Monique Laurent, Victor Magron, Andries Steenkamp. Exploiting ideal-sparsity in the generalized moment problem with application to matrix factorization ranks. Mathematical Programming, 2023, 205, pp.703-744. ⟨10.1007/s10107-023-01993-x⟩. ⟨hal-03782934⟩
Didier Henrion, Felix Kirschner, Etienne de Klerk, Milan Korda, Jean-Bernard Lasserre, et al.. Revisiting semidefinite programming approaches to options pricing: complexity and computational perspectives. INFORMS Journal on Computing, 2023, 35 (2), pp.265-517. ⟨10.1287/ijoc.2022.1220⟩. ⟨hal-03429272v2⟩
Communications dans un congrès
Jared Miller, Milan Korda, Victor Magron, Mario Sznaier. Peak Estimation of Time Delay Systems using Occupation Measures. 2023 62nd IEEE Conference on Decision and Control (CDC), Dec 2023, Singapore, Singapore. pp.5294-5300, ⟨10.1109/CDC49753.2023.10384165⟩. ⟨hal-04047493⟩
Pré-publications, documents de travail
Didier Henrion, Milan Korda, Martin Kružík, Rodolfo Rios-Zertuche. Occupation measure relaxations in variational problems: the role of convexity. 2023. ⟨hal-04118080⟩
Didier Henrion, Milan Korda, Jean-Bernard Lasserre. POLYNOMIAL ARGMIN FOR RECOVERY AND APPROXIMATION OF MULTIVARIATE DISCONTINUOUS FUNCTIONS. 2023. ⟨hal-03986252v2⟩
2022
Articles dans une revue
Milan Korda. Stability and performance verification of dynamical systems controlled by neural networks: algorithms and complexity. IEEE Control Systems Letters, 2022, 6, pp.3265 - 3270. ⟨10.1109/LCSYS.2022.3181806⟩. ⟨hal-03441657⟩
Chapitres d’ouvrages
Milan Korda, Didier Henrion, Jean-Bernard Lasserre. Moments and convex optimization for analysis and control of nonlinear partial differential equations. Elsevier. Handbook of Numerical Analysis, 23, Elsevier, pp.339--366, 2022. ⟨hal-01771699⟩
Pré-publications, documents de travail
Milan Korda, Jean-Bernard Lasserre, Alexey Lazarev, Victor Magron, Simone Naldi. Urysohn in action: separating semialgebraic sets by polynomials. 2022. ⟨hal-03712510⟩
2021
Articles dans une revue
Milan Korda, Didier Henrion, Igor Mezic. Convex computation of extremal invariant measures of nonlinear dynamical systems and Markov processes. Journal of Nonlinear Science, 2021, 31 (14), ⟨10.1007/s00332-020-09658-1⟩. ⟨hal-01841989v2⟩
Vit Cibulka, Milan Korda, Tomas Hanis. Spatio-Temporal Decomposition of Sum-of-Squares Programs for the Region of Attraction and Reachability. IEEE Control Systems Letters, 2021, 6, pp.812-817. ⟨10.1109/LCSYS.2021.3086585⟩. ⟨hal-03441655⟩
Corbinian Schlosser, Milan Korda. Converging outer approximations to global attractors using semidefinite programming. Automatica, 2021, 134, pp.109900. ⟨10.1016/j.automatica.2021.109900⟩. ⟨hal-02709820⟩
Communications dans un congrès
Jared Miller, Didier Henrion, Mario Sznaier, Milan Korda. Peak Estimation for Uncertain and Switched Systems. IEEE Conference on Decision and Control 2021 (CDC 2021), Dec 2021, Austin, Texas, United States. ⟨10.1109/CDC45484.2021.9683778⟩. ⟨hal-03181056⟩
Pré-publications, documents de travail
Corbinian Schlosser, Milan Korda. Sparsity structures for Koopman operators. 2023. ⟨hal-04174190⟩
Victor Magron, Jie Wang, Corbinian Schlosser, Milan Korda. Exploiting Term Sparsity in Moment-SOS hierarchy for Dynamical Systems. 2021. ⟨hal-03439458⟩
2020
Articles dans une revue
Milan Korda, Igor Mezić. Optimal construction of Koopman eigenfunctions for prediction and control. IEEE Transactions on Automatic Control, 2020, 65 (12), pp.5114 - 5129. ⟨10.1109/TAC.2020.2978039⟩. ⟨hal-02278835⟩
Milan Korda. Computing controlled invariant sets from data using convex optimization. SIAM Journal on Control and Optimization, 2020, 58 (5), pp.2871-2899. ⟨10.1137/19M1305835⟩. ⟨hal-02398027⟩
Livres
Didier Henrion, Milan Korda, Jean-Bernard Lasserre. The Moment-SOS Hierarchy. World Scientific. World Scientific Publishing Europe Ltd., 4, 248p., 2020, Optimization and its Applications, 978-1-78634-853-1. ⟨10.1142/q0252⟩. ⟨hal-03009026⟩
Pré-publications, documents de travail
Corbinian Schlosser, Milan Korda. Sparse moment-sum-of-squares relaxations for nonlinear dynamical systems with guaranteed convergence. 2020. ⟨hal-03059465⟩
2019
Rapports
Dimitri Peaucelle, Marie-José Huguet, Yannick Pencolé, Christian Artigues, Emmanuel Hébrard, et al.. Bilan et prospectives 2019 du département Décision & Optimisation du LAAS-CNRS. 2019. ⟨hal-02295816⟩
2017
Articles dans une revue
Milan Korda, Didier Henrion, Colin N. Jones. Convergence rates of moment-sum-of-squares hierarchies for optimal control problems. Systems and Control Letters, 2017, 100, pp.1-5. ⟨hal-01362456⟩
2016
Articles dans une revue
Milan Korda, Didier Henrion, Colin N. Jones. Controller design and value function approximation for nonlinear dynamical systems. Automatica, 2016, 67 (5), pp.54-66. ⟨hal-01136669⟩
Pré-publications, documents de travail
Milan Korda, Didier Henrion. Convergence rates of moment-sum-of-squares hierarchies for volume approximation of semialgebraic sets. 2016. ⟨hal-01415327v2⟩