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!
Description
Summary: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 conditions on the high order Lie derivatives of polynomials occurring in the SAI. A direct consequence of this criterion is a relatively complete method of SAI generation based on template assumption and semi-algebraic constraint solving. Relative completeness means if there is an SAI in the form of a predefined template, then our method can indeed find one.
ISBN:1450307140
9781450307147
DOI:10.1145/2038642.2038659