Login / Signup
Observer Based Path Following for Underactuated Marine Vessels in the Presence of Ocean Currents: A Local Approach - With proofs.
Mohamed Maghenem
Dennis J. W. Belleter
Claudio Paliotta
Kristin Ytterstad Pettersen
Published in:
CoRR (2017)
Keyphrases
</>
theorem proving
theorem prover
semidefinite programming
obstacle avoidance
mechanical systems
blood vessels
anatomical structures
intracranial aneurysms