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

Remke, Anne and Haverkort, Boudewijn R. (2005) Beyond Model-Checking CSL for QBDs: Resets, Batches and Rewards. In: 7th International Workshop on Performability Modeling of Computer and Communication Systems, 23-24 Oct 2005, Turin, Italy.

Preview

PDF
90Kb

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.
Item Type:	Conference or Workshop Item
Faculty:	Electrical Engineering, Mathematics and Computer Science (EEMCS)
Research Group:	Design and Analysis of Communication Systems (DACS)
Link to this item:	http://purl.utwente.nl/publications/64396
Export this item as:	BibTeX EndNote HTML Citation Reference Manager

Show download statistics for this publication

Repository Staff Only: item control page