Matches in SemOpenAlex for { <https://semopenalex.org/work/W4386273293> ?p ?o ?g. }
Showing items 1 to 83 of
83
with 100 items per page.
- W4386273293 abstract "Self-adaptation is a crucial feature of autonomous systems that must cope with uncertainties in, e.g., their environment and their internal state. Self-adaptive systems are often modelled as two-layered systems with a managed subsystem handling the domain concerns and a managing subsystem implementing the adaptation logic. We consider a case study of a self-adaptive robotic system; more concretely, an autonomous underwater vehicle (AUV) used for pipeline inspection. In this paper, we model and analyse it with the feature-aware probabilistic model checker ProFeat. The functionalities of the AUV are modelled in a feature model, capturing the AUV's variability. This allows us to model the managed subsystem of the AUV as a family of systems, where each family member corresponds to a valid feature configuration of the AUV. The managing subsystem of the AUV is modelled as a control layer capable of dynamically switching between such valid feature configurations, depending both on environmental and internal conditions. We use this model to analyse probabilistic reward and safety properties for the AUV." @default.
- W4386273293 created "2023-08-31" @default.
- W4386273293 creator A5007372421 @default.
- W4386273293 creator A5021773538 @default.
- W4386273293 creator A5039414480 @default.
- W4386273293 creator A5064415269 @default.
- W4386273293 creator A5065182304 @default.
- W4386273293 date "2023-08-28" @default.
- W4386273293 modified "2023-10-01" @default.
- W4386273293 title "Formal Modelling and Analysis of a Self-Adaptive Robotic System" @default.
- W4386273293 doi "https://doi.org/10.48550/arxiv.2308.14663" @default.
- W4386273293 hasPublicationYear "2023" @default.
- W4386273293 type Work @default.
- W4386273293 citedByCount "0" @default.
- W4386273293 crossrefType "posted-content" @default.
- W4386273293 hasAuthorship W4386273293A5007372421 @default.
- W4386273293 hasAuthorship W4386273293A5021773538 @default.
- W4386273293 hasAuthorship W4386273293A5039414480 @default.
- W4386273293 hasAuthorship W4386273293A5064415269 @default.
- W4386273293 hasAuthorship W4386273293A5065182304 @default.
- W4386273293 hasBestOaLocation W43862732931 @default.
- W4386273293 hasConcept C101814296 @default.
- W4386273293 hasConcept C111368507 @default.
- W4386273293 hasConcept C120314980 @default.
- W4386273293 hasConcept C120665830 @default.
- W4386273293 hasConcept C121332964 @default.
- W4386273293 hasConcept C127313418 @default.
- W4386273293 hasConcept C127413603 @default.
- W4386273293 hasConcept C133731056 @default.
- W4386273293 hasConcept C134306372 @default.
- W4386273293 hasConcept C138885662 @default.
- W4386273293 hasConcept C139807058 @default.
- W4386273293 hasConcept C154945302 @default.
- W4386273293 hasConcept C199360897 @default.
- W4386273293 hasConcept C2776401178 @default.
- W4386273293 hasConcept C2777904410 @default.
- W4386273293 hasConcept C33923547 @default.
- W4386273293 hasConcept C36503486 @default.
- W4386273293 hasConcept C41008148 @default.
- W4386273293 hasConcept C41895202 @default.
- W4386273293 hasConcept C43521106 @default.
- W4386273293 hasConcept C49937458 @default.
- W4386273293 hasConcept C79403827 @default.
- W4386273293 hasConcept C98083399 @default.
- W4386273293 hasConceptScore W4386273293C101814296 @default.
- W4386273293 hasConceptScore W4386273293C111368507 @default.
- W4386273293 hasConceptScore W4386273293C120314980 @default.
- W4386273293 hasConceptScore W4386273293C120665830 @default.
- W4386273293 hasConceptScore W4386273293C121332964 @default.
- W4386273293 hasConceptScore W4386273293C127313418 @default.
- W4386273293 hasConceptScore W4386273293C127413603 @default.
- W4386273293 hasConceptScore W4386273293C133731056 @default.
- W4386273293 hasConceptScore W4386273293C134306372 @default.
- W4386273293 hasConceptScore W4386273293C138885662 @default.
- W4386273293 hasConceptScore W4386273293C139807058 @default.
- W4386273293 hasConceptScore W4386273293C154945302 @default.
- W4386273293 hasConceptScore W4386273293C199360897 @default.
- W4386273293 hasConceptScore W4386273293C2776401178 @default.
- W4386273293 hasConceptScore W4386273293C2777904410 @default.
- W4386273293 hasConceptScore W4386273293C33923547 @default.
- W4386273293 hasConceptScore W4386273293C36503486 @default.
- W4386273293 hasConceptScore W4386273293C41008148 @default.
- W4386273293 hasConceptScore W4386273293C41895202 @default.
- W4386273293 hasConceptScore W4386273293C43521106 @default.
- W4386273293 hasConceptScore W4386273293C49937458 @default.
- W4386273293 hasConceptScore W4386273293C79403827 @default.
- W4386273293 hasConceptScore W4386273293C98083399 @default.
- W4386273293 hasLocation W43862732931 @default.
- W4386273293 hasOpenAccess W4386273293 @default.
- W4386273293 hasPrimaryLocation W43862732931 @default.
- W4386273293 hasRelatedWork W1528851149 @default.
- W4386273293 hasRelatedWork W1964290577 @default.
- W4386273293 hasRelatedWork W1964582004 @default.
- W4386273293 hasRelatedWork W2004575302 @default.
- W4386273293 hasRelatedWork W2070324084 @default.
- W4386273293 hasRelatedWork W2071417302 @default.
- W4386273293 hasRelatedWork W2165210986 @default.
- W4386273293 hasRelatedWork W2348531541 @default.
- W4386273293 hasRelatedWork W2355108439 @default.
- W4386273293 hasRelatedWork W52852281 @default.
- W4386273293 isParatext "false" @default.
- W4386273293 isRetracted "false" @default.
- W4386273293 workType "article" @default.