Matches in SemOpenAlex for { <https://semopenalex.org/work/W2065464080> ?p ?o ?g. }
Showing items 1 to 85 of
85
with 100 items per page.
- W2065464080 abstract "We extend a model-based systems engineering framework for supervisory control of nondeterministic stochastic discrete-event systems with controllability-preserving minimization of the unsupervised system. This is a second out of four phases outlined in the development of the framework. In the first phase, we proposed a process theory that captures the notion of controllability of the underlying model of Interactive Markov Chains using a behavioral relation termed Markovian partial bisimulation. Interactive Markov Chains extend (nondeterministic) labeled transition systems with Markovian (exponential) delays. The Markovian partial bisimulation is a stochastic extension of partial bisimulation that captures controllability by stating that controllable events should be simulated, whereas uncontrollable events should be bisimulated. The stochastic behavior is preserved up to lumping of Markovian delays. We develop a minimization algorithm for the preorder and equivalence induced by the Markovian partial bisimulation based on the most efficient algorithms for simulation and Markovian bisimulation." @default.
- W2065464080 created "2016-06-24" @default.
- W2065464080 creator A5055540408 @default.
- W2065464080 date "2011-12-01" @default.
- W2065464080 modified "2023-10-16" @default.
- W2065464080 title "Towards supervisory control of Interactive Markov Chains: Plant minimization" @default.
- W2065464080 cites W1498432697 @default.
- W2065464080 cites W1516256348 @default.
- W2065464080 cites W1543732613 @default.
- W2065464080 cites W1587663028 @default.
- W2065464080 cites W1602605316 @default.
- W2065464080 cites W1737886586 @default.
- W2065464080 cites W1979349468 @default.
- W2065464080 cites W1986755980 @default.
- W2065464080 cites W2044811734 @default.
- W2065464080 cites W2046577860 @default.
- W2065464080 cites W2048949114 @default.
- W2065464080 cites W2114268066 @default.
- W2065464080 cites W2115654637 @default.
- W2065464080 cites W2124777750 @default.
- W2065464080 cites W2129934517 @default.
- W2065464080 cites W2141823988 @default.
- W2065464080 cites W2160209574 @default.
- W2065464080 cites W2167978186 @default.
- W2065464080 cites W2170945849 @default.
- W2065464080 cites W2502490444 @default.
- W2065464080 cites W2804787400 @default.
- W2065464080 cites W623593394 @default.
- W2065464080 doi "https://doi.org/10.1109/icca.2011.6137945" @default.
- W2065464080 hasPublicationYear "2011" @default.
- W2065464080 type Work @default.
- W2065464080 sameAs 2065464080 @default.
- W2065464080 citedByCount "1" @default.
- W2065464080 countsByYear W20654640802014 @default.
- W2065464080 crossrefType "proceedings-article" @default.
- W2065464080 hasAuthorship W2065464080A5055540408 @default.
- W2065464080 hasConcept C105795698 @default.
- W2065464080 hasConcept C11413529 @default.
- W2065464080 hasConcept C119857082 @default.
- W2065464080 hasConcept C126255220 @default.
- W2065464080 hasConcept C135315306 @default.
- W2065464080 hasConcept C154945302 @default.
- W2065464080 hasConcept C159886148 @default.
- W2065464080 hasConcept C176181172 @default.
- W2065464080 hasConcept C2775924081 @default.
- W2065464080 hasConcept C28826006 @default.
- W2065464080 hasConcept C33923547 @default.
- W2065464080 hasConcept C41008148 @default.
- W2065464080 hasConcept C48209547 @default.
- W2065464080 hasConcept C80444323 @default.
- W2065464080 hasConcept C92991967 @default.
- W2065464080 hasConcept C98763669 @default.
- W2065464080 hasConceptScore W2065464080C105795698 @default.
- W2065464080 hasConceptScore W2065464080C11413529 @default.
- W2065464080 hasConceptScore W2065464080C119857082 @default.
- W2065464080 hasConceptScore W2065464080C126255220 @default.
- W2065464080 hasConceptScore W2065464080C135315306 @default.
- W2065464080 hasConceptScore W2065464080C154945302 @default.
- W2065464080 hasConceptScore W2065464080C159886148 @default.
- W2065464080 hasConceptScore W2065464080C176181172 @default.
- W2065464080 hasConceptScore W2065464080C2775924081 @default.
- W2065464080 hasConceptScore W2065464080C28826006 @default.
- W2065464080 hasConceptScore W2065464080C33923547 @default.
- W2065464080 hasConceptScore W2065464080C41008148 @default.
- W2065464080 hasConceptScore W2065464080C48209547 @default.
- W2065464080 hasConceptScore W2065464080C80444323 @default.
- W2065464080 hasConceptScore W2065464080C92991967 @default.
- W2065464080 hasConceptScore W2065464080C98763669 @default.
- W2065464080 hasLocation W20654640801 @default.
- W2065464080 hasOpenAccess W2065464080 @default.
- W2065464080 hasPrimaryLocation W20654640801 @default.
- W2065464080 hasRelatedWork W149641734 @default.
- W2065464080 hasRelatedWork W158204013 @default.
- W2065464080 hasRelatedWork W2044592721 @default.
- W2065464080 hasRelatedWork W2047302006 @default.
- W2065464080 hasRelatedWork W2055112505 @default.
- W2065464080 hasRelatedWork W2065464080 @default.
- W2065464080 hasRelatedWork W2265888237 @default.
- W2065464080 hasRelatedWork W2279979168 @default.
- W2065464080 hasRelatedWork W2950133958 @default.
- W2065464080 hasRelatedWork W4230360057 @default.
- W2065464080 isParatext "false" @default.
- W2065464080 isRetracted "false" @default.
- W2065464080 magId "2065464080" @default.
- W2065464080 workType "article" @default.