位置：成果数据库 > 会议 > 会议详情页
Verifiable Conditions on Asymptotic Stabilisability for a Class of Planar Switched Linear Systems
  • 所属机构名称：北京航空航天大学
  • 会议名称：14th International Workshop on Computer Algebra in Scientific Computing
  • 时间：2012.9.9
  • 成果类型：会议
  • 相关项目：基于代数分析与符号计算的混成系统自动验证
作者： Zhikun She|Haoyang Li|
同会议论文项目
基于代数分析与符号计算的混成系统自动验证
期刊论文 7 会议论文 7
同项目会议论文
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
Algebraic analysis on asymptotic stability of continuous dynamical systems