Modelling and verification of multiple UAV mission Using SMV

Simple item page
dc.contributor.authorSirigineedi, G.
dc.contributor.authorTsourdos, Antonios
dc.contributor.authorZbikowski, Rafal
dc.contributor.authorWhite, B.
dc.date.accessioned2009-11-19T13:32:59Z
dc.date.available2009-11-19T13:32:59Z
dc.date.issued2009-11-19T13:32:59Z
dc.descriptionPresented at Formal Methods for Aeronautics, November 3, 2009, Eindhoven, Netherlandsen_UK
dc.description.abstractModel checking has been used to verify the correctness of digital circuits, security protocols, communication protocols, as they can be modelled by means of finite state transition model. However, modelling the behaviour of hybrid systems like UAVs in a Kripke model is challenging. This work is aimed at capturing the behaviour of an UAV performing cooperative search mission into a Kripke model, so as to verify it against the temporal properties expressed in Computational Tree Logic (CTL). SMV model checker is used for the purpose of model checking.en_UK
dc.identifier.urihttp://hdl.handle.net/1826/3978
dc.language.isoenen_UK
dc.titleModelling and verification of multiple UAV mission Using SMVen_UK
dc.typeConference paperen_UK

Files

Original bundle
Now showing 1 - 1 of 1
Thumbnail Image
Name:
Sirigineedi et al.pdf
Size:
286.74 KB
Format:
Adobe Portable Document Format
Download
License bundle
Now showing 1 - 1 of 1
No Thumbnail Available
Name:
license.txt
Size:
1.88 KB
Format:
Item-specific license agreed upon to submission
Description:
Download

Collections

Staff publications (CDS)