State-Space Size Estimation By Least-Squares Fitting

Provided by: Imperial College London
Topic: Hardware
Format: PDF
The authors present a method for estimating the number of states in the Continuous Time Markov Chains (CTMCs) underlying high-level models using least-squares fitting. Their paper improves on existing techniques by producing a numerical estimate of the number of states rather than classifying the state space into on of three types. They demonstrate the practicality and accuracy of their approach on a number of CTMCs generated from three Generalized Stochastic Petri Net (GSPN) models with up to 11 million states.

Find By Topic