Symbolic Simulation of Parametrized Hybrid Systems with Affine Arithmetic | IEEE Conference Publication | IEEE Xplore