A Physics-Informed Scenario Approach with Data Mitigation for Safety Verification of Nonlinear Systems
Fuente:
arXiv
Saved in:
| Main Authors: | , , , |
|---|---|
| Format: | Preprint |
| Published: |
2024
|
| Subjects: | |
| Online Access: | |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1866917497456820224 |
|---|---|
| author | Aminzadeh, Ali Ashoori, MohammadHossein Nejati, Amy Lavaei, Abolfazl |
| author_facet | Aminzadeh, Ali Ashoori, MohammadHossein Nejati, Amy Lavaei, Abolfazl |
| contents | This paper develops a physics-informed scenario approach for safety verification of nonlinear systems using barrier certificates (BCs) to ensure that system trajectories remain within safe regions over an infinite time horizon. Designing BCs often relies on an accurate dynamics model; however, such models are often imprecise due to the model complexity involved, particularly when dealing with highly nonlinear systems. In such cases, while scenario approaches effectively address the safety problem using collected data to construct a guaranteed BC for the unknown dynamical system, they often require solving an optimization problem with substantial amounts of data. To address this, we propose a physics-informed scenario approach that selects data samples such that the outputs of the physics-based model and the observed data are sufficiently close. This approach guides the scenario optimization process to eliminate redundant samples and potentially reduce the required dataset size. We validate our approach through three case studies, showcasing its practical application in reducing the required data. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2412_03932 |
| institution | arXiv |
| publishDate | 2024 |
| record_format | arxiv |
| spellingShingle | A Physics-Informed Scenario Approach with Data Mitigation for Safety Verification of Nonlinear Systems Aminzadeh, Ali Ashoori, MohammadHossein Nejati, Amy Lavaei, Abolfazl Systems and Control This paper develops a physics-informed scenario approach for safety verification of nonlinear systems using barrier certificates (BCs) to ensure that system trajectories remain within safe regions over an infinite time horizon. Designing BCs often relies on an accurate dynamics model; however, such models are often imprecise due to the model complexity involved, particularly when dealing with highly nonlinear systems. In such cases, while scenario approaches effectively address the safety problem using collected data to construct a guaranteed BC for the unknown dynamical system, they often require solving an optimization problem with substantial amounts of data. To address this, we propose a physics-informed scenario approach that selects data samples such that the outputs of the physics-based model and the observed data are sufficiently close. This approach guides the scenario optimization process to eliminate redundant samples and potentially reduce the required dataset size. We validate our approach through three case studies, showcasing its practical application in reducing the required data. |
| title | A Physics-Informed Scenario Approach with Data Mitigation for Safety Verification of Nonlinear Systems |
| topic | Systems and Control |
| url | https://arxiv.org/abs/2412.03932 |