On quantization and optimal control of dynamical systems with symmetries | Synapse