Low dimensional hybrid systems - decidable, undecidable, don't know

著录项

• 来源
  《Information and computation》 |2012年第2期|p.138-159|共22页
• 作者

  Eugene Asarin; Venkatesh P. Mysore; Amir Pnueli; Gerardo Schneider;

  展开▼
• 作者单位

  LIAFA, University Paris Diderot and CNRS, France;

  New York University, USA;

  New York University, USA;

  Department of Computer Science and Engineering, Chalmers University of Technology and University of Gothenburg, Sweden,Department of Informatics, University of Oslo, Norway;

  展开▼
• 收录信息 美国《科学引文索引》(SCI);美国《工程索引》(EI);
• 原文格式 PDF
• 正文语种 eng
• 中图分类
• 关键词

  hybrid systems; undecidability; piece-wise affine maps; (hierarchical) piece-wise constant derivative; systems;

  机译：混合动力系统;不确定性分段仿射图;（分层）分段常数导数;系统;