A Bottom-Up Approach to Verification of Hybrid Model-Based Hierarchical Controllers with Application to Underwater Vehicles
International symposium; 14th, Unmanned untethered submersible technology ; 2005 ; Durham, N.H
2005-01-01
59 pages
Held in e-store (RMS)
Aufsatz (Konferenz)
Englisch
© Metadata Copyright the British Library Board and other contributors. All rights reserved.
Active sonar-based bottom-following for unmanned underwater vehicles
Tema Archiv | 1999
|Verified hybrid controllers for automated vehicles
Tema Archiv | 1998
|3D-bottom tracking based on acoustic diffraction for autonomous underwater vehicles
Tema Archiv | 2005
|