A Classification of Symbolic Transition Systems
classification
💻 cs.LO
keywords
systemsclassescalledclassificationcomprehensivedefineexamplesfinitary
read the original 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.
This paper has not been read by Pith yet.
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.