# Data-Driven Robust Backward Reachable Sets for Set-Theoretic Model Predictive Control

arXiv: https://arxiv.org/abs/2303.04749 · HTML: https://mlsanity.com/paper/2303.04749/

## Key facts

- Cited by 1 papers in the map (data through 14 Oct 2026).
- First posted on arXiv 8 Mar 2023.

## Built on by (most cited first, 1 of 1)

- [Data-Driven Safety Verification using Barrier Certificates and Matrix Zonotopes](https://mlsanity.com/paper/2504.01007/) (2025)

## Abstract (arXiv)

In this paper, we propose a novel approach for computing robust backward reachable sets from noisy data for unknown constrained linear systems subject to bounded disturbances. In particular, we develop an algorithm for obtaining zonotopic inner approximations that can be used for control purposes. It is shown that such sets, if built on an extended space including states and inputs, can be used to embed the system's one-step evolution in the computed extended regions. Such a result is then exploited to build a set-theoretic model predictive controller that, offline, builds a recursive family of robust data-driven reachable sets, and online, computes recursively admissible control actions without explicitly resorting to either a model of the system or the available data.The validity of the proposed data-driven solution is verified by means of a numerical simulation and its performance is contrasted with the model-based counterpart.