I am working on HMIPv6 and trying to do some enhancement in it. I need to work on some mathematical model to prove my approach. I am ready with concept and also have a number of existing thesis to refer. Now I am confused with mathematical model to analyse my methodology. Please suggest which model will work in HMIPv6.