A Classification of Symbolic Transition Systems
arXiv:cs/0101013
Abstract
We define five increasingly comprehensive classes of infinite-state systems, called STS1--5, whose state spaces have finitary structure. For four of these classes, we provide examples from hybrid systems.
21 pages