位置：成果数据库 > 期刊 > 期刊详情页
Computing an invariance kernel with target by computing Lyapunov-like functions
  • ISSN号：1751-8644
  • 期刊名称：IET Control Theory and Applications
  • 时间：2013.10.10
  • 页码：1932-1940
  • 相关项目：基于代数分析与符号计算的混成系统自动验证
作者： She, Zhikun|Xue, Bai|
同期刊论文项目
基于代数分析与符号计算的混成系统自动验证
期刊论文 7 会议论文 7
同项目期刊论文
Dynamics of a density-dependent stage-structured predator-prey system with Beddington-DeAngelis func
Discovering polynomial Lyapunov functions for continuous dynamical systems
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