Verification of autonomous underwater vehicles using formal
logic
Verification of autonomous underwater vehicles using formal
logic
Formal systems verification of autonomous
underwater vehicles (AUV) is addressed in this paper.
Verification includes hybrid system modelling, discrete
abstractions, control systems abstractions, checking of
reachability of undesirable states by formal model checking.
The main contribution of the paper is to show how first
multilayered hybrid system modelling, then its representation
and discretisation in StateflowTM, can be automatically
compiled into interpreted script (ISPL) of the multi-agent
model checker system (MCMAS) for verification. Using this
technique, modelling and model checking can include the
complete physical system of the autonomous vehicle, its multiagent
software on board and also the human interface
represented as an agent
1-6
Molnar, L.
692bc6da-f996-4dd3-9bab-cd7387d1a8ed
Veres, S.M.
909c60a0-56a3-4eb6-83e4-d52742ecd304
23 August 2009
Molnar, L.
692bc6da-f996-4dd3-9bab-cd7387d1a8ed
Veres, S.M.
909c60a0-56a3-4eb6-83e4-d52742ecd304
Molnar, L. and Veres, S.M.
(2009)
Verification of autonomous underwater vehicles using formal
logic.
European Control Conference, Budapest, Hungary.
22 - 25 Aug 2009.
.
Record type:
Conference or Workshop Item
(Paper)
Abstract
Formal systems verification of autonomous
underwater vehicles (AUV) is addressed in this paper.
Verification includes hybrid system modelling, discrete
abstractions, control systems abstractions, checking of
reachability of undesirable states by formal model checking.
The main contribution of the paper is to show how first
multilayered hybrid system modelling, then its representation
and discretisation in StateflowTM, can be automatically
compiled into interpreted script (ISPL) of the multi-agent
model checker system (MCMAS) for verification. Using this
technique, modelling and model checking can include the
complete physical system of the autonomous vehicle, its multiagent
software on board and also the human interface
represented as an agent
This record has no associated files available for download.
More information
Submitted date: 2 May 2009
Published date: 23 August 2009
Venue - Dates:
European Control Conference, Budapest, Hungary, 2009-08-22 - 2009-08-25
Organisations:
Engineering Mats & Surface Engineerg Gp, Fluid Structure Interactions Group
Identifiers
Local EPrints ID: 71624
URI: http://eprints.soton.ac.uk/id/eprint/71624
PURE UUID: 04a36356-4caa-48aa-8134-819cd2874f38
Catalogue record
Date deposited: 16 Dec 2009
Last modified: 07 Jan 2022 23:42
Export record
Contributors
Author:
L. Molnar
Author:
S.M. Veres
Download statistics
Downloads from ePrints over the past year. Other digital versions may also be available to download e.g. from the publisher's website.
View more statistics