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 |
| 会议日期 | October 9, |
| 会议地点 | Taipei, Taiwan |
| 关键词 | Embedded software Embedded systems Polynomials |
| 页码 | 97-106 |
| 中文摘要 | 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. |
| 收录类别 | EI |
| 会议主办者 | 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) |
| 会议录 | Embedded Systems Week 2011, ESWEEK 2011 - Proceedings of the 9th ACM International Conference on Embedded Software, EMSOFT'11
 |
| 语种 | 英语 |
| ISBN号 | 9781450307147 |
| 源URL | [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]. 见:Embedded Systems Week 2011, ESWEEK 2011 - 9th ACM International Conference on Embedded Software, EMSOFT'11. Taipei, Taiwan. October 9,. |
入库方式： OAI收割
来源：软件研究所
浏览0
下载0
收藏0
其他版本
除非特别说明，本系统中所有内容都受版权保护，并保留所有权利。