Institutional Repository
| computing semi-algebraic invariants for polynomial dynamical systems | |
| Liu Jiang; Zhan Naijun; Zhao Hengjun | |
| 2011 | |
| Conference Name | Embedded Systems Week 2011, ESWEEK 2011 - 9th ACM International Conference on Embedded Software, EMSOFT'11 |
| Source | Embedded Systems Week 2011, ESWEEK 2011 - Proceedings of the 9th ACM International Conference on Embedded Software, EMSOFT'11 |
| Pages | 97-106 |
| Conference Date | October 9, |
| Conference Place | Taipei, Taiwan |
| Indexed Type | EI |
| ISBN | 9781450307147 |
| Department | (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 |
| English Abstract | 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. |
| Keyword | Embedded Software Embedded Systems Polynomials |
| Sponsorship | 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) |
| Language | 英语 |
| Content Type | 会议论文 |
| URI | http://ir.iscas.ac.cn/handle/311060/16221 |
| Collection | 中国科学院软件研究所 |
| Recommended Citation GB/T 7714 | Liu Jiang,Zhan Naijun,Zhao Hengjun. computing semi-algebraic invariants for polynomial dynamical systems[C],2011:97-106. |
| Files in This Item: | There are no files associated with this item. | |||||
Items in the repository are protected by copyright, with all rights reserved, unless otherwise indicated.
Edit Comment