Matches in SemOpenAlex for { <https://semopenalex.org/work/W1922061279> ?p ?o ?g. }
Showing items 1 to 91 of
91
with 100 items per page.
- W1922061279 abstract "Given a set of interacting components with non-deterministic variable update and given safety requirements, the goal of priority synthesis is to restrict, by means of priorities, the set of possible interactions in such a way as to guarantee the given safety conditions for all possible runs. In distributed priority synthesis we are interested in obtaining local sets of priorities, which are deployed in terms of local component controllers sharing intended next moves between components in local neighborhoods only. These possible communication paths between local controllers are specified by means of a communication architecture. We formally define the problem of distributed priority synthesis in terms of a multi-player safety game between players for (angelically) selecting the next transition of the components and an environment for (demonically) updating uncontrollable variables; this problem is NP-complete. We propose several optimizations including a solution-space exploration based on a diagnosis method using a nested extension of the usual attractor computation in games together with a reduction to corresponding SAT problems. When diagnosis fails, the method proposes potential candidates to guide the exploration. These optimized algorithms for solving distributed priority synthesis problems have been integrated into our VissBIP framework. An experimental validation of this implementation is performed using a range of case studies including scheduling in multicore processors and modular robotics." @default.
- W1922061279 created "2016-06-24" @default.
- W1922061279 creator A5007923079 @default.
- W1922061279 creator A5050015090 @default.
- W1922061279 creator A5066292729 @default.
- W1922061279 creator A5069785845 @default.
- W1922061279 date "2011-12-08" @default.
- W1922061279 modified "2023-09-26" @default.
- W1922061279 title "Distributed Priority Synthesis and its Applications" @default.
- W1922061279 cites W1497341048 @default.
- W1922061279 cites W1543342984 @default.
- W1922061279 cites W1547864995 @default.
- W1922061279 cites W1558344911 @default.
- W1922061279 cites W1564779026 @default.
- W1922061279 cites W1569085112 @default.
- W1922061279 cites W1610578937 @default.
- W1922061279 cites W1783469492 @default.
- W1922061279 cites W1821461427 @default.
- W1922061279 cites W2004364729 @default.
- W1922061279 cites W2141479339 @default.
- W1922061279 cites W2141955344 @default.
- W1922061279 cites W2147367432 @default.
- W1922061279 cites W2210268884 @default.
- W1922061279 cites W2404118354 @default.
- W1922061279 cites W2913192371 @default.
- W1922061279 cites W2963397437 @default.
- W1922061279 cites W78994137 @default.
- W1922061279 hasPublicationYear "2011" @default.
- W1922061279 type Work @default.
- W1922061279 sameAs 1922061279 @default.
- W1922061279 citedByCount "0" @default.
- W1922061279 crossrefType "posted-content" @default.
- W1922061279 hasAuthorship W1922061279A5007923079 @default.
- W1922061279 hasAuthorship W1922061279A5050015090 @default.
- W1922061279 hasAuthorship W1922061279A5066292729 @default.
- W1922061279 hasAuthorship W1922061279A5069785845 @default.
- W1922061279 hasConcept C101468663 @default.
- W1922061279 hasConcept C111335779 @default.
- W1922061279 hasConcept C120314980 @default.
- W1922061279 hasConcept C121332964 @default.
- W1922061279 hasConcept C126255220 @default.
- W1922061279 hasConcept C168167062 @default.
- W1922061279 hasConcept C177264268 @default.
- W1922061279 hasConcept C199360897 @default.
- W1922061279 hasConcept C206729178 @default.
- W1922061279 hasConcept C2524010 @default.
- W1922061279 hasConcept C33923547 @default.
- W1922061279 hasConcept C41008148 @default.
- W1922061279 hasConcept C80444323 @default.
- W1922061279 hasConcept C97355855 @default.
- W1922061279 hasConceptScore W1922061279C101468663 @default.
- W1922061279 hasConceptScore W1922061279C111335779 @default.
- W1922061279 hasConceptScore W1922061279C120314980 @default.
- W1922061279 hasConceptScore W1922061279C121332964 @default.
- W1922061279 hasConceptScore W1922061279C126255220 @default.
- W1922061279 hasConceptScore W1922061279C168167062 @default.
- W1922061279 hasConceptScore W1922061279C177264268 @default.
- W1922061279 hasConceptScore W1922061279C199360897 @default.
- W1922061279 hasConceptScore W1922061279C206729178 @default.
- W1922061279 hasConceptScore W1922061279C2524010 @default.
- W1922061279 hasConceptScore W1922061279C33923547 @default.
- W1922061279 hasConceptScore W1922061279C41008148 @default.
- W1922061279 hasConceptScore W1922061279C80444323 @default.
- W1922061279 hasConceptScore W1922061279C97355855 @default.
- W1922061279 hasLocation W19220612791 @default.
- W1922061279 hasOpenAccess W1922061279 @default.
- W1922061279 hasPrimaryLocation W19220612791 @default.
- W1922061279 hasRelatedWork W1547358136 @default.
- W1922061279 hasRelatedWork W1574696033 @default.
- W1922061279 hasRelatedWork W1578198976 @default.
- W1922061279 hasRelatedWork W1658016700 @default.
- W1922061279 hasRelatedWork W1855597481 @default.
- W1922061279 hasRelatedWork W2042828422 @default.
- W1922061279 hasRelatedWork W2060570725 @default.
- W1922061279 hasRelatedWork W2130629939 @default.
- W1922061279 hasRelatedWork W2231046343 @default.
- W1922061279 hasRelatedWork W2528475296 @default.
- W1922061279 hasRelatedWork W275821040 @default.
- W1922061279 hasRelatedWork W2796338744 @default.
- W1922061279 hasRelatedWork W2952311425 @default.
- W1922061279 hasRelatedWork W2966625830 @default.
- W1922061279 hasRelatedWork W2995545151 @default.
- W1922061279 hasRelatedWork W3089566198 @default.
- W1922061279 hasRelatedWork W3158725377 @default.
- W1922061279 hasRelatedWork W40144769 @default.
- W1922061279 hasRelatedWork W52827005 @default.
- W1922061279 hasRelatedWork W773023228 @default.
- W1922061279 isParatext "false" @default.
- W1922061279 isRetracted "false" @default.
- W1922061279 magId "1922061279" @default.
- W1922061279 workType "article" @default.