FRINK Linked Data Fragments server

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

• W1583042204 abstract "In this paper, we study supervisory control of a class of discrete event systems with simultaneous event occurrences, which we call concurrent discrete event systems, under partial observation. The behavior of the system is described by a language over the simultaneous event set. We introduce a notion of concurrent well-posedness of languages, and show that L/sub m/(G)-closure, controllability, observability, and concurrent well-posedness of a specification language are necessary and sufficient conditions for the existence of a non-blocking supervisor. Next, we synthesize a supervisor that achieves the infimal closed, controllable, observable, and concurrently well-posed superlanguage of a specification language. Finally, we synthesize a supervisor that achieves a maximal closed, controllable, observable, and concurrently well-posed sublanguage of a closed specification language." @default.
• W1583042204 created "2016-06-24" @default.
• W1583042204 creator A5005789258 @default.
• W1583042204 creator A5046686505 @default.
• W1583042204 date "2004-07-08" @default.
• W1583042204 modified "2023-09-27" @default.
• W1583042204 title "Supervisor synthesis for a class of concurrent discrete event systems" @default.
• W1583042204 cites W1536962364 @default.
• W1583042204 cites W1920795171 @default.
• W1583042204 cites W1979349468 @default.
• W1583042204 cites W1988926301 @default.
• W1583042204 cites W2002741933 @default.
• W1583042204 cites W2012427794 @default.
• W1583042204 cites W2023265087 @default.
• W1583042204 cites W2026960586 @default.
• W1583042204 cites W2038341113 @default.
• W1583042204 cites W2044943300 @default.
• W1583042204 cites W2068354234 @default.
• W1583042204 cites W2144047434 @default.
• W1583042204 cites W2144972534 @default.
• W1583042204 cites W2147592000 @default.
• W1583042204 cites W2154382983 @default.
• W1583042204 cites W2169888024 @default.
• W1583042204 cites W2562426941 @default.
• W1583042204 cites W2057348529 @default.
• W1583042204 doi "https://doi.org/10.1109/cdc.2003.1273029" @default.
• W1583042204 hasPublicationYear "2004" @default.
• W1583042204 type Work @default.
• W1583042204 sameAs 1583042204 @default.
• W1583042204 citedByCount "1" @default.
• W1583042204 crossrefType "proceedings-article" @default.
• W1583042204 hasAuthorship W1583042204A5005789258 @default.
• W1583042204 hasAuthorship W1583042204A5046686505 @default.
• W1583042204 hasConcept C112505250 @default.
• W1583042204 hasConcept C121332964 @default.
• W1583042204 hasConcept C154945302 @default.
• W1583042204 hasConcept C177264268 @default.
• W1583042204 hasConcept C17744445 @default.
• W1583042204 hasConcept C199360897 @default.
• W1583042204 hasConcept C199539241 @default.
• W1583042204 hasConcept C201677973 @default.
• W1583042204 hasConcept C2775924081 @default.
• W1583042204 hasConcept C2776411971 @default.
• W1583042204 hasConcept C2777212361 @default.
• W1583042204 hasConcept C2778693208 @default.
• W1583042204 hasConcept C2779110517 @default.
• W1583042204 hasConcept C2779662365 @default.
• W1583042204 hasConcept C28826006 @default.
• W1583042204 hasConcept C32848918 @default.
• W1583042204 hasConcept C33923547 @default.
• W1583042204 hasConcept C36299963 @default.
• W1583042204 hasConcept C41008148 @default.
• W1583042204 hasConcept C48209547 @default.
• W1583042204 hasConcept C52370388 @default.
• W1583042204 hasConcept C62520636 @default.
• W1583042204 hasConcept C80444323 @default.
• W1583042204 hasConcept C92991967 @default.
• W1583042204 hasConceptScore W1583042204C112505250 @default.
• W1583042204 hasConceptScore W1583042204C121332964 @default.
• W1583042204 hasConceptScore W1583042204C154945302 @default.
• W1583042204 hasConceptScore W1583042204C177264268 @default.
• W1583042204 hasConceptScore W1583042204C17744445 @default.
• W1583042204 hasConceptScore W1583042204C199360897 @default.
• W1583042204 hasConceptScore W1583042204C199539241 @default.
• W1583042204 hasConceptScore W1583042204C201677973 @default.
• W1583042204 hasConceptScore W1583042204C2775924081 @default.
• W1583042204 hasConceptScore W1583042204C2776411971 @default.
• W1583042204 hasConceptScore W1583042204C2777212361 @default.
• W1583042204 hasConceptScore W1583042204C2778693208 @default.
• W1583042204 hasConceptScore W1583042204C2779110517 @default.
• W1583042204 hasConceptScore W1583042204C2779662365 @default.
• W1583042204 hasConceptScore W1583042204C28826006 @default.
• W1583042204 hasConceptScore W1583042204C32848918 @default.
• W1583042204 hasConceptScore W1583042204C33923547 @default.
• W1583042204 hasConceptScore W1583042204C36299963 @default.
• W1583042204 hasConceptScore W1583042204C41008148 @default.
• W1583042204 hasConceptScore W1583042204C48209547 @default.
• W1583042204 hasConceptScore W1583042204C52370388 @default.
• W1583042204 hasConceptScore W1583042204C62520636 @default.
• W1583042204 hasConceptScore W1583042204C80444323 @default.
• W1583042204 hasConceptScore W1583042204C92991967 @default.
• W1583042204 hasLocation W15830422041 @default.
• W1583042204 hasOpenAccess W1583042204 @default.
• W1583042204 hasPrimaryLocation W15830422041 @default.
• W1583042204 hasRelatedWork W1502177156 @default.
• W1583042204 hasRelatedWork W1590382274 @default.
• W1583042204 hasRelatedWork W1712807546 @default.
• W1583042204 hasRelatedWork W1783859360 @default.
• W1583042204 hasRelatedWork W1879127424 @default.
• W1583042204 hasRelatedWork W1979349468 @default.
• W1583042204 hasRelatedWork W1993028385 @default.
• W1583042204 hasRelatedWork W2100476864 @default.
• W1583042204 hasRelatedWork W2107634179 @default.
• W1583042204 hasRelatedWork W2116075159 @default.
• W1583042204 hasRelatedWork W2137596167 @default.
• W1583042204 hasRelatedWork W2149602476 @default.
• W1583042204 hasRelatedWork W2152029933 @default.
• W1583042204 hasRelatedWork W2153450838 @default.
• W1583042204 hasRelatedWork W2164149977 @default.
• W1583042204 hasRelatedWork W2165165000 @default.

• next