On quantization and optimal control of dynamical systems with symmetries

This paper outlines some progress in the study of quantized control systems. We consider the dynamical systems arising from robotics and autonomous vehicles applications and describe a procedure to transcribe their dynamics into finite-state automata. The transcription procedure extends known previous results. We consider optimal control problems and present conditions under which linear programming algorithms are helpful in trajectory planning.