-
Recent advancements on MPC for tracking: periodic and harmonic formulations
Authors:
Pablo Krupa,
Daniel Limon,
Teodoro Alamo
Abstract:
The main benefit of model predictive control (MPC) is its ability to steer the system to a given reference without violating the constraints while minimizing some objective. Furthermore, a suitably designed MPC controller guarantees asymptotic stability of the closed-loop system to the given reference as long as its optimization problem is feasible at the initial state of the system. Therefore, on…
▽ More
The main benefit of model predictive control (MPC) is its ability to steer the system to a given reference without violating the constraints while minimizing some objective. Furthermore, a suitably designed MPC controller guarantees asymptotic stability of the closed-loop system to the given reference as long as its optimization problem is feasible at the initial state of the system. Therefore, one of the limitations of classical MPC is that changing the reference may lead to an unfeasible MPC problem. Furthermore, due to a lack of deep knowledge of the system, it is possible for the user to provide a desired reference that is unfeasible or non-attainable for the MPC controller, leading to the same problem. This chapter summarizes MPC formulations recently proposed that have been designed to address these issues. In particular, thanks to the addition of an artificial reference as decision variable, the formulations achieve asymptotic stability and recursive feasibility guarantees regardless of the reference provided by the user, even if it is changed online or if it violates the system constraints. We show a recent formulation which extends this idea, achieving better performance and larger domains of attraction when working with small prediction horizons. Additional benefits of these formulations, when compared to classical MPC, are also discussed and highlighted with illustrative examples.
△ Less
Submitted 24 June, 2024;
originally announced June 2024.
-
Model predictive control for tracking using artificial references: Fundamentals, recent results and practical implementation
Authors:
Pablo Krupa,
Johannes Köhler,
Antonio Ferramosca,
Ignacio Alvarado,
Melanie N. Zeilinger,
Teodoro Alamo,
Daniel Limon
Abstract:
This paper provides a comprehensive tutorial on a family of Model Predictive Control (MPC) formulations, known as MPC for tracking, which are characterized by including an artificial reference as part of the decision variables in the optimization problem. These formulations have several benefits with respect to the classical MPC formulations, including guaranteed recursive feasibility under online…
▽ More
This paper provides a comprehensive tutorial on a family of Model Predictive Control (MPC) formulations, known as MPC for tracking, which are characterized by including an artificial reference as part of the decision variables in the optimization problem. These formulations have several benefits with respect to the classical MPC formulations, including guaranteed recursive feasibility under online reference changes, as well as asymptotic stability and an increased domain of attraction. This tutorial paper introduces the concept of using an artificial reference in MPC, presenting the benefits and theoretical guarantees obtained by its use. We then provide a survey of the main advances and extensions of the original linear MPC for tracking, including its non-linear extension. Additionally, we discuss its application to learning-based MPC, and discuss optimization aspects related to its implementation.
△ Less
Submitted 10 June, 2024;
originally announced June 2024.
-
Implementation of soft-constrained MPC for Tracking using its semi-banded problem structure
Authors:
Victor Gracia,
Pablo Krupa,
Daniel Limon,
Teodoro Alamo
Abstract:
Model Predictive Control (MPC) is a popular control approach due to its ability to consider constraints, including input and state restrictions, while minimizing a cost function. However, in practice, said constraints can result in feasibility issues, either because the system model is not accurate or due to the existence of external disturbances. To mitigate this problem, a solution adopted by th…
▽ More
Model Predictive Control (MPC) is a popular control approach due to its ability to consider constraints, including input and state restrictions, while minimizing a cost function. However, in practice, said constraints can result in feasibility issues, either because the system model is not accurate or due to the existence of external disturbances. To mitigate this problem, a solution adopted by the MPC community is the use of soft constraints. In this article, we consider a not-so-typical methodology to encode soft constraints in a particular MPC formulation known as MPC for Tracking (MPCT), which has several advantages when compared to standard MPC formulations. The motivation behind the proposed encoding is to maintain the semi-banded structure of the ingredients of a recently proposed solver for the considered MPCT formulation, thus providing an efficient and fast solver when compared to alternative approaches from the literature. We show numerical results highlighting the benefits of the formulation and the computational efficiency of the solver.
△ Less
Submitted 7 March, 2024;
originally announced March 2024.
-
Model Predictive Control for setpoint tracking
Authors:
Daniel Limon,
Antonio Ferramosca,
Ignacio Alvarado,
Teodoro Alamo
Abstract:
The main objective of tracking control is to steer the tracking error, that is the difference between the reference and the output, to zero while the plant's operation limits are satisfied. This requires that some assumptions on the evolution of the future values of the reference must be taken into account. Typically a simple evolution of the reference is considered, such as step, ramp, or parabol…
▽ More
The main objective of tracking control is to steer the tracking error, that is the difference between the reference and the output, to zero while the plant's operation limits are satisfied. This requires that some assumptions on the evolution of the future values of the reference must be taken into account. Typically a simple evolution of the reference is considered, such as step, ramp, or parabolic reference signals. It is important to notice that the tracking problem considers possible variations in the reference to be tracked, such as steps or slope variations of the ramps. Then the tracking control problem is inherently uncertain, since the reference may differ from what is expected. If the value of the reference is changed, then there is no guarantee that the feasibility and stability properties of the resulting control law hold. This report presents the MPC for tracking (MPCT) approach, which ensures recursive feasibility and asymptotic stability of the setpoint when the value of the reference is changed.
△ Less
Submitted 5 March, 2024;
originally announced March 2024.
-
Efficient implementation of MPC for tracking using ADMM by decoupling its semi-banded structure
Authors:
Victor Gracia,
Pablo Krupa,
Daniel Limon,
Teodoro Alamo
Abstract:
Model Predictive Control (MPC) for tracking formulation presents numerous advantages compared to standard MPC, such as a larger domain of attraction and recursive feasibility even when abrupt changes in the reference are produced. As a drawback, it includes some extra decision variables in its related optimization problem, leading to a semi-banded structure that differs from the banded structure e…
▽ More
Model Predictive Control (MPC) for tracking formulation presents numerous advantages compared to standard MPC, such as a larger domain of attraction and recursive feasibility even when abrupt changes in the reference are produced. As a drawback, it includes some extra decision variables in its related optimization problem, leading to a semi-banded structure that differs from the banded structure encountered in standard MPC. This semi-banded structure prevents the direct use of the efficient algorithms available for banded problems. To address this issue, we present an algorithm based on the alternating direction method of multipliers that explicitly takes advantage of the underlying semi-banded structure of the MPC for tracking.
△ Less
Submitted 15 February, 2024;
originally announced February 2024.
-
Harmonic model predictive control for tracking periodic references
Authors:
Pablo Krupa,
Daniel Limon,
Alberto Bemporad,
Teodoro Alamo
Abstract:
Harmonic model predictive control (HMPC) is a recent model predictive control (MPC) formulation for tracking piece-wise constant references that includes a parameterized artificial harmonic reference as a decision variable, resulting in an increased performance and domain of attraction with respect to other MPC formulations. This article presents an extension of the HMPC formulation to track perio…
▽ More
Harmonic model predictive control (HMPC) is a recent model predictive control (MPC) formulation for tracking piece-wise constant references that includes a parameterized artificial harmonic reference as a decision variable, resulting in an increased performance and domain of attraction with respect to other MPC formulations. This article presents an extension of the HMPC formulation to track periodic harmonic references and discusses its use to track arbitrary references. The proposed formulation inherits the benefits of its predecessor, namely its good performance and large domain of attraction when using small prediction horizons, and that the complexity of its optimization problem does not depend on the period of the periodic reference. We show closed-loop results discussing its performance and comparing it to other MPC formulations.
△ Less
Submitted 25 October, 2023;
originally announced October 2023.
-
Efficient online update of model predictive control in embedded systems using first-order methods
Authors:
Victor Gracia,
Pablo Krupa,
Teodoro Alamo,
Daniel Limon
Abstract:
Model Predictive Control (MPC) is typically characterized for being computationally demanding, as it requires solving optimization problems online; a particularly relevant point when considering its implementation in embedded systems. To reduce the computational burden of the optimization algorithm, most solvers perform as many offline operations as possible, typically performing the computation a…
▽ More
Model Predictive Control (MPC) is typically characterized for being computationally demanding, as it requires solving optimization problems online; a particularly relevant point when considering its implementation in embedded systems. To reduce the computational burden of the optimization algorithm, most solvers perform as many offline operations as possible, typically performing the computation and factorization of its expensive matrices offline and then storing them in the embedded system. This improves the efficiency of the solver, with the disadvantage that online changes on some of the ingredients of the MPC formulation require performing these expensive computations online. This article presents an efficient algorithm for the factorization of the key matrix used in several first-order optimization methods applied to linear MPC formulations, allowing its prediction model and cost function matrices to be updated online at the expense of a small computational cost. We show results comparing the proposed approach with other solvers from the literature applied to a linear time-varying system.
△ Less
Submitted 16 December, 2023; v1 submitted 14 September, 2023;
originally announced September 2023.
-
Prediction error quantification through probabilistic scaling -- EXTENDED VERSION
Authors:
Victor Mirasierra,
Martina Mammarella,
Fabrizio Dabbene,
Teodoro Alamo
Abstract:
In this paper, we address the probabilistic error quantification of a general class of prediction methods. We consider a given prediction model and show how to obtain, through a sample-based approach, a probabilistic upper bound on the absolute value of the prediction error. The proposed scheme is based on a probabilistic scaling methodology in which the number of required randomized samples is in…
▽ More
In this paper, we address the probabilistic error quantification of a general class of prediction methods. We consider a given prediction model and show how to obtain, through a sample-based approach, a probabilistic upper bound on the absolute value of the prediction error. The proposed scheme is based on a probabilistic scaling methodology in which the number of required randomized samples is independent of the complexity of the prediction model. The methodology is extended to address the case in which the probabilistic uncertain quantification is required to be valid for every member of a finite family of predictors. We illustrate the results of the paper by means of a numerical example.
△ Less
Submitted 3 June, 2021; v1 submitted 25 May, 2021;
originally announced May 2021.
-
A sparse ADMM-based solver for linear MPC subject to terminal quadratic constraint
Authors:
Pablo Krupa,
Rim Jaouani,
Daniel Limon,
Teodoro Alamo
Abstract:
Model Predictive Control (MPC) typically includes a terminal constraint to guarantee stability of the closed-loop system under nominal conditions. In linear MPC this constraint is generally taken on a polyhedral set, leading to a quadratic optimization problem. However, the use of an ellipsoidal terminal constraint may be desirable, leading to an optimization problem with a quadratic constraint. I…
▽ More
Model Predictive Control (MPC) typically includes a terminal constraint to guarantee stability of the closed-loop system under nominal conditions. In linear MPC this constraint is generally taken on a polyhedral set, leading to a quadratic optimization problem. However, the use of an ellipsoidal terminal constraint may be desirable, leading to an optimization problem with a quadratic constraint. In this case, the optimization problem can be solved using Second Order Cone (SOC) programming solvers, since the quadratic constraint can be posed as a SOC constraint, at the expense of adding additional slack variables and possibly compromising the simple structure of the solver ingredients. In this paper we present a sparse solver for linear MPC subject to a terminal ellipsoidal constraint based on the alternating direction method of multipliers algorithm in which we directly deal with the quadratic constraints without having to resort to the use of a SOC constraint nor the inclusion of additional decision variables. The solver is suitable for its use in embedded systems, since it is sparse, has a small memory footprint and requires no external libraries. We compare its performance against other approaches from the literature.
△ Less
Submitted 29 April, 2024; v1 submitted 18 May, 2021;
originally announced May 2021.
-
Tractable robust MPC design based on nominal predictions
Authors:
Ignacio Alvarado,
Pablo Krupa,
Daniel Limon,
Teodoro Alamo
Abstract:
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…
▽ More
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.
△ Less
Submitted 19 February, 2022; v1 submitted 13 April, 2021;
originally announced April 2021.
-
Real-time implementation of MPC for tracking in embedded systems: Application to a two-wheeled inverted pendulum
Authors:
Pablo Krupa,
Jose Camara,
Ignacio Alvarado,
Daniel Limon,
Teodoro Alamo
Abstract:
This article presents the real-time implementation of the model predictive control for tracking formulation to control a two-wheeled inverted pendulum robot. This formulation offers several advantages over standard MPC formulations at the expense of the addition of a small number of decision variables, which complicates the inner structure of the matrices of the optimization problem. We implement…
▽ More
This article presents the real-time implementation of the model predictive control for tracking formulation to control a two-wheeled inverted pendulum robot. This formulation offers several advantages over standard MPC formulations at the expense of the addition of a small number of decision variables, which complicates the inner structure of the matrices of the optimization problem. We implement a sparse solver, based on an extension of the alternating direction method of multipliers, in the system's embedded hardware. The results indicate that the solver is suitable for controlling a real system with sample times in the range of milliseconds using current, readily-available hardware.
△ Less
Submitted 26 March, 2021;
originally announced March 2021.
-
Data-Driven Methods for Present and Future Pandemics: Monitoring, Modelling and Managing
Authors:
Teodoro Alamo,
Daniel G. Reina,
Pablo Millán Gata,
Victor M. Preciado,
Giulia Giordano
Abstract:
This survey analyses the role of data-driven methodologies for pandemic modelling and control. We provide a roadmap from the access to epidemiological data sources to the control of epidemic phenomena. We review the available methodologies and discuss the challenges in the development of data-driven strategies to combat the spreading of infectious diseases. Our aim is to bring together several dif…
▽ More
This survey analyses the role of data-driven methodologies for pandemic modelling and control. We provide a roadmap from the access to epidemiological data sources to the control of epidemic phenomena. We review the available methodologies and discuss the challenges in the development of data-driven strategies to combat the spreading of infectious diseases. Our aim is to bring together several different disciplines required to provide a holistic approach to epidemic analysis, such as data science, epidemiology, and systems-and-control theory. A 3M-analysis is presented, whose three pillars are: Monitoring, Modelling and Managing. The focus is on the potential of data-driven schemes to address three different challenges raised by a pandemic: (i) monitoring the epidemic evolution and assessing the effectiveness of the adopted countermeasures; (ii) modelling and forecasting the spread of the epidemic; (iii) making timely decisions to manage, mitigate and suppress the contagion. For each step of this roadmap, we review consolidated theoretical approaches (including data-driven methodologies that have been shown to be successful in other contexts) and discuss their application to past or present epidemics, such as Covid-19, as well as their potential application to future epidemics.
△ Less
Submitted 30 May, 2021; v1 submitted 25 February, 2021;
originally announced February 2021.
-
Chance constrained sets approximation: A probabilistic scaling approach -- EXTENDED VERSION
Authors:
Martina Mammarella,
Victor Mirasierra,
Matthias Lorenzen,
Teodoro Alamo,
Fabrizio Dabbene
Abstract:
In this paper, a sample-based procedure for obtaining simple and computable approximations of chance-constrained sets is proposed. The procedure allows to control the complexity of the approximating set, by defining families of simple-approximating sets of given complexity. A probabilistic scaling procedure then allows to rescale these sets to obtain the desired probabilistic guarantees. The propo…
▽ More
In this paper, a sample-based procedure for obtaining simple and computable approximations of chance-constrained sets is proposed. The procedure allows to control the complexity of the approximating set, by defining families of simple-approximating sets of given complexity. A probabilistic scaling procedure then allows to rescale these sets to obtain the desired probabilistic guarantees. The proposed approach is shown to be applicable in several problem in systems and control, such as the design of Stochastic Model Predictive Control schemes or the solution of probabilistic set membership estimation problems.
△ Less
Submitted 18 January, 2021; v1 submitted 15 January, 2021;
originally announced January 2021.
-
Probabilistic interval predictor based on dissimilarity functions
Authors:
A. Daniel Carnerero,
Daniel R. Ramirez,
Teodoro Alamo
Abstract:
This work presents a new methodology to obtain probabilistic interval predictions of a dynamical system. The proposed strategy uses stored past system measurements to estimate the future evolution of the system. The method relies on the use of dissimilarity functions to estimate the conditional probability density function of the outputs. A family of empirical probability density functions, parame…
▽ More
This work presents a new methodology to obtain probabilistic interval predictions of a dynamical system. The proposed strategy uses stored past system measurements to estimate the future evolution of the system. The method relies on the use of dissimilarity functions to estimate the conditional probability density function of the outputs. A family of empirical probability density functions, parameterized by means of two scalars, is introduced. It is shown that the proposed family encompasses the multivariable normal probability density function as a particular case. We show that the presented approach constitutes a generalization of classical estimation methods. A validation scheme is used to tune the two parameters on which the methodology relies. In order to prove the effectiveness of the presented methodology, some numerical examples and comparisons are provided.
△ Less
Submitted 19 December, 2021; v1 submitted 29 October, 2020;
originally announced October 2020.
-
Implementation of model predictive control for tracking in embedded systems using a sparse extended ADMM algorithm
Authors:
Pablo Krupa,
Ignacio Alvarado,
Daniel Limon,
Teodoro Alamo
Abstract:
This article presents a sparse, low-memory footprint optimization algorithm for the implementation of the model predictive control (MPC) for tracking formulation in embedded systems. This MPC formulation has several advantages over standard MPC formulations, such as an increased domain of attraction and guaranteed recursive feasibility even in the event of a sudden reference change. However, this…
▽ More
This article presents a sparse, low-memory footprint optimization algorithm for the implementation of the model predictive control (MPC) for tracking formulation in embedded systems. This MPC formulation has several advantages over standard MPC formulations, such as an increased domain of attraction and guaranteed recursive feasibility even in the event of a sudden reference change. However, this comes at the expense of the addition of a small amount of decision variables to the MPC's optimization problem that complicates the structure of its matrices. We propose a sparse optimization algorithm, based on an extension of the alternating direction method of multipliers, that exploits the structure of this particular MPC formulation. We describe the controller formulation and detail how its structure is exploited by means of the aforementioned optimization algorithm. We show closed-loop simulations comparing the proposed solver against other solvers and approaches from the literature.
△ Less
Submitted 9 December, 2021; v1 submitted 20 August, 2020;
originally announced August 2020.
-
Computationally efficient stochastic MPC: a probabilistic scaling approach
Authors:
Martina Mammarella,
Teodoro Alamo,
Fabrizio Dabbene,
Matthias Lorenzen
Abstract:
In recent years, the increasing interest in Stochastic model predictive control (SMPC) schemes has highlighted the limitation arising from their inherent computational demand, which has restricted their applicability to slow-dynamics and high-performing systems. To reduce the computational burden, in this paper we extend the probabilistic scaling approach to obtain low-complexity inner approximati…
▽ More
In recent years, the increasing interest in Stochastic model predictive control (SMPC) schemes has highlighted the limitation arising from their inherent computational demand, which has restricted their applicability to slow-dynamics and high-performing systems. To reduce the computational burden, in this paper we extend the probabilistic scaling approach to obtain low-complexity inner approximation of chance-constrained sets. This approach provides probabilistic guarantees at a lower computational cost than other schemes for which the sample complexity depends on the design space dimension. To design candidate simple approximating sets, which approximate the shape of the probabilistic set, we introduce two possibilities: i) fixed-complexity polytopes, and ii) $\ell_p$-norm based sets. Once the candidate approximating set is obtained, it is scaled around its center so to enforce the expected probabilistic guarantees. The resulting scaled set is then exploited to enforce constraints in the classical SMPC framework. The computational gain obtained with the proposed approach with respect to the scenario one is demonstrated via simulations, where the objective is the control of a fixed-wing UAV performing a monitoring mission over a sloped vineyard.
△ Less
Submitted 21 May, 2020;
originally announced May 2020.
-
Harmonic based model predictive control for set-point tracking
Authors:
Pablo Krupa,
Daniel Limon,
Teodoro Alamo
Abstract:
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…
▽ More
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.
△ Less
Submitted 29 January, 2021; v1 submitted 16 April, 2020;
originally announced April 2020.
-
Probabilistic reachable and invariant sets for linear systems with correlated disturbance
Authors:
Mirko Fiacchini,
Teodoro Alamo
Abstract:
In this paper a constructive method to determine and compute probabilistic reachable and invariant sets for linear discrete-time systems, excited by a stochastic disturbance, is presented. The samples of the disturbance signal are not assumed to be uncorrelated, only a bound on the correlation matrices is supposed to be known. The concept of correlation bound is introduced and employed to determin…
▽ More
In this paper a constructive method to determine and compute probabilistic reachable and invariant sets for linear discrete-time systems, excited by a stochastic disturbance, is presented. The samples of the disturbance signal are not assumed to be uncorrelated, only a bound on the correlation matrices is supposed to be known. The concept of correlation bound is introduced and employed to determine probabilistic reachable sets and probabilistic invariant sets. Constructive methods for their computation, based on convex optimization, are given.
△ Less
Submitted 15 April, 2020;
originally announced April 2020.
-
A probabilistic validation approach for penalty function design in Stochastic Model Predictive Control
Authors:
Martina Mammarella,
Teodoro Alamo,
Sergio Lucia,
Fabrizio Dabbene
Abstract:
In this paper, we consider a stochastic Model Predictive Control able to account for effects of additive stochastic disturbance with unbounded support, and requiring no restrictive assumption on either independence nor Gaussianity. We revisit the rather classical approach based on penalty functions, with the aim of designing a control scheme that meets some given probabilistic specifications. The…
▽ More
In this paper, we consider a stochastic Model Predictive Control able to account for effects of additive stochastic disturbance with unbounded support, and requiring no restrictive assumption on either independence nor Gaussianity. We revisit the rather classical approach based on penalty functions, with the aim of designing a control scheme that meets some given probabilistic specifications. The main difference with previous approaches is that we do not recur to the notion of probabilistic recursive feasibility, and hence we do not consider separately the unfeasible case. In particular, two probabilistic design problems are envisioned. The first randomization problem aims to design \textit{offline} the constraint set tightening, following an approach inherited from tube-based MPC. For the second probabilistic scheme, a specific probabilistic validation approach is exploited for tuning the penalty parameter, to be selected \textit{offline} among a finite-family of possible values. The simple algorithm here proposed allows designing a \textit{single} controller, always guaranteeing feasibility of the online optimization problem. The proposed method is shown to be more computationally tractable than previous schemes. This is due to the fact that the sample complexity for both probabilistic design problems depends on the prediction horizon in a logarithmic way, unlike scenario-based approaches which exhibit linear dependence. The efficacy of the proposed approach is demonstrated with a numerical example.
△ Less
Submitted 16 March, 2020;
originally announced March 2020.
-
Probabilistic performance validation of deep learning-based robust NMPC controllers
Authors:
Benjamin Karg,
Teodoro Alamo,
Sergio Lucia
Abstract:
Solving nonlinear model predictive control problems in real time is still an important challenge despite of recent advances in computing hardware, optimization algorithms and tailored implementations. This challenge is even greater when uncertainty is present due to disturbances, unknown parameters or measurement and estimation errors. To enable the application of advanced control schemes to fast…
▽ More
Solving nonlinear model predictive control problems in real time is still an important challenge despite of recent advances in computing hardware, optimization algorithms and tailored implementations. This challenge is even greater when uncertainty is present due to disturbances, unknown parameters or measurement and estimation errors. To enable the application of advanced control schemes to fast systems and on low-cost embedded hardware, we propose to approximate a robust nonlinear model controller using deep learning and to verify its quality using probabilistic validation techniques.
We propose a probabilistic validation technique based on finite families, combined with the idea of generalized maximum and constraint backoff to enable statistically valid conclusions related to general performance indicators. The potential of the proposed approach is demonstrated with simulation results of an uncertain nonlinear system.
△ Less
Submitted 22 September, 2021; v1 submitted 30 October, 2019;
originally announced October 2019.
-
Randomized Methods for Design of Uncertain Systems: Sample Complexity and Sequential Algorithms
Authors:
T. Alamo,
R. Tempo,
A. Luque,
D. R. Ramirez
Abstract:
In this paper, we study randomized methods for feedback design of uncertain systems. The first contribution is to derive the sample complexity of various constrained control problems. In particular, we show the key role played by the binomial distribution and related tail inequalities, and compute the sample complexity. This contribution significantly improves the existing results by reducing the…
▽ More
In this paper, we study randomized methods for feedback design of uncertain systems. The first contribution is to derive the sample complexity of various constrained control problems. In particular, we show the key role played by the binomial distribution and related tail inequalities, and compute the sample complexity. This contribution significantly improves the existing results by reducing the number of required samples in the randomized algorithm. These results are then applied to the analysis of worst-case performance and design with robust optimization. The second contribution of the paper is to introduce a general class of sequential algorithms, denoted as Sequential Probabilistic Validation (SPV). In these sequential algorithms, at each iteration, a candidate solution is probabilistically validated, and corrected if necessary, to meet the required specifications. The results we derive provide the sample complexity which guarantees that the solutions obtained with SPV algorithms meet some pre-specified probabilistic accuracy and confidence. The performance of these algorithms is illustrated and compared with other existing methods using a numerical example dealing with robust system identification.
△ Less
Submitted 21 July, 2014; v1 submitted 2 April, 2013;
originally announced April 2013.