Matches in SemOpenAlex for { <https://semopenalex.org/work/W4383888904> ?p ?o ?g. }
Showing items 1 to 91 of
91
with 100 items per page.
- W4383888904 abstract "For systems to respond to scenarios that were unforeseen at design time, they must be capable of safely adapting, at runtime, the assumptions they make about the environment, the goals they are expected to achieve, and the strategy that guarantees the goals are fulfilled if the assumptions hold. Such adaptation often involves the system degrading its functionality, by weakening its environment assumptions and/or the goals it aims to meet, ideally in a graceful manner. However, finding weaker assumptions that account for the unanticipated behaviour and of goals that are achievable in the new environment in a systematic and safe way remains an open challenge. In this paper, we propose a novel framework that supports assumption and, if necessary, goal degradation to allow systems to cope with runtime assumption violations. The framework, which integrates into the MORPH reference architecture, combines symbolic learning and reactive synthesis to compute implementable controllers that may be deployed safely. We describe and implement an algorithm that illustrates the working of this framework. We further demonstrate in our evaluation its effectiveness and applicability to a series of benchmarks from the literature. The results show that the algorithm successfully learns realizable specifications that accommodate previously violating environment behaviour in almost all cases. Exceptions are discussed in the evaluation." @default.
- W4383888904 created "2023-07-12" @default.
- W4383888904 creator A5029277829 @default.
- W4383888904 creator A5045087569 @default.
- W4383888904 creator A5046484952 @default.
- W4383888904 creator A5092444529 @default.
- W4383888904 date "2023-05-01" @default.
- W4383888904 modified "2023-10-09" @default.
- W4383888904 title "Adapting Specifications for Reactive Controllers" @default.
- W4383888904 cites W1526456721 @default.
- W4383888904 cites W1549122259 @default.
- W4383888904 cites W1590266960 @default.
- W4383888904 cites W1595972517 @default.
- W4383888904 cites W1603488308 @default.
- W4383888904 cites W1971139410 @default.
- W4383888904 cites W1984584576 @default.
- W4383888904 cites W1985136467 @default.
- W4383888904 cites W2008088536 @default.
- W4383888904 cites W2010929379 @default.
- W4383888904 cites W2041701185 @default.
- W4383888904 cites W2052111476 @default.
- W4383888904 cites W2094467916 @default.
- W4383888904 cites W2117818414 @default.
- W4383888904 cites W2120088319 @default.
- W4383888904 cites W2127023692 @default.
- W4383888904 cites W2142414682 @default.
- W4383888904 cites W2152924401 @default.
- W4383888904 cites W2158791845 @default.
- W4383888904 cites W2162773911 @default.
- W4383888904 cites W2395073840 @default.
- W4383888904 cites W2408655474 @default.
- W4383888904 cites W2522043470 @default.
- W4383888904 cites W2741166868 @default.
- W4383888904 cites W2807161818 @default.
- W4383888904 cites W2884845300 @default.
- W4383888904 cites W2910806988 @default.
- W4383888904 cites W2954865956 @default.
- W4383888904 cites W2967277443 @default.
- W4383888904 cites W2972075026 @default.
- W4383888904 cites W2995634384 @default.
- W4383888904 cites W2997108528 @default.
- W4383888904 cites W2997844570 @default.
- W4383888904 cites W3088372654 @default.
- W4383888904 cites W3089808309 @default.
- W4383888904 cites W3097206427 @default.
- W4383888904 cites W3161392670 @default.
- W4383888904 cites W3206283835 @default.
- W4383888904 cites W4206503879 @default.
- W4383888904 cites W4254790956 @default.
- W4383888904 cites W4255628482 @default.
- W4383888904 doi "https://doi.org/10.1109/seams59076.2023.00012" @default.
- W4383888904 hasPublicationYear "2023" @default.
- W4383888904 type Work @default.
- W4383888904 citedByCount "0" @default.
- W4383888904 crossrefType "proceedings-article" @default.
- W4383888904 hasAuthorship W4383888904A5029277829 @default.
- W4383888904 hasAuthorship W4383888904A5045087569 @default.
- W4383888904 hasAuthorship W4383888904A5046484952 @default.
- W4383888904 hasAuthorship W4383888904A5092444529 @default.
- W4383888904 hasConcept C120314980 @default.
- W4383888904 hasConcept C120665830 @default.
- W4383888904 hasConcept C121332964 @default.
- W4383888904 hasConcept C123657996 @default.
- W4383888904 hasConcept C139807058 @default.
- W4383888904 hasConcept C142362112 @default.
- W4383888904 hasConcept C153349607 @default.
- W4383888904 hasConcept C41008148 @default.
- W4383888904 hasConceptScore W4383888904C120314980 @default.
- W4383888904 hasConceptScore W4383888904C120665830 @default.
- W4383888904 hasConceptScore W4383888904C121332964 @default.
- W4383888904 hasConceptScore W4383888904C123657996 @default.
- W4383888904 hasConceptScore W4383888904C139807058 @default.
- W4383888904 hasConceptScore W4383888904C142362112 @default.
- W4383888904 hasConceptScore W4383888904C153349607 @default.
- W4383888904 hasConceptScore W4383888904C41008148 @default.
- W4383888904 hasLocation W43838889041 @default.
- W4383888904 hasOpenAccess W4383888904 @default.
- W4383888904 hasPrimaryLocation W43838889041 @default.
- W4383888904 hasRelatedWork W1522515376 @default.
- W4383888904 hasRelatedWork W1571518467 @default.
- W4383888904 hasRelatedWork W1576801573 @default.
- W4383888904 hasRelatedWork W1587227328 @default.
- W4383888904 hasRelatedWork W189527659 @default.
- W4383888904 hasRelatedWork W2076610045 @default.
- W4383888904 hasRelatedWork W2124853563 @default.
- W4383888904 hasRelatedWork W2135470563 @default.
- W4383888904 hasRelatedWork W2998813341 @default.
- W4383888904 hasRelatedWork W87991986 @default.
- W4383888904 isParatext "false" @default.
- W4383888904 isRetracted "false" @default.
- W4383888904 workType "article" @default.