22 citations · 38 across the 12 of their papers we have counts for
14 papers
A Stochastic Tube-Based MPC Framework with Hard Input Constraints
Carlo Karam, Matteo Tacchi, Mirko Fiacchini
This work presents a stochastic tube-based model predictive control framework that guarantees hard input constraint satisfaction for linear systems subject to unbounded additive di…
Peak Time-Windowed Risk Estimation of Stochastic Processes
Jared Miller, Niklas Schmid, Matteo Tacchi +2
This paper develops a method to upper-bound extreme-values of time-windowed risks for stochastic processes. Examples of such risks include the maximum average or 90% quantile of th…
Maximizing Slice-Volumes of Semialgebraic Sets using Sum-of-Squares Programming
Jared Miller, Chiara Meroni, Matteo Tacchi +1
This paper presents an algorithm to maximize the volume of an affine slice through a given semialgebraic set. This slice-volume task is formulated as an infinite-dimensional linear…
Unsafe Probabilities and Risk Contours for Stochastic Processes using Convex Optimization
Jared Miller, Matteo Tacchi, Didier Henrion +1
This paper proposes an algorithm to calculate the maximal probability of unsafety with respect to trajectories of a stochastic process and a hazard set. The unsafe probability esti…
Minimal-time nonlinear control via semi-infinite programming
Antoine Oustry, Matteo Tacchi
We address the problem of computing a control for a time-dependent nonlinear system to reach a target set in a minimal time. To solve this minimal time control problem, we introduc…
Robustly Learning Regions of Attraction from Fixed Data
Matteo Tacchi, Yingzhao Lian, Colin Jones
While stability analysis is a mainstay for control science, especially computing regions of attraction of equilibrium points, until recently most stability analysis tools always re…
SOStab: a Matlab Toolbox for Transient Stability Analysis
Stéphane Drobot, Matteo Tacchi, Carmen Cardozo +1
This paper presents a new Matlab toolbox, aimed at facilitating the use of polynomial optimization for stability analysis of nonlinear systems. In the past decade several decisive…
Peak Value-at-Risk Estimation of Stochastic Processes using Occupation Measures
Jared Miller, Matteo Tacchi, Mario Sznaier +1
This paper formulates algorithms to upper-bound the maximum Value-at-Risk (VaR) of a state function along trajectories of stochastic processes. The VaR is upper bounded by two meth…
Convergence of Lasserre's hierarchy: the general case
Matteo Tacchi
Lasserre's moment-SOS hierarchy consists of approximating instances of the generalized moment problem (GMP) with moment relaxations and sums-of-squares (SOS) strenghtenings that bo…
Stokes, Gibbs and volume computation of semi-algebraic sets
Matteo Tacchi, Jean B Lasserre, Didier Henrion
We consider the problem of computing the Lebesgue volume of compact basic semi-algebraic sets. In full generality, it can be approximated as closely as desired by a converging hier…
Approximating regions of attraction of a sparse polynomial differential system *
Didier Henrion, Matteo Tacchi, Carmen Cardozo +1
Motivated by stability analysis of large scale power systems, we describe how the Lasserre (moment-sums of squares, SOS) hierarchy can be used to generate outer approximations of t…
Inner approximations of the maximal positively invariant set for polynomial dynamical systems
Antoine Oustry, Matteo Tacchi, Didier Henrion
The Lasserre or moment-sum-of-square hierarchy of linear matrix inequality relaxations is used to compute inner approximations of the maximal positively invariant set for continuou…
Exploiting Sparsity for Semi-Algebraic Set Volume Computation
Matteo Tacchi, Tillmann Weisser, Jean-Bernard Lasserre +1
We provide a systematic deterministic numerical scheme to approximate the volume (i.e. the Lebesgue measure) of a basic semi-algebraic set whose description follows a sparsity patt…
Transient Stability Analysis of Power Systems via Occupation Measures
Cedric Josz, Daniel K. Molzahn, Matteo Tacchi +1
We propose the application of occupation measure theory to the classical problem of transient stability analysis for power systems. This enables the computation of certified inner…