Continuous and discrete abstractions for planning, applied to ship docking

Pierre-Jean Meyer, He Yin, Astrid H. Brodtkorb +2

We propose a hierarchical control framework for the synthesis of correct-by-construction controllers for nonlinear control-affine systems with respect to reach-avoid-stay specifica…