Nondeterminism in Stochastic Modeling

Daulet Turetayev

Nondeterminism in Stochastic Modeling

Daulet Turetayev

Research output: Book/Report › Report › Other research output

47 Downloads (Pure)

Abstract

This paper is devoted to the notion nondeterminism in general and particularly in stochastic modeling. It discusses how stochastic modeling formalisms can be mapped to a corresponding configuration graph which is convenient for the investigation of nondeterminism phenomena. Algorithms for mapping stochastic models onto configuration graphs are introduced, and two approaches ¿ well-specified check and weak bisimulation ¿ for eliminating nondeterminism are reviewed and related.

Original language	Undefined
Place of Publication	Enschede
Publisher	Centre for Telematics and Information Technology (CTIT)
Number of pages	25
Publication status	Published - Aug 2003

Publication series

Name	CTIT technical report series
Publisher	University of Twente, Centre for Telematics and Information Technology (CTIT)
No.	TR-CTIT-03-40

Keywords

IR-56965
EWI-5813

Access to Document

000000d6

Cite this

@book{a02a6174456841558b7263e455098267,

title = "Nondeterminism in Stochastic Modeling",

abstract = "This paper is devoted to the notion nondeterminism in general and particularly in stochastic modeling. It discusses how stochastic modeling formalisms can be mapped to a corresponding configuration graph which is convenient for the investigation of nondeterminism phenomena. Algorithms for mapping stochastic models onto configuration graphs are introduced, and two approaches ¿ well-specified check and weak bisimulation ¿ for eliminating nondeterminism are reviewed and related.",

keywords = "IR-56965, EWI-5813",

author = "Daulet Turetayev",

note = "Imported from CTIT",

year = "2003",

month = aug,

language = "Undefined",

series = "CTIT technical report series",

publisher = "Centre for Telematics and Information Technology (CTIT)",

number = "TR-CTIT-03-40",

address = "Netherlands",

}

TY - BOOK

T1 - Nondeterminism in Stochastic Modeling

AU - Turetayev, Daulet

N1 - Imported from CTIT

PY - 2003/8

Y1 - 2003/8

N2 - This paper is devoted to the notion nondeterminism in general and particularly in stochastic modeling. It discusses how stochastic modeling formalisms can be mapped to a corresponding configuration graph which is convenient for the investigation of nondeterminism phenomena. Algorithms for mapping stochastic models onto configuration graphs are introduced, and two approaches ¿ well-specified check and weak bisimulation ¿ for eliminating nondeterminism are reviewed and related.

AB - This paper is devoted to the notion nondeterminism in general and particularly in stochastic modeling. It discusses how stochastic modeling formalisms can be mapped to a corresponding configuration graph which is convenient for the investigation of nondeterminism phenomena. Algorithms for mapping stochastic models onto configuration graphs are introduced, and two approaches ¿ well-specified check and weak bisimulation ¿ for eliminating nondeterminism are reviewed and related.

KW - IR-56965

KW - EWI-5813

M3 - Report

T3 - CTIT technical report series

BT - Nondeterminism in Stochastic Modeling

PB - Centre for Telematics and Information Technology (CTIT)

CY - Enschede

ER -