Constrained nonlinear optimal control: a converse HJB approach | Synapse