AUTOMATED PLANNING CONTROL SUPERVISOR DISCRETE EVENT SYSTEMS ENTORNOS NO-DETERMINISTICOS Y PARCIALMENTE OBSERVABLES NON-DETERMINISTIC AND PARTIALLY OBSERVABLE ENVIRONMENTS PLANIFICACION AUTOMATICA REACTIVE SYNTHESIS SINTESIS DE SISTEMAS REACTIVOS SISTEMAS DE EVENTOS DISCRETOS SUPERVISORY CONTROL ALLOY ASISTENCIA ASSISTANCE AUTOMATIC TEST CASE GENERATION BOUNDED VERIFICATION DOMAIN DOMINIO DYNALLOY EVACUACION EVACUATION EVACUATION PLAN FLOODS GENERACION AUTOMATICA DE CASOS DE TEST INCREMEN- TAL SAT-SOLVING INUNDACIONES PLAN DE EVACUACION PLANIFICACION PLANNING PLANNING TECHNIQUES SAT-SOLVING INCREMENTAL