Generating Semi-Algebraic Invariants for Non-Autonomous Polynomial Hybrid Systems

著录项

• 来源
  《系统科学与复杂性：英文版》 |2017年第1期|234-252|共19页
• 作者

  WANG Qiuye; LI Yangjia; XIA Bican; ZHAN Naijun;

  展开▼
• 作者单位

  State Key Laboratory of Computer Science, Institute of Software, Chinese Academy of Sciences, Beijing 100190,China;

  State Key Laboratory of Computer Science, Institute of Software, Chinese Academy of Sciences, Beijing 100190,China;

  LMAM & School of Mathematical Sciences, Peking University, Beijing 100871, China;

  State Key Laboratory of Computer Science, Institute of Software, Chinese Academy of Sciences, Beijing 100190 China;

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