Milan Korda

Martin Kruzík

Rodolfo Rios-Zertuche

SIAM J. Optim., 2024

2023

Exploiting Term Sparsity in Moment-SOS Hierarchy for Dynamical Systems.

[BibT_eX]

[DOI]

IEEE Trans. Autom. Control., December, 2023

Revisiting Semidefinite Programming Approaches to Options Pricing: Complexity and Computational Perspectives.

[BibT_eX]

[DOI]

Jean-Bernard Lasserre

Victor Magron

INFORMS J. Comput., 2023

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

[BibT_eX]

[DOI]

Victor Magron

Rodolfo Rios-Zertuche

CoRR, 2023

Polynomial argmin for recovery and approximation of multivariate discontinuous functions.

[BibT_eX]

[DOI]

Jean-Bernard Lasserre

CoRR, 2023

Peak Estimation of Time Delay Systems Using Occupation Measures.

[BibT_eX]

[DOI]

Proceedings of the 62nd IEEE Conference on Decision and Control, 2023

2022

Sparsity Structures for Koopman and Perron-Frobenius Operators.

[BibT_eX]

[DOI]

Corbinian Schlosser

SIAM J. Appl. Dyn. Syst., September, 2022

Stability and Performance Verification of Dynamical Systems Controlled by Neural Networks: Algorithms and Complexity.

[BibT_eX]

[DOI]

IEEE Control. Syst. Lett., 2022

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

[BibT_eX]

[DOI]

Vít Cibulka

Tomás Hanis

IEEE Control. Syst. Lett., 2022

2021

Convex Computation of Extremal Invariant Measures of Nonlinear Dynamical Systems and Markov Processes.

[BibT_eX]

[DOI]

J. Nonlinear Sci., 2021

Model Predictive Control of a Vehicle using Koopman Operator.

[BibT_eX]

[DOI]

CoRR, 2021

Converging outer approximations to global attractors using semidefinite programming.

[BibT_eX]

[DOI]

Corbinian Schlosser

Autom., 2021

Peak Estimation for Uncertain and Switched Systems.

[BibT_eX]

[DOI]

Proceedings of the 2021 60th IEEE Conference on Decision and Control (CDC), 2021

2020

Optimal Construction of Koopman Eigenfunctions for Prediction and Control.

[BibT_eX]

[DOI]

IEEE Trans. Autom. Control., 2020

Computing Controlled Invariant Sets from Data Using Convex Optimization.

[BibT_eX]

[DOI]

SIAM J. Control. Optim., 2020

2019

Control-Oriented, Data-Driven Models of Thermal Dynamics.

[BibT_eX]

[DOI]

Ljuboslav Boskic

CoRR, 2019

2018

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

[BibT_eX]

[DOI]

Optim. Lett., 2018

On Convergence of Extended Dynamic Mode Decomposition to the Koopman Operator.

[BibT_eX]

[DOI]

J. Nonlinear Sci., 2018

Linear predictors for nonlinear dynamical systems: Koopman operator meets model predictive control.

[BibT_eX]

[DOI]

Autom., 2018

A Data-Driven Koopman Model Predictive Control Framework for Nonlinear Partial Differential Equations.

[BibT_eX]

[DOI]

Hassan Arbabi

Proceedings of the 57th IEEE Conference on Decision and Control, 2018

2017

Solving the Infinite-Horizon Constrained LQR Problem Using Accelerated Dual Proximal Methods.

[BibT_eX]

[DOI]

Giorgos Stathopoulos

IEEE Trans. Autom. Control., 2017

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

[BibT_eX]

[DOI]

Syst. Control. Lett., 2017

Stability and performance verification of optimization-based controllers.

[BibT_eX]

[DOI]

Autom., 2017

On turnpike and dissipativity properties of continuous-time optimal control problems.

[BibT_eX]

[DOI]

Autom., 2017

Control of nonlinear systems with explicit-MPC-like controllers.

[BibT_eX]

[DOI]

Ivan Pejcic

Proceedings of the 56th IEEE Annual Conference on Decision and Control, 2017

2016

Controller design and value function approximation for nonlinear dynamical systems.

[BibT_eX]

[DOI]

Autom., 2016

2014

Stochastic MPC Framework for Controlling the Average Constraint Violation.

[BibT_eX]

[DOI]

IEEE Trans. Autom. Control., 2014

Convex Computation of the Region of Attraction of Polynomial Control Systems.

[BibT_eX]

[DOI]

IEEE Trans. Autom. Control., 2014

Convex Computation of the Maximum Controlled Invariant Set For Polynomial Control Systems.

[BibT_eX]

[DOI]

SIAM J. Control. Optim., 2014

Turnpike and dissipativity properties in dynamic real-time optimization and economic MPC.

[BibT_eX]

[DOI]

Proceedings of the 53rd IEEE Conference on Decision and Control, 2014

Certification of fixed computation time first-order optimization-based controllers for a class of nonlinear dynamical systems.

[BibT_eX]

[DOI]

Proceedings of the American Control Conference, 2014

2013

Inner Approximations of the Region of Attraction for Polynomial Dynamical Systems.

[BibT_eX]

[DOI]

Proceedings of the 9th IFAC Symposium on Nonlinear Control Systems, 2013

Convex computation of the maximum controlled invariant set for discrete-time polynomial control systems.

[BibT_eX]

[DOI]

Proceedings of the 52nd IEEE Conference on Decision and Control, 2013

2012

Nonquadratic stochastic model predictive control: A tractable approach.

[BibT_eX]

[DOI]

Jirí Cigler

Autom., 2012

Stochastic model predictive control: Controlling the average number of constraint violations.

[BibT_eX]

[DOI]

Proceedings of the 51th IEEE Conference on Decision and Control, 2012

2011

Strongly feasible stochastic model predictive control.

[BibT_eX]

[DOI]

Proceedings of the 50th IEEE Conference on Decision and Control and European Control Conference, 2011

On 1-norm stochastic optimal control with bounded control inputs.

[BibT_eX]

[DOI]