FRINK Linked Data Fragments server

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

• W1644221214 abstract "The Ramadge-Wonham supervisory control paradigm has been shown effective in dealing with logic control. Nevertheless, time-related performance is always one of the major concerns in industry. Current methods for synthesizing time optimal supervisors are incapable of dealing with large discrete event systems with massive state spaces. This paper proposes a method of finding a time optimal accepting trace for discrete event systems. It also proposes abstraction methods based upon language projection, and pruning capable of finding such traces for large discrete event systems. The algorithms are tested on a large discrete event system model in order to show their effectiveness." @default.
• W1644221214 created "2016-06-24" @default.
• W1644221214 creator A5044599554 @default.
• W1644221214 creator A5046844818 @default.
• W1644221214 date "2015-08-01" @default.
• W1644221214 modified "2023-09-26" @default.
• W1644221214 title "Synthesis time optimal accepting traces using language projection and pruning" @default.
• W1644221214 cites W1979349468 @default.
• W1644221214 cites W1983585007 @default.
• W1644221214 cites W2040597813 @default.
• W1644221214 cites W2114294750 @default.
• W1644221214 cites W2125393216 @default.
• W1644221214 cites W2126295866 @default.
• W1644221214 cites W2133925698 @default.
• W1644221214 cites W2169528473 @default.
• W1644221214 doi "https://doi.org/10.1109/coase.2015.7294288" @default.
• W1644221214 hasPublicationYear "2015" @default.
• W1644221214 type Work @default.
• W1644221214 sameAs 1644221214 @default.
• W1644221214 citedByCount "1" @default.
• W1644221214 countsByYear W16442212142017 @default.
• W1644221214 crossrefType "proceedings-article" @default.
• W1644221214 hasAuthorship W1644221214A5044599554 @default.
• W1644221214 hasAuthorship W1644221214A5046844818 @default.
• W1644221214 hasConcept C105795698 @default.
• W1644221214 hasConcept C108010975 @default.
• W1644221214 hasConcept C111472728 @default.
• W1644221214 hasConcept C11413529 @default.
• W1644221214 hasConcept C121332964 @default.
• W1644221214 hasConcept C124304363 @default.
• W1644221214 hasConcept C126255220 @default.
• W1644221214 hasConcept C138885662 @default.
• W1644221214 hasConcept C154945302 @default.
• W1644221214 hasConcept C2775924081 @default.
• W1644221214 hasConcept C2779662365 @default.
• W1644221214 hasConcept C32866371 @default.
• W1644221214 hasConcept C33923547 @default.
• W1644221214 hasConcept C41008148 @default.
• W1644221214 hasConcept C41895202 @default.
• W1644221214 hasConcept C48103436 @default.
• W1644221214 hasConcept C55689738 @default.
• W1644221214 hasConcept C57493831 @default.
• W1644221214 hasConcept C62520636 @default.
• W1644221214 hasConcept C6557445 @default.
• W1644221214 hasConcept C75291252 @default.
• W1644221214 hasConcept C80444323 @default.
• W1644221214 hasConcept C86803240 @default.
• W1644221214 hasConcept C91575142 @default.
• W1644221214 hasConcept C92991967 @default.
• W1644221214 hasConcept C96314035 @default.
• W1644221214 hasConceptScore W1644221214C105795698 @default.
• W1644221214 hasConceptScore W1644221214C108010975 @default.
• W1644221214 hasConceptScore W1644221214C111472728 @default.
• W1644221214 hasConceptScore W1644221214C11413529 @default.
• W1644221214 hasConceptScore W1644221214C121332964 @default.
• W1644221214 hasConceptScore W1644221214C124304363 @default.
• W1644221214 hasConceptScore W1644221214C126255220 @default.
• W1644221214 hasConceptScore W1644221214C138885662 @default.
• W1644221214 hasConceptScore W1644221214C154945302 @default.
• W1644221214 hasConceptScore W1644221214C2775924081 @default.
• W1644221214 hasConceptScore W1644221214C2779662365 @default.
• W1644221214 hasConceptScore W1644221214C32866371 @default.
• W1644221214 hasConceptScore W1644221214C33923547 @default.
• W1644221214 hasConceptScore W1644221214C41008148 @default.
• W1644221214 hasConceptScore W1644221214C41895202 @default.
• W1644221214 hasConceptScore W1644221214C48103436 @default.
• W1644221214 hasConceptScore W1644221214C55689738 @default.
• W1644221214 hasConceptScore W1644221214C57493831 @default.
• W1644221214 hasConceptScore W1644221214C62520636 @default.
• W1644221214 hasConceptScore W1644221214C6557445 @default.
• W1644221214 hasConceptScore W1644221214C75291252 @default.
• W1644221214 hasConceptScore W1644221214C80444323 @default.
• W1644221214 hasConceptScore W1644221214C86803240 @default.
• W1644221214 hasConceptScore W1644221214C91575142 @default.
• W1644221214 hasConceptScore W1644221214C92991967 @default.
• W1644221214 hasConceptScore W1644221214C96314035 @default.
• W1644221214 hasLocation W16442212141 @default.
• W1644221214 hasOpenAccess W1644221214 @default.
• W1644221214 hasPrimaryLocation W16442212141 @default.
• W1644221214 hasRelatedWork W1016291793 @default.
• W1644221214 hasRelatedWork W1488462636 @default.
• W1644221214 hasRelatedWork W1496022067 @default.
• W1644221214 hasRelatedWork W1502177156 @default.
• W1644221214 hasRelatedWork W1533032132 @default.
• W1644221214 hasRelatedWork W2012653673 @default.
• W1644221214 hasRelatedWork W2110855590 @default.
• W1644221214 hasRelatedWork W2125036566 @default.
• W1644221214 hasRelatedWork W2125492045 @default.
• W1644221214 hasRelatedWork W2126388314 @default.
• W1644221214 hasRelatedWork W2137596167 @default.
• W1644221214 hasRelatedWork W2155621336 @default.
• W1644221214 hasRelatedWork W2167939003 @default.
• W1644221214 hasRelatedWork W2286262394 @default.
• W1644221214 hasRelatedWork W2555721567 @default.
• W1644221214 hasRelatedWork W2563706398 @default.
• W1644221214 hasRelatedWork W2617235531 @default.
• W1644221214 hasRelatedWork W2783708882 @default.
• W1644221214 hasRelatedWork W2951927990 @default.
• W1644221214 hasRelatedWork W1547828691 @default.
• W1644221214 isParatext "false" @default.

• next