FRINK Linked Data Fragments server

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

• W1514303786 abstract "This working paper describes a framework for compositional supervisor synthesis, which is applicable to all discrete event systems modelled as a set of deterministic automata. Compositional synthesis exploits the modular structure of the input model, and therefore works best for models consisting of a large number of small automata. The state-space explosion is mitigated by the use of abstraction to simplify individual components, and the property of synthesis equivalence guarantees that the final synthesis result is the same as it would have been for the non-abstracted model. The working paper describes synthesis equivalent abstractions and shows their use in an algorithm to efficiently compute supervisors. The algorithm has been implemented in the DES software tool Supremica and successfully computes nonblocking modular supervisors, even for systems with more than 1014 reachable states, in less than 30 seconds." @default.
• W1514303786 created "2016-06-24" @default.
• W1514303786 creator A5009427975 @default.
• W1514303786 creator A5017972835 @default.
• W1514303786 creator A5056156627 @default.
• W1514303786 date "2014-01-01" @default.
• W1514303786 modified "2023-09-23" @default.
• W1514303786 title "SYNTHESIS EQUIVALENCE OF TRIPLES" @default.
• W1514303786 cites W101029079 @default.
• W1514303786 cites W1496161651 @default.
• W1514303786 cites W1503973138 @default.
• W1514303786 cites W1548644447 @default.
• W1514303786 cites W1556549343 @default.
• W1514303786 cites W1973642705 @default.
• W1514303786 cites W2007384378 @default.
• W1514303786 cites W2016140364 @default.
• W1514303786 cites W2016380948 @default.
• W1514303786 cites W2035939251 @default.
• W1514303786 cites W2057483083 @default.
• W1514303786 cites W2059057465 @default.
• W1514303786 cites W2085101251 @default.
• W1514303786 cites W2091559615 @default.
• W1514303786 cites W2096469944 @default.
• W1514303786 cites W2098729916 @default.
• W1514303786 cites W2102651988 @default.
• W1514303786 cites W2112951648 @default.
• W1514303786 cites W2119106833 @default.
• W1514303786 cites W2125393216 @default.
• W1514303786 cites W2133925698 @default.
• W1514303786 cites W2135348287 @default.
• W1514303786 cites W2141112857 @default.
• W1514303786 cites W2142324675 @default.
• W1514303786 cites W2142604061 @default.
• W1514303786 cites W2147504115 @default.
• W1514303786 cites W2151006853 @default.
• W1514303786 cites W2152522864 @default.
• W1514303786 cites W2153036135 @default.
• W1514303786 cites W2163119090 @default.
• W1514303786 cites W3144368627 @default.
• W1514303786 cites W322937049 @default.
• W1514303786 cites W334259169 @default.
• W1514303786 cites W73528903 @default.
• W1514303786 cites W2097898238 @default.
• W1514303786 hasPublicationYear "2014" @default.
• W1514303786 type Work @default.
• W1514303786 sameAs 1514303786 @default.
• W1514303786 citedByCount "1" @default.
• W1514303786 countsByYear W15143037862016 @default.
• W1514303786 crossrefType "journal-article" @default.
• W1514303786 hasAuthorship W1514303786A5009427975 @default.
• W1514303786 hasAuthorship W1514303786A5017972835 @default.
• W1514303786 hasAuthorship W1514303786A5056156627 @default.
• W1514303786 hasConcept C101468663 @default.
• W1514303786 hasConcept C105795698 @default.
• W1514303786 hasConcept C111472728 @default.
• W1514303786 hasConcept C112505250 @default.
• W1514303786 hasConcept C11413529 @default.
• W1514303786 hasConcept C118615104 @default.
• W1514303786 hasConcept C124304363 @default.
• W1514303786 hasConcept C138885662 @default.
• W1514303786 hasConcept C177264268 @default.
• W1514303786 hasConcept C17744445 @default.
• W1514303786 hasConcept C189950617 @default.
• W1514303786 hasConcept C199360897 @default.
• W1514303786 hasConcept C199539241 @default.
• W1514303786 hasConcept C2777904410 @default.
• W1514303786 hasConcept C2779110517 @default.
• W1514303786 hasConcept C2780069185 @default.
• W1514303786 hasConcept C33923547 @default.
• W1514303786 hasConcept C41008148 @default.
• W1514303786 hasConcept C72434380 @default.
• W1514303786 hasConcept C80444323 @default.
• W1514303786 hasConceptScore W1514303786C101468663 @default.
• W1514303786 hasConceptScore W1514303786C105795698 @default.
• W1514303786 hasConceptScore W1514303786C111472728 @default.
• W1514303786 hasConceptScore W1514303786C112505250 @default.
• W1514303786 hasConceptScore W1514303786C11413529 @default.
• W1514303786 hasConceptScore W1514303786C118615104 @default.
• W1514303786 hasConceptScore W1514303786C124304363 @default.
• W1514303786 hasConceptScore W1514303786C138885662 @default.
• W1514303786 hasConceptScore W1514303786C177264268 @default.
• W1514303786 hasConceptScore W1514303786C17744445 @default.
• W1514303786 hasConceptScore W1514303786C189950617 @default.
• W1514303786 hasConceptScore W1514303786C199360897 @default.
• W1514303786 hasConceptScore W1514303786C199539241 @default.
• W1514303786 hasConceptScore W1514303786C2777904410 @default.
• W1514303786 hasConceptScore W1514303786C2779110517 @default.
• W1514303786 hasConceptScore W1514303786C2780069185 @default.
• W1514303786 hasConceptScore W1514303786C33923547 @default.
• W1514303786 hasConceptScore W1514303786C41008148 @default.
• W1514303786 hasConceptScore W1514303786C72434380 @default.
• W1514303786 hasConceptScore W1514303786C80444323 @default.
• W1514303786 hasLocation W15143037861 @default.
• W1514303786 hasOpenAccess W1514303786 @default.
• W1514303786 hasPrimaryLocation W15143037861 @default.
• W1514303786 hasRelatedWork W101059905 @default.
• W1514303786 hasRelatedWork W1494257722 @default.
• W1514303786 hasRelatedWork W1511965757 @default.
• W1514303786 hasRelatedWork W1967091946 @default.
• W1514303786 hasRelatedWork W1997749897 @default.

• next