Adding States into Object Types. - Haitong Xu; Sheng Yu 001 (PLC, 2005)

Type Theory and Language Constructs for Objects with States. - Haitong Xu; Sheng Yu 001 (DCM@ICALP, 2005)

Uniformly semiglobally exponential stability of vector field guidance law and autopilot for path-following. - Haitong Xu; Thor I. Fossen; Carlos Guedes Soares (Eur. J. Control, 2020)

L1 adaptive backstepping control for path-following of underactuated marine surface ships. - Haitong Xu; Paulo Oliveira 001; Carlos Guedes Soares (Eur. J. Control, 2021)

Fixed-time leader-follower formation control of underactuated unmanned surface vehicles with unknown dynamics and ocean disturbances. - Chenfeng Huang; Haitong Xu; Pedro Batista 001; Xianku Zhang; Carlos Guedes Soares (Eur. J. Control, 2023)