Probabilistic stabilizability certificates for a class of black-box linear systems
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 generated by a possibly inexact quantification of some parameters in the state-space matrices. By exploiting a set of realizations of those undetermined para...
| Main Authors: | , , |
|---|---|
| Format: | Journal article |
| Language: | English |
| Published: |
IEEE
2021
|
| _version_ | 1797089373079994368 |
|---|---|
| author | Fabiani, F Margellos, K Goulart, PJ |
| author_facet | Fabiani, F Margellos, K Goulart, PJ |
| author_sort | Fabiani, F |
| collection | OXFORD |
| description | 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 generated by a possibly inexact quantification of some parameters in the state-space matrices. 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 unknown linear time-invariant dynamics. We apply this framework to the control of a networked system with unknown weighted graph. |
| first_indexed | 2024-03-07T03:03:13Z |
| format | Journal article |
| id | oxford-uuid:b1a4a535-0aa2-45dc-91ae-068090872bab |
| institution | University of Oxford |
| language | English |
| last_indexed | 2024-03-07T03:03:13Z |
| publishDate | 2021 |
| publisher | IEEE |
| record_format | dspace |
| spelling | oxford-uuid:b1a4a535-0aa2-45dc-91ae-068090872bab2022-03-27T04:05:41ZProbabilistic stabilizability certificates for a class of black-box linear systemsJournal articlehttp://purl.org/coar/resource_type/c_dcae04bcuuid:b1a4a535-0aa2-45dc-91ae-068090872babEnglishSymplectic ElementsIEEE2021Fabiani, FMargellos, KGoulart, PJWe provide out-of-sample certificates on the controlled invariance property of a given set with respect to a class of black-box linear systems generated by a possibly inexact quantification of some parameters in the state-space matrices. 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 unknown linear time-invariant dynamics. We apply this framework to the control of a networked system with unknown weighted graph. |
| spellingShingle | Fabiani, F Margellos, K Goulart, PJ Probabilistic stabilizability certificates for a class of black-box linear systems |
| title | Probabilistic stabilizability certificates for a class of black-box linear systems |
| title_full | Probabilistic stabilizability certificates for a class of black-box linear systems |
| title_fullStr | Probabilistic stabilizability certificates for a class of black-box linear systems |
| title_full_unstemmed | Probabilistic stabilizability certificates for a class of black-box linear systems |
| title_short | Probabilistic stabilizability certificates for a class of black-box linear systems |
| title_sort | probabilistic stabilizability certificates for a class of black box linear systems |
| work_keys_str_mv | AT fabianif probabilisticstabilizabilitycertificatesforaclassofblackboxlinearsystems AT margellosk probabilisticstabilizabilitycertificatesforaclassofblackboxlinearsystems AT goulartpj probabilisticstabilizabilitycertificatesforaclassofblackboxlinearsystems |