2024
Preprints, Working Papers, ...
Benoît Bonnet-Weill, Milan Korda. Set-Valued Koopman Theory for Control Systems. 2024. ⟨hal-04408228⟩
2023
Journal articles
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⟩
Preprints, Working Papers, ...
Didier Henrion, Milan Korda, Jean-Bernard Lasserre. POLYNOMIAL ARGMIN FOR RECOVERY AND APPROXIMATION OF MULTIVARIATE DISCONTINUOUS FUNCTIONS. 2023. ⟨hal-03986252v2⟩
Nicolas Augier, Didier Henrion, Milan Korda, Victor Magron. Symmetry reduction and recovery of trajectories of optimal control problems via measure relaxations. 2023. ⟨hal-04159304⟩
Jared Miller, Milan Korda, Victor Magron, Mario Sznaier. Peak Estimation of Time Delay Systems using Occupation Measures. 2023. ⟨hal-04047493⟩
Milan Korda, Victor Magron, Rodolfo Rios-Zertuche. Convergence rates for sums-of-squares hierarchies with correlative sparsity. 2023. ⟨hal-04049383⟩
Didier Henrion, Milan Korda, Martin Kružík, Rodolfo Rios-Zertuche. Occupation measure relaxations in variational problems: the role of convexity. 2023. ⟨hal-04118080⟩
2022
Journal articles
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⟩
Book sections
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⟩
Preprints, Working Papers, ...
Milan Korda, Jean-Bernard Lasserre, Alexey Lazarev, Victor Magron, Simone Naldi. Urysohn in action: separating semialgebraic sets by polynomials. 2022. ⟨hal-03712510⟩
2021
Journal articles
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⟩
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⟩
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⟩
Conference papers
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⟩
Other documents
Corbinian Schlosser, Milan Korda. Sparsity structures for Koopman operators. 2021. ⟨hal-04174190⟩
Preprints, Working Papers, ...
Victor Magron, Jie Wang, Corbinian Schlosser, Milan Korda. Exploiting Term Sparsity in Moment-SOS hierarchy for Dynamical Systems. 2021. ⟨hal-03439458⟩
2020
Journal articles
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⟩
Books
Didier Henrion, Milan Korda, Jean-Bernard Lasserre. The Moment-SOS Hierarchy: Lectures in Probability, Statistics, Computational Geometry, Control and Nonlinear PDEs. World Scientific. World Scientific Publishing Europe Ltd., 4, 248p., 2020, Optimization and its Applications, 978-1-78634-853-1. ⟨10.1142/q0252⟩. ⟨hal-03009026⟩
Preprints, Working Papers, ...
Corbinian Schlosser, Milan Korda. Sparse moment-sum-of-squares relaxations for nonlinear dynamical systems with guaranteed convergence. 2020. ⟨hal-03059465⟩
2019
Other documents
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. Rapport LAAS n° 19270. 2019. ⟨hal-02295816⟩
2017
Journal articles
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
Journal articles
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⟩
Preprints, Working Papers, ...
Milan Korda, Didier Henrion. Convergence rates of moment-sum-of-squares hierarchies for volume approximation of semialgebraic sets. 2016. ⟨hal-01415327v2⟩
2014
Journal articles
Didier Henrion, Milan Korda. Convex computation of the region of attraction of polynomial control systems. IEEE Transactions on Automatic Control, 2014, 59 (2), pp. 297-312. ⟨hal-00723019v2⟩
Milan Korda, Didier Henrion, Colin N. Jones. Convex computation of the maximum controlled invariant set for polynomial control systems. SIAM Journal on Control and Optimization, 2014, 52 (5), pp.2944-2969. ⟨hal-00804816⟩
Conference papers
Milan Korda, Didier Henrion, Colin N. Jones. Controller design and region of attraction estimation for nonlinear dynamical systems. 19th World Congress of the International Federation of Automatic Control (IFAC 2014), Aug 2014, Le Cap, South Africa. 20p., Paper MoC13.6. ⟨hal-00871051v2⟩
