Computing semi-algebraic invariants for polynomial dynamical systems
In this paper, we consider an extended concept of invariant for polynomial dynamical systems (PDSs) with domain and initial condition, and establish a sound and complete criterion for checking semi-algebraic invariants (SAIs) for such PDSs. The main idea is encoding relevant dynamical properties as...
Gespeichert in:
| Veröffentlicht in: | Proceedings of the ninth ACM International Conference on Embedded Software S. 97 - 106 |
|---|---|
| Hauptverfasser: | , , |
| Format: | Tagungsbericht |
| Sprache: | Englisch |
| Veröffentlicht: |
New York, NY, USA
ACM
09.10.2011
IEEE |
| Schriftenreihe: | ACM Conferences |
| Schlagworte: |
Computing methodologies
> Symbolic and algebraic manipulation
> Symbolic and algebraic algorithms
> Algebraic algorithms
Software and its engineering
> Software creation and management
> Software verification and validation
> Formal software verification
|
| ISBN: | 1450307140, 9781450307147 |
| Online-Zugang: | Volltext |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
Schreiben Sie den ersten Kommentar!