Matches in SemOpenAlex for { <https://semopenalex.org/work/W2118547611> ?p ?o ?g. }
Showing items 1 to 87 of
87
with 100 items per page.
- W2118547611 abstract "A general coordination problem is formulated for discrete event systems with concurrent operation modeled by the synchronous product of controllable generators. This problem requires that the invariance of a Boolean predicate on the state set be maintained by appropriate choice of control actions. Necessary and sufficient conditions for the existence of a coordinator which guarantees that the supervised system satisfies the Boolean predicate are presented. The computational tractability of two commonly encountered representations for coordination constraints specified by Boolean predicates (conjunctions of elementary disjunctions and hyperplanes) are investigated. It is shown that restricted instances of these problems can be solved in a time bounded by a polynomial in the input size. >" @default.
- W2118547611 created "2016-06-24" @default.
- W2118547611 creator A5041274293 @default.
- W2118547611 creator A5057210627 @default.
- W2118547611 date "1990-01-01" @default.
- W2118547611 modified "2023-10-01" @default.
- W2118547611 title "Boolean coordination problems for product discrete event systems" @default.
- W2118547611 cites W1533032132 @default.
- W2118547611 cites W1554822239 @default.
- W2118547611 cites W1979349468 @default.
- W2118547611 cites W2025459956 @default.
- W2118547611 cites W2059057465 @default.
- W2118547611 cites W2156424383 @default.
- W2118547611 cites W2460946000 @default.
- W2118547611 doi "https://doi.org/10.1109/cdc.1990.203435" @default.
- W2118547611 hasPublicationYear "1990" @default.
- W2118547611 type Work @default.
- W2118547611 sameAs 2118547611 @default.
- W2118547611 citedByCount "2" @default.
- W2118547611 crossrefType "proceedings-article" @default.
- W2118547611 hasAuthorship W2118547611A5041274293 @default.
- W2118547611 hasAuthorship W2118547611A5057210627 @default.
- W2118547611 hasConcept C114614502 @default.
- W2118547611 hasConcept C118615104 @default.
- W2118547611 hasConcept C134306372 @default.
- W2118547611 hasConcept C136119220 @default.
- W2118547611 hasConcept C140146324 @default.
- W2118547611 hasConcept C158465420 @default.
- W2118547611 hasConcept C169171071 @default.
- W2118547611 hasConcept C187455244 @default.
- W2118547611 hasConcept C199360897 @default.
- W2118547611 hasConcept C202444582 @default.
- W2118547611 hasConcept C207764348 @default.
- W2118547611 hasConcept C33923547 @default.
- W2118547611 hasConcept C34388435 @default.
- W2118547611 hasConcept C41008148 @default.
- W2118547611 hasConcept C65236422 @default.
- W2118547611 hasConcept C68693459 @default.
- W2118547611 hasConcept C7342684 @default.
- W2118547611 hasConcept C80444323 @default.
- W2118547611 hasConcept C9429942 @default.
- W2118547611 hasConceptScore W2118547611C114614502 @default.
- W2118547611 hasConceptScore W2118547611C118615104 @default.
- W2118547611 hasConceptScore W2118547611C134306372 @default.
- W2118547611 hasConceptScore W2118547611C136119220 @default.
- W2118547611 hasConceptScore W2118547611C140146324 @default.
- W2118547611 hasConceptScore W2118547611C158465420 @default.
- W2118547611 hasConceptScore W2118547611C169171071 @default.
- W2118547611 hasConceptScore W2118547611C187455244 @default.
- W2118547611 hasConceptScore W2118547611C199360897 @default.
- W2118547611 hasConceptScore W2118547611C202444582 @default.
- W2118547611 hasConceptScore W2118547611C207764348 @default.
- W2118547611 hasConceptScore W2118547611C33923547 @default.
- W2118547611 hasConceptScore W2118547611C34388435 @default.
- W2118547611 hasConceptScore W2118547611C41008148 @default.
- W2118547611 hasConceptScore W2118547611C65236422 @default.
- W2118547611 hasConceptScore W2118547611C68693459 @default.
- W2118547611 hasConceptScore W2118547611C7342684 @default.
- W2118547611 hasConceptScore W2118547611C80444323 @default.
- W2118547611 hasConceptScore W2118547611C9429942 @default.
- W2118547611 hasLocation W21185476111 @default.
- W2118547611 hasOpenAccess W2118547611 @default.
- W2118547611 hasPrimaryLocation W21185476111 @default.
- W2118547611 hasRelatedWork W1497155250 @default.
- W2118547611 hasRelatedWork W1560501891 @default.
- W2118547611 hasRelatedWork W1576356800 @default.
- W2118547611 hasRelatedWork W1582881271 @default.
- W2118547611 hasRelatedWork W1673174530 @default.
- W2118547611 hasRelatedWork W1946987616 @default.
- W2118547611 hasRelatedWork W1990426442 @default.
- W2118547611 hasRelatedWork W2025543216 @default.
- W2118547611 hasRelatedWork W2076137686 @default.
- W2118547611 hasRelatedWork W2125639421 @default.
- W2118547611 hasRelatedWork W2492284089 @default.
- W2118547611 hasRelatedWork W2600686309 @default.
- W2118547611 hasRelatedWork W2798653279 @default.
- W2118547611 hasRelatedWork W2913970140 @default.
- W2118547611 hasRelatedWork W2951225863 @default.
- W2118547611 hasRelatedWork W2952237720 @default.
- W2118547611 hasRelatedWork W2952552176 @default.
- W2118547611 hasRelatedWork W3158810920 @default.
- W2118547611 hasRelatedWork W3190564597 @default.
- W2118547611 hasRelatedWork W3086516486 @default.
- W2118547611 isParatext "false" @default.
- W2118547611 isRetracted "false" @default.
- W2118547611 magId "2118547611" @default.
- W2118547611 workType "article" @default.