Analysis employed to evaluate policies to alleviate undesirable behaviors of a system. It allows the model builder to compare how a system would react to different policies through simulation.