FRINK Linked Data Fragments server

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

• W1566527307 abstract "We study supervisory control for enforcing nondeterministic specifications. Given nondeterministic models of system and its specification, we study the design of a supervisor (possibly nondeterministic) such that the controlled system is bisimilar to the specification. We obtain a small model theorem showing that a supervisor exists if and only if it exists over a certain finite state space, namely the power set of Cartesian product of system and specification state spaces. Also, the notion of state-controllability is introduced as part of a necessary and sufficient condition for the existence of a supervisor. In the special case of deterministic systems, we provide an existence condition that can be verified linearly in both system and specification states." @default.
• W1566527307 created "2016-06-24" @default.
• W1566527307 creator A5014701446 @default.
• W1566527307 creator A5039053067 @default.
• W1566527307 creator A5044031773 @default.
• W1566527307 date "2004-01-01" @default.
• W1566527307 modified "2023-10-14" @default.
• W1566527307 title "Control of nondeterministic discrete event systems for bisimulation equivalence" @default.
• W1566527307 cites W1497487247 @default.
• W1566527307 cites W1530845489 @default.
• W1566527307 cites W1530952029 @default.
• W1566527307 cites W1576777252 @default.
• W1566527307 cites W1589389581 @default.
• W1566527307 cites W1678564987 @default.
• W1566527307 cites W1969398050 @default.
• W1566527307 cites W1978469611 @default.
• W1566527307 cites W1979349468 @default.
• W1566527307 cites W1997577607 @default.
• W1566527307 cites W2002089154 @default.
• W1566527307 cites W2011115295 @default.
• W1566527307 cites W2018871411 @default.
• W1566527307 cites W2019191620 @default.
• W1566527307 cites W2054099039 @default.
• W1566527307 cites W2059057465 @default.
• W1566527307 cites W2090575514 @default.
• W1566527307 cites W2097061575 @default.
• W1566527307 cites W2098981343 @default.
• W1566527307 cites W2120552118 @default.
• W1566527307 cites W2133053297 @default.
• W1566527307 cites W2137865376 @default.
• W1566527307 cites W2142124345 @default.
• W1566527307 cites W2149549862 @default.
• W1566527307 cites W2161413064 @default.
• W1566527307 cites W2162331092 @default.
• W1566527307 cites W2162500174 @default.
• W1566527307 cites W2163123880 @default.
• W1566527307 cites W2165935902 @default.
• W1566527307 cites W2176300081 @default.
• W1566527307 cites W2912423395 @default.
• W1566527307 cites W2913210435 @default.
• W1566527307 cites W2913461254 @default.
• W1566527307 cites W3117253790 @default.
• W1566527307 cites W3144368627 @default.
• W1566527307 cites W94945286 @default.
• W1566527307 doi "https://doi.org/10.23919/acc.2004.1384017" @default.
• W1566527307 hasPublicationYear "2004" @default.
• W1566527307 type Work @default.
• W1566527307 sameAs 1566527307 @default.
• W1566527307 citedByCount "33" @default.
• W1566527307 countsByYear W15665273072012 @default.
• W1566527307 countsByYear W15665273072013 @default.
• W1566527307 countsByYear W15665273072015 @default.
• W1566527307 countsByYear W15665273072016 @default.
• W1566527307 countsByYear W15665273072017 @default.
• W1566527307 countsByYear W15665273072018 @default.
• W1566527307 crossrefType "proceedings-article" @default.
• W1566527307 hasAuthorship W1566527307A5014701446 @default.
• W1566527307 hasAuthorship W1566527307A5039053067 @default.
• W1566527307 hasAuthorship W1566527307A5044031773 @default.
• W1566527307 hasConcept C105795698 @default.
• W1566527307 hasConcept C11413529 @default.
• W1566527307 hasConcept C118615104 @default.
• W1566527307 hasConcept C135315306 @default.
• W1566527307 hasConcept C136119220 @default.
• W1566527307 hasConcept C154945302 @default.
• W1566527307 hasConcept C176181172 @default.
• W1566527307 hasConcept C17744445 @default.
• W1566527307 hasConcept C199539241 @default.
• W1566527307 hasConcept C202444582 @default.
• W1566527307 hasConcept C2775924081 @default.
• W1566527307 hasConcept C2779110517 @default.
• W1566527307 hasConcept C2780069185 @default.
• W1566527307 hasConcept C28826006 @default.
• W1566527307 hasConcept C33923547 @default.
• W1566527307 hasConcept C41008148 @default.
• W1566527307 hasConcept C48103436 @default.
• W1566527307 hasConcept C48209547 @default.
• W1566527307 hasConcept C65236422 @default.
• W1566527307 hasConcept C72434380 @default.
• W1566527307 hasConcept C80444323 @default.
• W1566527307 hasConcept C92991967 @default.
• W1566527307 hasConceptScore W1566527307C105795698 @default.
• W1566527307 hasConceptScore W1566527307C11413529 @default.
• W1566527307 hasConceptScore W1566527307C118615104 @default.
• W1566527307 hasConceptScore W1566527307C135315306 @default.
• W1566527307 hasConceptScore W1566527307C136119220 @default.
• W1566527307 hasConceptScore W1566527307C154945302 @default.
• W1566527307 hasConceptScore W1566527307C176181172 @default.
• W1566527307 hasConceptScore W1566527307C17744445 @default.
• W1566527307 hasConceptScore W1566527307C199539241 @default.
• W1566527307 hasConceptScore W1566527307C202444582 @default.
• W1566527307 hasConceptScore W1566527307C2775924081 @default.
• W1566527307 hasConceptScore W1566527307C2779110517 @default.
• W1566527307 hasConceptScore W1566527307C2780069185 @default.
• W1566527307 hasConceptScore W1566527307C28826006 @default.
• W1566527307 hasConceptScore W1566527307C33923547 @default.
• W1566527307 hasConceptScore W1566527307C41008148 @default.
• W1566527307 hasConceptScore W1566527307C48103436 @default.
• W1566527307 hasConceptScore W1566527307C48209547 @default.
• W1566527307 hasConceptScore W1566527307C65236422 @default.

• next