Symbolic models for nonlinear control systems using approximate bisimulation | IEEE Conference Publication | IEEE Xplore