State-Space Size Estimation By Least-Squares Fitting

Download Now
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.
Download Now

Find By Topic