位置：成果数据库 > 会议 > 会议详情页
Finding positively invariant sets of a class of nonlinear loops via curve fitting
  • 所属机构名称：华东师范大学
  • 会议名称：SNC2009 ( The 3rd International Workshop on Symbolic-Numeric Computation )
  • 成果类型：会议
  • 相关项目：线性微分-差分系统求解及分解的机械化算法研究
作者： Liyong Shen|Zhengfeng Yang|Zhenbing Zeng|Min Wu|
同会议论文项目
线性微分-差分系统求解及分解的机械化算法研究
期刊论文 3 会议论文 6
同项目会议论文
Simplification of Numerical Rational Surfaces
基于符号数值混合计算的混成系统Lyapunov函数构造
Generating Invariants of Hybrid Systems via Sums-Of-Squares of Polynomials with Rational Coefficient
Proving Total Correctness of Loop Programs via Symbolic-Numeric Computation Method
On the structure of compatible rational functions