Safety Verification of Semi-Algebraic Dynamical Systems via Inductive Invariant

著录项

• 来源
  《清华大学学报（英文版）》 |2014年第2期|211-222|共12页
• 作者

  Hui Kong; Fei He; Xiaoyu Song; Ming Gu; Hongyan Tan; Jiaguang Sun;

  展开▼
• 作者单位

  School of Software, Tsinghua University, Beijing 100084,China;

  School of Software, Tsinghua University, Beijing 100084,China;

  Department of ECE, Portland State University, OR 97207, USA;

  School of Software, Tsinghua University, Beijing 100084,China;

  Institute of Acoustics, Chinese Academy of Sciences, Beijing 100190, China;

  School of Software, Tsinghua University, Beijing 100084,China;

  展开▼
• 原文格式 PDF
• 正文语种 eng
• 中图分类
• 关键词