Sprungmarken

Servicenavigation

Hauptnavigation

Sie sind hier:

Hauptinhalt

Publications

Aggregation of Markovian Models - An Alternating Least Squares Approach

Peter Buchholz, Jan Kriege

Proc. of the 9th International Conference on Quantitative Evaluation of SysTems (QEST 2012), London, 2012.

 

Abstract

To deal with the problem of state space explosion in Markovian models often compositional modeling and the aggregation of components are used. Several approximate aggregation methods exist which are usually based on heuristics. This paper presents a new aggregation approach for Markovian components which computes aggregates that minimize the difference according to some algebraically defined function which describes the difference between the component and the aggregate. If the difference becomes zero, aggregation is exact and component and aggregate are indistinguishable. Approximate aggregates are computed using an alternating least squares approach which tries to minimize the norm-wise difference between the original component and the aggregate. The approach is extended to generate bounding aggregates which allow one to compute bounds on transient or stationary quantities when the aggregate is embedded in an environment.

 

Keywords
Compositional Modeling, Aggregation, Markov Models, Non-Negative Least Squares, Bounds

 

BibTeX
@InProceedings{BKr12, 
	 author = {Peter Buchholz and Jan Kriege}, 
	 title = {{Aggregation of Markovian Models - An Alternating Least Squares Approach}}, 
	 booktitle = {Proc. of the 9th International Conference on Quantitative Evaluation of SysTems (QEST 2012)}, 
	 year = {2012}, 
	 isbn = {978-1-4673-2346-8}, 
	 doi = {10.1109/QEST.2012.17}, 
	 url = {http://doi.ieeecomputersociety.org/10.1109/QEST.2012.17}, 
	 pages = {43-52}, 
	 publisher = {IEEE Computer Society}, 
	 address = {Los Alamitos, CA, USA} 
 }

 

Links