eduzhai > Applied Sciences > Engineering >

Towards Deductive Verification of Control Algorithms for Autonomous Marine Vehicles

  • Save

... pages left unread,continue reading

Document pages: 6 pages

Abstract: The use of autonomous vehicles in real-world applications is often precludedby the difficulty of providing safety guarantees for their complex controllers.The simulation-based testing of these controllers cannot deliver sufficientsafety guarantees, and the use of formal verification is very challenging dueto the hybrid nature of the autonomous vehicles. Our work-in-progress paperintroduces a formal verification approach that addresses this challenge byintegrating the numerical computation of such a system (in GNU Octave) with itshybrid system verification by means of a proof assistant (Isabelle). To showthe effectiveness of our approach, we use it to verify differential invariantsof an Autonomous Marine Vehicle with a controller switching between multiplemodes.

Please select stars to rate!


0 comments Sign in to leave a comment.

    Data loading, please wait...