There are a variety of induction motor models. In the models book, they can be found in Chapter 9. I know CIM5BL and CIM6BL are popular models, but they dont model motor stalling. ACMTBLU1 is an induction machine model which does model motor stalling.
So far I have only used CIM5BL (MODELS book section 9.2) for dynamic simulations. Here is a sample parameter set:
{Load bus no} 'CIM5BL' {Load ckt id} 1 0.004 0.083 4.0 0.04 0.08
0 0 0 0 0 0
0.0 1.2 1.0 0.0 1.0 5.0
1.0 0 /
These models need to be added to the dyr file and should correspond to a load entry in the raw file. In the sample parameter set provided above, replace {Load bus no} with the bus number where you want to model the motor and {Load ckt id} with the load circuit id.
See section 20.2 of PAGV2 pdf to get more idea about how PSSE models induction motors (and other characteristic load models)