State Space Partitioning