In situ assessment of initial seafloor massive sulfide mining operation in Papua New Guinea using a cabled autonomous underwater vehicle system: a proposition

Senior thesis written for Oceanography 445

Modeling & Analysis of Small Hydroelectric Generation and Battery Energy Storage Connected as a Microgrid

Thesis (Master's)--University of Washington, 2016-06

Thinking Local About Self-Driving Cars: a Local Framework for Autonomous Vehicle Development in the United States

Thesis (Master's)--University of Washington, 2016-06

Verification and validation of autonomous systems

NASA is working on complex future missions that require cooperation between multiple satellites or rovers. To implement these systems, developers are proposing and using intelligent and autonomous systems. These autonomous missions are new to NASA, and the software development community is just learning to develop such systems. With these new systems, new verification and validation techniques must be used. Current techniques have been developed based on large monolithic systems. These techniques have worked well and reliably, but do not translate to the new autonomous systems that are highly parallel and nondeterministic.