位置：成果数据库 > 会议 > 会议详情页
Algebraic analysis on asymptotic stability of switched hybrid systems
  • 所属机构名称：北京航空航天大学
  • 会议名称：15th ACM International Conference on Hybrid Systems: Computation and Control, HSCC'12
  • 时间：2012
  • 成果类型：会议
  • 相关项目：基于代数分析与符号计算的混成系统自动验证
作者： Zhikun She|Bai Xue|
同会议论文项目
基于代数分析与符号计算的混成系统自动验证
期刊论文 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
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