This paper presents a new approach to guaranteed state estimation for nonlinear discrete-time systems with a bounded description of noise and parameters. The sets of states that are consistent with the evolution of the system, the measured outputs and bounded noise and parameters are represented by zonotopes. DC programming and intersection operations are used to obtain a tight bound. An example is given to illustrate the proposed algorithm.Ministerio de Ciencia y Tecnología DPI2006-15476-C02-01Ministerio de Ciencia y Tecnología DPI2007-66718-C04-01