Barrier Certificates for Unknown Systems with Latent States and Polynomial Dynamics using Bayesian Inference
Fuente:
arXiv
Salvato in:
| Autori principali: | , , , |
|---|---|
| Natura: | Preprint |
| Pubblicazione: |
2025
|
| Soggetti: | |
| Accesso online: | |
| Tags: |
Aggiungi Tag
Nessun Tag, puoi essere il primo ad aggiungerne!!
|
| _version_ | 1866912825760284672 |
|---|---|
| author | Lefringhausen, Robert Hanna, Sami Leon Noel Aziz August, Elias Hirche, Sandra |
| author_facet | Lefringhausen, Robert Hanna, Sami Leon Noel Aziz August, Elias Hirche, Sandra |
| contents | Certifying safety in dynamical systems is crucial, but barrier certificates - widely used to verify that system trajectories remain within a safe region - typically require explicit system models. When dynamics are unknown, data-driven methods can be used instead, yet obtaining a valid certificate requires rigorous uncertainty quantification. For this purpose, existing methods usually rely on full-state measurements, limiting their applicability. This paper proposes a novel approach for synthesizing barrier certificates for unknown systems with latent states and polynomial dynamics. A Bayesian framework is employed, where a prior in state-space representation is updated using output data via a targeted marginal Metropolis-Hastings sampler. The resulting samples are used to construct a barrier certificate through a sum-of-squares program. Probabilistic guarantees for its validity with respect to the true, unknown system are obtained by testing on an additional set of posterior samples. The approach and its probabilistic guarantees are illustrated through a numerical simulation. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2504_01807 |
| institution | arXiv |
| publishDate | 2025 |
| record_format | arxiv |
| spellingShingle | Barrier Certificates for Unknown Systems with Latent States and Polynomial Dynamics using Bayesian Inference Lefringhausen, Robert Hanna, Sami Leon Noel Aziz August, Elias Hirche, Sandra Systems and Control Machine Learning Certifying safety in dynamical systems is crucial, but barrier certificates - widely used to verify that system trajectories remain within a safe region - typically require explicit system models. When dynamics are unknown, data-driven methods can be used instead, yet obtaining a valid certificate requires rigorous uncertainty quantification. For this purpose, existing methods usually rely on full-state measurements, limiting their applicability. This paper proposes a novel approach for synthesizing barrier certificates for unknown systems with latent states and polynomial dynamics. A Bayesian framework is employed, where a prior in state-space representation is updated using output data via a targeted marginal Metropolis-Hastings sampler. The resulting samples are used to construct a barrier certificate through a sum-of-squares program. Probabilistic guarantees for its validity with respect to the true, unknown system are obtained by testing on an additional set of posterior samples. The approach and its probabilistic guarantees are illustrated through a numerical simulation. |
| title | Barrier Certificates for Unknown Systems with Latent States and Polynomial Dynamics using Bayesian Inference |
| topic | Systems and Control Machine Learning |
| url | https://arxiv.org/abs/2504.01807 |