Matches in SemOpenAlex for { <https://semopenalex.org/work/W2096381802> ?p ?o ?g. }
- W2096381802 abstract "We investigate the implementation of supervisors generated by symbolic BDD-based Discrete Controller Synthesis (DCS). The implementation technique proposed is able to solve both control non-determinism and the structural incompatibility introduced by symbolic DCS. We highlight and illustrate interesting structural properties of the supervisor implementation. Our technique is illustrated on a reallife example modeling a System-on-chip component: a serial to parallel converter." @default.
- W2096381802 created "2016-06-24" @default.
- W2096381802 creator A5010106274 @default.
- W2096381802 creator A5014516797 @default.
- W2096381802 creator A5068226198 @default.
- W2096381802 creator A5071935946 @default.
- W2096381802 date "2008-09-01" @default.
- W2096381802 modified "2023-09-24" @default.
- W2096381802 title "A supervisor implementation approach in Discrete Controller Synthesis" @default.
- W2096381802 cites W1568162912 @default.
- W2096381802 cites W1904025428 @default.
- W2096381802 cites W1973011143 @default.
- W2096381802 cites W2010945517 @default.
- W2096381802 cites W2059057465 @default.
- W2096381802 cites W2080267935 @default.
- W2096381802 cites W2091528902 @default.
- W2096381802 cites W2108858172 @default.
- W2096381802 cites W2122620434 @default.
- W2096381802 cites W2153103336 @default.
- W2096381802 cites W2169132374 @default.
- W2096381802 cites W4248699123 @default.
- W2096381802 cites W4253939604 @default.
- W2096381802 doi "https://doi.org/10.1109/etfa.2008.4638585" @default.
- W2096381802 hasPublicationYear "2008" @default.
- W2096381802 type Work @default.
- W2096381802 sameAs 2096381802 @default.
- W2096381802 citedByCount "10" @default.
- W2096381802 countsByYear W20963818022012 @default.
- W2096381802 countsByYear W20963818022013 @default.
- W2096381802 countsByYear W20963818022014 @default.
- W2096381802 countsByYear W20963818022015 @default.
- W2096381802 countsByYear W20963818022017 @default.
- W2096381802 crossrefType "proceedings-article" @default.
- W2096381802 hasAuthorship W2096381802A5010106274 @default.
- W2096381802 hasAuthorship W2096381802A5014516797 @default.
- W2096381802 hasAuthorship W2096381802A5068226198 @default.
- W2096381802 hasAuthorship W2096381802A5071935946 @default.
- W2096381802 hasConcept C121332964 @default.
- W2096381802 hasConcept C127413603 @default.
- W2096381802 hasConcept C133731056 @default.
- W2096381802 hasConcept C154945302 @default.
- W2096381802 hasConcept C168167062 @default.
- W2096381802 hasConcept C17744445 @default.
- W2096381802 hasConcept C192183473 @default.
- W2096381802 hasConcept C199539241 @default.
- W2096381802 hasConcept C203479927 @default.
- W2096381802 hasConcept C2775924081 @default.
- W2096381802 hasConcept C2778693208 @default.
- W2096381802 hasConcept C2779110517 @default.
- W2096381802 hasConcept C28826006 @default.
- W2096381802 hasConcept C33923547 @default.
- W2096381802 hasConcept C36299963 @default.
- W2096381802 hasConcept C41008148 @default.
- W2096381802 hasConcept C47446073 @default.
- W2096381802 hasConcept C62520636 @default.
- W2096381802 hasConcept C6557445 @default.
- W2096381802 hasConcept C80444323 @default.
- W2096381802 hasConcept C86803240 @default.
- W2096381802 hasConcept C92991967 @default.
- W2096381802 hasConcept C97355855 @default.
- W2096381802 hasConceptScore W2096381802C121332964 @default.
- W2096381802 hasConceptScore W2096381802C127413603 @default.
- W2096381802 hasConceptScore W2096381802C133731056 @default.
- W2096381802 hasConceptScore W2096381802C154945302 @default.
- W2096381802 hasConceptScore W2096381802C168167062 @default.
- W2096381802 hasConceptScore W2096381802C17744445 @default.
- W2096381802 hasConceptScore W2096381802C192183473 @default.
- W2096381802 hasConceptScore W2096381802C199539241 @default.
- W2096381802 hasConceptScore W2096381802C203479927 @default.
- W2096381802 hasConceptScore W2096381802C2775924081 @default.
- W2096381802 hasConceptScore W2096381802C2778693208 @default.
- W2096381802 hasConceptScore W2096381802C2779110517 @default.
- W2096381802 hasConceptScore W2096381802C28826006 @default.
- W2096381802 hasConceptScore W2096381802C33923547 @default.
- W2096381802 hasConceptScore W2096381802C36299963 @default.
- W2096381802 hasConceptScore W2096381802C41008148 @default.
- W2096381802 hasConceptScore W2096381802C47446073 @default.
- W2096381802 hasConceptScore W2096381802C62520636 @default.
- W2096381802 hasConceptScore W2096381802C6557445 @default.
- W2096381802 hasConceptScore W2096381802C80444323 @default.
- W2096381802 hasConceptScore W2096381802C86803240 @default.
- W2096381802 hasConceptScore W2096381802C92991967 @default.
- W2096381802 hasConceptScore W2096381802C97355855 @default.
- W2096381802 hasLocation W20963818021 @default.
- W2096381802 hasLocation W20963818022 @default.
- W2096381802 hasLocation W20963818023 @default.
- W2096381802 hasOpenAccess W2096381802 @default.
- W2096381802 hasPrimaryLocation W20963818021 @default.
- W2096381802 hasRelatedWork W1879127424 @default.
- W2096381802 hasRelatedWork W2114183327 @default.
- W2096381802 hasRelatedWork W2152858547 @default.
- W2096381802 hasRelatedWork W2159706408 @default.
- W2096381802 hasRelatedWork W2416381954 @default.
- W2096381802 hasRelatedWork W2598667073 @default.
- W2096381802 hasRelatedWork W2605039853 @default.
- W2096381802 hasRelatedWork W2783085141 @default.
- W2096381802 hasRelatedWork W4301463953 @default.
- W2096381802 hasRelatedWork W2962778552 @default.
- W2096381802 isParatext "false" @default.
- W2096381802 isRetracted "false" @default.