Researcher profile

Daniel Limon

Daniel Limon contributes to research discovery and scholarly infrastructure.

ResearcherAffiliation not importedOpen to collaborate

Trust snapshot

Quick read

Trust 21 - EmergingVerification L1Unclaimed author
7works
0followers
4topics
4close collaborators

Actions

Decide how to stay connected

Follow researcher0

Identity and collaboration

How to connect with this researcher

Claiming links this public author record to a researcher profile and unlocks direct collaboration workflows.

Log in to claim

Direct collaboration

Open a focused conversation when the fit is right

Claim this author entity first to unlock direct invitations.

Research graph

See the researcher in context

Open full explorer

Inspect adjacent work, topics, institutions and collaborators without jumping out to a separate graph page.

Building this graph slice

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Published work

7 published item(s)

preprint2022arXiv

Restart of accelerated first order methods with linear convergence under a quadratic functional growth condition

Accelerated first order methods, also called fast gradient methods, are popular optimization methods in the field of convex optimization. However, they are prone to suffer from oscillatory behaviour that slows their convergence when medium to high accuracy is desired. In order to address this, restart schemes have been proposed in the literature, which seek to improve the practical convergence by suppressing the oscillatory behaviour. This paper presents a restart scheme for accelerated first order methods for which we show linear convergence under the satisfaction of a quadratic functional growth condition, thus encompassing a broad class of non-necessarily strongly convex optimization problems. Moreover, the worst-case convergence rate is comparable to the one obtained using a (generally non-implementable) optimal fixed-rate restart strategy. We compare the proposed algorithm with other restart schemes by applying them to a model predictive control case study.

preprint2022arXiv

Tractable robust MPC design based on nominal predictions

Many popular approaches in the field of robust model predictive control (MPC) are based on nominal predictions. This paper presents a novel formulation of this class of controller with proven input-to-state stability and robust constraint satisfaction. Its advantages are: (i) the design of its main ingredients are tractable for medium to large-sized systems, (ii) the terminal set does not need to be robust with respect to all the possible system uncertainties, but only for a reduced set that can be made arbitrarily small, thus facilitating its design and implementation, (iii) under certain conditions the terminal set can be taken as a positive invariant set of the nominal system, allowing us to use a terminal equality constraint, which facilitates its application to large-scale systems, and (iv) the complexity of its optimization problem is comparable to the non-robust MPC variant. We show numerical closed-loop results of its application to a multivariable chemical plant and compare it against other robust MPC formulations.

preprint2021arXiv

Harmonic based model predictive control for set-point tracking

This paper presents a novel model predictive control (MPC) formulation for set-point tracking. Stabilizing predictive controllers based on terminal ingredients may exhibit stability and feasibility issues in the event of a reference change for small to moderate prediction horizons. In the MPC for tracking formulation, these issues are solved by the addition of an artificial equilibrium point as a new decision variable, providing a significantly enlarged domain of attraction and guaranteeing recursive feasibility for any reference change. However, it may suffer from performance issues if the prediction horizon is not large enough. This paper presents an extension of this formulation where a harmonic artificial reference is used in place of the equilibrium point. The proposed formulation achieves even greater domains of attraction and can significantly outperform other MPC formulations when the prediction horizon is small. We prove the asymptotic stability and recursive feasibility of the proposed controller, as well as provide guidelines for the design of its main ingredients. Finally, we highlight its advantages with a case study of a ball and plate system.

preprint2020arXiv

Elimination of Redundant Polynomial Constraints and Its Use in Constrained Control

The reduction of constraints to obtain minimal representations of sets is a very common problem in many engineering applications. While well-established methodologies exist for the case of linear constraints, the problem of how to detect redundant non-linear constraints is an open problem. In this paper we present a novel methodology based on Sum of Squares for the elimination of redundant polynomial constraints. The paper also presents some relevant applications of the presented method to constrained control problems. In particular, we show how the proposed method can be used in the Model Predictive Control and in the Reference Governor frameworks to reduce the computational burden of the online algorithms. Furthermore, this method can also be used to eliminate the terminal constraints in MPC in a simple way that is independent from the cost function.

preprint2020arXiv

Nonlinear MPC for Tracking for a Class of Non-Convex Admissible Output Sets

This paper presents an extension to the nonlinear Model Predictive Control for Tracking scheme able to guarantee convergence even in cases of non-convex output admissible sets. This is achieved by incorporating a convexifying homeomorphism in the optimization problem, allowing it to be solved in the convex space. A novel class of non-convex sets is also defined for which a systematic procedure to construct a convexifying homeomorphism is provided. This homeomorphism is then embedded in the Model Predictive Control optimization problem in such a way that the homeomorphism is no longer required in closed form. Finally, the effectiveness of the proposed method is showcased through an illustrative example.

preprint2020arXiv

Online learning-based Model Predictive Control with Gaussian Process Models and Stability Guarantees

Model predictive control allows to provide high performance and safety guarantees in the form of constraint satisfaction. These properties, however, can be satisfied only if the underlying model, used for prediction, of the controlled process is sufficiently accurate. One way to address this challenge is by data-driven and machine learning approaches, such as Gaussian processes, that allow to refine the model online during operation. We present a combination of an output feedback model predictive control scheme and a Gaussian process-based prediction model that is capable of efficient online learning. To this end, the concept of evolving Gaussian processes is combined with recursive posterior prediction updates. The presented approach guarantees recursive constraint satisfaction and input-to-state stability with respect to the model-plant mismatch. Simulation studies underline that the Gaussian process prediction model can be successfully and efficiently learned online. The resulting computational load is significantly reduced via the combination of the recursive update procedure and by limiting the number of training data points while maintaining good performance.

preprint2020arXiv

Reference Dependent Invariant Sets: Sum of Squares Based Computation and Applications in Constrained Control

The goal of this paper is to present a systematic method to compute reference dependent positively invariant sets for systems subject to constraints. To this end, we first characterize these sets as level sets of reference dependent Lyapunov functions. Based on this characterization and using Sum of Squares (SOS) theory, we provide a polynomial certificate for the existence of such sets. Subsequently, through some algebraic manipulations, we express this certificate in terms of a Semi-Definite Programming (SDP) problem which maximizes the size of the resulting reference dependent invariant sets. We then present the results of implementing the proposed method to an example system and propose some variations of the proposed method that may help in reducing the numerical issues of the method. Finally, the proposed method is employed in the Model Predictive Control (MPC) for Tracking scheme to compute the terminal set, and in the Explicit Reference Governor (ERG) scheme to compute the so-called Dynamic Safety Margin (DSM). The effectiveness of the proposed method in each of the schemes is demonstrated through a simulation study.