-
Recursive feasibility for stochastic MPC and the rationale behind fixing flat tires
Authors:
Mirko Fiacchini,
Martina Mammarella,
Fabrizio Dabbene
Abstract:
In this paper, we address the problem of designing stochastic model predictive control (SMPC) schemes for linear systems affected by unbounded disturbances. The contribution of the paper is rooted in a measured-state initialization strategy. First, due to the nonzero probability of violating chance-constraints in the case of unbounded noise, we introduce ellipsoidal-based probabilistic reachable s…
▽ More
In this paper, we address the problem of designing stochastic model predictive control (SMPC) schemes for linear systems affected by unbounded disturbances. The contribution of the paper is rooted in a measured-state initialization strategy. First, due to the nonzero probability of violating chance-constraints in the case of unbounded noise, we introduce ellipsoidal-based probabilistic reachable sets and we include constraint relaxations to recover recursive feasibility conditioned to the measured state. Second, we prove that the solution of this novel SMPC scheme guarantees closed-loop chance constraints satisfaction under minimum relaxation. Last, we demonstrate that, in expectation, the need of relaxing the constraints vanishes over time, which leads the closed-loop trajectories steered towards the unconstrained LQR invariant region. This novel SMPC scheme is proven to satisfy the recursive feasibility conditioned to the state realization, and its superiority with respect to open-loop initialization schemes is shown through numerical examples.
△ Less
Submitted 24 April, 2025;
originally announced April 2025.
-
Innovation diffusion dynamics toward long-term behavioral shifts
Authors:
Lisa Piccinin,
Valentina Breschi,
Chiara Ravazzi,
Fabrizio Dabbene,
Mara Tanelli
Abstract:
Sustainable technologies and services can play a pivotal role in the transition to "greener" habits. Their widespread adoption is thus crucial, and understanding how to foster this phenomenon in a systematic way could have a major impact on our future. With this in mind, in this work we propose an extension of the Friedkin-Johnsen opinion dynamics model toward characterizing the long-term impact o…
▽ More
Sustainable technologies and services can play a pivotal role in the transition to "greener" habits. Their widespread adoption is thus crucial, and understanding how to foster this phenomenon in a systematic way could have a major impact on our future. With this in mind, in this work we propose an extension of the Friedkin-Johnsen opinion dynamics model toward characterizing the long-term impact of (structural) fostering policies. We then propose alternative nudging strategies that target a trade-off between widespread adoption and investments under budget constraints, showing the impact of our modeling and design choices on inclination shifts over a set of numerical tests.
△ Less
Submitted 17 March, 2025;
originally announced March 2025.
-
Power minimization and resource allocation in HetNets with uncertain channel-gains
Authors:
Gabriel O. Ferreira,
Chiara Ravazzi,
Fabrizio Dabbene,
Giuseppe C. Calafiore
Abstract:
We propose an optimization problem to minimize the base stations transmission powers in OFDMA heterogeneous networks, while respecting users' individual throughput demands. The decision variables are the users' working bandwidths, their association, and the base stations transmission powers. To deal with wireless channel uncertainty, the channel gains are treated as random variables respecting a l…
▽ More
We propose an optimization problem to minimize the base stations transmission powers in OFDMA heterogeneous networks, while respecting users' individual throughput demands. The decision variables are the users' working bandwidths, their association, and the base stations transmission powers. To deal with wireless channel uncertainty, the channel gains are treated as random variables respecting a log-normal distribution, leading to a non-convex chance constrained mixed-integer optimization problem, which is then formulated as a mixed-integer Robust Geometric Program. The efficacy of the proposed method is shown in a real-world scenario of a large European city.
△ Less
Submitted 8 November, 2024;
originally announced November 2024.
-
Measured-state conditioned recursive feasibility for stochastic model predictive control
Authors:
Mirko Fiacchini,
Martina Mammarella,
Fabrizio Dabbene
Abstract:
In this paper, we address the problem of designing stochastic model predictive control (MPC) schemes for linear systems affected by unbounded disturbances. The contribution of the paper is twofold. First, motivated by the difficulty of guaranteeing recursive feasibility in this framework, due to the nonzero probability of violating chance-constraints in the case of unbounded noise, we introduce th…
▽ More
In this paper, we address the problem of designing stochastic model predictive control (MPC) schemes for linear systems affected by unbounded disturbances. The contribution of the paper is twofold. First, motivated by the difficulty of guaranteeing recursive feasibility in this framework, due to the nonzero probability of violating chance-constraints in the case of unbounded noise, we introduce the novel definition of measured-state conditioned recursive feasibility in expectation. Second, we construct a stochastic MPC scheme, based on the introduction of ellipsoidal probabilistic reachable sets, which implements a closed-loop initialization strategy, i.e., the current measured-state is employed for initializing the optimization problem. This new scheme is proven to satisfy the novel definition of recursive feasibility, and its superiority with respect to open-loop initialization schemes, arising from the fact that one never neglects the information brought by the current measurement, is shown through numerical examples.
△ Less
Submitted 19 June, 2024;
originally announced June 2024.
-
A Joint Optimization Approach for Power-Efficient Heterogeneous OFDMA Radio Access Networks
Authors:
Gabriel O. Ferreira,
André F. Zanella,
Stefanos Bakirtzis,
Chiara Ravazzi,
Fabrizio Dabbene,
Giuseppe C. Calafiore,
Ian Wassel,
Jie Zhang,
Marco Fiore
Abstract:
Heterogeneous networks have emerged as a popular solution for accommodating the growing number of connected devices and increasing traffic demands in cellular networks. While offering broader coverage, higher capacity, and lower latency, the escalating energy consumption poses sustainability challenges. In this paper a novel optimization approach for OFDMA heterogeneous networks is proposed to min…
▽ More
Heterogeneous networks have emerged as a popular solution for accommodating the growing number of connected devices and increasing traffic demands in cellular networks. While offering broader coverage, higher capacity, and lower latency, the escalating energy consumption poses sustainability challenges. In this paper a novel optimization approach for OFDMA heterogeneous networks is proposed to minimize transmission power while respecting individual users throughput constraints. The problem is formulated as a mixed integer geometric program, and optimizes at once multiple system variables such as user association, working bandwidth, and base stations transmission powers. Crucially, the proposed approach becomes a convex optimization problem when user-base station associations are provided. Evaluations in multiple realistic scenarios from the production mobile network of a major European operator and based on precise channel gains and throughput requirements from measured data validate the effectiveness of the proposed approach. Overall, our original solution paves the road for greener connectivity by reducing the energy footprint of heterogeneous mobile networks, hence fostering more sustainable communication systems.
△ Less
Submitted 5 June, 2024; v1 submitted 21 March, 2024;
originally announced March 2024.
-
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.
-
On the Design of Structured Stabilizers for LTI Systems
Authors:
Francesco Ferrante,
Fabrizio Dabbene,
Chiara Ravazzi
Abstract:
Designing a static state-feedback controller subject to structural constraint achieving asymptotic stability is a relevant problem with many applications, including network decentralized control, coordinated control, and sparse feedback design. Leveraging on the Projection Lemma, this work presents a new solution to a class of state-feedback control problems, in which the controller is constrained…
▽ More
Designing a static state-feedback controller subject to structural constraint achieving asymptotic stability is a relevant problem with many applications, including network decentralized control, coordinated control, and sparse feedback design. Leveraging on the Projection Lemma, this work presents a new solution to a class of state-feedback control problems, in which the controller is constrained to belong to a given linear space. We show through extensive discussion and numerical examples that our approach leads to several advantages with respect to existing methods: first, it is computationally efficient; second, it is less conservative than previous methods, since it relaxes the requirement of restricting the Lyapunov matrix to a block-diagonal form.
△ Less
Submitted 2 June, 2021; v1 submitted 17 January, 2021;
originally announced January 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.
-
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.
-
A Physics-Based Attack Detection Technique in Cyber-Physical Systems: A Model Predictive Control Co-Design Approach
Authors:
Mohammadreza Chamanbaz,
Fabrizio Dabbene,
Roland Bouffanais
Abstract:
In this paper a novel approach to co-design controller and attack detector for nonlinear cyber-physical systems affected by false data injection (FDI) attack is proposed. We augment the model predictive controller with an additional constraint requiring the future---in some steps ahead---trajectory of the system to remain in some time-invariant neighborhood of a properly designed reference traject…
▽ More
In this paper a novel approach to co-design controller and attack detector for nonlinear cyber-physical systems affected by false data injection (FDI) attack is proposed. We augment the model predictive controller with an additional constraint requiring the future---in some steps ahead---trajectory of the system to remain in some time-invariant neighborhood of a properly designed reference trajectory. At any sampling time, we compare the real-time trajectory of the system with the designed reference trajectory, and construct a residual. The residual is then used in a nonparametric cumulative sum (CUSUM) anomaly detector to uncover FDI attacks on input and measurement channels. The effectiveness of the proposed approach is tested with a nonlinear model regarding level control of coupled tanks.
△ Less
Submitted 7 October, 2019;
originally announced October 2019.
-
Algorithms for Optimal AC Power Flow in the Presence of Renewable Sources
Authors:
Mohammadreza Chamanbaz,
Fabrizio Dabbene,
Constantino Lagoa
Abstract:
This chapter presents recent solutions to the optimal power flow (OPF) problem in the presence of renewable energy sources (RES), {such} as solar photo-voltaic and wind generation. After introducing the original formulation of the problem, arising from the combination of economic dispatch and power flow, we provide a brief overview of the different solution methods proposed in the literature to so…
▽ More
This chapter presents recent solutions to the optimal power flow (OPF) problem in the presence of renewable energy sources (RES), {such} as solar photo-voltaic and wind generation. After introducing the original formulation of the problem, arising from the combination of economic dispatch and power flow, we provide a brief overview of the different solution methods proposed in the literature to solve it. Then, we explain the main difficulties arising from the increasing RES penetration, and the ensuing necessity of deriving robust solutions. Finally, we present the state-of-the-art techniques, with a special focus on recent methods we developed, based on the application on randomization-based methodologies.
△ Less
Submitted 22 May, 2019; v1 submitted 13 November, 2018;
originally announced November 2018.
-
An Offline-Sampling SMPC Framework with Application to Automated Space Maneuvers
Authors:
Martina Mammarella,
Matthias Lorenzen,
Elisa Capello,
Hyeongjun Park,
Fabrizio Dabbene,
Frank Allgower,
Giorgio Guglieri,
Marcello Romano
Abstract:
In this paper, a sampling-based Stochastic Model Predictive Control algorithm is proposed for discrete-time linear systems subject to both parametric uncertainties and additive disturbances. One of the main drivers for the development of the proposed control strategy is the need of real-time implementability of guidance and control strategies for automated rendezvous and proximity operations betwe…
▽ More
In this paper, a sampling-based Stochastic Model Predictive Control algorithm is proposed for discrete-time linear systems subject to both parametric uncertainties and additive disturbances. One of the main drivers for the development of the proposed control strategy is the need of real-time implementability of guidance and control strategies for automated rendezvous and proximity operations between spacecraft. The paper presents considers the validation of the proposed control algorithm on an experimental testbed, showing how it may indeed be implemented in a realistic framework. Parametric uncertainties due to the mass variations during operations, linearization errors, and disturbances due to external space environment are simultaneously considered.
The approach enables to suitably tighten the constraints to guarantee robust recursive feasibility when bounds on the uncertain variables are provided, and under mild assumptions, asymptotic stability in probability of the origin can be established. The offline sampling approach in the control design phase is shown to reduce the computational cost, which usually constitutes the main limit for the adoption of Stochastic Model Predictive Control schemes, especially for low-cost on-board hardware. These characteristics are demonstrated both through simulations and by means of experimental results.
△ Less
Submitted 8 March, 2018; v1 submitted 5 March, 2018;
originally announced March 2018.
-
AC optimal power flow in the presence of renewable sources and uncertain loads
Authors:
Mohammadreza Chamanbaz,
Fabrizio Dabbene,
Constantino Lagoa
Abstract:
The increasing penetration of renewable energy resources, paired with the fact that load can vary significantly, introduce a high degree of uncertainty in the behavior of modern power grids. Given that classical dispatch solutions are "rigid," their performance in such an uncertain environment is in general far from optimal. For this reason, in this paper, we consider AC optimal power flow (AC-OPF…
▽ More
The increasing penetration of renewable energy resources, paired with the fact that load can vary significantly, introduce a high degree of uncertainty in the behavior of modern power grids. Given that classical dispatch solutions are "rigid," their performance in such an uncertain environment is in general far from optimal. For this reason, in this paper, we consider AC optimal power flow (AC-OPF) problems in the presence of uncertain loads and (uncertain) renewable energy generators. The goal of AC-OPF design is to guarantee that controllable generation is dispatched at minimum cost, while satisfying constraints on generation and transmission for "almost all" realizations of the uncertainty.
We propose an approach based on a randomized technique recently developed, named "scenario with certificates", which allows to tackle the problem without assuming any a-priori dependence of the voltages in the network on the uncertain generators/loads. The proposed solution can exploit the usually available probabilistic description of the uncertainty and variability, and provides solutions with a-priori probabilistic guarantees on the risk of violating the constraints on generation and transmission.
△ Less
Submitted 30 May, 2019; v1 submitted 9 February, 2017;
originally announced February 2017.
-
Randomized and robust methods for uncertain systems using R-RoMulOC, with applications to DEMETER satellite benchmark
Authors:
Mohammadreza Chamanbaz,
Fabrizio Dabbene,
Dimitri Peaucelle,
Christelle Pittet,
Roberto Tempo
Abstract:
R-RoMulOC is a freely distributed toolbox which aims at making easily available to the users different optimization-based methods for dealing with uncertain systems. It implements both deterministic LMI-based results, that provide guaranteed performances for all values of the uncertainties, and probabilistic randomization-based approaches, that guarantee performances for all values of the uncertai…
▽ More
R-RoMulOC is a freely distributed toolbox which aims at making easily available to the users different optimization-based methods for dealing with uncertain systems. It implements both deterministic LMI-based results, that provide guaranteed performances for all values of the uncertainties, and probabilistic randomization-based approaches, that guarantee performances for all values of the uncertainties except for a subset with arbitrary small probability measure. The paper is devoted to the description of these two approaches for analysis and control design when applied to a satellite benchmark proposed by CNES, the French Space Agency. The paper also describes the modeling of the DEMETER satellite and its integration into the R-RoMulOC toolbox as a challenging test example. Design of state-feedback controllers and closed-loop performance analysis are carried out with the randomized and robust methods available in the R-RoMulOC toolbox.
△ Less
Submitted 21 December, 2016;
originally announced December 2016.
-
Sampling methods for multistage robust convex optimization problems
Authors:
Francesca Maggioni,
Marida Bertocchi,
Fabrizio Dabbene,
Roberto Tempo
Abstract:
In this paper, probabilistic guarantees for constraint sampling of multistage robust convex optimization problems are derived. The dynamic nature of these problems is tackled via the so-called scenario-with-certificates approach. This allows to avoid the conservative use of explicit parametrizations through decision rules, and provides a significant reduction of the sample complexity to satisfy a…
▽ More
In this paper, probabilistic guarantees for constraint sampling of multistage robust convex optimization problems are derived. The dynamic nature of these problems is tackled via the so-called scenario-with-certificates approach. This allows to avoid the conservative use of explicit parametrizations through decision rules, and provides a significant reduction of the sample complexity to satisfy a given level of reliability. An explicit bound on the probability of violation is also given. Numerical results dealing with a multistage inventory management problem show the efficacy of the proposed approach.
△ Less
Submitted 6 November, 2016; v1 submitted 3 November, 2016;
originally announced November 2016.
-
Stochastic MPC with Offline Uncertainty Sampling
Authors:
Matthias Lorenzen,
Fabrizio Dabbene,
Roberto Tempo,
Frank Allgöwer
Abstract:
For discrete-time linear systems subject to parametric uncertainty described by random variables, we develop a sampling-based Stochastic Model Predictive Control algorithm. Unlike earlier results employing a scenario approximation, we propose an offline sampling approach in the design phase instead of online scenario generation. The paper highlights the structural difference between online and off…
▽ More
For discrete-time linear systems subject to parametric uncertainty described by random variables, we develop a sampling-based Stochastic Model Predictive Control algorithm. Unlike earlier results employing a scenario approximation, we propose an offline sampling approach in the design phase instead of online scenario generation. The paper highlights the structural difference between online and offline sampling and provides rigorous bounds on the number of samples needed to guarantee chance constraint satisfaction. The approach does not only significantly speed up the online computation, but furthermore allows to suitably tighten the constraints to guarantee robust recursive feasibility when bounds on the uncertain variables are provided. Under mild assumptions, asymptotic stability of the origin can be established.
△ Less
Submitted 20 June, 2016;
originally announced June 2016.
-
Constraint-Tightening and Stability in Stochastic Model Predictive Control
Authors:
Matthias Lorenzen,
Fabrizio Dabbene,
Roberto Tempo,
Frank Allgöwer
Abstract:
Constraint tightening to non-conservatively guarantee recursive feasibility and stability in Stochastic Model Predictive Control is addressed. Stability and feasibility requirements are considered separately, highlighting the difference between existence of a solution and feasibility of a suitable, a priori known candidate solution. Subsequently, a Stochastic Model Predictive Control algorithm whi…
▽ More
Constraint tightening to non-conservatively guarantee recursive feasibility and stability in Stochastic Model Predictive Control is addressed. Stability and feasibility requirements are considered separately, highlighting the difference between existence of a solution and feasibility of a suitable, a priori known candidate solution. Subsequently, a Stochastic Model Predictive Control algorithm which unifies previous results is derived, leaving the designer the option to balance an increased feasible region against guaranteed bounds on the asymptotic average performance and convergence time. Besides typical performance bounds, under mild assumptions, we prove asymptotic stability in probability of the minimal robust positively invariant set obtained by the unconstrained LQ-optimal controller. A numerical example, demonstrating the efficacy of the proposed approach in comparison with classical, recursively feasible Stochastic MPC and Robust MPC, is provided.
△ Less
Submitted 12 May, 2016; v1 submitted 11 November, 2015;
originally announced November 2015.
-
Simple Approximations of Semialgebraic Sets and their Applications to Control
Authors:
Fabrizio Dabbene,
Didier Henrion,
Constantino Lagoa
Abstract:
Many uncertainty sets encountered in control systems analysis and design can be expressed in terms of semialgebraic sets, that is as the intersection of sets described by means of polynomial inequalities. Important examples are for instance the solution set of linear matrix inequalities or the Schur/Hurwitz stability domains. These sets often have very complicated shapes (non-convex, and even non-…
▽ More
Many uncertainty sets encountered in control systems analysis and design can be expressed in terms of semialgebraic sets, that is as the intersection of sets described by means of polynomial inequalities. Important examples are for instance the solution set of linear matrix inequalities or the Schur/Hurwitz stability domains. These sets often have very complicated shapes (non-convex, and even non-connected), which renders very difficult their manipulation. It is therefore of considerable importance to find simple-enough approximations of these sets, able to capture their main characteristics while maintaining a low level of complexity. For these reasons, in the past years several convex approximations, based for instance on hyperrect-angles, polytopes, or ellipsoids have been proposed. In this work, we move a step further, and propose possibly non-convex approximations , based on a small volume polynomial superlevel set of a single positive polynomial of given degree. We show how these sets can be easily approximated by minimizing the L1 norm of the polynomial over the semialgebraic set, subject to positivity constraints. Intuitively, this corresponds to the trace minimization heuristic commonly encounter in minimum volume ellipsoid problems. From a computational viewpoint, we design a hierarchy of linear matrix inequality problems to generate these approximations, and we provide theoretically rigorous convergence results, in the sense that the hierarchy of outer approximations converges in volume (or, equivalently, almost everywhere and almost uniformly) to the original set. Two main applications of the proposed approach are considered. The first one aims at reconstruction/approximation of sets from a finite number of samples. In the second one, we show how the concept of polynomial superlevel set can be used to generate samples uniformly distributed on a given semialgebraic set. The efficiency of the proposed approach is demonstrated by different numerical examples.
△ Less
Submitted 14 September, 2015;
originally announced September 2015.
-
Randomized Approximations of the Image Set of Nonlinear Mappings with Applications to Filtering
Authors:
Fabrizio Dabbene,
Didier Henrion,
Constantino Lagoa,
Pavel Shcherbakov
Abstract:
The aim of this paper is twofold: In the first part, we leverage recent results on scenario design to develop randomized algorithmsfor approximating the image set of a nonlinear mapping, that is, a (possibly noisy) mapping of a set via a nonlinear function.We introduce minimum-volume approximations which have the characteristic of guaranteeing a low probability of violation, i.e.,we admit for a pr…
▽ More
The aim of this paper is twofold: In the first part, we leverage recent results on scenario design to develop randomized algorithmsfor approximating the image set of a nonlinear mapping, that is, a (possibly noisy) mapping of a set via a nonlinear function.We introduce minimum-volume approximations which have the characteristic of guaranteeing a low probability of violation, i.e.,we admit for a probability that some points in the image set are not contained in the approximating set,but this probability is kept below a pre-specified threshold.In the second part of the paper, this idea is then exploited to develop a new family of randomized prediction-corrector filters.These filters represent a natural extension and rapprochement of Gaussian and set-valued filters,and bear similarities with modern tools such as particle filters.
△ Less
Submitted 29 July, 2015;
originally announced July 2015.
-
Robust linear static anti-windup with probabilistic certificates
Authors:
Simone Formentin,
Fabrizio Dabbene,
Roberto Tempo,
Luca Zaccarian,
Sergio M. Savaresi
Abstract:
In this paper, we address robust static anti-windup compensator design and performance analysis for saturated linear closed loops in the presence of nonlinear probabilistic parameter uncertainties via randomized techniques. The proposed static anti-windup analysis and robust performance synthesis correspond to several optimization goals, ranging from minimization of the nonlinear input/output gain…
▽ More
In this paper, we address robust static anti-windup compensator design and performance analysis for saturated linear closed loops in the presence of nonlinear probabilistic parameter uncertainties via randomized techniques. The proposed static anti-windup analysis and robust performance synthesis correspond to several optimization goals, ranging from minimization of the nonlinear input/output gain to maximization of the stability region or maximization of the domain of attraction. We also introduce a novel paradigm accounting for uncertainties in the energy of the disturbance inputs. Due to the special structure of linear static anti-windup design, wherein the design variables are decoupled from the Lyapunov certificates, we introduce a significant extension, called scenario with certificates (SwC), of the so-called scenario approach for uncertain optimization problems. This extension is of independent interest for similar robust synthesis problems involving parameter-dependent Lyapunov functions. We demonstrate that the scenario with certificates robust design formulation is appealing because it provides a way to implicitly design the parameter-dependent Lyapunov functions and to remove restrictive assumptions about convexity with respect to the uncertain parameters. Subsequently, to reduce the computational cost, we present a sequential randomized algorithm for iteratively solving this problem. The obtained results are illustrated by numerical examples.
△ Less
Submitted 1 July, 2016; v1 submitted 25 May, 2015;
originally announced May 2015.
-
An Improved Constraint-Tightening Approach for Stochastic MPC
Authors:
Matthias Lorenzen,
Frank Allgöwer,
Fabrizio Dabbene,
Roberto Tempo
Abstract:
The problem of achieving a good trade-off in Stochastic Model Predictive Control between the competing goals of improving the average performance and reducing conservativeness, while still guaranteeing recursive feasibility and low computational complexity, is addressed. We propose a novel, less restrictive scheme which is based on considering stability and recursive feasibility separately. Throug…
▽ More
The problem of achieving a good trade-off in Stochastic Model Predictive Control between the competing goals of improving the average performance and reducing conservativeness, while still guaranteeing recursive feasibility and low computational complexity, is addressed. We propose a novel, less restrictive scheme which is based on considering stability and recursive feasibility separately. Through an explicit first step constraint we guarantee recursive feasibility. In particular we guarantee the existence of a feasible input trajectory at each time instant, but we only require that the input sequence computed at time $k$ remains feasible at time $k+1$ for most disturbances but not necessarily for all, which suffices for stability. To overcome the computational complexity of probabilistic constraints, we propose an offline constraint-tightening procedure, which can be efficiently solved via a sampling approach to the desired accuracy. The online computational complexity of the resulting Model Predictive Control (MPC) algorithm is similar to that of a nominal MPC with terminal region. A numerical example, which provides a comparison with classical, recursively feasible Stochastic MPC and Robust MPC, shows the efficacy of the proposed approach.
△ Less
Submitted 29 September, 2014;
originally announced September 2014.
-
Scenario optimization with certificates and applications to anti-windup design
Authors:
Simone Formentin,
Fabrizio Dabbene,
Roberto Tempo,
Luca Zaccarian,
Sergio M. Savaresi
Abstract:
In this paper, we introduce a significant extension, called scenario with certificates (SwC), of the so-called scenario approach for uncertain optimization problems. This extension is motivated by the observation that in many control problems only some of the optimization variables are used in the design phase, while the other variables play the role of certificates. Examples are all those control…
▽ More
In this paper, we introduce a significant extension, called scenario with certificates (SwC), of the so-called scenario approach for uncertain optimization problems. This extension is motivated by the observation that in many control problems only some of the optimization variables are used in the design phase, while the other variables play the role of certificates. Examples are all those control problems that can be reformulated in terms of linear matrix inequalities involving parameter-dependent Lyapunov functions. These control problems include static anti-windup compensator design for uncertain linear systems with input saturation, where the goal is the minimization of the nonlinear gain from an exogenous input to a performance output. The main contribution of this paper is to show that randomization is a useful tool, specifically for anti-windup design, to make the overall approach less conservative compared to its robust counterpart. In particular, we demonstrate that the scenario with certificates reformulation is appealing because it provides a way to implicitly design the parameter-dependent Lyapunov functions. Finally, to further reduce the computational cost of this one-shot approach, we present a sequential randomized algorithm for iteratively solving this problem.
△ Less
Submitted 21 March, 2014;
originally announced March 2014.
-
Uniform sample generation in semialgebraic sets
Authors:
Fabrizio Dabbene,
Didier Henrion,
Constantino Lagoa
Abstract:
We propose efficient techniques for generating independent identically distributed uniform random samples inside semialgebraic sets. The proposed algorithm leverages recent results on the approximation of indicator functions by polynomials %\cite{DabHen:13} to develop acceptance/rejection based sample generation algorithms with guaranteed performance in terms of rejection rate (the number of sampl…
▽ More
We propose efficient techniques for generating independent identically distributed uniform random samples inside semialgebraic sets. The proposed algorithm leverages recent results on the approximation of indicator functions by polynomials %\cite{DabHen:13} to develop acceptance/rejection based sample generation algorithms with guaranteed performance in terms of rejection rate (the number of samples that should be generated in order to obtain an accepted sample). Moreover, the {acceptance} rate is shown to be is asymptotically optimal, in the sense that it tends to one (all samples accepted) as the degree of the polynomial approximation increases. The performance of the proposed method is illustrated by a numerical example.
△ Less
Submitted 19 March, 2014;
originally announced March 2014.
-
A Statistical Learning Theory Approach for Uncertain Linear and Bilinear Matrix Inequalities
Authors:
Mohammadreza Chamanbaz,
Fabrizio Dabbene,
Roberto Tempo,
Venkatakrishnan Venkataramanan,
Qing-Guo Wang
Abstract:
In this paper, we consider the problem of minimizing a linear functional subject to uncertain linear and bilinear matrix inequalities, which depend in a possibly nonlinear way on a vector of uncertain parameters. Motivated by recent results in statistical learning theory, we show that probabilistic guaranteed solutions can be obtained by means of randomized algorithms. In particular, we show that…
▽ More
In this paper, we consider the problem of minimizing a linear functional subject to uncertain linear and bilinear matrix inequalities, which depend in a possibly nonlinear way on a vector of uncertain parameters. Motivated by recent results in statistical learning theory, we show that probabilistic guaranteed solutions can be obtained by means of randomized algorithms. In particular, we show that the Vapnik-Chervonenkis dimension (VC-dimension) of the two problems is finite, and we compute upper bounds on it. In turn, these bounds allow us to derive explicitly the sample complexity of these problems. Using these bounds, in the second part of the paper, we derive a sequential scheme, based on a sequence of optimization and validation steps. The algorithm is on the same lines of recent schemes proposed for similar problems, but improves both in terms of complexity and generality. The effectiveness of this approach is shown using a linear model of a robot manipulator subject to uncertain parameters.
△ Less
Submitted 13 March, 2014; v1 submitted 21 May, 2013;
originally announced May 2013.
-
Sequential Randomized Algorithms for Convex Optimization in the Presence of Uncertainty
Authors:
Mohammadreza Chamanbaz,
Fabrizio Dabbene,
Roberto Tempo,
Venkatakrishnan Venkataramanan,
Qing-Guo Wang
Abstract:
In this paper, we propose new sequential randomized algorithms for convex optimization problems in the presence of uncertainty. A rigorous analysis of the theoretical properties of the solutions obtained by these algorithms, for full constraint satisfaction and partial constraint satisfaction, respectively, is given. The proposed methods allow to enlarge the applicability of the existing randomize…
▽ More
In this paper, we propose new sequential randomized algorithms for convex optimization problems in the presence of uncertainty. A rigorous analysis of the theoretical properties of the solutions obtained by these algorithms, for full constraint satisfaction and partial constraint satisfaction, respectively, is given. The proposed methods allow to enlarge the applicability of the existing randomized methods to real-world applications involving a large number of design variables. Since the proposed approach does not provide a priori bounds on the sample complexity, extensive numerical simulations, dealing with an application to hard-disk drive servo design, are provided. These simulations testify the goodness of the proposed solution.
△ Less
Submitted 27 September, 2015; v1 submitted 8 April, 2013;
originally announced April 2013.
-
Minimum volume semialgebraic sets for robust estimation
Authors:
Fabrizio Dabbene,
Didier Henrion
Abstract:
Motivated by problems of uncertainty propagation and robust estimation we are interested in computing a polynomial sublevel set of fixed degree and minimum volume that contains a given semialgebraic set K. At this level of generality this problem is not tractable, even though it becomes convex e.g. when restricted to nonnegative homogeneous polynomials. Our contribution is to describe and justify…
▽ More
Motivated by problems of uncertainty propagation and robust estimation we are interested in computing a polynomial sublevel set of fixed degree and minimum volume that contains a given semialgebraic set K. At this level of generality this problem is not tractable, even though it becomes convex e.g. when restricted to nonnegative homogeneous polynomials. Our contribution is to describe and justify a tractable L^1-norm or trace heuristic for this problem, relying upon hierarchies of linear matrix inequality (LMI) relaxations when K is semialgebraic, and simplifying to linear programming (LP) when K is a collection of samples, a discrete union of points.
△ Less
Submitted 11 October, 2012;
originally announced October 2012.
-
Probabilistic Optimal Estimation and Filtering under Uncertainty
Authors:
Fabrizio Dabbene,
Mario Sznaier,
Roberto Tempo
Abstract:
The classical approach to system identification is based on stochastic assumptions about the measurement error, and provides estimates that have random nature. Worst-case identification, on the other hand, only assumes the knowledge of deterministic error bounds, and establishes guaranteed estimates, thus being in principle better suited for the use in control design. However, a main limitation of…
▽ More
The classical approach to system identification is based on stochastic assumptions about the measurement error, and provides estimates that have random nature. Worst-case identification, on the other hand, only assumes the knowledge of deterministic error bounds, and establishes guaranteed estimates, thus being in principle better suited for the use in control design. However, a main limitation of such deterministic bounds lies on their potential conservatism, thus leading to estimates of restricted use.
In this paper, we propose a rapprochement between the stochastic and worst-case paradigms. In particular, based on a probabilistic framework for linear estimation problems, we derive new computational results. These results combine elements from information-based complexity with recent developments in the theory of randomized algorithms. The main idea in this line of research is to "discard" sets of measure at most ε, where εis a probabilistic accuracy, from the set of deterministic estimates. Therefore, we are decreasing the so-called worst-case radius of information at the expense of a given probabilistic ``risk."
In this setting, we compute a trade-off curve, called violation function, which shows how the radius of information decreases as a function of the accuracy. To this end, we construct randomized and deterministic algorithms which provide approximations of this function. We report extensive simulations showing numerical comparisons between the stochastic, worst-case and probabilistic approaches, thus demonstrating the efficacy of the methods proposed in this paper.
△ Less
Submitted 5 June, 2013; v1 submitted 7 March, 2012;
originally announced March 2012.
