Recherche - Archive ouverte HAL Accéder directement au contenu

Filtrer vos résultats

28 résultats

Exploiting ideal-sparsity in the generalized moment problem with application to matrix factorization ranks

Milan Korda , Monique Laurent , Victor Magron , Andries Steenkamp
Mathematical Programming, 2023, 205, pp.703-744. ⟨10.1007/s10107-023-01993-x⟩
Article dans une revue hal-03782934v1
Image document

Computing controlled invariant sets from data using convex optimization

Milan Korda
SIAM Journal on Control and Optimization, 2020, 58 (5), pp.2871-2899. ⟨10.1137/19M1305835⟩
Article dans une revue hal-02398027v1

The Moment-SOS Hierarchy

Didier Henrion , Milan Korda , Jean-Bernard Lasserre
World Scientific. World Scientific Publishing Europe Ltd., 4, 248p., 2020, Optimization and its Applications, 978-1-78634-853-1. ⟨10.1142/q0252⟩
Ouvrages hal-03009026v1
Image document

Convergence rates of moment-sum-of-squares hierarchies for optimal control problems

Milan Korda , Didier Henrion , Colin N. Jones
Systems and Control Letters, 2017, 100, pp.1-5
Article dans une revue hal-01362456v1

Stability and performance verification of dynamical systems controlled by neural networks: algorithms and complexity

Milan Korda
IEEE Control Systems Letters, 2022, 6, pp.3265 - 3270. ⟨10.1109/LCSYS.2022.3181806⟩
Article dans une revue hal-03441657v1
Image document

Controller design and value function approximation for nonlinear dynamical systems

Milan Korda , Didier Henrion , Colin N. Jones
Automatica, 2016, 67 (5), pp.54-66
Article dans une revue hal-01136669v1

Spatio-Temporal Decomposition of Sum-of-Squares Programs for the Region of Attraction and Reachability

Vit Cibulka , Milan Korda , Tomas Hanis
IEEE Control Systems Letters, 2021, 6, pp.812-817. ⟨10.1109/LCSYS.2021.3086585⟩
Article dans une revue hal-03441655v1

Exploiting Term Sparsity in Moment-SOS hierarchy for Dynamical Systems

Victor Magron , Jie Wang , Corbinian Schlosser , Milan Korda
2021
Pré-publication, Document de travail hal-03439458v1
Image document

Converging outer approximations to global attractors using semidefinite programming

Corbinian Schlosser , Milan Korda
Automatica, 2021, 134, pp.109900. ⟨10.1016/j.automatica.2021.109900⟩
Article dans une revue hal-02709820v1

Sparsity structures for Koopman operators

Corbinian Schlosser , Milan Korda
2021
Autre publication scientifique hal-04174190v1
Image document

Optimal construction of Koopman eigenfunctions for prediction and control

Milan Korda , Igor Mezić
IEEE Transactions on Automatic Control, 2020, 65 (12), pp.5114 - 5129. ⟨10.1109/TAC.2020.2978039⟩
Article dans une revue hal-02278835v1
Image document

Occupation measure relaxations in variational problems: the role of convexity

Didier Henrion , Milan Korda , Martin Kružík , Rodolfo Rios-Zertuche
2023
Pré-publication, Document de travail hal-04118080v1

Peak Estimation of Time Delay Systems using Occupation Measures

Jared Miller , Milan Korda , Victor Magron , Mario Sznaier
2023
Pré-publication, Document de travail hal-04047493v1
Image document

Controller design and region of attraction estimation for nonlinear dynamical systems

Milan Korda , Didier Henrion , Colin N. Jones
19th World Congress of the International Federation of Automatic Control (IFAC 2014), Aug 2014, Le Cap, South Africa. 20p., Paper MoC13.6
Communication dans un congrès hal-00871051v2
Image document

Inner approximations of the region of attraction for polynomial dynamical systems

Milan Korda , Didier Henrion , Colin N. Jones
IFAC Symposium on Nonlinear Control Systems ( NOLCOS ), Sep 2013, Toulouse, France. 15p
Communication dans un congrès hal-00740798v1
Image document

Convex computation of the maximum controlled invariant set for polynomial control systems

Milan Korda , Didier Henrion , Colin N. Jones
SIAM Journal on Control and Optimization, 2014, 52 (5), pp.2944-2969
Article dans une revue hal-00804816v1
Image document

Sparse moment-sum-of-squares relaxations for nonlinear dynamical systems with guaranteed convergence

Corbinian Schlosser , Milan Korda
2020
Pré-publication, Document de travail hal-03059465v1
Image document

Revisiting semidefinite programming approaches to options pricing: complexity and computational perspectives

Didier Henrion , Felix Kirschner , Etienne de Klerk , Milan Korda , Jean-Bernard Lasserre , et al.
INFORMS Journal on Computing, 2023, 35 (2), pp.265-517. ⟨10.1287/ijoc.2022.1220⟩
Article dans une revue hal-03429272v2
Image document

Set-Valued Koopman Theory for Control Systems

Benoît Bonnet-Weill , Milan Korda
2024
Pré-publication, Document de travail hal-04408228v1
Image document

Peak Estimation for Uncertain and Switched Systems

Jared Miller , Didier Henrion , Mario Sznaier , Milan Korda
IEEE Conference on Decision and Control 2021 (CDC 2021), Dec 2021, Austin, Texas, United States. ⟨10.1109/CDC45484.2021.9683778⟩
Communication dans un congrès hal-03181056v1
Image document

Convex computation of the region of attraction of polynomial control systems

Didier Henrion , Milan Korda
IEEE Transactions on Automatic Control, 2014, 59 (2), pp. 297-312
Article dans une revue hal-00723019v2
Image document

Convergence rates of moment-sum-of-squares hierarchies for volume approximation of semialgebraic sets

Milan Korda , Didier Henrion
2016
Pré-publication, Document de travail hal-01415327v2
Image document

Convex computation of extremal invariant measures of nonlinear dynamical systems and Markov processes

Milan Korda , Didier Henrion , Igor Mezic
Journal of Nonlinear Science, 2021, 31 (14), ⟨10.1007/s00332-020-09658-1⟩
Article dans une revue hal-01841989v2
Image document

POLYNOMIAL ARGMIN FOR RECOVERY AND APPROXIMATION OF MULTIVARIATE DISCONTINUOUS FUNCTIONS

Didier Henrion , Milan Korda , Jean-Bernard Lasserre
2023
Pré-publication, Document de travail hal-03986252v2

Urysohn in action: separating semialgebraic sets by polynomials

Milan Korda , Jean-Bernard Lasserre , Alexey Lazarev , Victor Magron , Simone Naldi
2022
Pré-publication, Document de travail hal-03712510v1
Image document

Moments and convex optimization for analysis and control of nonlinear partial differential equations

Milan Korda , Didier Henrion , Jean-Bernard Lasserre
Elsevier. Handbook of Numerical Analysis, 23, Elsevier, pp.339--366, 2022
Chapitre d'ouvrage hal-01771699v1

Convergence rates for sums-of-squares hierarchies with correlative sparsity

Milan Korda , Victor Magron , Rodolfo Rios-Zertuche
2023
Pré-publication, Document de travail hal-04049383v1

Symmetry reduction and recovery of trajectories of optimal control problems via measure relaxations

Nicolas Augier , Didier Henrion , Milan Korda , Victor Magron
2023
Pré-publication, Document de travail hal-04159304v1