Probabilistic stabilizability certificates for a class of black-box linear systems
Filippo Fabiani, Kostas Margellos, Paul J. Goulart

TL;DR
This paper introduces a probabilistic method to certify controlled invariance of sets in black-box linear systems, using realizations of uncertain parameters and linear programming, applicable to multi-agent networks with unknown graph weights.
Contribution
It develops a novel probabilistic certification framework for controlled invariance in black-box linear systems based on parameter realizations and linear programming.
Findings
Provides out-of-sample certificates for controlled invariance.
Applicable to systems with unknown parameters, such as networked multi-agent systems.
Uses linear programming for feasibility analysis.
Abstract
We provide out-of-sample certificates on the controlled invariance property of a given set with respect to a class of black-box linear systems. Specifically, we consider linear time-invariant models whose state space matrices are known only to belong to a certain family due to a possibly inexact quantification of some parameters. By exploiting a set of realizations of those undetermined parameters, verifying the controlled invariance property of the given set amounts to a linear program, whose feasibility allows us to establish an a-posteriori probabilistic certificate on the controlled invariance property of such a set with respect to the nominal linear time-invariant dynamics. The proposed framework is applied to the control of a networked multi-agent system with unknown weighted graph.
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
