位置：成果数据库 > 期刊 > 期刊详情页
Discovering polynomial Lyapunov functions for continuous dynamical systems
  • ISSN号：0747-7171
  • 期刊名称：Journal of Symbolic Computation
  • 时间：2013.11.11
  • 页码：41-63
  • 相关项目：基于代数分析与符号计算的混成系统自动验证
作者： She, Zhikun|Li, Haoyang|Xue, Bai|Zheng, Zhiming|Xia, Bican|
同期刊论文项目
基于代数分析与符号计算的混成系统自动验证
期刊论文 7 会议论文 7
同项目期刊论文
Dynamics of a density-dependent stage-structured predator-prey system with Beddington-DeAngelis func
Computing an invariance kernel with target by computing Lyapunov-like functions
Condition number based complexity estimate for solving polynomial systems
绕地轨道运动地面物理试验的建模与分析
Safety Verification for Probabilistic Hybrid Systems
The existence of transversal homoclinic orbits in a planar circular restricted four-body problem