Matches in SemOpenAlex for { <https://semopenalex.org/work/W2073556309> ?p ?o ?g. }
Showing items 1 to 53 of
53
with 100 items per page.
- W2073556309 abstract "NASA is investigating new paradigms for future space exploration, heavily focused on the (still) emerging technologies of autonomous and autonomic systems. Traditional missions, reliant on one large spacecraft, are being replaced with missions that involve smaller collaborating spacecraft, analogous to swarms in nature. This approach oers several advantages: the ability to send spacecraft to explore regions of space where traditional craft simply would be impractical, greater redundancy (and, consequently, greater protection of assets), and reduced costs and risk, to name but a few. These new approaches to exploration simultaneously pose many challenges. The missions will be unmanned and highly autonomous. They will also exhibit the properties of autonomic systems, being selfprotecting, self-healing, self-configuring, and self-optimizing. To address the challenge in verifying the above missions, a NASA project, Formal Approaches to Swarm Technology (FAST), is investigating appropriate formal methods for use in such missions, and is beginning to apply these techniques to specifying and verifying parts of a NASA swarm-based concept mission." @default.
- W2073556309 created "2016-06-24" @default.
- W2073556309 creator A5007119340 @default.
- W2073556309 creator A5044932061 @default.
- W2073556309 creator A5088216626 @default.
- W2073556309 creator A5089848487 @default.
- W2073556309 date "2006-06-19" @default.
- W2073556309 modified "2023-10-05" @default.
- W2073556309 title "Verifying Future Swarm-Based Missions" @default.
- W2073556309 cites W120378874 @default.
- W2073556309 cites W1561086728 @default.
- W2073556309 cites W1991068355 @default.
- W2073556309 cites W2005453221 @default.
- W2073556309 cites W2022160787 @default.
- W2073556309 cites W2024189170 @default.
- W2073556309 cites W2162374547 @default.
- W2073556309 cites W4213388867 @default.
- W2073556309 cites W4234406933 @default.
- W2073556309 cites W4243144664 @default.
- W2073556309 cites W4250109690 @default.
- W2073556309 doi "https://doi.org/10.2514/6.2006-5555" @default.
- W2073556309 hasPublicationYear "2006" @default.
- W2073556309 type Work @default.
- W2073556309 sameAs 2073556309 @default.
- W2073556309 citedByCount "0" @default.
- W2073556309 crossrefType "proceedings-article" @default.
- W2073556309 hasAuthorship W2073556309A5007119340 @default.
- W2073556309 hasAuthorship W2073556309A5044932061 @default.
- W2073556309 hasAuthorship W2073556309A5088216626 @default.
- W2073556309 hasAuthorship W2073556309A5089848487 @default.
- W2073556309 hasConcept C154945302 @default.
- W2073556309 hasConcept C181335050 @default.
- W2073556309 hasConcept C41008148 @default.
- W2073556309 hasConceptScore W2073556309C154945302 @default.
- W2073556309 hasConceptScore W2073556309C181335050 @default.
- W2073556309 hasConceptScore W2073556309C41008148 @default.
- W2073556309 hasLocation W20735563091 @default.
- W2073556309 hasOpenAccess W2073556309 @default.
- W2073556309 hasPrimaryLocation W20735563091 @default.
- W2073556309 hasRelatedWork W2736680465 @default.
- W2073556309 hasRelatedWork W2748952813 @default.
- W2073556309 hasRelatedWork W2762577149 @default.
- W2073556309 hasRelatedWork W2771637876 @default.
- W2073556309 hasRelatedWork W2899084033 @default.
- W2073556309 hasRelatedWork W2980529041 @default.
- W2073556309 hasRelatedWork W2998342509 @default.
- W2073556309 hasRelatedWork W3200708550 @default.
- W2073556309 hasRelatedWork W3203012085 @default.
- W2073556309 hasRelatedWork W4288714711 @default.
- W2073556309 isParatext "false" @default.
- W2073556309 isRetracted "false" @default.
- W2073556309 magId "2073556309" @default.
- W2073556309 workType "article" @default.