keep working on handling the continuous and discrete part of reset for verification of the two car example