PRoTECT: Parallelized Construction of Safety Barrier Certificates for Nonlinear Polynomial 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_ | 1866909645384187904 |
|---|---|
| author | Wooding, Ben Horbanov, Viacheslav Lavaei, Abolfazl |
| author_facet | Wooding, Ben Horbanov, Viacheslav Lavaei, Abolfazl |
| contents | We develop an open-source software tool, called PRoTECT, for the parallelized construction of safety barrier certificates (BCs) for nonlinear polynomial systems. This tool employs sum-of-squares (SOS) optimization programs to systematically search for polynomial-type BCs, while aiming to verify safety properties over four classes of dynamical systems: (i) discrete-time stochastic systems, (ii) discrete-time deterministic systems, (iii) continuous-time stochastic systems, and (iv) continuous-time deterministic systems. PRoTECT is implemented in Python as an application programming interface (API), offering users the flexibility to interact either through its user-friendly graphic user interface (GUI) or via function calls from other Python programs. PRoTECT leverages parallelism across different barrier degrees to efficiently search for a feasible BC. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2404_14804 |
| institution | arXiv |
| publishDate | 2024 |
| record_format | arxiv |
| spellingShingle | PRoTECT: Parallelized Construction of Safety Barrier Certificates for Nonlinear Polynomial Systems Wooding, Ben Horbanov, Viacheslav Lavaei, Abolfazl Systems and Control We develop an open-source software tool, called PRoTECT, for the parallelized construction of safety barrier certificates (BCs) for nonlinear polynomial systems. This tool employs sum-of-squares (SOS) optimization programs to systematically search for polynomial-type BCs, while aiming to verify safety properties over four classes of dynamical systems: (i) discrete-time stochastic systems, (ii) discrete-time deterministic systems, (iii) continuous-time stochastic systems, and (iv) continuous-time deterministic systems. PRoTECT is implemented in Python as an application programming interface (API), offering users the flexibility to interact either through its user-friendly graphic user interface (GUI) or via function calls from other Python programs. PRoTECT leverages parallelism across different barrier degrees to efficiently search for a feasible BC. |
| title | PRoTECT: Parallelized Construction of Safety Barrier Certificates for Nonlinear Polynomial Systems |
| topic | Systems and Control |
| url | https://arxiv.org/abs/2404.14804 |