Repairing the Urban Metabolism: A Dynamic Life-Cycle and HJB Optimization Model for Resolving Spatio-Temporal Conflicts in Shared Parking Systems | Synapse