摘要：增量的定义了五个无穷状态系统的递进类别，称为STS1-5，其状态空间具有有限结构。对于这些类别中的四个，我们从混合系统中提供了示例。
作者：Thomas A. Henzinger, Rupak Majumdar and Jean-Francois Raskin
论文ID：cs/0101013
分类：Logic in Computer Science
分类简称：cs.LO
提交时间：2007-05-23
PDF 下载： 英文版 中文版pdf翻译中