computing semi-algebraic invariants for polynomial dynamical systems

ISCAS OpenIR

	computing semi-algebraic invariants for polynomial dynamical systems
	Liu Jiang; Zhan Naijun; Zhao Hengjun
	2011
会议名称	Embedded Systems Week 2011, ESWEEK 2011 - 9th ACM International Conference on Embedded Software, EMSOFT'11
会议录名称	Embedded Systems Week 2011, ESWEEK 2011 - Proceedings of the 9th ACM International Conference on Embedded Software, EMSOFT'11
页码	97-106
会议日期	October 9,
会议地点	Taipei, Taiwan
收录类别	EI
ISBN	9781450307147
部门归属	(1) State Key Lab. of Comp. Sci. Institute of Software Chinese Academy of Sciences China; (2) Zhong Guan Cun No. 4 South Fourth Street Beijing 100190 P.R. China
摘要	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. Copyright © 2011 ACM.; 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. Copyright © 2011 ACM.
关键词	Embedded Software Embedded Systems Polynomials
主办者	IEEE Council on Electronic Design Automation (CEDA); IEEE Circuits and Systems Society; IEEE Computer Society; ACM SIGMICRO; Special Interest Group on Embedded Systems (ACM SIGBED); Special Interest Group on Design Automation (ACM SIGDA)
语种	英语
内容类型	会议论文
URI标识	http://ir.iscas.ac.cn/handle/311060/16221
专题	中国科学院软件研究所
推荐引用方式 GB/T 7714	Liu Jiang,Zhan Naijun,Zhao Hengjun. computing semi-algebraic invariants for polynomial dynamical systems[C],2011:97-106.