位置：成果数据库 > 会议 > 会议详情页
Computing a basin of attraction to a target region by solving bilinear semi-definite problems
  • 所属机构名称：北京航空航天大学
  • 会议名称：13th International Workshop on Computer Algebra in Scientific Computing, CASC 2011
  • 时间：2011
  • 成果类型：会议
  • 相关项目：基于代数分析与符号计算的混成系统自动验证
作者： She, Zhikun|Xue, Bai|
同会议论文项目
基于代数分析与符号计算的混成系统自动验证
期刊论文 7 会议论文 7
同项目会议论文
Verifiable Conditions on Asymptotic Stabilisability for a Class of Planar Switched Linear Systems
An Algebraic Approach on Globally Exponential Stability of Polynomial Dynamical Systems
Termination analysis of safety verification for non-linear robust hybrid systems
Algebraic analysis on asymptotic stability of switched hybrid systems
Controllable Laws for Stability Analysis of Switched Linear Systems
Algebraic analysis on asymptotic stability of continuous dynamical systems