Beyond Model-Checking CSL for QBDs: Resets, Batches and Rewards

Anne Remke; Boudewijn R. Haverkort

Beyond Model-Checking CSL for QBDs: Resets, Batches and Rewards

Research output: Contribution to conference › Paper › peer-review

66 Downloads (Pure)

Abstract

We propose and discuss a number of extensions to quasi-birth-death models (QBDs) for which CSL model checking is still possible, thus extending our recent work on CSL model checking of QBDs. We then equip the QBDs with rewards, and discuss algorithms and open research issues for model checking CSRL for QBDs with rewards.

Original language	English
Pages	23-26
Number of pages	4
Publication status	Published - 23 Sept 2005
Event	7th International Workshop on Performability Modeling of Computer and Communication Systems, PMCCS 2005 - Turin, Italy Duration: 23 Oct 2005 → 24 Oct 2005 Conference number: 7

Workshop

Workshop	7th International Workshop on Performability Modeling of Computer and Communication Systems, PMCCS 2005
Abbreviated title	PMCCS
Country/Territory	Italy
City	Turin
Period	23/10/05 → 24/10/05

Keywords

IR-64396
EWI-11195

Access to Document

Remke2005beyondFinal published version, 90.3 KB

Cite this

@conference{4fe0eceedc44469fb41e57d24b1a9cb6,

title = "Beyond Model-Checking CSL for QBDs: Resets, Batches and Rewards",

abstract = "We propose and discuss a number of extensions to quasi-birth-death models (QBDs) for which CSL model checking is still possible, thus extending our recent work on CSL model checking of QBDs. We then equip the QBDs with rewards, and discuss algorithms and open research issues for model checking CSRL for QBDs with rewards.",

keywords = "IR-64396, EWI-11195",

author = "Anne Remke and Haverkort, \{Boudewijn R.\}",

year = "2005",

month = sep,

day = "23",

language = "English",

pages = "23--26",

note = "7th International Workshop on Performability Modeling of Computer and Communication Systems, PMCCS 2005, PMCCS ; Conference date: 23-10-2005 Through 24-10-2005",

}

TY - CONF

T1 - Beyond Model-Checking CSL for QBDs

T2 - 7th International Workshop on Performability Modeling of Computer and Communication Systems, PMCCS 2005

AU - Remke, Anne

AU - Haverkort, Boudewijn R.

N1 - Conference code: 7

PY - 2005/9/23

Y1 - 2005/9/23

N2 - We propose and discuss a number of extensions to quasi-birth-death models (QBDs) for which CSL model checking is still possible, thus extending our recent work on CSL model checking of QBDs. We then equip the QBDs with rewards, and discuss algorithms and open research issues for model checking CSRL for QBDs with rewards.

AB - We propose and discuss a number of extensions to quasi-birth-death models (QBDs) for which CSL model checking is still possible, thus extending our recent work on CSL model checking of QBDs. We then equip the QBDs with rewards, and discuss algorithms and open research issues for model checking CSRL for QBDs with rewards.

KW - IR-64396

KW - EWI-11195

M3 - Paper

SP - 23

EP - 26

Y2 - 23 October 2005 through 24 October 2005

ER -

Beyond Model-Checking CSL for QBDs: Resets, Batches and Rewards

Abstract

Workshop

Keywords

Access to Document

Fingerprint

Cite this