Blar i NTNU Open på forfatter "Yin, He"
-
Continuous and discrete abstractions for planning, applied to ship docking
Meyer, Pierre-Jean; Yin, He; Brodtkorb, Astrid H.; Arcak, Murat; Sørensen, Asgeir Johan (Peer reviewed; Journal article, 2021)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 specifications. We first create a low-dimensional ... -
Optimization-based planning and control of AUVs applied to adaptive sampling under ice
Bremnes, Jens Einar; Devonport, Alex; Yin, He; Arcak, Murat; Sørensen, Asgeir Johan; Utne, Ingrid Bouwer (Chapter, 2020)This paper presents a framework for optimization-based informative planning and control with applications to adaptive sampling with AUVs under sea ice. A spatial model of the information of interest is approximated as a ...