Automatica

This paper studies data-driven stabilization of a class of unknown polynomial systems using data corrupted by bounded noise. Existing work addressing this problem has focused on designing a controller and a Lyapunov function so that a certain state-dependent matrix is negative definite, which ensures asymptotic stability of all closed-loop systems compatible with the data. However, as we demonstr…

We propose a novel targeted exploration strategy designed specifically for uncertain linear time-invariant systems with energy-bounded disturbances, i.e., without any assumptions on the distribution of the disturbances. We use classical results characterising the set of non-falsified parameters consistent with energy-bounded disturbances. We derive a semidefinite program which computes an explora…

In this paper, we present a novel data-driven approach to quantify safety for non-linear, discrete-time stochastic systems with unknown noise distribution. We define safety as the probability that the system remains in a given region of the state space for a given time horizon and, to quantify it, we present an approach based on Stochastic Barrier Functions (SBFs). In particular, we introduce an …

In this paper, we study stabilizability of discrete-time switched linear systems where the switching signal is considered as an arbitrary external input (and not a control variable). We characterize feedback stabilization via a hierarchy of necessary and sufficient linear matrix inequalities (LMIs) conditions based on novel graph structures. We analyze both the cases in which the controller has (…