Publications HAL de Milan KORDA du labo/EPI LAAS

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
https://hal.science/hal-04992776/file/unbounded.pdf 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
https://hal.science/hal-04408228/file/SetValuedKoopman.pdf 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
https://hal.science/hal-04694171/file/cocv230153.pdf 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
https://arxiv.org/pdf/2303.14824 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
https://hal.science/hal-04737856/file/Towards%20optimal%20spatio%E2%80%90temporal%20decomposition%20of%20control%E2%80%90related.pdf 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
https://laas.hal.science/hal-03782934/file/s10107-023-01993-x.pdf 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
https://hal.science/hal-03429272/file/options_rev_arxiv_submission.pdf 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
https://arxiv.org/pdf/2303.12863 BibTex

Preprints, Working Papers, ...

titre
Sparsity structures for Koopman operators
auteur
Corbinian Schlosser, Milan Korda
article
2023
Accès au bibtex
https://arxiv.org/pdf/2112.10887 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
https://hal.science/hal-04118080/file/convexcov.pdf 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
https://laas.hal.science/hal-03986252/file/polyargmin.pdf 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
https://arxiv.org/pdf/2102.02273 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
https://hal.science/hal-01771699/file/PDEs_measures.pdf 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
https://arxiv.org/pdf/2207.00570 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
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
https://hal.science/hal-02709820/file/Global_Attractor_arxiv.pdf 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
https://hal.science/hal-01841989/file/Invariant_measures.pdf 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
https://hal.science/hal-03181056/file/uncertain_hal.pdf 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
https://arxiv.org/pdf/2111.08347 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
https://hal.science/hal-02278835/file/Koopman_eigenfunctions.pdf 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
https://hal.science/hal-02398027/file/MCI_data.pdf 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
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
https://hal.science/hal-03059465/file/sparse.pdf 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
https://laas.hal.science/hal-02295816/file/main.pdf 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
https://hal.science/hal-01362456/file/convergeocp.pdf 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
https://hal.science/hal-01136669/file/liouvillesos.pdf 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
https://laas.hal.science/hal-01415327/file/convergevol.pdf 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
https://hal.science/hal-00804816/file/mciouter.pdf 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
https://hal.science/hal-00723019/file/roa.pdf 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
https://hal.science/hal-00871051/file/roa_inner_controlled.pdf 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
https://hal.science/hal-00740798/file/roainner.pdf BibTex