The considered pruning routines can be found in - `simult_.m` - `local_state_space_iteration_2` MEX - `local_state_space_iteration_3` MEX - `pruned_state_space_system.m`