Matches in SemOpenAlex for { <https://semopenalex.org/work/W1861569326> ?p ?o ?g. }
Showing items 1 to 71 of
71
with 100 items per page.
- W1861569326 abstract "Abstract : The formalism of probabilistic languages has been introduced for modeling the qualitative behavior of stochastic discrete event systems. A probabilistic language is a unit interval valued map over the set of traces of the system satisfying certain consistency constraints. Regular language operators such as choice, concatenation, and Kleene-closure have been defined in the setting of probabilistic languages to allow modeling of complex systems in terms of simpler ones. The set of probabilistic languages is closed under such operators thus forming an algebra. It also is a complete partial order under a natural ordering in which the operators are continuous. Hence recursive equations can be solved in this algebra. This is alternatively derived by using contraction mapping theorem on the set of probabilistic languages which is shown to be a complete metric space. The notion of regularity, i.e. niteness of automata representation of probabilistic languages has been defined and shown that regularity is preserved under choice, concatenation, and Kleene-closure. We show that this formalism is also useful in describing system performances such as completion time, reliability, etc. and present properties to aide their computation." @default.
- W1861569326 created "2016-06-24" @default.
- W1861569326 creator A5013807415 @default.
- W1861569326 creator A5044031773 @default.
- W1861569326 creator A5061474994 @default.
- W1861569326 date "1996-01-01" @default.
- W1861569326 modified "2023-09-27" @default.
- W1861569326 title "Probabilistic Language Framework for Stochastic Discrete Event Systems" @default.
- W1861569326 hasPublicationYear "1996" @default.
- W1861569326 type Work @default.
- W1861569326 sameAs 1861569326 @default.
- W1861569326 citedByCount "4" @default.
- W1861569326 crossrefType "journal-article" @default.
- W1861569326 hasAuthorship W1861569326A5013807415 @default.
- W1861569326 hasAuthorship W1861569326A5044031773 @default.
- W1861569326 hasAuthorship W1861569326A5061474994 @default.
- W1861569326 hasConcept C105795698 @default.
- W1861569326 hasConcept C11413529 @default.
- W1861569326 hasConcept C118615104 @default.
- W1861569326 hasConcept C136119220 @default.
- W1861569326 hasConcept C146834321 @default.
- W1861569326 hasConcept C162324750 @default.
- W1861569326 hasConcept C174784677 @default.
- W1861569326 hasConcept C202444582 @default.
- W1861569326 hasConcept C206470798 @default.
- W1861569326 hasConcept C33923547 @default.
- W1861569326 hasConcept C34447519 @default.
- W1861569326 hasConcept C41008148 @default.
- W1861569326 hasConcept C49937458 @default.
- W1861569326 hasConcept C80444323 @default.
- W1861569326 hasConceptScore W1861569326C105795698 @default.
- W1861569326 hasConceptScore W1861569326C11413529 @default.
- W1861569326 hasConceptScore W1861569326C118615104 @default.
- W1861569326 hasConceptScore W1861569326C136119220 @default.
- W1861569326 hasConceptScore W1861569326C146834321 @default.
- W1861569326 hasConceptScore W1861569326C162324750 @default.
- W1861569326 hasConceptScore W1861569326C174784677 @default.
- W1861569326 hasConceptScore W1861569326C202444582 @default.
- W1861569326 hasConceptScore W1861569326C206470798 @default.
- W1861569326 hasConceptScore W1861569326C33923547 @default.
- W1861569326 hasConceptScore W1861569326C34447519 @default.
- W1861569326 hasConceptScore W1861569326C41008148 @default.
- W1861569326 hasConceptScore W1861569326C49937458 @default.
- W1861569326 hasConceptScore W1861569326C80444323 @default.
- W1861569326 hasLocation W18615693261 @default.
- W1861569326 hasOpenAccess W1861569326 @default.
- W1861569326 hasPrimaryLocation W18615693261 @default.
- W1861569326 hasRelatedWork W1523356746 @default.
- W1861569326 hasRelatedWork W1598180792 @default.
- W1861569326 hasRelatedWork W1808585848 @default.
- W1861569326 hasRelatedWork W1882023746 @default.
- W1861569326 hasRelatedWork W2024720753 @default.
- W1861569326 hasRelatedWork W2080724597 @default.
- W1861569326 hasRelatedWork W2092733256 @default.
- W1861569326 hasRelatedWork W2095134486 @default.
- W1861569326 hasRelatedWork W2124951471 @default.
- W1861569326 hasRelatedWork W2164130626 @default.
- W1861569326 hasRelatedWork W2165212411 @default.
- W1861569326 hasRelatedWork W2204013774 @default.
- W1861569326 hasRelatedWork W2206476867 @default.
- W1861569326 hasRelatedWork W2356786386 @default.
- W1861569326 hasRelatedWork W2485726241 @default.
- W1861569326 hasRelatedWork W2535015438 @default.
- W1861569326 hasRelatedWork W2587750496 @default.
- W1861569326 hasRelatedWork W3140224231 @default.
- W1861569326 hasRelatedWork W3290020 @default.
- W1861569326 hasRelatedWork W607434738 @default.
- W1861569326 isParatext "false" @default.
- W1861569326 isRetracted "false" @default.
- W1861569326 magId "1861569326" @default.
- W1861569326 workType "article" @default.