Versión - Optimización del diseño formal de envolventes para el control del ruido de tránsito