Matches in SemOpenAlex for { <https://semopenalex.org/work/W2999932054> ?p ?o ?g. }
Showing items 1 to 90 of
90
with 100 items per page.
- W2999932054 endingPage "16349" @default.
- W2999932054 startingPage "16331" @default.
- W2999932054 abstract "This 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." @default.
- W2999932054 created "2020-01-23" @default.
- W2999932054 creator A5000935719 @default.
- W2999932054 creator A5038763633 @default.
- W2999932054 creator A5087612875 @default.
- W2999932054 date "2020-01-01" @default.
- W2999932054 modified "2023-10-17" @default.
- W2999932054 title "On Using Composability Tools for Reliability Analysis of Unmanned Multi-Aircraft Systems: A Case Study" @default.
- W2999932054 cites W105579301 @default.
- W2999932054 cites W1470570003 @default.
- W2999932054 cites W1528304311 @default.
- W2999932054 cites W1652886962 @default.
- W2999932054 cites W2097944741 @default.
- W2999932054 cites W2477887513 @default.
- W2999932054 cites W2486485545 @default.
- W2999932054 cites W2566527471 @default.
- W2999932054 cites W2742856760 @default.
- W2999932054 doi "https://doi.org/10.1109/access.2020.2966763" @default.
- W2999932054 hasPublicationYear "2020" @default.
- W2999932054 type Work @default.
- W2999932054 sameAs 2999932054 @default.
- W2999932054 citedByCount "0" @default.
- W2999932054 crossrefType "journal-article" @default.
- W2999932054 hasAuthorship W2999932054A5000935719 @default.
- W2999932054 hasAuthorship W2999932054A5038763633 @default.
- W2999932054 hasAuthorship W2999932054A5087612875 @default.
- W2999932054 hasBestOaLocation W29999320541 @default.
- W2999932054 hasConcept C101468663 @default.
- W2999932054 hasConcept C111472728 @default.
- W2999932054 hasConcept C111498074 @default.
- W2999932054 hasConcept C120314980 @default.
- W2999932054 hasConcept C121332964 @default.
- W2999932054 hasConcept C127413603 @default.
- W2999932054 hasConcept C138885662 @default.
- W2999932054 hasConcept C163258240 @default.
- W2999932054 hasConcept C168167062 @default.
- W2999932054 hasConcept C189950617 @default.
- W2999932054 hasConcept C199360897 @default.
- W2999932054 hasConcept C200601418 @default.
- W2999932054 hasConcept C201995342 @default.
- W2999932054 hasConcept C2778814252 @default.
- W2999932054 hasConcept C2780451532 @default.
- W2999932054 hasConcept C41008148 @default.
- W2999932054 hasConcept C43214815 @default.
- W2999932054 hasConcept C62520636 @default.
- W2999932054 hasConcept C80444323 @default.
- W2999932054 hasConcept C97355855 @default.
- W2999932054 hasConceptScore W2999932054C101468663 @default.
- W2999932054 hasConceptScore W2999932054C111472728 @default.
- W2999932054 hasConceptScore W2999932054C111498074 @default.
- W2999932054 hasConceptScore W2999932054C120314980 @default.
- W2999932054 hasConceptScore W2999932054C121332964 @default.
- W2999932054 hasConceptScore W2999932054C127413603 @default.
- W2999932054 hasConceptScore W2999932054C138885662 @default.
- W2999932054 hasConceptScore W2999932054C163258240 @default.
- W2999932054 hasConceptScore W2999932054C168167062 @default.
- W2999932054 hasConceptScore W2999932054C189950617 @default.
- W2999932054 hasConceptScore W2999932054C199360897 @default.
- W2999932054 hasConceptScore W2999932054C200601418 @default.
- W2999932054 hasConceptScore W2999932054C201995342 @default.
- W2999932054 hasConceptScore W2999932054C2778814252 @default.
- W2999932054 hasConceptScore W2999932054C2780451532 @default.
- W2999932054 hasConceptScore W2999932054C41008148 @default.
- W2999932054 hasConceptScore W2999932054C43214815 @default.
- W2999932054 hasConceptScore W2999932054C62520636 @default.
- W2999932054 hasConceptScore W2999932054C80444323 @default.
- W2999932054 hasConceptScore W2999932054C97355855 @default.
- W2999932054 hasFunder F4320337391 @default.
- W2999932054 hasFunder F4320337396 @default.
- W2999932054 hasLocation W29999320541 @default.
- W2999932054 hasLocation W29999320542 @default.
- W2999932054 hasOpenAccess W2999932054 @default.
- W2999932054 hasPrimaryLocation W29999320541 @default.
- W2999932054 hasRelatedWork W10065612 @default.
- W2999932054 hasRelatedWork W10550621 @default.
- W2999932054 hasRelatedWork W14020435 @default.
- W2999932054 hasRelatedWork W2616068 @default.
- W2999932054 hasRelatedWork W287151 @default.
- W2999932054 hasRelatedWork W4898484 @default.
- W2999932054 hasRelatedWork W5218608 @default.
- W2999932054 hasRelatedWork W5837560 @default.
- W2999932054 hasRelatedWork W9298518 @default.
- W2999932054 hasRelatedWork W2095273 @default.
- W2999932054 hasVolume "8" @default.
- W2999932054 isParatext "false" @default.
- W2999932054 isRetracted "false" @default.
- W2999932054 magId "2999932054" @default.
- W2999932054 workType "article" @default.