位置：成果数据库 > 会议 > 会议详情页
Generating invariants of hybrid systems via sums-of-squares of polynomials with rational coe?cients
  • 所属机构名称：华东师范大学
  • 会议名称：The 2011 International Workshop on Symbolic Numeric Computation
  • 成果类型：会议
  • 相关项目：基于计算机代数的我国高速列车运行控制系统规范CTCS-3/4的分析与验证
作者： Zhengfeng Yang|Min Wu|
同会议论文项目
基于计算机代数的我国高速列车运行控制系统规范CTCS-3/4的分析与验证
期刊论文 2 会议论文 10
同项目会议论文
Detecting Strong Nontermination of Multi-Path Polynomial Programs
Computing with Semi-Algebraic Sets Represented by Triangular Decomposition
Decidability Analysis on Termination Set of Loop Programs
Automatically discovering relaxed Lyapunov functions for polynomial dynamical systems
Cupping and diamond embeddings: a unifying approach
Proving total correctness of loop programs via symbolic-numeric computation method
Computing semi-algebraic invariants for polynomial dynamical systems
Termination Set of Linear Loop Programs
FORMALTCGENERATOR: A TOOL OF AUTOMATICALLY GENERATING TEST CASES FOR INFINITE STATES REACTIVE SYSTEM