Matches in SemOpenAlex for { <https://semopenalex.org/work/W2892187746> ?p ?o ?g. }
Showing items 1 to 51 of
51
with 100 items per page.
- W2892187746 abstract "Safety properties for systems are guaranteed under assumptions to an environment. If the assumptions are broken at runtime, the safety properties are no longer guaranteed. The system should adapt to the changes in order to guarantee the safety properties or relaxed safety properties. Our purpose is establishing techniques to identify the maximum level of safety properties that can be guaranteed in a changed environment. The technique should be efficient so that it is applicable to runtime usage. In this paper, we propose an efficient algorithm that identifies the maximum level of safety properties. Our idea is analyzing availability of each safety property guarantee at a time and restricting analysis only in changed part of the previous result, instead of analysis from the scratch. We extend an existing analysis algorithm based on two-player game to realize the difference analysis. We evaluate our algorithm in terms of (1) level of safety properties and (2) computational time through two case studies." @default.
- W2892187746 created "2018-09-27" @default.
- W2892187746 creator A5002321977 @default.
- W2892187746 creator A5045332896 @default.
- W2892187746 creator A5089808570 @default.
- W2892187746 date "2018-07-01" @default.
- W2892187746 modified "2023-09-27" @default.
- W2892187746 title "Identifying safety properties guaranteed in changed environment at runtime" @default.
- W2892187746 cites W1967755445 @default.
- W2892187746 cites W2039568153 @default.
- W2892187746 cites W2346406611 @default.
- W2892187746 cites W2502103274 @default.
- W2892187746 cites W2570597537 @default.
- W2892187746 cites W2608928650 @default.
- W2892187746 cites W2618727322 @default.
- W2892187746 cites W2767859977 @default.
- W2892187746 cites W4235545194 @default.
- W2892187746 doi "https://doi.org/10.1109/agents.2018.8460083" @default.
- W2892187746 hasPublicationYear "2018" @default.
- W2892187746 type Work @default.
- W2892187746 sameAs 2892187746 @default.
- W2892187746 citedByCount "5" @default.
- W2892187746 countsByYear W28921877462019 @default.
- W2892187746 countsByYear W28921877462020 @default.
- W2892187746 countsByYear W28921877462021 @default.
- W2892187746 countsByYear W28921877462023 @default.
- W2892187746 crossrefType "proceedings-article" @default.
- W2892187746 hasAuthorship W2892187746A5002321977 @default.
- W2892187746 hasAuthorship W2892187746A5045332896 @default.
- W2892187746 hasAuthorship W2892187746A5089808570 @default.
- W2892187746 hasConcept C149635348 @default.
- W2892187746 hasConcept C41008148 @default.
- W2892187746 hasConceptScore W2892187746C149635348 @default.
- W2892187746 hasConceptScore W2892187746C41008148 @default.
- W2892187746 hasLocation W28921877461 @default.
- W2892187746 hasOpenAccess W2892187746 @default.
- W2892187746 hasPrimaryLocation W28921877461 @default.
- W2892187746 hasRelatedWork W2002703587 @default.
- W2892187746 hasRelatedWork W2093578348 @default.
- W2892187746 hasRelatedWork W2358668433 @default.
- W2892187746 hasRelatedWork W2374512474 @default.
- W2892187746 hasRelatedWork W2376932109 @default.
- W2892187746 hasRelatedWork W2380242202 @default.
- W2892187746 hasRelatedWork W2390279801 @default.
- W2892187746 hasRelatedWork W2748952813 @default.
- W2892187746 hasRelatedWork W2899084033 @default.
- W2892187746 hasRelatedWork W3217667592 @default.
- W2892187746 isParatext "false" @default.
- W2892187746 isRetracted "false" @default.
- W2892187746 magId "2892187746" @default.
- W2892187746 workType "article" @default.