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...

Celý popis

Uloženo v:

Podrobná bibliografie
Vydáno v:	Proceedings of the ninth ACM International Conference on Embedded Software s. 97 - 106
Hlavní autoři:	Liu, Jiang, Zhan, Naijun, Zhao, Hengjun
Médium:	Konferenční příspěvek
Jazyk:	angličtina
Vydáno:	New York, NY, USA ACM 09.10.2011 IEEE
Edice:	ACM Conferences
Témata:	Computing methodologies > Symbolic and algebraic manipulation > Symbolic and algebraic algorithms > Algebraic algorithms Invariant Mathematical model Polynomial dynamical system Polynomials Safety Semi-algebraic set Software Software and its engineering > Software creation and management > Software verification and validation > Formal software verification Software and its engineering > Software organization and properties > Software functional properties > Formal methods Trajectory Vectors semi-algebraic set polynomial dynamical system invariant
ISBN:	1450307140, 9781450307147
On-line přístup:	Získat plný text
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!

Buďte první, kdo okomentuje tento záznam!