Matches in SemOpenAlex for { <https://semopenalex.org/work/W2184662011> ?p ?o ?g. }
Showing items 1 to 100 of
100
with 100 items per page.
- W2184662011 abstract "In a previous paper we showed that supervisory control of nondeterministic discrete-event systems, in the presence of driven events, can be achieved using prioritized synchronous composition as a mechanism of control, and trajectory models as a modeling formalism, first introduced by Heymann. The specifi- cations considered in this earlier work were given by prefix-closed languages. In this paper, we extend this work to include markings so that nonclosed specifications and issues such as blocking can be addressed. It is shown that the usual notion of nonblocking, called language model nonblocking, may not be adequate in the setting of nondeterministic systems, and a stronger notion, called trajectory model nonblocking, is introduced. Necessary and sufficient conditions for the existence of language model nonblocking as well as trajectory model nonblocking supervisors are obtained for nondeterministic systems in the presence of driven events in terms of extended controllability and relative- closure conditions and a new condition called the trajectory- closure condition." @default.
- W2184662011 created "2016-06-24" @default.
- W2184662011 creator A5044031773 @default.
- W2184662011 creator A5082603174 @default.
- W2184662011 date "1996-01-01" @default.
- W2184662011 modified "2023-09-27" @default.
- W2184662011 title "bloclung Supervisory Control of Nondeterministic Systems vi rioritized S y nchronizatio" @default.
- W2184662011 cites W1979349468 @default.
- W2184662011 cites W1995862561 @default.
- W2184662011 cites W2023265087 @default.
- W2184662011 cites W2090575514 @default.
- W2184662011 cites W2109929506 @default.
- W2184662011 cites W2110446158 @default.
- W2184662011 cites W2114303666 @default.
- W2184662011 cites W2131451245 @default.
- W2184662011 cites W2137865376 @default.
- W2184662011 cites W2154148696 @default.
- W2184662011 cites W2225902456 @default.
- W2184662011 cites W2913461254 @default.
- W2184662011 cites W3144368627 @default.
- W2184662011 hasPublicationYear "1996" @default.
- W2184662011 type Work @default.
- W2184662011 sameAs 2184662011 @default.
- W2184662011 citedByCount "0" @default.
- W2184662011 crossrefType "journal-article" @default.
- W2184662011 hasAuthorship W2184662011A5044031773 @default.
- W2184662011 hasAuthorship W2184662011A5082603174 @default.
- W2184662011 hasConcept C120314980 @default.
- W2184662011 hasConcept C121332964 @default.
- W2184662011 hasConcept C1276947 @default.
- W2184662011 hasConcept C13662910 @default.
- W2184662011 hasConcept C138885662 @default.
- W2184662011 hasConcept C141603448 @default.
- W2184662011 hasConcept C142362112 @default.
- W2184662011 hasConcept C146834321 @default.
- W2184662011 hasConcept C153349607 @default.
- W2184662011 hasConcept C154945302 @default.
- W2184662011 hasConcept C162324750 @default.
- W2184662011 hasConcept C176181172 @default.
- W2184662011 hasConcept C2775924081 @default.
- W2184662011 hasConcept C28826006 @default.
- W2184662011 hasConcept C33923547 @default.
- W2184662011 hasConcept C34447519 @default.
- W2184662011 hasConcept C41008148 @default.
- W2184662011 hasConcept C41895202 @default.
- W2184662011 hasConcept C48209547 @default.
- W2184662011 hasConcept C558565934 @default.
- W2184662011 hasConcept C73301696 @default.
- W2184662011 hasConcept C80444323 @default.
- W2184662011 hasConcept C92991967 @default.
- W2184662011 hasConceptScore W2184662011C120314980 @default.
- W2184662011 hasConceptScore W2184662011C121332964 @default.
- W2184662011 hasConceptScore W2184662011C1276947 @default.
- W2184662011 hasConceptScore W2184662011C13662910 @default.
- W2184662011 hasConceptScore W2184662011C138885662 @default.
- W2184662011 hasConceptScore W2184662011C141603448 @default.
- W2184662011 hasConceptScore W2184662011C142362112 @default.
- W2184662011 hasConceptScore W2184662011C146834321 @default.
- W2184662011 hasConceptScore W2184662011C153349607 @default.
- W2184662011 hasConceptScore W2184662011C154945302 @default.
- W2184662011 hasConceptScore W2184662011C162324750 @default.
- W2184662011 hasConceptScore W2184662011C176181172 @default.
- W2184662011 hasConceptScore W2184662011C2775924081 @default.
- W2184662011 hasConceptScore W2184662011C28826006 @default.
- W2184662011 hasConceptScore W2184662011C33923547 @default.
- W2184662011 hasConceptScore W2184662011C34447519 @default.
- W2184662011 hasConceptScore W2184662011C41008148 @default.
- W2184662011 hasConceptScore W2184662011C41895202 @default.
- W2184662011 hasConceptScore W2184662011C48209547 @default.
- W2184662011 hasConceptScore W2184662011C558565934 @default.
- W2184662011 hasConceptScore W2184662011C73301696 @default.
- W2184662011 hasConceptScore W2184662011C80444323 @default.
- W2184662011 hasConceptScore W2184662011C92991967 @default.
- W2184662011 hasLocation W21846620111 @default.
- W2184662011 hasOpenAccess W2184662011 @default.
- W2184662011 hasPrimaryLocation W21846620111 @default.
- W2184662011 hasRelatedWork W1832824902 @default.
- W2184662011 hasRelatedWork W1965446141 @default.
- W2184662011 hasRelatedWork W1965663540 @default.
- W2184662011 hasRelatedWork W1995207833 @default.
- W2184662011 hasRelatedWork W2011115295 @default.
- W2184662011 hasRelatedWork W2044580602 @default.
- W2184662011 hasRelatedWork W2074771780 @default.
- W2184662011 hasRelatedWork W2097061575 @default.
- W2184662011 hasRelatedWork W2097693429 @default.
- W2184662011 hasRelatedWork W2104233318 @default.
- W2184662011 hasRelatedWork W2134398996 @default.
- W2184662011 hasRelatedWork W2150305702 @default.
- W2184662011 hasRelatedWork W2289736777 @default.
- W2184662011 hasRelatedWork W2293794131 @default.
- W2184662011 hasRelatedWork W2766082856 @default.
- W2184662011 hasRelatedWork W2803773072 @default.
- W2184662011 hasRelatedWork W2911540746 @default.
- W2184662011 hasRelatedWork W303320302 @default.
- W2184662011 hasRelatedWork W3098037515 @default.
- W2184662011 hasRelatedWork W3211782872 @default.
- W2184662011 isParatext "false" @default.
- W2184662011 isRetracted "false" @default.
- W2184662011 magId "2184662011" @default.
- W2184662011 workType "article" @default.