FRINK Linked Data Fragments server

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

• W2004141156 endingPage "667" @default.
• W2004141156 startingPage "634" @default.
• W2004141156 abstract "This paper explore issues related to the control and verification of similar module systems in the discrete-event systems framework. Similar module systems are distributed systems comprised of subsystem modules that exhibit isomorphic local behavior coordinated on global event occurrences. When given a global model of these systems, it is shown how to decompose the global model into the component subsystems in polynomial time. It is also shown how to perform various verification tasks for these interacting systems while mitigating common state explosion difficulties by taking advantage of the special similar module system structure. Control properties of the similar module systems are also discussed. It is assumed that the local modules are supervised by exactly one local controller and the controllers enforce the same local control policy. Necessary and sufficient conditions for achieving local and global control specifications in this setting are identified." @default.
• W2004141156 created "2016-06-24" @default.
• W2004141156 creator A5027585653 @default.
• W2004141156 creator A5034274465 @default.
• W2004141156 date "2006-01-01" @default.
• W2004141156 modified "2023-09-25" @default.
• W2004141156 title "The Verification and Control of Interacting Similar Discrete-Event Systems" @default.
• W2004141156 cites W101029079 @default.
• W2004141156 cites W1966825814 @default.
• W2004141156 cites W1972065960 @default.
• W2004141156 cites W1979349468 @default.
• W2004141156 cites W1984957636 @default.
• W2004141156 cites W1988808695 @default.
• W2004141156 cites W1990609140 @default.
• W2004141156 cites W1997577607 @default.
• W2004141156 cites W2006553351 @default.
• W2004141156 cites W2025459956 @default.
• W2004141156 cites W2059057465 @default.
• W2004141156 cites W2068354234 @default.
• W2004141156 cites W2091149102 @default.
• W2004141156 cites W2101178868 @default.
• W2004141156 cites W2121468570 @default.
• W2004141156 cites W2130587077 @default.
• W2004141156 cites W2170448441 @default.
• W2004141156 cites W2171110406 @default.
• W2004141156 cites W2172013120 @default.
• W2004141156 cites W4214749219 @default.
• W2004141156 cites W4297744580 @default.
• W2004141156 doi "https://doi.org/10.1137/040610209" @default.
• W2004141156 hasPublicationYear "2006" @default.
• W2004141156 type Work @default.
• W2004141156 sameAs 2004141156 @default.
• W2004141156 citedByCount "22" @default.
• W2004141156 countsByYear W20041411562012 @default.
• W2004141156 countsByYear W20041411562013 @default.
• W2004141156 countsByYear W20041411562014 @default.
• W2004141156 countsByYear W20041411562016 @default.
• W2004141156 countsByYear W20041411562017 @default.
• W2004141156 countsByYear W20041411562018 @default.
• W2004141156 countsByYear W20041411562020 @default.
• W2004141156 countsByYear W20041411562022 @default.
• W2004141156 crossrefType "journal-article" @default.
• W2004141156 hasAuthorship W2004141156A5027585653 @default.
• W2004141156 hasAuthorship W2004141156A5034274465 @default.
• W2004141156 hasConcept C11413529 @default.
• W2004141156 hasConcept C119599485 @default.
• W2004141156 hasConcept C120314980 @default.
• W2004141156 hasConcept C121332964 @default.
• W2004141156 hasConcept C127413603 @default.
• W2004141156 hasConcept C154945302 @default.
• W2004141156 hasConcept C168167062 @default.
• W2004141156 hasConcept C17500928 @default.
• W2004141156 hasConcept C203479927 @default.
• W2004141156 hasConcept C2775924081 @default.
• W2004141156 hasConcept C2779662365 @default.
• W2004141156 hasConcept C32866371 @default.
• W2004141156 hasConcept C33923547 @default.
• W2004141156 hasConcept C41008148 @default.
• W2004141156 hasConcept C47446073 @default.
• W2004141156 hasConcept C48103436 @default.
• W2004141156 hasConcept C62520636 @default.
• W2004141156 hasConcept C6557445 @default.
• W2004141156 hasConcept C86803240 @default.
• W2004141156 hasConcept C96314035 @default.
• W2004141156 hasConcept C97355855 @default.
• W2004141156 hasConceptScore W2004141156C11413529 @default.
• W2004141156 hasConceptScore W2004141156C119599485 @default.
• W2004141156 hasConceptScore W2004141156C120314980 @default.
• W2004141156 hasConceptScore W2004141156C121332964 @default.
• W2004141156 hasConceptScore W2004141156C127413603 @default.
• W2004141156 hasConceptScore W2004141156C154945302 @default.
• W2004141156 hasConceptScore W2004141156C168167062 @default.
• W2004141156 hasConceptScore W2004141156C17500928 @default.
• W2004141156 hasConceptScore W2004141156C203479927 @default.
• W2004141156 hasConceptScore W2004141156C2775924081 @default.
• W2004141156 hasConceptScore W2004141156C2779662365 @default.
• W2004141156 hasConceptScore W2004141156C32866371 @default.
• W2004141156 hasConceptScore W2004141156C33923547 @default.
• W2004141156 hasConceptScore W2004141156C41008148 @default.
• W2004141156 hasConceptScore W2004141156C47446073 @default.
• W2004141156 hasConceptScore W2004141156C48103436 @default.
• W2004141156 hasConceptScore W2004141156C62520636 @default.
• W2004141156 hasConceptScore W2004141156C6557445 @default.
• W2004141156 hasConceptScore W2004141156C86803240 @default.
• W2004141156 hasConceptScore W2004141156C96314035 @default.
• W2004141156 hasConceptScore W2004141156C97355855 @default.
• W2004141156 hasIssue "2" @default.
• W2004141156 hasLocation W20041411561 @default.
• W2004141156 hasOpenAccess W2004141156 @default.
• W2004141156 hasPrimaryLocation W20041411561 @default.
• W2004141156 hasRelatedWork W1528047588 @default.
• W2004141156 hasRelatedWork W1566197891 @default.
• W2004141156 hasRelatedWork W1658535840 @default.
• W2004141156 hasRelatedWork W2040408600 @default.
• W2004141156 hasRelatedWork W2123322396 @default.
• W2004141156 hasRelatedWork W2351150037 @default.
• W2004141156 hasRelatedWork W2379533788 @default.
• W2004141156 hasRelatedWork W2977575091 @default.

• next