位置：成果数据库 > 会议 > 会议详情页
Termination analysis of safety verification for non-linear robust hybrid systems
  • 所属机构名称：北京航空航天大学
  • 会议名称：8th International Conference on Informatics in Control, Automation and Robotics, ICINCO 2011
  • 时间：2011
  • 成果类型：会议
  • 相关项目：基于代数分析与符号计算的混成系统自动验证
作者： She, Zhikun|
同会议论文项目
基于代数分析与符号计算的混成系统自动验证
期刊论文 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
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