Abstract
We show that the existence of a solution procedure for certain infinite-state systems (cf. [12, 10, 11]) implies it is computationally beneficial to model certain large, finite-state systems as infinite-state systems and use the procedures developed to handle infinite-state systems in place of those developed to handle finite-state systems (cf.[3]). We illustrate this approach using examples of forbidden-state, and forbidden-string problems.
| Original language | English (US) |
|---|---|
| Pages (from-to) | 1006-1011 |
| Number of pages | 6 |
| Journal | Proceedings of the IEEE International Conference on Systems, Man and Cybernetics |
| Volume | 1 |
| State | Published - 1994 |
| Event | Proceedings of the 1994 IEEE International Conference on Systems, Man and Cybernetics. Part 1 (of 3) - San Antonio, TX, USA Duration: Oct 2 1994 → Oct 5 1994 |
ASJC Scopus subject areas
- Control and Systems Engineering
- Hardware and Architecture