FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W2186491086> ?p ?o ?g. }

• W2186491086 abstract "In automated synthesis, given a specification, we automatically create a system that is guaranteed to satisfy the specification. In the classical temporal synthesis algorithms, one usually creates a “flat” system “from scratch”. However, real-life software and hardware systems are usually created using preexisting libraries of reusable components, and are not “flat” since repeated sub-systems are described only once. In this work we describe an algorithm for the synthesis of a hierarchical system from a library of hierarchical components, which follows the “bottom-up” approach to system design. Our algorithm works by synthesizing in many rounds, when at each round the system designer provides the specification of the currently desired module, which is then automatically synthesized using the initial library and the previously constructed modules. To ensure that the synthesized module actually takes advantage of the available high-level modules, we guide the algorithm by enforcing certain modularity criteria. We show that the synthesis of a hierarchical system from a library of hierarchical components is EXPTIME-complete for -calculus, and 2EXPTIME-complete for LTL, both in the cases of complete and incomplete information. Thus, in all cases, it is not harder than the classical synthesis problem (of synthesizing flat systems “from scratch”), even though the synthesized hierarchical system may be exponentially smaller than a flat one." @default.
• W2186491086 created "2016-06-24" @default.
• W2186491086 creator A5052215915 @default.
• W2186491086 creator A5055415505 @default.
• W2186491086 creator A5061045932 @default.
• W2186491086 date "2013-01-01" @default.
• W2186491086 modified "2023-09-25" @default.
• W2186491086 title "Synthesis of Hierarchical Systems(Revised)" @default.
• W2186491086 cites W138239890 @default.
• W2186491086 cites W142385736 @default.
• W2186491086 cites W143039783 @default.
• W2186491086 cites W1483600339 @default.
• W2186491086 cites W1489021242 @default.
• W2186491086 cites W1504333451 @default.
• W2186491086 cites W1507873625 @default.
• W2186491086 cites W150787565 @default.
• W2186491086 cites W1517844372 @default.
• W2186491086 cites W1528580059 @default.
• W2186491086 cites W1535073122 @default.
• W2186491086 cites W1539385324 @default.
• W2186491086 cites W1546220007 @default.
• W2186491086 cites W1564580204 @default.
• W2186491086 cites W1568412951 @default.
• W2186491086 cites W1578262153 @default.
• W2186491086 cites W1612453857 @default.
• W2186491086 cites W1819239495 @default.
• W2186491086 cites W1822320350 @default.
• W2186491086 cites W1871610027 @default.
• W2186491086 cites W1978955051 @default.
• W2186491086 cites W1982791836 @default.
• W2186491086 cites W1988808695 @default.
• W2186491086 cites W1996207810 @default.
• W2186491086 cites W2002644257 @default.
• W2186491086 cites W2012436850 @default.
• W2186491086 cites W2015640848 @default.
• W2186491086 cites W2016206563 @default.
• W2186491086 cites W2017076220 @default.
• W2186491086 cites W2023808162 @default.
• W2186491086 cites W2029224856 @default.
• W2186491086 cites W2048355938 @default.
• W2186491086 cites W2054412301 @default.
• W2186491086 cites W2059312600 @default.
• W2186491086 cites W2066736792 @default.
• W2186491086 cites W2074460611 @default.
• W2186491086 cites W2083398633 @default.
• W2186491086 cites W2101113119 @default.
• W2186491086 cites W2122291521 @default.
• W2186491086 cites W2137671639 @default.
• W2186491086 cites W2151385549 @default.
• W2186491086 cites W2151670874 @default.
• W2186491086 cites W2155627592 @default.
• W2186491086 cites W2170933628 @default.
• W2186491086 cites W2281681012 @default.
• W2186491086 hasPublicationYear "2013" @default.
• W2186491086 type Work @default.
• W2186491086 sameAs 2186491086 @default.
• W2186491086 citedByCount "0" @default.
• W2186491086 crossrefType "journal-article" @default.
• W2186491086 hasAuthorship W2186491086A5052215915 @default.
• W2186491086 hasAuthorship W2186491086A5055415505 @default.
• W2186491086 hasAuthorship W2186491086A5061045932 @default.
• W2186491086 hasConcept C11413529 @default.
• W2186491086 hasConcept C124527596 @default.
• W2186491086 hasConcept C154945302 @default.
• W2186491086 hasConcept C199360897 @default.
• W2186491086 hasConcept C2775924081 @default.
• W2186491086 hasConcept C2777904410 @default.
• W2186491086 hasConcept C2779478453 @default.
• W2186491086 hasConcept C41008148 @default.
• W2186491086 hasConcept C54355233 @default.
• W2186491086 hasConcept C80444323 @default.
• W2186491086 hasConcept C86803240 @default.
• W2186491086 hasConceptScore W2186491086C11413529 @default.
• W2186491086 hasConceptScore W2186491086C124527596 @default.
• W2186491086 hasConceptScore W2186491086C154945302 @default.
• W2186491086 hasConceptScore W2186491086C199360897 @default.
• W2186491086 hasConceptScore W2186491086C2775924081 @default.
• W2186491086 hasConceptScore W2186491086C2777904410 @default.
• W2186491086 hasConceptScore W2186491086C2779478453 @default.
• W2186491086 hasConceptScore W2186491086C41008148 @default.
• W2186491086 hasConceptScore W2186491086C54355233 @default.
• W2186491086 hasConceptScore W2186491086C80444323 @default.
• W2186491086 hasConceptScore W2186491086C86803240 @default.
• W2186491086 hasLocation W21864910861 @default.
• W2186491086 hasOpenAccess W2186491086 @default.
• W2186491086 hasPrimaryLocation W21864910861 @default.
• W2186491086 hasRelatedWork W149731632 @default.
• W2186491086 hasRelatedWork W155823758 @default.
• W2186491086 hasRelatedWork W1681158566 @default.
• W2186491086 hasRelatedWork W18923887 @default.
• W2186491086 hasRelatedWork W2012351729 @default.
• W2186491086 hasRelatedWork W2030511855 @default.
• W2186491086 hasRelatedWork W2088840065 @default.
• W2186491086 hasRelatedWork W2114406606 @default.
• W2186491086 hasRelatedWork W2124875144 @default.
• W2186491086 hasRelatedWork W2162960800 @default.
• W2186491086 hasRelatedWork W22863802 @default.
• W2186491086 hasRelatedWork W2338693517 @default.
• W2186491086 hasRelatedWork W2530335466 @default.
• W2186491086 hasRelatedWork W2949895386 @default.

• next