2025
Preprints, Working Papers, ...
- titre
- Solving unbounded optimal control problems with the moment-SOS hierarchy *
- auteur
- Karolı́na Sehnalová, Didier Henrion, Milan Korda, Martin Kružík
- article
- 2025
- Accès au texte intégral et bibtex
-
- titre
- Set-Valued Koopman Theory for Control Systems
- auteur
- Benoît Bonnet-Weill, Milan Korda
- article
- 2025
- Accès au texte intégral et bibtex
-
2024
Journal articles
- titre
- Symmetry reduction and recovery of trajectories of optimal control problems via measure relaxations
- auteur
- Nicolas Augier, Didier Henrion, Milan Korda, Victor Magron
- article
- ESAIM: Control, Optimisation and Calculus of Variations, 2024, 30, pp.63. ⟨10.1051/cocv/2024053⟩
- Accès au texte intégral et bibtex
-
- titre
- Convergence rates for sums-of-squares hierarchies with correlative sparsity
- auteur
- Milan Korda, Victor Magron, Rodolfo Ríos-Zertuche
- article
- Mathematical Programming, 2024, 209, ⟨10.1007/s10107-024-02071-6⟩
- Accès au bibtex
-
- titre
- Towards optimal spatio‐temporal decomposition of control‐related sum‐of‐squares programs
- auteur
- Vít Cibulka, Milan Korda, Tomas Hanis
- article
- International Journal of Robust and Nonlinear Control, 2024, 34 (18), pp.11847-11867. ⟨10.1002/rnc.7596⟩
- Accès au texte intégral et bibtex
-
2023
Journal articles
- titre
- Exploiting ideal-sparsity in the generalized moment problem with application to matrix factorization ranks
- auteur
- Milan Korda, Monique Laurent, Victor Magron, Andries Steenkamp
- article
- Mathematical Programming, 2023, 205, pp.703-744. ⟨10.1007/s10107-023-01993-x⟩
- Accès au texte intégral et bibtex
-
- titre
- Revisiting semidefinite programming approaches to options pricing: complexity and computational perspectives
- auteur
- Didier Henrion, Felix Kirschner, Etienne de Klerk, Milan Korda, Jean-Bernard Lasserre, Victor Magron
- article
- INFORMS Journal on Computing, 2023, 35 (2), pp.265-517. ⟨10.1287/ijoc.2022.1220⟩
- Accès au texte intégral et bibtex
-
Conference papers
- titre
- Peak Estimation of Time Delay Systems using Occupation Measures
- auteur
- Jared Miller, Milan Korda, Victor Magron, Mario Sznaier
- article
- 2023 62nd IEEE Conference on Decision and Control (CDC), Dec 2023, Singapore, Singapore. pp.5294-5300, ⟨10.1109/CDC49753.2023.10384165⟩
- Accès au bibtex
-
Preprints, Working Papers, ...
- titre
- Sparsity structures for Koopman operators
- auteur
- Corbinian Schlosser, Milan Korda
- article
- 2023
- Accès au bibtex
-
- titre
- Occupation measure relaxations in variational problems: the role of convexity
- auteur
- Didier Henrion, Milan Korda, Martin Kružík, Rodolfo Rios-Zertuche
- article
- 2023
- Accès au texte intégral et bibtex
-
- titre
- POLYNOMIAL ARGMIN FOR RECOVERY AND APPROXIMATION OF MULTIVARIATE DISCONTINUOUS FUNCTIONS
- auteur
- Didier Henrion, Milan Korda, Jean-Bernard Lasserre
- article
- 2023
- Accès au texte intégral et bibtex
-
2022
Journal articles
- titre
- Stability and performance verification of dynamical systems controlled by neural networks: algorithms and complexity
- auteur
- Milan Korda
- article
- IEEE Control Systems Letters, 2022, 6, pp.3265 - 3270. ⟨10.1109/LCSYS.2022.3181806⟩
- Accès au bibtex
-
Book sections
- titre
- Moments and convex optimization for analysis and control of nonlinear partial differential equations
- auteur
- Milan Korda, Didier Henrion, Jean-Bernard Lasserre
- article
- Elsevier. Handbook of Numerical Analysis, 23, Elsevier, pp.339--366, 2022
- Accès au texte intégral et bibtex
-
Preprints, Working Papers, ...
- titre
- Urysohn in action: separating semialgebraic sets by polynomials
- auteur
- Milan Korda, Jean-Bernard Lasserre, Alexey Lazarev, Victor Magron, Simone Naldi
- article
- 2022
- Accès au bibtex
-
2021
Journal articles
- titre
- Spatio-Temporal Decomposition of Sum-of-Squares Programs for the Region of Attraction and Reachability
- auteur
- Vit Cibulka, Milan Korda, Tomas Hanis
- article
- IEEE Control Systems Letters, 2021, 6, pp.812-817. ⟨10.1109/LCSYS.2021.3086585⟩
- Accès au bibtex
-
- titre
- Converging outer approximations to global attractors using semidefinite programming
- auteur
- Corbinian Schlosser, Milan Korda
- article
- Automatica, 2021, 134, pp.109900. ⟨10.1016/j.automatica.2021.109900⟩
- Accès au texte intégral et bibtex
-
- titre
- Convex computation of extremal invariant measures of nonlinear dynamical systems and Markov processes
- auteur
- Milan Korda, Didier Henrion, Igor Mezic
- article
- Journal of Nonlinear Science, 2021, 31 (14), ⟨10.1007/s00332-020-09658-1⟩
- Accès au texte intégral et bibtex
-
Conference papers
- titre
- Peak Estimation for Uncertain and Switched Systems
- auteur
- Jared Miller, Didier Henrion, Mario Sznaier, Milan Korda
- article
- IEEE Conference on Decision and Control 2021 (CDC 2021), Dec 2021, Austin, Texas, United States. ⟨10.1109/CDC45484.2021.9683778⟩
- Accès au texte intégral et bibtex
-
Preprints, Working Papers, ...
- titre
- Exploiting Term Sparsity in Moment-SOS hierarchy for Dynamical Systems
- auteur
- Victor Magron, Jie Wang, Corbinian Schlosser, Milan Korda
- article
- 2021
- Accès au bibtex
-
2020
Journal articles
- titre
- Optimal construction of Koopman eigenfunctions for prediction and control
- auteur
- Milan Korda, Igor Mezić
- article
- IEEE Transactions on Automatic Control, 2020, 65 (12), pp.5114 - 5129. ⟨10.1109/TAC.2020.2978039⟩
- Accès au texte intégral et bibtex
-
- titre
- Computing controlled invariant sets from data using convex optimization
- auteur
- Milan Korda
- article
- SIAM Journal on Control and Optimization, 2020, 58 (5), pp.2871-2899. ⟨10.1137/19M1305835⟩
- Accès au texte intégral et bibtex
-
Books
- titre
- The Moment-SOS Hierarchy
- auteur
- Didier Henrion, Milan Korda, Jean-Bernard Lasserre
- article
- World Scientific. World Scientific Publishing Europe Ltd., 4, 248p., 2020, Optimization and its Applications, 978-1-78634-853-1. ⟨10.1142/q0252⟩
- Accès au bibtex
-
Preprints, Working Papers, ...
- titre
- Sparse moment-sum-of-squares relaxations for nonlinear dynamical systems with guaranteed convergence
- auteur
- Corbinian Schlosser, Milan Korda
- article
- 2020
- Accès au texte intégral et bibtex
-
2019
Reports
- titre
- Bilan et prospectives 2019 du département Décision & Optimisation du LAAS-CNRS
- auteur
- Dimitri Peaucelle, Marie-José Huguet, Yannick Pencolé, Christian Artigues, Emmanuel Hébrard, Didier Henrion, Laurent Houssin, Sophie Tarbouriech, Louise Travé-Massuyès, Luca Zaccarian, Carolina Albea-Sanchez, Lucie Baudouin, Elodie Chanthery, Frédéric Gouaisbaut, Euriell Le Corronc, Christophe Louembet, Sandra Ulrich Ngueveu, Isabelle Queinnec, Pauline Ribot, Alexandre Seuret, Cyril Briand, Michel Combacau, Boutaib Dahhou, Patrick Esquirol, Soheib Fergani, D. Fournier-Prunaret, Germain Garcia, Carine Jauberthie, Mioara Joldes, Milan Korda, Jean-Bernard Lasserre, Françoise Le Gall, Marie-Véronique V Le Lann, Pierre Lopez, Victor Magron, Julien Moncel, Gilles Roux, Mohamed Siala, Audine Subias, Aneel Tanwani
- article
- 2019
- Accès au texte intégral et bibtex
-
2017
Journal articles
- titre
- Convergence rates of moment-sum-of-squares hierarchies for optimal control problems
- auteur
- Milan Korda, Didier Henrion, Colin N. Jones
- article
- Systems and Control Letters, 2017, 100, pp.1-5
- Accès au texte intégral et bibtex
-
2016
Journal articles
- titre
- Controller design and value function approximation for nonlinear dynamical systems
- auteur
- Milan Korda, Didier Henrion, Colin N. Jones
- article
- Automatica, 2016, 67 (5), pp.54-66
- Accès au texte intégral et bibtex
-
Preprints, Working Papers, ...
- titre
- Convergence rates of moment-sum-of-squares hierarchies for volume approximation of semialgebraic sets
- auteur
- Milan Korda, Didier Henrion
- article
- 2016
- Accès au texte intégral et bibtex
-
2014
Journal articles
- titre
- Convex computation of the maximum controlled invariant set for polynomial control systems
- auteur
- Milan Korda, Didier Henrion, Colin N. Jones
- article
- SIAM Journal on Control and Optimization, 2014, 52 (5), pp.2944-2969
- Accès au texte intégral et bibtex
-
- titre
- Convex computation of the region of attraction of polynomial control systems
- auteur
- Didier Henrion, Milan Korda
- article
- IEEE Transactions on Automatic Control, 2014, 59 (2), pp. 297-312
- Accès au texte intégral et bibtex
-
Conference papers
- titre
- Controller design and region of attraction estimation for nonlinear dynamical systems
- auteur
- Milan Korda, Didier Henrion, Colin N. Jones
- article
- 19th World Congress of the International Federation of Automatic Control (IFAC 2014), Aug 2014, Le Cap, South Africa. 20p., Paper MoC13.6
- Accès au texte intégral et bibtex
-
2013
Conference papers
- titre
- Inner approximations of the region of attraction for polynomial dynamical systems
- auteur
- Milan Korda, Didier Henrion, Colin N. Jones
- article
- IFAC Symposium on Nonlinear Control Systems ( NOLCOS ), Sep 2013, Toulouse, France. 15p
- Accès au texte intégral et bibtex
-