[{"data":1,"prerenderedAt":-1},["ShallowReactive",2],{"doc-detail-84732-en":3,"doc-seo-84732-105":29,"detail-sidebar-cat-0-en-105":91},{"code":4,"msg":5,"data":6},0,"success",{"doc_id":7,"user_id":8,"nickname":9,"user_avatar":10,"doc_module":4,"category_id":11,"category_name":12,"doc_title":13,"doc_description":14,"doc_content":15,"file_id":16,"file_url":17,"file_type":18,"file_size":19,"view_count":20,"is_deleted":4,"is_public":20,"is_downloadable":20,"audit_status":20,"page_count":21,"language":22,"language_code":23,"site_id":24,"html_lang":23,"table_of_contents":25,"faqs":26,"seo_title":13,"seo_description":14,"update_tm":27,"read_time":28},84732,137441390410,"Hazel","https://ap-avatar.wpscdn.com/avatar/2000252f4ab5702993?_k=1776741390130283984",8,"Research & Report","Robustness Verification of an Autonomous Underwater Vehicle-based Plankton Classifier","The assessment of plankton standing stocks and microorganism structures is essential for understanding upper-ocean biological processes, yet in-situ optical classification remains unreliable because dynamic underwater conditions introduce noise and non-biological artifacts that trigger frequent misclassifications. This work presents a robustness verification framework for AUV-based plankton classifiers using reachability analysis, and a continuous-time neural ODE classification model built on high-resolution SilCam particle imaging. Formal verification establishes stability against environmental perturbations, enabling automated filtering of ambiguous data and reducing post-validation effort.","Robustness Verification of an Autonomous Underwater Vehicle-based Plankton Classifier  \nAbdelrahman Sayed Sayed Univ Gustave Eiffel, COSYS-ESTASF-59657 Villeneuve d’Ascq, France [abdelrahman.ibrahim@univ-eiffel.fr](abdelrahman.ibrahim@univ-eiffel.fr)  \nPierre-Jean Meyer  \nUniv Gustave Eiffel, COSYS-ESTASF-59657 Villeneuve d’Ascq, France [pierre-jean.meyer@univ-eiffel.fr](pierre-jean.meyer@univ-eiffel.fr)  \narXiv :2607 .04453v 1 [ cs .RO] 5 Jul 2026  \nAsgeir J. Sørensen  \nDepartment of Marine Technology Norwegian University of Science and Technology (NTNU) Trondheim, Norway [asgeir.sorensen@ntnu.no](asgeir.sorensen@ntnu.no)  \nMohamed Ghazel  \nUniv Gustave Eiffel, COSYS-ESTASF-59657 Villeneuve d’Ascq, France [mohamed.ghazel@univ-eiffel.fr](mohamed.ghazel@univ-eiffel.fr)  \nAbstract—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 SilCamparticle 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.  \nIndex Terms—Neural ODE, CNN, Reachability analysis, Formal methods, Robustness verification, AUVs  \nI. INTRODUCTION  \nThe growing interest in assessing and monitoring planktonic standing stocks and microorganism structures in the upper water column (mesopelagic zone) is critical for understanding the impact of climate change on ocean processes. To achieve continuous systematic ecosystem surveillance and monitoring, the oceanographic community is increasingly relying on autonomous underwater vehicles (AUVs) equipped  \nThis project has received funding from the European Union’s Horizon 2020 research and innovation programme under the Marie Sklodowska-Curie COFUND grant agreement no. 101034248. This work is partly funded by SFI HARVEST, 309661 by the Research Council of Norway.  \nwith advanced optical sensors, such as the SilCam [1], and Artificial Intelligence (AI)-based tools. These AUVs enable high-resolution imaging and intelligent onboard sampling [2], significantly accelerating the detection and classification of microorganisms while simultaneously reducing the operational cost of deploying fleets of research vessels. Currently, the automated classification of in-situ plankton imagery is mostly dependent on convolutional neural networks (CNNs), including task-specific architectures such as ZooplanktoNet [3], and in-situ imaging and analysis pipelines built around the SilCam imager [1] and PyOPIA toolbox [4] . However, deploying AI-based classification models in uncertain and unstructured underwater environments raises significant challenges. Compared to controlled laboratory settings, in-situ ocean imaging is affected by dynamic environmental noise, turbidity, and particularly by gas bubble","cbCaikO9IYPbUHEu","https://ap.wps.com/l/cbCaikO9IYPbUHEu","pdf",721623,1,6,"English","en",105,"# Introduction\n## Motivation and challenges in in-situ plankton imaging\n## Need for rigorous verification\n## Formal verification and reachability background\n# Neural Ordinary Differential Equations\n## Neural ODE model overview\n# Verification Framework\n## Robustness guarantees via reachability","[{\"question\":\"Why do current AI-based in-situ plankton classifiers misclassify images?\",\"answer\":\"Dynamic environmental noise, turbidity, and bright non-biological artifacts such as gas bubbles from AUV motion often overlay the particles and lead to frequent misclassifications.\"},{\"question\":\"What modeling approach does the paper use for the classifier?\",\"answer\":\"It introduces a continuous-time neural ordinary differential equation (neural ODE) model that leverages high-resolution imaging from the SilCam particle imager.\"},{\"question\":\"How does the robustness verification framework provide guarantees?\",\"answer\":\"The framework combines neural ODE robustness properties with reachability analysis to formally verify stability of classification outputs within specified perturbation thresholds, acting as an automated filter for ambiguous data.\"}]",1784197930,15,{"code":4,"msg":30,"data":31},"ok",{"site_id":24,"language":23,"slug":32,"title":13,"keywords":33,"description":14,"schema_data":34,"social_meta":86,"head_meta":88,"extra_data":90,"updated_unix":27},"robustness-verification-of-an-autonomous-underwater-vehicle-based-plankton-classifier","",{"@graph":35,"@context":85},[36,53,68],{"@type":37,"itemListElement":38},"BreadcrumbList",[39,43,47,50],{"item":40,"name":41,"@type":42,"position":20},"https://docshare.wps.com","Home","ListItem",{"item":44,"name":45,"@type":42,"position":46},"https://docshare.wps.com/document/","Document",2,{"item":48,"name":12,"@type":42,"position":49},"https://docshare.wps.com/document/research-report/",3,{"item":51,"name":13,"@type":42,"position":52},"https://docshare.wps.com/document/robustness-verification-of-an-autonomous-underwater-vehicle-based-plankton-classifier/84732/",4,{"url":51,"name":13,"@type":54,"author":55,"headline":13,"publisher":57,"fileFormat":60,"inLanguage":23,"description":14,"dateModified":61,"datePublished":62,"encodingFormat":60,"isAccessibleForFree":63,"interactionStatistic":64},"DigitalDocument",{"name":9,"@type":56},"Person",{"url":40,"name":58,"@type":59},"DocShare","Organization","application/pdf","2026-07-17","2026-07-16",true,{"@type":65,"interactionType":66,"userInteractionCount":20},"InteractionCounter",{"@type":67},"ViewAction",{"@type":69,"mainEntity":70},"FAQPage",[71,77,81],{"name":72,"@type":73,"acceptedAnswer":74},"Why do current AI-based in-situ plankton classifiers misclassify images?","Question",{"text":75,"@type":76},"Dynamic environmental noise, turbidity, and bright non-biological artifacts such as gas bubbles from AUV motion often overlay the particles and lead to frequent misclassifications.","Answer",{"name":78,"@type":73,"acceptedAnswer":79},"What modeling approach does the paper use for the classifier?",{"text":80,"@type":76},"It introduces a continuous-time neural ordinary differential equation (neural ODE) model that leverages high-resolution imaging from the SilCam particle imager.",{"name":82,"@type":73,"acceptedAnswer":83},"How does the robustness verification framework provide guarantees?",{"text":84,"@type":76},"The framework combines neural ODE robustness properties with reachability analysis to formally verify stability of classification outputs within specified perturbation thresholds, acting as an automated filter for ambiguous data.","https://schema.org",{"og:url":51,"og:type":87,"og:title":13,"og:site_name":58,"og:description":14},"article",{"robots":89,"canonical":51},"index,follow",{"doc_id":7,"site_id":24},{"code":4,"msg":5,"data":92},[93,97,101,105,110,114,119,122,127,130,134],{"id":20,"doc_module":4,"doc_module_name":45,"category_name":94,"show_sort_weight":95,"slug":96},"Story & Novel",90,"story-novel",{"id":46,"doc_module":4,"doc_module_name":45,"category_name":98,"show_sort_weight":99,"slug":100},"Literature",80,"literature",{"id":52,"doc_module":4,"doc_module_name":45,"category_name":102,"show_sort_weight":103,"slug":104},"Exam",70,"exam",{"id":106,"doc_module":4,"doc_module_name":45,"category_name":107,"show_sort_weight":108,"slug":109},5,"Comic",60,"comic",{"id":21,"doc_module":4,"doc_module_name":45,"category_name":111,"show_sort_weight":112,"slug":113},"Technology",50,"technology",{"id":115,"doc_module":4,"doc_module_name":45,"category_name":116,"show_sort_weight":117,"slug":118},7,"Healthcare",40,"healthcare",{"id":11,"doc_module":4,"doc_module_name":45,"category_name":12,"show_sort_weight":120,"slug":121},30,"research-report",{"id":123,"doc_module":4,"doc_module_name":45,"category_name":124,"show_sort_weight":125,"slug":126},9,"Religion & Spirituality",20,"religion-spirituality",{"id":125,"doc_module":4,"doc_module_name":45,"category_name":128,"show_sort_weight":125,"slug":129},"World Cup","world-cup",{"id":131,"doc_module":4,"doc_module_name":45,"category_name":132,"show_sort_weight":131,"slug":133},10,"Lifestyle","lifestyle",{"id":135,"doc_module":4,"doc_module_name":45,"category_name":136,"show_sort_weight":106,"slug":137},19,"General","general"]