Showing 1–6 of 6 results for author: Fiacchini, M

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.

Probabilistic Reachable Set Estimation for Saturated Systems with Unbounded Additive Disturbances

Authors: Carlo Karam, Matteo Tacchi-Bénard, Mirko Fiacchini

Abstract: In this paper, we present an analytical approach for the synthesis of ellipsoidal probabilistic reachable sets of saturated systems subject to unbounded additive noise. Using convex optimization methods, we compute a contraction factor of the saturated error dynamics that allows us to tightly bound its evolution and therefore construct accurate reachable sets. The proposed approach is applicable t… ▽ More In this paper, we present an analytical approach for the synthesis of ellipsoidal probabilistic reachable sets of saturated systems subject to unbounded additive noise. Using convex optimization methods, we compute a contraction factor of the saturated error dynamics that allows us to tightly bound its evolution and therefore construct accurate reachable sets. The proposed approach is applicable to independent, zero mean disturbances with a known covariance. A numerical example illustrates the applicability and effectiveness of the proposed design. △ Less

Submitted 14 April, 2025; v1 submitted 4 April, 2025; originally announced April 2025.

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.

Output Regulation of Stochastic Sampled-Data Systems with Post-processing Internal Model

Authors: Himadri Basu, Francesco Ferrante, Mirko Fiacchini

Abstract: This paper deals with the output regulation problem (ORP) of a linear time-invariant (LTI) system in the presence of sporadically sampled measurement streams with the inter-sampling intervals following a stochastic process. Under such sporadically available measurement streams, a regulator consisting of a hybrid observer, continuous-time post-processing internal model, and stabilizer are proposed,… ▽ More This paper deals with the output regulation problem (ORP) of a linear time-invariant (LTI) system in the presence of sporadically sampled measurement streams with the inter-sampling intervals following a stochastic process. Under such sporadically available measurement streams, a regulator consisting of a hybrid observer, continuous-time post-processing internal model, and stabilizer are proposed, which resets with the arrival of new measurements. The resulting system exhibits a deterministic behavior except for the jumps that occur at random sampling times and therefore the overall closed-loop system can be categorized as a piecewise deterministic Markov process (PDMP). In existing works on ORPs with aperiodic sampling, the requirement of boundedness on inter-sampling intervals precludes extending the solution to the random sampling intervals with possibly unbounded support. Using the Lyapunov-like theorem for the stability analysis of stochastic systems, we offer sufficient conditions to ensure that the overall closed-loop system is mean exponentially stable (MES) and the objectives of the ORP are achieved under stochastic sampling of measurement streams. The resulting LMI conditions lead to a numerically tractable design of the hybrid regulator. Finally, with the help of an illustrative example, the effectiveness of the theoretical results are verified. △ Less

Submitted 27 June, 2023; originally announced June 2023.

Journal ref: European Journal of Control 2023

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.

Observer-Based Feedback Stabilization of Linear Systems with Event-triggered Sampling and Dynamic Quantization

Authors: Aneel Tanwani, Christophe Prieur, Mirko Fiacchini

Abstract: We consider the problem of output feedback stabilization in linear systems when the measured outputs and control inputs are subject to event-triggered sampling and dynamic quantization. A new sampling algorithm is proposed for outputs which does not lead to accumulation of sampling times and results in asymptotic stabilization of the system. The approach for output sampling is based on defining an… ▽ More We consider the problem of output feedback stabilization in linear systems when the measured outputs and control inputs are subject to event-triggered sampling and dynamic quantization. A new sampling algorithm is proposed for outputs which does not lead to accumulation of sampling times and results in asymptotic stabilization of the system. The approach for output sampling is based on defining an event function that compares the difference between the current output and the most recently transmitted output sample not only with the current value of the output, but also takes into account a certain number of previously transmitted output samples. This allows us to reconstruct the state using an observer with sample-and-hold measurements. The estimated states are used to generate a control input, which is subjected to a different event-triggered sampling routine; hence the sampling times of inputs and outputs are asynchronous. Using Lyapunov-based approach, we prove the asymptotic stabilization of the closed-loop system and show that there exists a minimum inter-sampling time for control inputs and for outputs. To show that these sampling routines are robust with respect to transmission errors, only the quantized (in space) values of outputs and inputs are transmitted to the controller and the plant, respectively. A dynamic quantizer is adopted for this purpose, and an algorithm is proposed to update the range and the centre of the quantizer that results in an asymptotically stable closed-loop system. △ Less

Submitted 8 June, 2016; v1 submitted 22 January, 2016; originally announced February 2016.