位置：成果数据库 > 会议 > 会议详情页
Algebraic analysis on asymptotic stability of continuous dynamical systems
  • 所属机构名称：北京航空航天大学
  • 会议名称：36th International Symposium on Symbolic and Algebraic Computation, ISSAC 2011
  • 时间：2011
  • 成果类型：会议
  • 相关项目：基于代数分析与符号计算的混成系统自动验证
作者： She, Zhikun|Xue, Bai|Zheng, Zhiming|
同会议论文项目
基于代数分析与符号计算的混成系统自动验证
期刊论文 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
Computing a basin of attraction to a target region by solving bilinear semi-definite problems
Controllable Laws for Stability Analysis of Switched Linear Systems