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

Full description

Saved in:

Bibliographic Details
Published in:	Proceedings of the ninth ACM International Conference on Embedded Software pp. 97 - 106
Main Authors:	Liu, Jiang, Zhan, Naijun, Zhao, Hengjun
Format:	Conference Proceeding
Language:	English
Published:	New York, NY, USA ACM 09.10.2011 IEEE
Series:	ACM Conferences
Subjects:	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
Online Access:	Get full text
Tags:	Add Tag No Tags, Be the first to tag this record!

Be the first to leave a comment!