Blar i Fakultet for ingeniørvitenskap (IV) på forfatter "Yin, He"

Viser treff 1-2 av 2

    • 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 ...