Search papers, labs, and topics across Lattice.
This paper introduces a robustness verification framework for autonomous underwater vehicle (AUV)-based plankton classifiers, addressing the frequent misclassifications caused by environmental noise and artifacts in dynamic marine environments. By employing a continuous-time neural ordinary differential equation (neural ODE) model, the authors demonstrate that their approach can formally verify model stability against perturbations, significantly enhancing the reliability of in-situ plankton classification. The results indicate that this framework not only reduces the need for manual validation by marine biologists but also streamlines the process of autonomous sampling in oceanic research.
A novel robustness verification framework ensures that AUV-based plankton classifiers maintain stability in the face of environmental noise, reducing reliance on manual validation.
The assessment of planktonic standing stocks and microorganism structures is critical for understanding upper ocean biological processes. Currently, autonomous underwater vehicles (AUVs) equipped with in-situ optical imaging and artificial intelligence (AI) methods offer a promising solution for persistent surveillance, mapping and monitoring of planktonic life. However, current AI methods often lack robustness in dynamic, unstructured environments, where environmental noise and non-biological artifacts lead to frequent misclassifications. Standard convolutional neural network (CNN) classifiers often struggle with such conditions, leading to misclassifications that require time-consuming manual validation by marine biologists. To address this issue, we propose a novel robustness verification framework for in-situ plankton classifiers based on reachability analysis. We also introduce a continuous-time neural ordinary differential equation (neural ODE) classification model leveraging the high-resolution imaging capabilities of the SilCam particle imager. In this paper, we demonstrate the effectiveness of the proposed framework by formally verifying the robustness of the neural ODE model against environmental perturbations. We demonstrate that our verification framework acts as an automated filter providing formal guarantees of model stability against ambiguous data, thereby improving the reliability of autonomous sampling and reducing the post-processing workload.
