State Observation for Nonlinear Hybrid Automata