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. (C) 2007 Published by Elsevier Ltd.