Autonomous underwater vehicles : modeling, control design, and simulation /: modeling, control design, and simulation. (©2011)