On Using Composability Tools for Reliability Analysis of Unmanned Multi-Aircraft Systems: A Case Study

Simple item page
dc.contributor.authorMuniraj, Devaprakashen
dc.contributor.authorAbou Jaoude, Danyen
dc.contributor.authorFarhood, Mazen H.en
dc.contributor.departmentAerospace and Ocean Engineeringen
dc.date.accessioned2020-05-28T13:26:45Zen
dc.date.available2020-05-28T13:26:45Zen
dc.date.issued2020-01-15en
dc.description.abstractThis paper presents a case study that demonstrates how tools from compositional verification can be used to design and analyze complex multi-agent systems operating in dynamic and uncertain environments. The case study concerns the design of an unmanned multi-aircraft system tasked to compromise an aerial encroacher by deploying countermeasures. The constituent agents, termed defenders, are fixed-wing unmanned aircraft. To successfully compromise the encroacher, at least one defender must be within a prespecified distance from the encroacher for a certain period, and the defenders must avoid collision among themselves and with the encroacher. Verifying this global property using monolithic (system-level) verification techniques is a challenging task due to the complexity of the components (defenders) and the interactions among them. To overcome these challenges, the components are designed to have a modular architecture, thereby enabling the use of component-based reasoning to simplify the task of verifying the global system property. Results from Euclidean geometry and formal methods are used to prove most component properties. For properties where analytical tools are overly conservative, focused Monte Carlo simulations are carried out. Restricting the use of simulations (or testing) to local verification of partial component properties leads to increasing the reliability of the system.en
dc.description.notesThis work was supported in part by the National Science Foundation (NSF) under Grant CMMI-1351640 and Grant CNS-1801611, and in part by the Center for Unmanned Aircraft Systems (C-UAS), an NSF sponsored industry/university cooperative research center (I/UCRC), under NSF Grant IIP-1539975 and Grant CNS-1650465, along with significant contributions from C-UAS industry members.en
dc.description.sponsorshipNational Science Foundation (NSF)National Science Foundation (NSF) [CMMI-1351640, CNS-1801611]; Center for Unmanned Aircraft Systems (C-UAS), an NSF sponsored industry/university cooperative research center (I/UCRC), under NSF [IIP-1539975, CNS-1650465]; C-UAS industry membersen
dc.format.mimetypeapplication/pdfen
dc.identifier.doihttps://doi.org/10.1109/ACCESS.2020.2966763en
dc.identifier.issn2169-3536en
dc.identifier.urihttp://hdl.handle.net/10919/98580en
dc.identifier.volume8en
dc.language.isoenen
dc.rightsCreative Commons Attribution 4.0 Internationalen
dc.rights.urihttp://creativecommons.org/licenses/by/4.0/en
dc.subjectCompositional reasoningen
dc.subjectformal verificationen
dc.subjectsystem analysis and designen
dc.subjecttemporal logic of actionsen
dc.subjectunmanned aerial vehiclesen
dc.titleOn Using Composability Tools for Reliability Analysis of Unmanned Multi-Aircraft Systems: A Case Studyen
dc.title.serialIEEE Accessen
dc.typeArticle - Refereeden
dc.type.dcmitypeTexten
dc.type.dcmitypeStillImageen

Files

Original bundle
Now showing 1 - 1 of 1
Thumbnail Image
Name:
08960336.pdf
Size:
6.09 MB
Format:
Adobe Portable Document Format
Description:
Download

Collections

Scholarly Works, Aerospace and Ocean Engineering