Salvato in:
| Autori principali: | , |
|---|---|
| Natura: | Preprint |
| Pubblicazione: |
2023
|
| Soggetti: | |
| Accesso online: | https://arxiv.org/abs/2301.10935 |
| Tags: |
Aggiungi Tag
Nessun Tag, puoi essere il primo ad aggiungerne!!
|
| _version_ | 1866910091645550592 |
|---|---|
| author | Simmons, William Platzer, André |
| author_facet | Simmons, William Platzer, André |
| contents | Invariant sets are a key ingredient for verifying safety and other properties of cyber-physical systems that mix discrete and continuous dynamics. We adapt the elimination-theoretic Rosenfeld-Gröbner algorithm to systematically obtain algebraic invariants of polynomial dynamical systems without using Gröbner bases or quantifier elimination. We identify totally real varieties as an important class for efficient invariance checking. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2301_10935 |
| institution | arXiv |
| publishDate | 2023 |
| record_format | arxiv |
| spellingShingle | Differential Elimination and Algebraic Invariants of Polynomial Dynamical Systems Simmons, William Platzer, André Symbolic Computation Logic in Computer Science Algebraic Geometry Dynamical Systems Invariant sets are a key ingredient for verifying safety and other properties of cyber-physical systems that mix discrete and continuous dynamics. We adapt the elimination-theoretic Rosenfeld-Gröbner algorithm to systematically obtain algebraic invariants of polynomial dynamical systems without using Gröbner bases or quantifier elimination. We identify totally real varieties as an important class for efficient invariance checking. |
| title | Differential Elimination and Algebraic Invariants of Polynomial Dynamical Systems |
| topic | Symbolic Computation Logic in Computer Science Algebraic Geometry Dynamical Systems |
| url | https://arxiv.org/abs/2301.10935 |