Verifying collision avoidance behaviours for unmanned surface vehicles using probabilistic model checking

Simple item page
dc.contributor.authorLu, Yu
dc.contributor.authorNiu, Hanlin
dc.contributor.authorSavvaris, Al
dc.contributor.authorTsourdos, Antonios
dc.date.accessioned2016-11-15T11:28:11Z
dc.date.available2016-11-15T11:28:11Z
dc.date.issued2016-09-30
dc.description.abstractCollision avoidance is an essential safety requirement for unmanned surface vehicles (USVs). Normally, its practical verification is non-trivial, due to the stochastic behaviours of both the USVs and the intruders. This paper presents the probabilistic timed automata (PTAs) based formalism for three collision avoidance behaviours of USVs in uncertain dynamic environments, which are associated with the crossing situation in COLREGs. Steering right, acceleration, and deceleration are considered potential evasive manoeuvres. The state-of-the-art prism model checker is applied to analyse the underlying models. This work provides a framework and practical application of the probabilistic model checking for decision making in collision avoidance for USVs.en_UK
dc.identifier.citationLu Y, Niu H, Savvaris A & Tsourdos A (2016) Verifying collision avoidance behaviours for unmanned surface vehicles using probabilistic model checking, IFAC-PapersOnLine, Volume 49 Issue 23, pp. 127-132en_UK
dc.identifier.issn1474-6670
dc.identifier.urihttps://doi.org/10.1016/j.ifacol.2016.10.332
dc.identifier.urihttps://dspace.lib.cranfield.ac.uk/handle/1826/10982
dc.language.isoenen_UK
dc.publisherElsevieren_UK
dc.rightsAttribution-NonCommercial 4.0 International
dc.rights.urihttp://creativecommons.org/licenses/by-nc/4.0/
dc.subjectunmanned surface vehiclesen_UK
dc.subjectcollision avoidanceen_UK
dc.subjectprobabilistic timed automataen_UK
dc.subjectformal methodsen_UK
dc.subjectprobabilistic model checkingen_UK
dc.titleVerifying collision avoidance behaviours for unmanned surface vehicles using probabilistic model checkingen_UK
dc.typeArticleen_UK

Files

Original bundle
Now showing 1 - 1 of 1
Thumbnail Image
Name:
Verifying_collision_avoidance_behaviours_for_unmanned_surface_vehicles-2016.pdf
Size:
1.38 MB
Format:
Adobe Portable Document Format
Description:
Download
License bundle
Now showing 1 - 1 of 1
No Thumbnail Available
Name:
license.txt
Size:
1.79 KB
Format:
Item-specific license agreed upon to submission
Description:
Download

Collections

Staff publications (SATM)