FRINK Linked Data Fragments server

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

• W2000873772 abstract "This paper investigates under which conditions transitions can be removed from an automaton while preserving important synthesis properties. The work is part of a framework for compositional synthesis of least restrictive controllable and nonblocking supervisors for modular discrete event systems. The method for transition removal complements previous results, which are largely focused on state merging. Issues concerning transition removal in synthesis are discussed, and redirection maps are introduced to enable a supervisor to process an event, even though the corresponding transition is no longer present in the model. Based on the results, different techniques are proposed to remove controllable and uncontrollable transitions, and an example shows the potential of the method for practical problems." @default.
• W2000873772 created "2016-06-24" @default.
• W2000873772 creator A5009427975 @default.
• W2000873772 creator A5017972835 @default.
• W2000873772 creator A5056156627 @default.
• W2000873772 date "2012-08-01" @default.
• W2000873772 modified "2023-09-23" @default.
• W2000873772 title "Transition removal for compositional supervisor synthesis" @default.
• W2000873772 cites W2016140364 @default.
• W2000873772 cites W2032229978 @default.
• W2000873772 cites W2059057465 @default.
• W2000873772 cites W2096469944 @default.
• W2000873772 cites W2102651988 @default.
• W2000873772 cites W2126086148 @default.
• W2000873772 cites W2132862824 @default.
• W2000873772 cites W2135348287 @default.
• W2000873772 cites W2137467159 @default.
• W2000873772 cites W2141112857 @default.
• W2000873772 cites W2152522864 @default.
• W2000873772 cites W2171773362 @default.
• W2000873772 cites W2984582970 @default.
• W2000873772 doi "https://doi.org/10.1109/coase.2012.6386447" @default.
• W2000873772 hasPublicationYear "2012" @default.
• W2000873772 type Work @default.
• W2000873772 sameAs 2000873772 @default.
• W2000873772 citedByCount "3" @default.
• W2000873772 countsByYear W20008737722016 @default.
• W2000873772 countsByYear W20008737722017 @default.
• W2000873772 countsByYear W20008737722023 @default.
• W2000873772 crossrefType "proceedings-article" @default.
• W2000873772 hasAuthorship W2000873772A5009427975 @default.
• W2000873772 hasAuthorship W2000873772A5017972835 @default.
• W2000873772 hasAuthorship W2000873772A5056156627 @default.
• W2000873772 hasBestOaLocation W20008737722 @default.
• W2000873772 hasConcept C101468663 @default.
• W2000873772 hasConcept C104317684 @default.
• W2000873772 hasConcept C112505250 @default.
• W2000873772 hasConcept C11413529 @default.
• W2000873772 hasConcept C120314980 @default.
• W2000873772 hasConcept C121332964 @default.
• W2000873772 hasConcept C127413603 @default.
• W2000873772 hasConcept C174998907 @default.
• W2000873772 hasConcept C17744445 @default.
• W2000873772 hasConcept C185592680 @default.
• W2000873772 hasConcept C18762648 @default.
• W2000873772 hasConcept C194232998 @default.
• W2000873772 hasConcept C199360897 @default.
• W2000873772 hasConcept C199539241 @default.
• W2000873772 hasConcept C21547014 @default.
• W2000873772 hasConcept C2779110517 @default.
• W2000873772 hasConcept C2779167558 @default.
• W2000873772 hasConcept C2779662365 @default.
• W2000873772 hasConcept C41008148 @default.
• W2000873772 hasConcept C55493867 @default.
• W2000873772 hasConcept C62520636 @default.
• W2000873772 hasConcept C78519656 @default.
• W2000873772 hasConcept C80444323 @default.
• W2000873772 hasConcept C98045186 @default.
• W2000873772 hasConceptScore W2000873772C101468663 @default.
• W2000873772 hasConceptScore W2000873772C104317684 @default.
• W2000873772 hasConceptScore W2000873772C112505250 @default.
• W2000873772 hasConceptScore W2000873772C11413529 @default.
• W2000873772 hasConceptScore W2000873772C120314980 @default.
• W2000873772 hasConceptScore W2000873772C121332964 @default.
• W2000873772 hasConceptScore W2000873772C127413603 @default.
• W2000873772 hasConceptScore W2000873772C174998907 @default.
• W2000873772 hasConceptScore W2000873772C17744445 @default.
• W2000873772 hasConceptScore W2000873772C185592680 @default.
• W2000873772 hasConceptScore W2000873772C18762648 @default.
• W2000873772 hasConceptScore W2000873772C194232998 @default.
• W2000873772 hasConceptScore W2000873772C199360897 @default.
• W2000873772 hasConceptScore W2000873772C199539241 @default.
• W2000873772 hasConceptScore W2000873772C21547014 @default.
• W2000873772 hasConceptScore W2000873772C2779110517 @default.
• W2000873772 hasConceptScore W2000873772C2779167558 @default.
• W2000873772 hasConceptScore W2000873772C2779662365 @default.
• W2000873772 hasConceptScore W2000873772C41008148 @default.
• W2000873772 hasConceptScore W2000873772C55493867 @default.
• W2000873772 hasConceptScore W2000873772C62520636 @default.
• W2000873772 hasConceptScore W2000873772C78519656 @default.
• W2000873772 hasConceptScore W2000873772C80444323 @default.
• W2000873772 hasConceptScore W2000873772C98045186 @default.
• W2000873772 hasLocation W20008737721 @default.
• W2000873772 hasLocation W20008737722 @default.
• W2000873772 hasLocation W20008737723 @default.
• W2000873772 hasOpenAccess W2000873772 @default.
• W2000873772 hasPrimaryLocation W20008737721 @default.
• W2000873772 hasRelatedWork W1989411550 @default.
• W2000873772 hasRelatedWork W2000873772 @default.
• W2000873772 hasRelatedWork W2006516831 @default.
• W2000873772 hasRelatedWork W2104927240 @default.
• W2000873772 hasRelatedWork W2142288747 @default.
• W2000873772 hasRelatedWork W2259593285 @default.
• W2000873772 hasRelatedWork W2332467275 @default.
• W2000873772 hasRelatedWork W2614611284 @default.
• W2000873772 hasRelatedWork W3125722846 @default.
• W2000873772 hasRelatedWork W4313414176 @default.
• W2000873772 isParatext "false" @default.
• W2000873772 isRetracted "false" @default.
• W2000873772 magId "2000873772" @default.

• next