En este trabajo se propone una metodologia que permite analizar y sintetizar Controladores Predictivos Basados en Modelos con estabilidad garantizada y cumplimiento de las restricciones utilizando para ello la teoria de estabilidad de Lyapunov y la teoria de conjuntos invariantes. La metodologia propuesta es implementada en simulacion para un reactor continuo agitado y ademas, la operatividad del controlador es probada experimentalmente.