State estimation for a class of nonlinear switched systems using Petri Net | IEEE Conference Publication | IEEE Xplore