Describir: Verifikácia cieľov riadenia PVS s využitím simulácie :